From d36f8efda77aed65ffc5d1fde93b87f10a37fc1e Mon Sep 17 00:00:00 2001 From: paul-loedige Date: Mon, 8 Feb 2021 21:53:36 +0100 Subject: [PATCH] updated Readme --- Readme.md | 1 - 1 file changed, 1 deletion(-) 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)