{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T01:15:24Z","timestamp":1725585324821},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642210631"},{"type":"electronic","value":"9783642210648"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-21064-8_37","type":"book-chapter","created":{"date-parts":[[2011,6,10]],"date-time":"2011-06-10T08:26:10Z","timestamp":1307694370000},"page":"471-475","source":"Crossref","is-referenced-by-count":0,"title":["The Planetary System: Executable Science, Technology, Engineering and Math Papers"],"prefix":"10.1007","author":[{"given":"Christoph","family":"Lange","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Kohlhase","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Catalin","family":"David","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Deyan","family":"Ginev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Kohlhase","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bogdan","family":"Matican","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Mirea","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vyacheslav","family":"Zholudev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"37_CR1","unstructured":"Executable Paper Challenge, http:\/\/www.executablepapers.com"},{"key":"37_CR2","unstructured":"David, C., et al.: eMath 3.0: Building Blocks for a social and semantic Web for online mathematics & ELearning. In: Workshop on Mathematics and ICT (2010), http:\/\/kwarc.info\/kohlhase\/papers\/malog10.pdf"},{"key":"37_CR3","series-title":"LNCS(LNAI)","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1007\/978-3-642-14128-7_31","volume-title":"Intelligent Computer Mathematics","author":"A. Kohlhase","year":"2010","unstructured":"Kohlhase, A., Kohlhase, M., Lange, C.: Dimensions of formality: A case study for MKM in software engineering. In: Autexier, S., Calmet, J., Delahaye, D., Ion, P.D.F., Rideau, L., Rioboo, R., Sexton, A.P. (eds.) AISC 2010. LNCS(LNAI), vol.\u00a06167, pp. 355\u2013369. Springer, Heidelberg (2010)"},{"key":"37_CR4","unstructured":"Lange, C.: Ontologies and Languages for Representing Mathematical Knowledge on the Semantic Web. Submitted to Semantic Web Journal, http:\/\/www.semantic-web-journal.net\/underreview"},{"key":"37_CR5","unstructured":"arXMLiv Build System, http:\/\/arxivdemo.mathweb.org"},{"key":"37_CR6","unstructured":"PlanetMath Redux, http:\/\/planetmath.mathweb.org"},{"key":"37_CR7","unstructured":"Kohlhase, M., et al.: Planet GenCS, http:\/\/gencs.kwarc.info"},{"key":"37_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1007\/978-3-642-13489-0_26","volume-title":"The Semantic Web: Research and Applications","author":"C. David","year":"2010","unstructured":"David, C., Kohlhase, M., Lange, C., Rabe, F., Zhiltsov, N., Zholudev, V.: Publishing math lecture notes as linked data. In: Aroyo, L., Antoniou, G., Hyv\u00f6nen, E., ten Teije, A., Stuckenschmidt, H., Cabral, L., Tudorache, T. (eds.) ESWC 2010. LNCS, vol.\u00a06089, pp. 370\u2013375. Springer, Heidelberg (2010)"},{"key":"37_CR9","unstructured":"Logic Atlas and Integrator, http:\/\/logicatlas.omdoc.org"},{"key":"37_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"832","DOI":"10.1007\/978-3-540-68234-9_68","volume-title":"The Semantic Web: Research and Applications","author":"C. Lange","year":"2008","unstructured":"Lange, C.: SWiM \u2013 A semantic wiki for mathematical knowledge management. In: Bechhofer, S., Hauswirth, M., Hoffmann, J., Koubarakis, M. (eds.) ESWC 2008. LNCS, vol.\u00a05021, pp. 832\u2013837. Springer, Heidelberg (2008)"},{"key":"37_CR11","series-title":"LNAI","doi-asserted-by":"publisher","DOI":"10.1007\/11826095","volume-title":"OMDoc An open markup format for mathematical documents [Version 1.2]","author":"M. Kohlhase","year":"2006","unstructured":"Kohlhase, M.: OMDoc An open markup format for mathematical documents [Version 1.2]. LNCS (LNAI), vol.\u00a04180. Springer, Heidelberg (2006)"},{"key":"37_CR12","unstructured":"Open Math 2.0. (2004), http:\/\/www.openmath.org\/standard\/om20"},{"key":"37_CR13","unstructured":"MathML 3.0., http:\/\/www.w3.org\/TR\/MathML3"},{"key":"37_CR14","doi-asserted-by":"crossref","unstructured":"Gardner, J., Krowne, A., Xiong, L.: NNexus: Towards an Automatic Linker for a Massively-Distributed Collaborative Corpus. IEEE Transactions on Knowledge and Data Engineering\u00a021.6 (2009)","DOI":"10.1109\/TKDE.2008.136"},{"key":"37_CR15","doi-asserted-by":"crossref","unstructured":"Kohlhase, A., Kohlhase, M., Lange, C.: sTeX \u2013 A System for Flexible Formalization of Linked Data. In: I-Semantics (2010)","DOI":"10.1145\/1839707.1839712"},{"key":"37_CR16","unstructured":"Lange, C., et al.: Expressing Argumentative Discussions in Social Media Sites. In: Social Data on the Web Workshop at ISWC (2008)"},{"key":"37_CR17","unstructured":"David, C., Lange, C., Rabe, F.: Interactive Documents as Interfaces to Computer Algebra Systems: JOBAD and Wolfram|Alpha. In: CALCULEMUS, Emerging Trends (2010)"},{"key":"37_CR18","series-title":"LNCS(LNAI)","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/978-3-642-02614-0_24","volume-title":"Intelligent Computer Mathematics","author":"J. Giceva","year":"2009","unstructured":"Giceva, J., Lange, C., Rabe, F.: Integrating web services into active mathematical documents. In: Carette, J., Dixon, L., Coen, C.S., Watt, S.M. (eds.) MKM 2009, Held as Part of CICM 2009. LNCS(LNAI), vol.\u00a05625, pp. 279\u2013293. Springer, Heidelberg (2009)"},{"key":"37_CR19","doi-asserted-by":"crossref","unstructured":"Garc\u00eda, A., et al.: Semantic Web and Social Web heading towards Living Documents in the Life Sciences. In: Web Semantics 8.2\u20133 (2010)","DOI":"10.1016\/j.websem.2010.03.006"},{"key":"37_CR20","unstructured":"ActiveMath, http:\/\/www.activemath.org"},{"key":"37_CR21","unstructured":"MathDox Interactive Mathematics, http:\/\/www.mathdox.org"}],"container-title":["Lecture Notes in Computer Science","The Semanic Web: Research and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21064-8_37","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,11]],"date-time":"2019-06-11T12:16:53Z","timestamp":1560255413000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21064-8_37"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642210631","9783642210648"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21064-8_37","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}