main clear / load / save
Roadmap Über

Es wird keine Haftung für Schäden an Soft- oder Hardware, Vermögen oder Gesundheit übernommen, welche durch das Benutzen oder Nichtbenutzen des Programms entstehen. Es gibt keine Garantie dafür, dass die Nutzung zu einem bestimmten Zeitpunkt möglich ist, noch das die gelieferten Ergebnisse, auch nicht zufällig, richtig sind. Dies gilt insbesondere bei der Nutzung zur Lösung von Übungsaufgaben.

Fehlermeldungen sind willkommen (email an):

andre dot frochaux at informatik dot hu-berlin dot de


changelog

06. März 2015
bugfix: Zeile 11 MGU: Rekursiver Aufruf
none

06. Januar 2015
bugfix: Zeile 8 MGU: Form des Terms
none

02. Januar 2015
Berechnung des allgemeinsten Unfikators (MGU) zweier Terme
Anwenden von Substitutionen auf Terme
Variablen eines Terms
Verketten von Substitutionen
known bugs:
none