Skip to main content
Computer Science

Return to Question

Tweeted twitter.com/#!/StackCompSci/status/243454090955325440
added 1 characters in body; edited tags; edited title
Source Link
Gilles 'SO- stop being evil'
Gilles 'SO- stop being evil'
  • 44k
  • 8
  • 118
  • 184

The meaning of modulo in “formula modulo a background theory”

I have been reading some papers where I keep reading stuff like first-order formula modulo a background theory“first-order formula modulo a background theory”. Does anyone know what modulo means in this case ? Is it something like with“with respect to to”?

The meaning of modulo

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 in “formula modulo a background theory”

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”?

Post Migrated Here from cstheory.stackexchange.com (revisions)
Source Link
Cemre
Cemre
  • 163
  • 4

The meaning of modulo

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 ?