User contributions for MichaelKohlhase
A user with 38 edits. Account created on 9 January 2007.
23 September 2020
- 12:5112:51, 23 September 2020 diff hist +712 CIDOC Conceptual Reference Model Add a section on CRM Implementations and Systems and extend external links and further reading
18 April 2019
- 05:5105:51, 18 April 2019 diff hist +273 Proof assistant adding a reference to the theorem prover museum which has the sources of many of the systems.
20 June 2018
- 06:2906:29, 20 June 2018 diff hist +277 Automated theorem proving →Benchmarks and competitions: adding a link to the theorem prover museum.
8 May 2018
- 05:0105:01, 8 May 2018 diff hist +150 m Michael Kohlhase Adding FAU to academic career.
27 July 2017
- 07:3107:31, 27 July 2017 diff hist +241 N Talk:Grammatical Framework (programming language) outdated link
2 June 2014
- 04:5304:53, 2 June 2014 diff hist −61 LaTeXML →History: updated to reflect the 0.8 release.
13 February 2014
- 06:4706:47, 13 February 2014 diff hist +127 m LaTeXML →Workflow
- 06:4506:45, 13 February 2014 diff hist +14 m LaTeXML →History
- 06:4306:43, 13 February 2014 diff hist +11 m LaTeXML →Implementation
- 06:3206:32, 13 February 2014 diff hist +342 LaTeXML →Implementation: talking about bindings
- 06:2406:24, 13 February 2014 diff hist +6 LaTeXML →Implementation
- 06:2306:23, 13 February 2014 diff hist +122 LaTeXML →Workflow
- 06:2006:20, 13 February 2014 diff hist +421 LaTeXML →History
- 06:0706:07, 13 February 2014 diff hist +8 LaTeXML →External links
- 06:0706:07, 13 February 2014 diff hist +64 LaTeXML →External links
- 06:0506:05, 13 February 2014 diff hist +129 LaTeXML →Workflow
- 05:5805:58, 13 February 2014 diff hist +25 LaTeXML →History
- 05:5405:54, 13 February 2014 diff hist +443 LaTeXML →Implementation
27 July 2013
- 13:0913:09, 27 July 2013 diff hist +307 Talk:María Cayetana de Silva, 13th Duchess of Alba No edit summary
- 13:0413:04, 27 July 2013 diff hist −8 María Cayetana de Silva, 13th Duchess of Alba Corrected birth/death date. Tag: Visual edit
1 May 2012
- 06:0306:03, 1 May 2012 diff hist +41 HTML5 adding MathML as a new feature
22 November 2009
- 11:4411:44, 22 November 2009 diff hist +96 m Michael Kohlhase →Academic Positions
29 April 2009
- 23:2723:27, 29 April 2009 diff hist −4 m Michael Kohlhase →Academic career: DFKI Bremen is a full "Standort" now, no longer a Lab.
28 February 2009
- 04:4804:48, 28 February 2009 diff hist +59 MathML clarified the extension
- 04:4604:46, 28 February 2009 diff hist −3 MathML updating charter end date
15 January 2008
- 09:3709:37, 15 January 2008 diff hist +8 m James H. Davenport adding links to OpenMath and MathML
29 December 2007
- 07:5507:55, 29 December 2007 diff hist +87 m OpenMath tweaks
- 06:3806:38, 29 December 2007 diff hist +438 OpenMath adding a paragraph on the OpenMath Society
- 06:3206:32, 29 December 2007 diff hist +42 m OpenMath clarify the fact that OM focuses on the meaning of formulae
9 January 2007
- 13:2413:24, 9 January 2007 diff hist 0 m OpenMath →Example: still trying to get the example to display right
- 13:2213:22, 9 January 2007 diff hist +14 m OpenMath →Example
- 13:2113:21, 9 January 2007 diff hist +2,657 OpenMath No edit summary
- 13:1213:12, 9 January 2007 diff hist −15 m Talk:MathML →Anonyous Contribution of 9/1/2007
- 13:1113:11, 9 January 2007 diff hist +299 Talk:MathML Anonyous Contribution of 9/1/2007
- 10:3410:34, 9 January 2007 diff hist +116 N User:MichaelKohlhase ←Created page with 'Hi, I am Michael Kohlhase, you can find out more about me at [http://kwarc.eecs.iu-bremen.de/kohlhase my home page].' current