allgemeinster Unifikator

Question

Wann heißt ein Unifikator $\text{sub}$ für eine Menge von Literalen $L$ allgemeinster Unifikator für $L$ ?

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Kommentare