Diskussion:Unifikation (Logik)

To Do

• Unifikator besser erklären
• Unifikationsalgorithmus angeben
• Referenz, z.B. auf Clocksin Mellin oder Logische und Funktionale Programmierung

--Marc van Woerkom 15:09, 8. Okt 2004 (CEST)

Bitte den zweiten Punkt, Unifikationsalgorithmus angeben, bevorzugt behandeln. ;)

--Rtc 00:07, 15. Sep 2005 (CEST)

Frage: Was heisst "$\tau \circ \mu$". Kann man das erklären?

-- Peter Stotz (Diskussion) 13:05, 14. Feb. 2013 (CET)

Das ist hier im Artikel die Komposition der Substitutionen $\tau$ und $\mu$. Nicht unbedingt im Sinne von Komposition, sondern allgemeiner. Kommt drauf an, wie man "Substitution" definiert. --Daniel5Ko (Diskussion) 21:25, 14. Feb. 2013 (CET)