|
|
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 |
|
|
|
b6e1e8b6ff
|
lokig abgeschlossen
|
2021-02-03 09:44:20 +01:00 |
|
|
|
9e674220fe
|
weite Teile der Prädikatenlogik hinzugefügt
|
2021-02-02 22:14:13 +01:00 |
|
|
|
69ca84b577
|
Hornklauseln zu den Beweisverfahren hinzugefügt
|
2021-02-02 20:43:14 +01:00 |
|
|
|
f6e7a5ddd3
|
beweisverfahren hinzugefügt
|
2021-02-02 19:12:41 +01:00 |
|
|
|
a1a53ee85f
|
aussagenlogik hinzugefügt
|
2021-02-02 18:38:28 +01:00 |
|
|
|
fcef7a94a4
|
logische Systeme hinzugefügt
|
2021-02-02 18:24:14 +01:00 |
|
|
|
36e11395e8
|
Formen der Inferenz hinzugefügt
|
2021-02-02 18:04:39 +01:00 |
|
|
|
7dc45ad926
|
Einführung logik hinzugefügt
|
2021-02-02 17:50:43 +01:00 |
|
