]> 2010-03-17T21:34:53+01:00 OMDoc mailto:project-omdoc@jacobs-university.de mailto:project-omdoc-dev@jacobs-university.de F-Logic in OMDoc MBase PhysML OMBase OMDoc client Metamath to OMDoc Bridge Locutor QMath STeX OMDoc (Book) CPoint SWiM Sentido QMath STeX Notation for Edits Has topic Trac URL SVN URL MailinglistHomepage MailinglistAddress Markup language Instance of Homepage Mathematical knowledge representation Has application Jacobs University Bremen Funded by Michael Kohlhase Developed by XML Based on KWARC project Ontology language Mathematical knowledge management Semantic markup language OMDoc