Modell-Elimination

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Ein tableauartiges, zielgerichtetes Beweisverfahren, das versucht, eine Klauselmenge zu widerlegen, indem es systematisch Kandidatenmodelle durch gerichtete Erweiterungen und das Schließen von Verästelungen eliminiert.