Nächste Seite: Aufgabe 53
Vorige Seite: Aufgabe 51
Beweise den folgenden Satz (Zirkumskription und
Prädikatsvervollständigung).
Sei W eine Menge solitärer Klauseln in P und P ein
Prädikat aus W, dann ist
Christoph Quix, Thomas List, René Soiron
30. September 1996