Definition
Theory-satisfiable Formula (Satisfiability Modulo Theory)
Let
be a theory over . A -formula is -satisfiable, or satisfiable modulo , if it is satisfiable in at least one [[Knowledge/Theory Interpretation (Satisfiability Modulo Theory)| -interpretation]]: