3.4 Cut-Ableiten

Klausel
Literale
Umfprmung zu Klauseln
Skolemisierung
Schnittregel
Substitution
Unifikation
Allgemeinster Unifikator
Resolutionsregel
Satz
Herbrand-Modell
Beziehung Herbrand-Modell und Resolution

Kommentare

Nur angemeldete Nutzer dürfen kommentieren. Hier geht's zur kostenlosen Registrierung.