diff --git a/Readme.md b/Readme.md index 2babaa5..a908151 100644 --- a/Readme.md +++ b/Readme.md @@ -20,6 +20,7 @@ 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 ## Hinweise Requires you to enable [--shell escape](https://tex.stackexchange.com/questions/516604/how-to-enable-shell-escape-or-write18-visual-studio-code-latex-workshop)