{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,16]],"date-time":"2026-03-16T10:12:14Z","timestamp":1773655934486,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642313738","type":"print"},{"value":"9783642313745","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-31374-5_34","type":"book-chapter","created":{"date-parts":[[2012,6,25]],"date-time":"2012-06-25T09:00:57Z","timestamp":1340614857000},"page":"448-452","source":"Crossref","is-referenced-by-count":3,"title":["The Planetary Project: Towards eMath3.0"],"prefix":"10.1007","author":[{"given":"Michael","family":"Kohlhase","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"34_CR1","series-title":"LNCS(LNAI)","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/978-3-642-22673-1_24","volume-title":"Intelligent Computer Mathematics","author":"M. Codescu","year":"2011","unstructured":"Codescu, M., Horozal, F., Kohlhase, M., Mossakowski, T., Rabe, F.: Project Abstract: Logic atlas and integrator (LATIN). In: Davenport, J.H., Farmer, W.M., Urban, J., Rabe, F. (eds.) MKM 2011 and Calculemus 2011. LNCS(LNAI), vol.\u00a06824, pp. 289\u2013291. Springer, Heidelberg (2011)"},{"key":"34_CR2","series-title":"LNCS(LNAI)","volume-title":"Intelligent Computer Mathematics","year":"2011","unstructured":"Davenport, J.H., Farmer, W.M., Urban, J., Rabe, F. (eds.): MKM 2011 and Calculemus 2011. LNCS(LNAI), vol.\u00a06824. Springer, Heidelberg (2011)"},{"key":"34_CR3","unstructured":"David, C., et al.: A Framework for Modular Semantic Publishing with Separate Compilation and Dynamic Linking. In: Castro, A.G., et al. (eds.) 1st Workshop on Semantic Publication (SePublica), Aachen. CEUR Workshop Proceedings, vol.\u00a0721 (2011), https:\/\/svn.mathweb.org\/repos\/planetary\/doc\/sepublica11\/paper.pdf"},{"key":"34_CR4","doi-asserted-by":"crossref","unstructured":"David, C., et al.: SAlly: A Framework for Semantic Allies. In: Intelligent Computer Mathematics. LNCS (LNAI). Springer (2012), http:\/\/kwarc.info\/kohlhase\/submit\/mkm12-SAlly.pdf","DOI":"10.1007\/978-3-642-31374-5_4"},{"key":"34_CR5","series-title":"LNCS(LNAI)","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1007\/978-3-642-22673-1_25","volume-title":"Intelligent Computer Mathematics","author":"D. Ginev","year":"2011","unstructured":"Ginev, D., Stamerjohanns, H., Miller, B.R., Kohlhase, M.: The LaTeXML Daemon: Editable Math on the Collaborative Web. In: Davenport, J.H., Farmer, W.M., Urban, J., Rabe, F. (eds.) MKM 2011 and Calculemus 2011. LNCS(LNAI), vol.\u00a06824, pp. 292\u2013294. Springer, Heidelberg (2011), https:\/\/svn.kwarc.info\/repos\/arXMLiv\/doc\/cicm-systems11\/paper.pdf"},{"key":"34_CR6","unstructured":"JOBAD Framework \u2013 JavaScript API for OMDoc-based active documents, http:\/\/jobad.omdoc.org (visited on February 18, 2012)"},{"key":"34_CR7","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"504","DOI":"10.1007\/978-3-540-85110-3_41","volume-title":"Intelligent Computer Mathematics","author":"M. Kohlhase","year":"2008","unstructured":"Kohlhase, M., M\u00fcller, C., Rabe, F.: Notations for Living Mathematical Documents. In: Autexier, S., Campbell, J., Rubio, J., Sorge, V., Suzuki, M., Wiedijk, F. (eds.) AISC 2008, Calculemus 2008, and MKM 2008. LNCS (LNAI), vol.\u00a05144, pp. 504\u2013519. Springer, Heidelberg (2008), http:\/\/omdoc.org\/pubs\/mkm08-notations.pdf"},{"key":"#cr-split#-34_CR8.1","doi-asserted-by":"crossref","unstructured":"Kohlhase, M., et al.: The Planetary System: Web 3.0 & Active Documents for STEM. Procedia Computer Science 4, 598???607 (2011);","DOI":"10.1016\/j.procs.2011.04.063"},{"key":"34_CR9","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","DOI":"10.1007\/11826095","volume-title":"OMDoc \u2013 An Open Markup Format for Mathematical Documents [version 1.2]","author":"M. Kohlhase","year":"2006","unstructured":"Kohlhase, M.: OMDoc \u2013 An Open Markup Format for Mathematical Documents [version 1.2]. LNCS (LNAI), vol.\u00a04180. Springer, Heidelberg (2006), http:\/\/omdoc.org\/pubs\/omdoc1.2.pdf"},{"key":"34_CR10","unstructured":"Mathematics Subject Classification MSC 2010 (2010), http:\/\/msc2010.org (visited on November 16, 2011)"},{"key":"34_CR11","unstructured":"No\u00f6sphere (diaresis optional) is the software that underlies the Planet-Math Website, http:\/\/code.google.com\/p\/noosphere\/ (visited on September 30, 2010)"},{"key":"34_CR12","unstructured":"OpenLink Software. OpenLink Universal Integration Middleware \u2013 Virtuoso Product Family, http:\/\/virtuoso.openlinksw.com (visited on October 22, 2009)"},{"key":"34_CR13","unstructured":"PlanetMath.org \u2013 Math for the people, by the people, http:\/\/planetmath.org (visited on September 08, 2011)"},{"key":"34_CR14","unstructured":"Semantic Markup for LATEX. Project Homepage, http:\/\/trac.kwarc.info\/sTeX\/ (visited on February 22, 2011)"},{"key":"34_CR15","unstructured":"TNTBase TRAC, http:\/\/tntbase.org (visited on December 16, 2009)"},{"key":"34_CR16","unstructured":"Vanilla Forums, http:\/\/vanillaforums.org (visited on September 22, 2010)"}],"container-title":["Lecture Notes in Computer Science","Intelligent Computer Mathematics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-31374-5_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,30]],"date-time":"2019-06-30T03:41:29Z","timestamp":1561866089000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-31374-5_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642313738","9783642313745"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31374-5_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}