{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T23:39:42Z","timestamp":1725579582067},"publisher-location":"London","reference-count":10,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9781852332426"},{"type":"electronic","value":"9781447101093"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/978-1-4471-0109-3_19","type":"book-chapter","created":{"date-parts":[[2011,3,24]],"date-time":"2011-03-24T01:03:57Z","timestamp":1300928637000},"page":"339-355","source":"Crossref","is-referenced-by-count":0,"title":["On the Practical Semantics of Mathematical Diagrams"],"prefix":"10.1007","author":[{"given":"Dave","family":"Barker-Plummer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sidney C.","family":"Bailin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"19_CR1","first-page":"25","volume-title":"Working notes of the AAAI symposium on reasoning with diagrammatic representations","author":"D Barker-Plummer","year":"1992","unstructured":"Barker-Plummer, D. and Bailin, S.C. (1992). Proofs and pictures: Proving the diamond lemma with the GROVER theorem proving system. In Working notes of the AAAI symposium on reasoning with diagrammatic representations, Stanford, CA, 25\u201327 March."},{"issue":"1","key":"19_CR2","first-page":"25","volume":"6","author":"D Barker-Plummer","year":"1997","unstructured":"Barker-Plummer, D. and Bailin, S.C. (1997). The role of diagrams in mathematical proofs. Machine Graphics and Vision 6(1):25\u201356.","journal-title":"Machine Graphics and Vision"},{"key":"19_CR3","first-page":"1","volume-title":"Working papers on diagrams and logic.","author":"J Barwise","year":"1993","unstructured":"Barwise, J. (1993). Heterogeneous reasoning. In G. Allwein and J. Barwise (Eds), Working papers on diagrams and logic. Indiana University Logic Group, pp. 1\u201313."},{"key":"19_CR4","volume-title":"Computers and thought","author":"H Gelernter","year":"1963","unstructured":"Gelernter, H. (1963). Realization of a geometry theorem proving machine. In E. Feigenbaum and J. Feldman (Eds), Computers and thought. New York: McGraw Hill."},{"key":"19_CR5","volume-title":"Computers and thought","author":"H Gelernter","year":"1963","unstructured":"Gelernter, H., Hansen, J.R. and Loveland, D.W. (1963). Empirical explorations of the geometry theorem proving machine. In E. Feigenbaum and J. Feldman (Eds), Computers and thought. New York: McGraw Hill."},{"key":"19_CR6","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/0004-3702(70)90005-6","volume":"1","author":"P Gilmore","year":"1970","unstructured":"Gilmore, P. (1970). An examination of the geometry theorem proving machine. Artificial Intelligence 1:171\u2013187.","journal-title":"Artificial Intelligence"},{"key":"19_CR7","first-page":"168","volume-title":"Perspectives on cognitive science:","author":"M Jamnik","year":"1997","unstructured":"Jamnik, M., Bundy, A. and Green, I. (1997). Automation of diagrammatic proofs in mathematics. In B. Kokinov (Ed.), Perspectives on cognitive science, Vol. 3. Sofia: NBU Press, pp. 168\u2013175. Also available as Department of Artificial Intelligence Research Paper No. 835."},{"issue":"3","key":"19_CR8","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1023\/A:1008323427489","volume":"8","author":"M Jamnik","year":"1999","unstructured":"Jamnik, M., Bundy, A. and Green, I. (1999). On automating diagrammatic proofs of arithmetic arguments. Journal of Logic, Language and Information 8(3):297\u2013321. Also available as Department of Artificial Intelligence Research Paper No. 910.","journal-title":"Journal of Logic, Language and Information"},{"key":"19_CR9","volume-title":"Proofs without words. Number 1 in Classroom Resource Materials","author":"RB Nelson","year":"1993","unstructured":"Nelson, R.B. (1993). Proofs without words. Number 1 in Classroom Resource Materials. Washington, DC: The Mathematical Association of America."},{"key":"19_CR10","volume-title":"Automatic theorem proving in set theory","author":"D Pastre","year":"1977","unstructured":"Pastre, D. (1977). Automatic theorem proving in set theory. Technical report, University of Paris (VI)."}],"container-title":["Diagrammatic Representation and Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-0109-3_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,18]],"date-time":"2020-11-18T05:36:44Z","timestamp":1605677804000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-0109-3_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9781852332426","9781447101093"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-0109-3_19","relation":{},"subject":[],"published":{"date-parts":[[2002]]}}}