{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T10:57:13Z","timestamp":1725533833295},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642026133"},{"type":"electronic","value":"9783642026140"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-02614-0_23","type":"book-chapter","created":{"date-parts":[[2009,7,2]],"date-time":"2009-07-02T07:47:24Z","timestamp":1246520844000},"page":"263-278","source":"Crossref","is-referenced-by-count":3,"title":["Unifying Math Ontologies: A Tale of Two Standards"],"prefix":"10.1007","author":[{"given":"James H.","family":"Davenport","sequence":"first","affiliation":[]},{"given":"Michael","family":"Kohlhase","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"23_CR1","unstructured":"Apostol, T.M.: Calculus, 2nd edn., vol.\u00a0II. Blaisdell (1967)"},{"key":"23_CR2","doi-asserted-by":"crossref","unstructured":"Borwein, P., Erd\u00e9lyi, T.: Polynomials and Polynomial Inequalities. Springer Graduate Texts in Mathematics, vol.\u00a0161 (1995)","DOI":"10.1007\/978-1-4612-0793-1"},{"key":"23_CR3","unstructured":"Carlisle, D., Davenport, J., Dewar, M., Hur, N., Naylor, W.: Conversion between MathML and OpenMath. Technical report, The OpenMath Society (2001)"},{"key":"23_CR4","unstructured":"The\u00a0OpenMath Consortium. OpenMath Standard 2.0 (2004), http:\/\/www.openmath.org\/standard\/om20-2004-06-30\/omstd20.pdf"},{"key":"23_CR5","unstructured":"World-Wide\u00a0Web Consortium. Mathematical Markup Language (MathML) Version 2.0 (Second Edition): W3C Recommendation, October 21 (2003), http:\/\/www.w3.org\/TR\/MathML2\/"},{"key":"23_CR6","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1145\/362001.362014","volume":"34","author":"J.H. Davenport","year":"2000","unstructured":"Davenport, J.H.: A Small OpenMath Type System. ACM SIGSAM Bulletin 2,\u00a034, 16\u201321 (2000)","journal-title":"ACM SIGSAM Bulletin 2"},{"key":"23_CR7","unstructured":"Davenport, J.H.: OpenMath in a (Semantic) Web (2008), http:\/\/www.jem-thematic.net\/node\/592"},{"key":"23_CR8","unstructured":"Davenport, J.H., Kohlhase, M.: Calculus in OpenMath. In: 22nd OpenMath Workshop (submitted, 2009)"},{"key":"23_CR9","unstructured":"Davenport, J.H., Kohlhase, M.: Quantifiers in OpenMath. In: 22nd OpenMath Workshop (submitted, 2009)"},{"key":"23_CR10","unstructured":"Davenport, J.H., Kohlhase, M.: Unifying Math Ontologies: A tale of two standards (full paper) (2009), http:\/\/opus.bath.ac.uk\/13079"},{"key":"23_CR11","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511809835","volume-title":"Lambda-Calculus and Combinators","author":"J.R. Hindley","year":"2008","unstructured":"Hindley, J.R., Seldin, J.P.: Lambda-Calculus and Combinators. Cambridge University Press, Cambridge (2008)"},{"key":"23_CR12","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1023\/B:JLLI.0000028393.47593.b8","volume":"13","author":"F. Kamareddine","year":"2004","unstructured":"Kamareddine, F., Nederpelt, R.: A Refinement of de Bruijn\u2019s Formal Language of Mathematics. J. Logic, Language & Information\u00a013, 287\u2013340 (2004)","journal-title":"J. Logic, Language & Information"},{"key":"23_CR13","unstructured":"Kohlhase, M.: OpenMath3 without conditions: A Proposal for a MathML3\/OM3 Calculus Content Dictionary (2008), https:\/\/svn.openmath.org\/OpenMath3\/doc\/blue\/noconds\/note.pdf"},{"key":"23_CR14","series-title":"LNAI","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/11826095_4","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, pp. 25\u201332. Springer, Heidelberg (2006)"},{"key":"23_CR15","unstructured":"Christoph Lange. OpenMath wiki (2009), http:\/\/wiki.openmath.org"},{"key":"23_CR16","unstructured":"Lange, C., Palomo, A.G.: Easily editing and browsing complex OpenMath markup with SWiM. In: Libbrecht, P. (ed.) Mathematical User Interfaces Workshop 2008 (2008)"}],"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-02614-0_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T01:40:47Z","timestamp":1558402847000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02614-0_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642026133","9783642026140"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02614-0_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}