Back to ComputerTerms
A logical formula is satisfiable if there exists a ["Model"].
Back to ComputerTerms
Satisfiable
Revision 2 as of 2003-09-16 18:15:22
Clear message
Back to ComputerTerms
A logical formula is satisfiable if there exists a ["Model"].
Back to ComputerTerms