Ermöglicht das Hinzufügen von Propositionen und Beweisen in die freie und dezentrale Wissensbasis des Hilbert-II-Projekts und überprüft die hinzugefügten Beweise automatisch auf Korrektheit; die Wissensbasis enthält mathematische Sätze und Beweise in formal korrekter Form, wobei versucht wird, die übliche mathematische Argumentation in eine formale Syntax (im QEDEQ-Format) zu überführen
25.05.13, Englisch















