Model Elimination

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
A tableau-like, goal-directed proof procedure that attempts to refute a set of clauses by systematically eliminating candidate models through directed expansions and the closure of branches.