Theory-valid Formula (Satisfiability Modulo Theory)
1 min read
Definition
Theory-valid Formula (Satisfiability Modulo Theory)
Let be a theory over . A -formula is -valid, or valid modulo , if it is valid in every [[Knowledge/Theory Interpretation (Satisfiability Modulo Theory)|-interpretation]]: