Questions tagged [saturation]
Related to automated theorem provers that use the saturation based methods.
1
question
7
votes
1
answer
142
views
Understanding "saturating" theorem provers
The documentation for the E Theorem Prover explains this as the first step in its process:
A clausification algorithm translates first-order input into clause
normal form, such that the resulting ...
- 519