6
votes
Accepted
Understanding "saturating" theorem provers
The basic idea is we want to check if a formula $\varphi$ is satisfiable. This is analogous to checking there exists a row in the truth-table for a proposition for which the proposition is true. First-...
- 1,749
Only top scored, non community-wiki answers of a minimum length are eligible