@BOOK{kohlhase2006,
  title = {{An Open Markup Format for Mathematical Documents (Version 1.2)}},
  publisher = {Springer Verlag},
  year = {2006},
  author = {Kohlhase, Michael},
  number = {4180},
  series = {Lecture Notes in Artificial Intelligence},
  keywords = {\#proof\_theory},
  mendeley-tags = {\#proof\_theory}
}

{"_id":{"_str":"53422968efd74afa09000039"},"__v":26,"authorIDs":["548505e89caf65162e000208"],"author_short":["Kohlhase, M."],"bibbaseid":"kohlhase-anopenmarkupformatformathematicaldocumentsversion12-2006","bibdata":{"bibtype":"book","type":"book","title":"An Open Markup Format for Mathematical Documents (Version 1.2)","publisher":"Springer Verlag","year":"2006","author":[{"propositions":[],"lastnames":["Kohlhase"],"firstnames":["Michael"],"suffixes":[]}],"number":"4180","series":"Lecture Notes in Artificial Intelligence","keywords":"#proof_theory","mendeley-tags":"#proof_theory","bibtex":"@BOOK{kohlhase2006,\r\n title = {{An Open Markup Format for Mathematical Documents (Version 1.2)}},\r\n publisher = {Springer Verlag},\r\n year = {2006},\r\n author = {Kohlhase, Michael},\r\n number = {4180},\r\n series = {Lecture Notes in Artificial Intelligence},\r\n keywords = {\\#proof\\_theory},\r\n mendeley-tags = {\\#proof\\_theory}\r\n}\r\n\r\n","author_short":["Kohlhase, M."],"key":"kohlhase2006","id":"kohlhase2006","bibbaseid":"kohlhase-anopenmarkupformatformathematicaldocumentsversion12-2006","role":"author","urls":{},"keyword":["#proof_theory"],"downloads":0,"html":""},"bibtype":"book","biburl":"http://delicias.dia.fi.upm.es/prov-xgCURATED.bib","downloads":0,"keywords":["#proof_theory"],"search_terms":["open","markup","format","mathematical","documents","version","kohlhase"],"title":"An Open Markup Format for Mathematical Documents (Version 1.2)","year":2006,"dataSources":["drTBSwRdnSo2Wujnd"]}