{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:44:44Z","timestamp":1725558284296},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540406891"},{"type":"electronic","value":"9783540451556"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-45155-6_2","type":"book-chapter","created":{"date-parts":[[2010,6,22]],"date-time":"2010-06-22T16:56:03Z","timestamp":1277225763000},"page":"14-23","source":"Crossref","is-referenced-by-count":3,"title":["MOWGLI \u2013 An Approach to Machine-Understandable Representation of the Mathematical Information in Digital Documents"],"prefix":"10.1007","author":[{"given":"Andrea","family":"Asperti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernd","family":"Wegner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"The Dublin Core Metadata Inititiative, http:\/\/purl.org\/dc\/"},{"key":"2_CR2","unstructured":"Living Reviews in Relativity, http:\/\/www.livingreviews.org"},{"key":"2_CR3","unstructured":"Mathematical Markup Language (MathML) 2.0 W3C Recommendation, February 21 (2001), http:\/\/www.w3.org\/TR\/MathML2\/"},{"key":"2_CR4","unstructured":"Resource Description Framework (RDF) Model and Syntax Specification, W3C Recommendation, February 22 (1999), http:\/\/www.w3.org\/TR\/1999\/REC-rdf-syntax-19990222\/"},{"key":"2_CR5","unstructured":"Resource Description Framework (RDF) Schema Specification 1.0,W3C Candidate Recommendation, March 27 (2000), http:\/\/www.w3.org\/TR\/rdf-schema\/"},{"key":"2_CR6","unstructured":"SOAP Version 1.2 Part 0: Primer. W3C Working Draft, December 17 (2001), http:\/\/www.w3.org\/TR\/2001\/WD-soap12-part0-20011217"},{"key":"2_CR7","unstructured":"Extensible Markup Language (XML) Specification. Version 1.0. W3C Recommendation, February 10 (1998), http:\/\/www.w3.org\/TR\/REC-xml"},{"key":"2_CR8","unstructured":"Transformations, X.S.L. (XSLT). Version 1.0, W3C Recommendation, November 16 (1999), http:\/\/www.w3.org\/TR\/xslt"},{"key":"2_CR9","volume-title":"Proceedings of the First International Conference on MathML and Math on the Web","author":"A. Asperti","year":"2000","unstructured":"Asperti, A., Padovani, L., Sacerdoti Coen, C., Schena, I.: Formal Mathematics in MathML. In: Proceedings of the First International Conference on MathML and Math on the Web, October 20-21 University of Illinois, Urbana-Champaign (2000)"},{"key":"2_CR10","unstructured":"Asperti, A., Padovani, L., Sacerdoti Coen, C., Schena, I.: Formal Mathematics on the Web. In: Proceedings of the Eighth International Conference on Libraries and Associations in the Transient World: New Technologies and New Forms of Cooperation, June 9-17, Sudak, Autonomous Republic of Crimea, Ukraine (2001)"},{"key":"2_CR11","unstructured":"Asperti, A., Padovani, L., Sacerdoti Coen, C., Schena, I.: XML, Stylesheets and the re-mathematization of Formal Content. In: Proceedings of Extreme Markup Languages 2001 Conference, Montr\u00e9al, Canada, August 12-17 (2001)"},{"key":"2_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/3-540-44755-5_6","volume-title":"Theorem Proving in Higher Order Logics","author":"A. Asperti","year":"2001","unstructured":"Asperti, A., Padovani, L., Sacerdoti Coen, C., Schena, I.: HELM and the semantic Math-Web. In: Boulton, R.J., Jackson, P.B. (eds.) TPHOLs 2001. LNCS, vol.\u00a02152, p. 59. Springer, Heidelberg (2001)"},{"key":"2_CR13","unstructured":"Barras, B., et al.: The Coq Proof Assistant Reference Manual, version 6.3.1, http:\/\/pauillac.inria.fr\/coq"},{"key":"2_CR14","unstructured":"Lee, T.B.: The Semantic Web. W3C Architecture Note (1998)"},{"volume-title":"Logical Frameworks","year":"1991","key":"2_CR15","unstructured":"Huet, G., Plotkin, G. (eds.): Logical Frameworks. Cambridge University Press, Cambridge (1991)"},{"volume-title":"Logical Environments","year":"1993","key":"2_CR16","unstructured":"Huet, G., Plotkin, G. (eds.): Logical Environments. Cambridge University Press, Cambridge (1993)"},{"key":"2_CR17","series-title":"LNAI","volume-title":"Proceedings of Artificial Intelligence and Symbolic Computation","author":"M. Kohlase","year":"2000","unstructured":"Kohlase, M.: OMDoc: Towards an Internet Standard for the Administration, Distribution and Teaching of mathematical Knowledge. In: Proceedings of Artificial Intelligence and Symbolic Computation. LNCS (LNAI). Springer, Heidelberg (2000)"},{"key":"2_CR18","doi-asserted-by":"crossref","unstructured":"Kohlase, M.: OMDoc: An Infrastructure for OpenMath Content Dictionary Information. Bulletin of the ACM Special Interest Group for Algorithmic Mathematics SIGSAM (2000)","DOI":"10.1145\/362001.362021"}],"container-title":["Lecture Notes in Computer Science","Electronic Information and Communication in Mathematics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45155-6_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T05:47:51Z","timestamp":1559195271000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-45155-6_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540406891","9783540451556"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45155-6_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}