{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T10:40:01Z","timestamp":1749724801687,"version":"3.41.0"},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1999,7,1]],"date-time":"1999-07-01T00:00:00Z","timestamp":930787200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1999,7,1]],"date-time":"1999-07-01T00:00:00Z","timestamp":930787200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Logic, Language and Information"],"published-print":{"date-parts":[[1999,7]]},"DOI":"10.1023\/a:1008323427489","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T14:41:38Z","timestamp":1040568098000},"page":"297-321","source":"Crossref","is-referenced-by-count":22,"title":["On Automating Diagrammatic Proofs of Arithmetic Arguments"],"prefix":"10.1007","volume":"8","author":[{"given":"Mateja","family":"Jamnik","sequence":"first","affiliation":[]},{"given":"Alan","family":"Bundy","sequence":"additional","affiliation":[]},{"given":"Ian","family":"Green","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"205624_CR1","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"214","DOI":"10.1007\/BFb0013063","volume-title":"International Conference on Logic Programming and Automated Reasoning \u2013 LPAR 92, St. Petersburg","author":"S. Baker","year":"1992","unstructured":"Baker, S., Ireland, A., and Smaill, A., 1992, \u201cOn the use of the constructive omega rule within automated deduction,\u201d pp. 214\u2013225 in International Conference on Logic Programming and Automated Reasoning \u2013 LPAR 92, St. Petersburg, A. Voronkov, ed., Lecture Notes in Artificial Intelligence, Vol. 624, Berlin: Springer-Verlag."},{"issue":"1","key":"205624_CR2","first-page":"25","volume":"6","author":"D. Barker-Plummer","year":"1997","unstructured":"Barker-Plummer, D. and Bailin, S.C., 1997, \u201cThe role of diagrams in mathematical proofs,\u201d Machine Graphics and Vision\n6(1), 25\u201356.","journal-title":"Machine Graphics and Vision"},{"key":"205624_CR3","first-page":"9","volume-title":"Visualization in Teaching and Learning Mathematics","author":"J. Barwise","year":"1991","unstructured":"Barwise, J. and Etchemendy, J., 1991, \u201cVisual information and valid reasoning,\u201d pp. 9\u201324 in Visualization in Teaching and Learning Mathematics, W. Zimmerman and S. Cunningham, eds., Washington, DC: The Mathematical Association of America."},{"volume-title":"Diagrammatic Reasoning: Cognitive and Computational Perspectives","year":"1995","unstructured":"Chandrasekaran, B., Glasgow, J., and Narayanan, N.H., eds., 1995, Diagrammatic Reasoning: Cognitive and Computational Perspectives, Washington, DC\/Cambridge, MA: AAAI Press\/The MIT Press.","key":"205624_CR4"},{"key":"205624_CR5","first-page":"134","volume-title":"Computers and Thought","author":"H. Gelernter","year":"1963","unstructured":"Gelernter, H., 1963, \u201cRealization of a geometry theorem-proving machine,\u201d pp. 134\u2013152 in Computers and Thought, E. Feigenbaum and J. Feldman, eds., New York: McGraw-Hill."},{"key":"205624_CR6","volume-title":"Logic and Visual Information","author":"E.M. Hammer","year":"1995","unstructured":"Hammer, E.M., 1995, Logic and Visual Information, Stanford, CA: Center for the Study of Language and Information."},{"unstructured":"Jamnik, M., 1999, \u201cAutomating diagrammatic proofs of arithmetic arguments,\u201d Ph.D. Thesis, available from Edinburgh University.","key":"205624_CR7"},{"key":"205624_CR8","series-title":"International Joint Conference on Artificial Intelligence","first-page":"528","volume-title":"Proceedings of the 15th IJCAI","author":"M. Jamnik","year":"1997","unstructured":"Jamnik, M., Bundy, A., and Green, I., 1997, \u201cAutomation of diagrammatic reasoning,\u201d pp. 528\u2013533 in Proceedings of the 15th IJCAI, Vol. 1, International Joint Conference on Artificial Intelligence, M.E. Pollack, ed., San Mateo, CA: Morgan Kaufmann Publishers. Also published in the Proceedings of the 1997 AAAI Fall Symposium. Also available from Edinburgh University as DAI Research Paper No. 873."},{"key":"205624_CR9","doi-asserted-by":"crossref","first-page":"511","DOI":"10.1207\/s15516709cog1404_2","volume":"14","author":"K.R. Koedinger","year":"1990","unstructured":"Koedinger, K.R. and Anderson, J.R., 1990, \u201cAbstract planning and perceptual chunks,\u201d Cognitive Science\n14, 511\u2013550. Reprinted in J. Glasgow, N.H. Narayanan, and B. Chandrasekaran, eds., Diagrammatic Reasoning: Cognitive and Computational Perspectives, Washington, DC\/Cambridge, MA: AAAI Press\/The MIT Press, 1995, pp. 577-625.","journal-title":"Cognitive Science"},{"key":"205624_CR10","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1111\/j.1551-6708.1987.tb00863.x","volume":"11","author":"J.H. Larkin","year":"1987","unstructured":"Larkin, J.H. and Simon, H.A., 1987, \u201cWhy a diagram is (sometimes) worth ten thousand words,\u201d Cognitive Science\n11, 65\u201399. Reprinted in J. Glasgow, N.H. Narayanan, and B. Chandrasekaran, eds., Diagrammatic Reasoning: Cognitive and Computational Perspectives, Washington, DC\/Cambridge, MA: AAAI Press\/The MIT Press, 1995, pp. 69-109.","journal-title":"Cognitive Science"},{"key":"205624_CR11","volume-title":"Proofs without Words: Exercises in Visual Thinking","author":"R.B. Nelsen","year":"1993","unstructured":"Nelsen, R.B., 1993, Proofs without Words: Exercises in Visual Thinking, Washington, DC: The Mathematical Association of America."},{"key":"205624_CR12","doi-asserted-by":"crossref","DOI":"10.1515\/9781400828678","volume-title":"How to Solve It","author":"G. P\u00f3lya","year":"1945","unstructured":"P\u00f3lya, G., 1945, How to Solve It, Princeton, NJ: Princeton University Press."},{"key":"205624_CR13","volume-title":"Mathematical Discovery","author":"G. P\u00f3lya","year":"1965","unstructured":"P\u00f3lya, G., 1965, Mathematical Discovery, two volumes, New York: John Wiley & Sons"},{"key":"205624_CR14","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511574696","volume-title":"The Logical Status of Diagrams","author":"S.J. Shin","year":"1995","unstructured":"Shin, S.J., 1995, The Logical Status of Diagrams, Cambridge: Cambridge University Press."},{"key":"205624_CR15","volume-title":"The Sciences of the Artificial","author":"H.A. Simon","year":"1996","unstructured":"Simon, H.A., 1996, The Sciences of the Artificial, third edition, Cambridge, MA: The MIT Press.","edition":"third edition"},{"key":"205624_CR16","volume-title":"Conceptual Structures: Information Processing in Mind and Machine","author":"J. Sowa","year":"1984","unstructured":"Sowa, J., 1984, Conceptual Structures: Information Processing in Mind and Machine, Reading, MA: Addison-Wesley."},{"key":"205624_CR17","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1207\/s15516709cog1901_3","volume":"19","author":"K. Stenning","year":"1995","unstructured":"Stenning, K. and Oberlander, J., 1995, \u201cA cognitive theory of graphical and linguistic reasoning: Logic and implementation,\u201d Cognitive Science\n19, 97\u2013140.","journal-title":"Cognitive Science"}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008323427489.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008323427489\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008323427489.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T10:18:49Z","timestamp":1749723529000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008323427489"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,7]]},"references-count":17,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1999,7]]}},"alternative-id":["205624"],"URL":"https:\/\/doi.org\/10.1023\/a:1008323427489","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"type":"print","value":"0925-8531"},{"type":"electronic","value":"1572-9583"}],"subject":[],"published":{"date-parts":[[1999,7]]}}}