Versionsmarkierungs-Logbuch
In diesem Logbuch werden die Versionsmarkierungen protokolliert.
- 10:02, 8. Nov. 2016 Csguenther Diskussion Beiträge sichtete automatisch eine Version von Algebraic Approaches to Automated Theorem Proving (automatisch [Status: Überprüft, Tiefe: einfach, Lesbarkeit: akzeptabel]) (markierte Änderungen) (Version: 10:02, 8. Nov. 2016)
- 10:00, 8. Nov. 2016 Csguenther Diskussion Beiträge sichtete automatisch eine Version von Algebraic Approaches to Automated Theorem Proving (automatisch [Status: Überprüft, Tiefe: einfach, Lesbarkeit: akzeptabel]) (Version: 10:00, 8. Nov. 2016)