Differences between revisions 2 and 3
⇤ ← Revision 2 as of 2003-09-16 18:15:22 →
Size: 113
Editor: yakko
Comment:
← Revision 3 as of 2022-09-08 19:26:46 → ⇥
Size: 115
Editor: 216
Comment:
Deletions are marked like this. Additions are marked like this.
Line 3: Line 3:
A logical formula is satisfiable if there exists a ["Model"]. 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

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