Benutzerbeiträge von „MichaelKohlhase“
Für MichaelKohlhase Diskussion Sperr-Logbuch Hochgeladene Dateien Logbücher globales Konto Bearbeitungsfilter-Logbuch
Die Benutzerin hat 13 Bearbeitungen. Das Konto wurde am 29. Dezember 2007 erstellt.
6. Oktober 2020
- 09:5809:58, 6. Okt. 2020 Unterschied Versionen 0 CIDOC Conceptual Reference Model typo in link auf WissKI gefixt.
- 09:5409:54, 6. Okt. 2020 Unterschied Versionen −1.165 Wikipedia:Importwünsche Ich habe den WissKI Artikel einfach so übersetzt.
27. September 2020
- 18:3518:35, 27. Sep. 2020 Unterschied Versionen +7.653 N WissKI AZ: Die Seite wurde neu angelegt: '''WissKI''' ist eine ontologiebasierte virtuelle Forschungsumgebung…
- 18:2918:29, 27. Sep. 2020 Unterschied Versionen +634 Wikipedia:Importwünsche Keine Bearbeitungszusammenfassung
23. September 2020
- 14:5914:59, 23. Sep. 2020 Unterschied Versionen +780 CIDOC Conceptual Reference Model Neuer Abschnitt über Implementationen/Systeme und weitere weblinks/literatur
18. April 2019
- 07:5807:58, 18. Apr. 2019 Unterschied Versionen +284 Maschinengestütztes Beweisen Link auf das Theorem Prover Museum.
2. November 2011
- 10:5810:58, 2. Nov. 2011 Unterschied Versionen −4 Diegese genitiv mit von bereinigt
22. November 2009
- 13:4213:42, 22. Nov. 2009 Unterschied Versionen +346 Michael Kohlhase →Akademische Ämter
- 13:4013:40, 22. Nov. 2009 Unterschied Versionen −324 Michael Kohlhase →Akademische Ämter
- 10:4010:40, 22. Nov. 2009 Unterschied Versionen −1 K OpenMath Keine Bearbeitungszusammenfassung
29. Dezember 2007
- 10:0810:08, 29. Dez. 2007 Unterschied Versionen +101 N Benutzerin:MichaelKohlhase AZ: Die Seite wurde neu angelegt. aktuell
- 09:5109:51, 29. Dez. 2007 Unterschied Versionen −16 OpenMath Stark Erweitert, so da"s die Seite jetzt im wesentlichen aequivalent zur Englischen ist. Korrekturlesen waere sicherlich nicht schlecht.
- 09:4309:43, 29. Dez. 2007 Unterschied Versionen +4.581 OpenMath Keine Bearbeitungszusammenfassung