About: OMDoc

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Semantic markup format for mathematical documents

Property	Value
dbo:description	bestandsformaat (nl) semantic markup format for mathematical documents (en)
dbo:wikiPageExternalLink	http://omdoc.org/pubs/omdoc1.2.pdf http://www.mathweb.org/omdoc/pubs/omdoc1.2.pdf http://www.mathweb.org/wiki/OMDoc
dbo:wikiPageWikiLink	dbr:Semantics dbc:Markup_languages dbr:OpenMath dbr:Mathematics dbr:Physics dbr:LaTeX dbr:Mathematical_logic dbr:Automated_theorem_proving dbr:Resource_Description_Framework dbr:XHTML dbr:Computer_algebra_system dbr:Web_service dbr:Markup_language dbr:Lecture_Notes_in_Computer_Science dbr:Michael_Kohlhase dbr:MathML dbr:Web_Ontology_Language dbr:E-learning dbc:Semantic_Web dbc:Mathematical_markup_languages dbr:Mathematical_knowledge_management dbc:XML-based_standards dbr:Graph_(data_structure) dbr:Semantic_web dbr:Springer_Verlag dbr:PhysML
dbp:containerFor	dbr:OpenMath dbr:MathML
dbp:date	2006-11-10 (xsd:date) 2007-06-27 (xsd:date)
dbp:extendedFrom	dbr:OpenMath
dbp:extension	.omdoc (en)
dbp:genre	dbr:Markup_language
dbp:mime	application/omdoc+xml (en)
dbp:name	Open Mathematical Documents (en)
dbp:owner	dbr:Michael_Kohlhase
dbp:standard	http://omdoc.org/pubs/omdoc1.2.pdf
dbp:url	https://web.archive.org/web/20061110221351/http:/www.mathweb.org/omdoc/pubs/omdoc1.2.pdf https://web.archive.org/web/20070627223750/http:/www.mathweb.org/wiki/OMDoc
dbp:wikiPageUsesTemplate	dbt:Document_markup_languages dbt:Authority_control dbt:Infobox_file_format dbt:Isbn dbt:Official_website dbt:Webarchive
dbp:wordnet_type	http://www.w3.org/2006/03/wn/wn20/instances/synset-format-noun-1
dct:subject	dbc:Markup_languages dbc:Semantic_Web dbc:Mathematical_markup_languages dbc:XML-based_standards
gold:hypernym	dbr:Format
rdf:type	owl:Thing owl:Thing
rdfs:label	OMDoc (en) OMDoc (de)
owl:sameAs	freebase:OMDoc yago-res:OMDoc wikidata:OMDoc dbpedia-de:OMDoc dbpedia-global:OMDoc
prov:wasDerivedFrom	wikipedia-en:OMDoc?oldid=1300961662&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:OMDoc
is dbo:influenced of	dbr:Mizar_system
is dbo:knownFor of	dbr:Michael_Kohlhase__Michael_Kohlhase__1
is dbo:wikiPageWikiLink of	dbr:List_of_XML_markup_languages dbr:OpenMath dbr:Mizar_system dbr:Michael_Kohlhase dbr:MathML dbr:Comparison_of_document_markup_languages dbr:List_of_document_markup_languages dbr:Mathematical_knowledge_management dbr:Mathematical_markup_language
is dbp:knownFor of	dbr:Michael_Kohlhase
is foaf:primaryTopic of	wikipedia-en:OMDoc