{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T05:48:20Z","timestamp":1725860900449},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319424316"},{"type":"electronic","value":"9783319424323"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-42432-3_58","type":"book-chapter","created":{"date-parts":[[2016,7,5]],"date-time":"2016-07-05T11:12:09Z","timestamp":1467717129000},"page":"451-457","source":"Crossref","is-referenced-by-count":5,"title":["The SMGloM Project and System: Towards a Terminology and Ontology for Mathematics"],"prefix":"10.1007","author":[{"given":"Deyan","family":"Ginev","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mihnea","family":"Iancu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Constantin","family":"Jucovshi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Kohlhase","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Kohlhase","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Akbar","family":"Oripov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00fcrgen","family":"Schefter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfram","family":"Sperber","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olaf","family":"Teschke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tom","family":"Wiesing","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,7,6]]},"reference":[{"key":"58_CR1","unstructured":"DBpedia. 17 September 2013. http:\/\/dbpedia.org . Acccessed 21 Feb 2014"},{"key":"58_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"423","DOI":"10.1007\/978-3-319-08434-3_31","volume-title":"Intelligent Computer Mathematics","author":"D Ginev","year":"2014","unstructured":"Ginev, D., Corneli, J.: NNexus reloaded. In: Watt, S.M., Davenport, J.H., Sexton, A.P., Sojka, P., Urban, J. (eds.) CICM 2014. LNCS, vol. 8543, pp. 423\u2013426. Springer, Heidelberg (2014). http:\/\/arXiv.org\/abs\/1404.6548"},{"key":"58_CR3","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1007\/11826095_11","volume-title":"OMDoc \u2013 An Open Markup Format for Mathematical Documents [version 1.2]","author":"M Kohlhase","year":"2006","unstructured":"Kohlhase, M.: Communication with and between mathematical software systems. In: Kohlhase, M. (ed.) OMDoc \u2013 An Open Markup Format for Mathematical Documents [version 1.2]. LNCS (LNAI), vol. 4180, pp. 75\u201379. Springer, Heidelberg (2006). http:\/\/omdoc.org\/pubs\/omdoc1.2.pdf"},{"key":"58_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1007\/978-3-319-08434-3_13","volume-title":"Intelligent Computer Mathematics","author":"M Kohlhase","year":"2014","unstructured":"Kohlhase, M.: A data model and encoding for a semantic, multilingual terminology of mathematics. In: Watt, S.M., Davenport, J.H., Sexton, A.P., Sojka, P., Urban, J. (eds.) CICM 2014. LNCS, vol. 8543, pp. 169\u2013183. Springer, Heidelberg (2014). http:\/\/kwarc.info\/kohlhase\/papers\/cicm14-smglom.pdf"},{"key":"58_CR5","unstructured":"MathHub.info: Active Mathematics. http:\/\/mathhub.info . Accessed 28 Jan 2014"},{"key":"58_CR6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.ic.2013.06.001","volume":"230","author":"F Rabe","year":"2013","unstructured":"Rabe, F., Kohlhase, M.: A scalable module system. Inf. Comput. 230, 1\u201354 (2013). http:\/\/kwarc.info\/frabe\/Research\/mmt.pdf","journal-title":"Inf. Comput."},{"key":"58_CR7","unstructured":"Kohlhase, M.: The SMGloM Public License (SPL) version 0.1. https:\/\/mathhub.info\/help\/spl0.1.html"},{"key":"58_CR8","unstructured":"KWARC, sTeX. https:\/\/github.com\/KWARC\/sTeX . Accessed 15 May 2015"},{"key":"58_CR9","unstructured":"Toloaca, I.: MathSemantier - a notation-based semantication study. B.Sc. Thesis, Jacobs University Bremen (2016)"},{"key":"58_CR10","series-title":"Lecture Notes in Computer Science","volume-title":"Intelligent Computer Mathematics","year":"2014","unstructured":"Watt, S.M., Davenport, J.H., Sexton, A.P., Sojka, P., Urban, J. (eds.): CICM 2014. LNCS, vol. 8543. Springer, Heidelberg (2014). ISBN: 978-3-319-08433-6"},{"key":"58_CR11","unstructured":"WordNet: a lexical database for English. https:\/\/wordnet.princeton.edu\/ . Accessed 26 May 2013"},{"key":"58_CR12","unstructured":"Towards a Universal Multilingual Wordnet. http:\/\/www.mpi-inf.mpg.de\/yago-naga\/uwn\/ . Accessed 26 May 2013"}],"container-title":["Lecture Notes in Computer Science","Mathematical Software \u2013 ICMS 2016"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-42432-3_58","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T13:51:40Z","timestamp":1498312300000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-42432-3_58"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319424316","9783319424323"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-42432-3_58","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}