Differences between revisions 1 and 3 (spanning 2 versions)
⇤ ← Revision 1 as of 2003-09-12 00:38:14 →
Size: 63
Editor: yakko
Comment:
← Revision 3 as of 2022-09-08 19:26:46 → ⇥
Size: 115
Editor: scot
Comment:
Deletions are marked like this. Additions are marked like this.
Line 1: Line 1:
A logical formula is satisfiable if there exists a ["Model"]. Back to ComputerTerms

A logical formula is satisfiable if there exists a "[[Model]]".

Back to ComputerTerms

Back to ComputerTerms

A logical formula is satisfiable if there exists a "Model".

Back to ComputerTerms

Satisfiable (last edited 2022-09-08 19:26:46 by scot)