Saturation Procedure

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
A general inference mechanism that repeatedly applies inference rules to a set of formulas or clauses until no new consequences can be derived (fixpoint) or a contradiction is produced, commonly used in theorem proving and automated reasoning.