diff --git a/Readme.md b/Readme.md index b0202ef..db2406d 100644 --- a/Readme.md +++ b/Readme.md @@ -20,7 +20,6 @@ Dieses Repo beinhaltet die $\LaTeX$ Informationen für die Zusammenfassung im Fa - [x] Resolutionsalgorithmus (Hypothese wird negiert hinzugefügt) - [x] Äquivalenztabelle aus Übung 6 (Prädikatenlogik) - [x] Skolemisierungsverfahren hinzufügen -- [ ] Unifikationsverfahren hinzufügen - [x] Kosinusähnlichkeit hinzufügen (Übung 8) - [x] Mahalanobis Abstand hinzufügen (Übung 8)