|
|
897089d546
|
Seitenumbrüche optimiert
|
2021-02-08 22:02:26 +01:00 |
|
|
|
def8241222
|
skolemisierungsverfahren hinzugefügt
|
2021-02-08 09:56:53 +01:00 |
|
|
|
80742def21
|
kleine Änderungen
|
2021-02-08 09:37:14 +01:00 |
|
|
|
435bde9865
|
Bilder für Resolutionsalgorithmen hinzugefügt
|
2021-02-07 22:43:28 +01:00 |
|
|
|
631f74c840
|
formatierung verbessert
|
2021-02-04 20:30:35 +01:00 |
|
|
|
9e674220fe
|
weite Teile der Prädikatenlogik hinzugefügt
|
2021-02-02 22:14:13 +01:00 |
|
