Differences between revisions 1 and 2
⇤ ← Revision 1 as of 2003-09-12 00:38:14 →
Size: 63
Editor: yakko
Comment:
← Revision 2 as of 2003-09-16 18:15:22 → ⇥
Size: 113
Editor: yakko
Comment:
Deletions are marked like this. Additions are marked like this.
Line 1: Line 1:
Back to ComputerTerms
Line 2: Line 4:

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 216)