{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T09:06:47Z","timestamp":1742980007379,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540230298"},{"type":"electronic","value":"9783540278184"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"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":[[2004]]},"DOI":"10.1007\/978-3-540-27818-4_25","type":"book-chapter","created":{"date-parts":[[2010,2,25]],"date-time":"2010-02-25T14:26:47Z","timestamp":1267108007000},"page":"347-362","source":"Crossref","is-referenced-by-count":9,"title":["Efficient Ambiguous Parsing of Mathematical Formulae"],"prefix":"10.1007","author":[{"given":"Claudio Sacerdoti","family":"Coen","sequence":"first","affiliation":[]},{"given":"Stefano","family":"Zacchiroli","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"25_CR1","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1023\/A:1022907629104","volume":"38","author":"A. Asperti","year":"2003","unstructured":"Asperti, A., Guidi, F., Padovani, L., Sacerdoti Coen, C., Schena, I.: Mathematical Knowledge Management in HELM. Annals of Mathematics and Artificial Intelligence\u00a038(1), 27\u201346 (2003)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"25_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36469-2_10","volume-title":"Mathematical Knowledge Management","author":"G. Bancerek","year":"2003","unstructured":"Bancerek, G., Rudnicki, P.: Information Retrieval in MML. In: Asperti, A., Buchberger, B., Davenport, J.H. (eds.) MKM 2003. LNCS, vol.\u00a02594. Springer, Heidelberg (2003)"},{"key":"25_CR3","unstructured":"The Coq proof-assistant, \n                  \n                    http:\/\/coq.inria.fr"},{"key":"25_CR4","unstructured":"Di Lena, P.: Generazione automatica di stylesheet per notazione matematica. Master thesis. University of Bologna (2003)"},{"key":"25_CR5","unstructured":"Guidi, F., Sacerdoti Coen, C.: Querying Distributed Digital Libraries of Mathematics. In: Proceedings of Calculemus 2003, 11th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning. Aracne Editrice (2003)"},{"key":"25_CR6","unstructured":"Kohlhase, M.: OMDoc: An Open Markup Format for Mathematical Documents (Version 1.1). OMDoc technical recommendation"},{"key":"25_CR7","unstructured":"McBride, C.: Dependently Typed Functional Programs and their Proofs. Ph.D. thesis. University of Edinburgh (1999)"},{"key":"25_CR8","unstructured":"Munoz, C.: A Calculus of Substitutions for Incomplete-Proof Representation in Type Theory. Ph.D. thesis, INRIA (1997)"},{"key":"25_CR9","unstructured":"Naylor, W.A., Watt, S.: Meta Style Sheets for the Conversion of Mathematical Documents into other Forms. In: On-Line Proceedings of the First International Conference on Mathematical Knowledge Management, MKM 2001 (2001), \n                  \n                    http:\/\/www.emis.de\/proceedings\/MKM2001\/"},{"key":"25_CR10","unstructured":"The Mizar proof-assistant, \n                  \n                    http:\/\/mizar.uwb.edu.pl\/"},{"key":"25_CR11","unstructured":"Ranta, A.: Grammatical Framework: A Type-Theoretical Grammar Formalism. Journal of Functional Programming (manuscript made available in September 2002) (to appear, 2002)"},{"key":"25_CR12","unstructured":"Sacerdoti Coen, C.: Knowledge Management of Formal Mathematics and Interactive Theorem Proving. Ph.D. thesis, University of Bologna (2004)"},{"key":"25_CR13","unstructured":"Strecker, M.: Construction and Deduction in Type Theories. Ph.D. thesis, Universit\u00e4t Ulm (1998)"}],"container-title":["Lecture Notes in Computer Science","Mathematical Knowledge Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-27818-4_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,12]],"date-time":"2019-03-12T09:26:47Z","timestamp":1552382807000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27818-4_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540230298","9783540278184"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27818-4_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}