{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:38:27Z","timestamp":1725557907364},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540250517"},{"type":"electronic","value":"9783540322542"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-32254-2_19","type":"book-chapter","created":{"date-parts":[[2010,6,22]],"date-time":"2010-06-22T19:16:54Z","timestamp":1277234214000},"page":"321-341","source":"Crossref","is-referenced-by-count":1,"title":["Psychological Validity of Schematic Proofs"],"prefix":"10.1007","author":[{"given":"Mateja","family":"Jamnik","sequence":"first","affiliation":[]},{"given":"Alan","family":"Bundy","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"19_CR1","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1007\/BFb0013063","volume-title":"Logic Programming and Automated Reasoning","author":"S. Baker","year":"1992","unstructured":"Baker, S., Ireland, A., Smaill, A.: On the use of the constructive omega rule within automated deduction. In: Voronkov, A. (ed.) LPAR 1992. LNCS (LNAI), vol.\u00a0624, pp. 214\u2013225. Springer, Heidelberg (1992)"},{"key":"19_CR2","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1023\/A:1008323427489","volume":"8","author":"M. Jamnik","year":"1999","unstructured":"Jamnik, M., Bundy, A., Green, I.: On automating diagrammatic proofs of arithmetic arguments. Journal of Logic, Language and Information\u00a08, 297\u2013321 (1999)","journal-title":"Journal of Logic, Language and Information"},{"key":"19_CR3","unstructured":"Sundholm, B.: A Survey of the Omega Rule. PhD thesis, University of Oxford, Oxford, UK (1983)"},{"key":"19_CR4","first-page":"107","volume-title":"What is Intelligence?","author":"R. Penrose","year":"1994","unstructured":"Penrose, R.: Mathematical intelligence. In: Khalfa, J. (ed.) What is Intelligence?, Cambridge, UK, The Darwin College Lectures, pp. 107\u2013136. Cambridge University Press, Cambridge (1994)"},{"key":"19_CR5","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139171472","volume-title":"Proofs and Refutations: The Logic of Mathematical Discovery","author":"I. Lakatos","year":"1976","unstructured":"Lakatos, I.: Proofs and Refutations: The Logic of Mathematical Discovery. Cambridge University Press, Cambridge (1976)"},{"key":"19_CR6","volume-title":"Mathematical Reasoning with Diagrams: From Intuition to Automation","author":"M. Jamnik","year":"2001","unstructured":"Jamnik, M.: Mathematical Reasoning with Diagrams: From Intuition to Automation. CSLI Press, Stanford (2001)"},{"key":"19_CR7","volume-title":"One two three ... infinity: Facts & Speculations of Science","author":"G. Gamow","year":"1988","unstructured":"Gamow, G.: One two three.. infinity: Facts & Speculations of Science. Dover Publications, New York (1988)"},{"key":"19_CR8","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/BF01206605","volume":"95","author":"D. Hilbert","year":"1926","unstructured":"Hilbert, D.: \u00dcber das Unendliche. Mathematische Annalen\u00a095, 161\u2013190 (1926)","journal-title":"Mathematische Annalen"},{"key":"19_CR9","first-page":"1879","volume-title":"From Frege to G\u00f6del \u2013 A Source Book in Mathematical Logic","year":"1967","unstructured":"Van Heijenoort, J. (ed.): From Frege to G\u00f6del \u2013 A Source Book in Mathematical Logic, pp. 1879\u20131931. Havard University Press, Harvard (1967)"},{"key":"#cr-split#-19_CR10.1","unstructured":"Hilbert, D.: Grundlagen der Geometrie. Teubner, Stuttgart (1899);"},{"key":"#cr-split#-19_CR10.2","unstructured":"English translation ???Foundations of Geometry??? published in 1902, by Open Court, Chicago"},{"key":"19_CR11","doi-asserted-by":"publisher","first-page":"193","DOI":"10.2307\/2369235","volume":"2","author":"A. Kempe","year":"1879","unstructured":"Kempe, A.: On the geographical problem of the four colours. American Journal of Mathematics\u00a02, 193\u2013200 (1879)","journal-title":"American Journal of Mathematics"},{"key":"19_CR12","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/4529.001.0001","volume-title":"Mechanizing Proof","author":"D. Mackenzie","year":"2001","unstructured":"Mackenzie, D.: Mechanizing Proof. MIT Press, Boston (2001)"},{"key":"19_CR13","doi-asserted-by":"publisher","first-page":"711","DOI":"10.1090\/S0002-9904-1976-14122-5","volume":"82","author":"K. Appel","year":"1976","unstructured":"Appel, K., Haken, W.: Every planar map is four colorable. Bulletin of the American Mathematical Society\u00a082, 711\u2013712 (1976)","journal-title":"Bulletin of the American Mathematical Society"},{"key":"19_CR14","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1007\/BF03024461","volume":"13","author":"H. Poincar\u00e9","year":"1899","unstructured":"Poincar\u00e9, H.: Compl\u00e9ment \u00e0 l\u2019analysis situs. Rendiconti del Circolo Matematico di Palermo\u00a013, 285\u2013343 (1899)","journal-title":"Rendiconti del Circolo Matematico di Palermo"}],"container-title":["Lecture Notes in Computer Science","Mechanizing Mathematical Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-32254-2_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,14]],"date-time":"2019-03-14T23:06:32Z","timestamp":1552604792000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-32254-2_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540250517","9783540322542"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-32254-2_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}