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 ?
The meaning of modulo
Cemre
- 163
- 4