Diskussion:Unifikation (Logik)

Letzter Kommentar: vor 11 Jahren von Daniel5Ko in Abschnitt To Do

To Do

Bearbeiten
  • 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 " ". Kann man das erklären?

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

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