I have been reading some papers where I keep reading stuff like “first-order formula modulo a background theory”. Does anyone know what modulo means in this case ? Is it something like “with respect to”?
2 of 2
added 1 characters in body; edited tags; edited title
Gilles 'SO- stop being evil'
- 44k
- 8
- 118
- 184
The meaning of modulo in “formula modulo a background theory”
Cemre
- 163
- 4