Unifikation

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Der Prozess, Substitutionen für Variablen zu finden, die zwei syntaktische Ausdrücke (Terme) gemäß der Termalgebra einer Logik identisch machen; liefert eine Substitution, die Variablen auf Terme abbildet, falls eine Lösung existiert.