Stack Exchange Network
Stack Exchange network consists of 181 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
Visit Stack Exchange
Questions tagged [saturation]
Related to automated theorem provers that use the saturation based methods.
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 ...