Markierte Versionen

Dies ist die Liste der Versionen von Algebraic Approaches to Automated Theorem Proving, die markiert wurden:

• 10:02, 8. Nov. 2016 (Markiert am <i>10:02, 8. Nov. 2016</i> durch Csguenther (Diskussion | Beiträge)) [gesichtete Version]
• 10:00, 8. Nov. 2016 (Markiert am <i>10:00, 8. Nov. 2016</i> durch Csguenther (Diskussion | Beiträge)) [gesichtete Version]