{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T06:05:55Z","timestamp":1747548355168},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540425250"},{"type":"electronic","value":"9783540447559"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44755-5_6","type":"book-chapter","created":{"date-parts":[[2007,8,10]],"date-time":"2007-08-10T06:03:32Z","timestamp":1186725812000},"page":"59-74","source":"Crossref","is-referenced-by-count":13,"title":["HELM and the Semantic Math-Web"],"prefix":"10.1007","author":[{"given":"Andrea","family":"Asperti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luca","family":"Padovani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claudio Sacerdoti","family":"Coen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Irene","family":"Schena","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,8,24]]},"reference":[{"key":"6_CR1","unstructured":"Asperti, A., Padovani, L., Sacerdoti Coen, C., Schena, I., \u201cTowards a library of formal mathematics\u201d. Panel session of the 13th International Conference on Theorem Proving in Higher Order Logics (TPHOLS\u20192000), Portland, Oregon, USA."},{"key":"6_CR2","volume-title":"XML, Stylesheets and the re-mathematization of Formal Content","author":"A. Asperti","year":"2000","unstructured":"Asperti, A., Padovani, L., Sacerdoti Coen, C., Schena, I., \u201cXML, Stylesheets and the re-mathematization of Formal Content\u201d, Department of Computer Science, Bologna, Italy, May 2000."},{"key":"6_CR3","unstructured":"Barras, et al., \u201cThe Coq Proof Assistant Reference Manual, version 6.3.1\u201d, \n                    http:\/\/pauillac.inria.fr\/coq\/\n                    \n                  ."},{"key":"6_CR4","unstructured":"Coscoy, Y., Kahn, G., Thery, L., Extracting Text from Proofs. Technical Report RR-2459, INRIA Sophia Antipolis."},{"key":"6_CR5","unstructured":"Coscoy, Y., \u201cExplication textuelle de preuves pour le Calcul des Constructions Inductives\u201d, Phd. Thesis, Universit\u00e9 de Nice-Sophia Antipolis, 2000."},{"key":"6_CR6","unstructured":"Berners-Lee, T., \u201cUniversal Resource Identifiers in WWW\u201d, RFC 1630, CERN, June 1994."},{"key":"6_CR7","unstructured":"Extensible Markup Language (XML) (Second Edition). Version 1.0. W3C Recommendation, 6 October 2000. \n                    http:\/\/www.w3.org\/TR\/REC-xml\n                    \n                  ."},{"key":"6_CR8","unstructured":"Mathematical Markup Language (MathML). Version 2.0. W3C Recommendation, 21 February 2001. \n                    http:\/\/www.w3.org\/TR\/MathML2\/\n                    \n                  ."},{"key":"6_CR9","unstructured":"Namespaces in XML. W3C Recommendation, 14 January 1999. \n                    http:\/\/www.w3.org\/TR\/REC-xml-names\/"},{"key":"6_CR10","volume":"1","year":"2000","unstructured":"Open Mathematical Documents (OMDoc) 1.0, November 1 2000. \n                    http:\/\/www.mathweb.org\/omdoc\/\n                    \n                  .","journal-title":"Open Mathematical Documents (OMDoc) 1.0"},{"key":"6_CR11","unstructured":"Resource Description Framework (RDF) Model and Syntax Specification, W3C Recommendation 22 February 1999. \n                    http:\/\/www.w3.org\/TR\/1999\/REC-rdf-syntax-19990222\/\n                    \n                  ."},{"key":"6_CR12","unstructured":"Resource Description Framework (RDF) Schema Specification 1.0, W3C Candidate Recommendation 27 March 2000. \n                    http:\/\/www.w3.org\/TR\/rdf-schema\/\n                    \n                  ."},{"key":"6_CR13","unstructured":"Simple Object Access Protocol (SOAP). Version 1.1. W3C Note, 8 May 2000. \n                    http:\/\/www.w3.org\/TR\/SOAP\/\n                    \n                  ."},{"key":"6_CR14","unstructured":"XML Linking Language (XLink). Version 1.0. W3C Proposed Recommendation, 20 December 2000. \n                    http:\/\/www.w3.org\/TR\/xlink\/\n                    \n                  ."},{"key":"6_CR15","unstructured":"XML Pointer Language (XPointer). Version 1.0. W3C Working Draft (Last Call), 8 January 2001. \n                    http:\/\/www.w3.org\/TR\/xptr\/\n                    \n                  ."},{"key":"6_CR16","unstructured":"XML Path Language (XPath). Version 1.0, W3C Recommendation, 16 November 1999. \n                    http:\/\/www.w3.org\/TR\/xpath\n                    \n                  ."},{"key":"6_CR17","unstructured":"XSL Transformations (XSLT). Version 1.0, W3C Recommendation, 16 November 1999. \n                    http:\/\/www.w3.org\/TR\/xslt\/\n                    \n                  ."}],"container-title":["Lecture Notes in Computer Science","Theorem Proving in Higher Order Logics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44755-5_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,21]],"date-time":"2019-02-21T04:47:45Z","timestamp":1550724465000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44755-5_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540425250","9783540447559"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-44755-5_6","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}