{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,29]],"date-time":"2025-11-29T10:44:42Z","timestamp":1764413082065,"version":"3.41.0"},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2002,3,1]],"date-time":"2002-03-01T00:00:00Z","timestamp":1014940800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2002,3,1]],"date-time":"2002-03-01T00:00:00Z","timestamp":1014940800000},"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 Automated Reasoning"],"published-print":{"date-parts":[[2002,3]]},"DOI":"10.1023\/a:1020537107897","type":"journal-article","created":{"date-parts":[[2003,3,18]],"date-time":"2003-03-18T20:12:43Z","timestamp":1048018363000},"page":"67-89","source":"Crossref","is-referenced-by-count":16,"title":["Hilbert's Twenty-Fourth Problem"],"prefix":"10.1007","volume":"29","author":[{"given":"Ruediger","family":"Thiele","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Larry","family":"Wos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5092907_CR1","volume-title":"The World within the World","author":"J. Barrow","year":"1988","unstructured":"Barrow, J.: The World within the World, Clarendon Press, Oxford, 1988."},{"issue":"2","key":"5092907_CR2","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1023\/A:1010695827789","volume":"27","author":"B. Fitelson","year":"2001","unstructured":"Fitelson, B. and Wos, L.: Missing proofs found, J. Automated Reasoning\n27(2) (2001), 201\u2013225.","journal-title":"J. Automated Reasoning"},{"key":"5092907_CR3","unstructured":"Grattan-Guinness, I.: A sideways look at Hilbert's twenty-three problems of 1900, Notices of the Amer. Math. Soc.\n47 (August 2000), 752\u2013757."},{"key":"5092907_CR4","volume-title":"The Search for Mathematical Roots, 1870\u20131940: Logics, Set Theories and the Foundations of Mathematics from Cantor through Russell to Goedel","author":"I. Grattan-Guinness","year":"2000","unstructured":"Grattan-Guinness, I.: The Search for Mathematical Roots, 1870\u20131940: Logics, Set Theories and the Foundations of Mathematics from Cantor through Russell to Goedel, Princeton University Press, Princeton, 2000."},{"key":"5092907_CR5","unstructured":"\u0141ukasiewicz, J.: Selected Works, edited by L. Borokowski, North-Holland, Amsterdam, 1970."},{"key":"5092907_CR6","volume-title":"Tech. Report ANL-94\/6","author":"W. McCune","year":"1994","unstructured":"McCune, W.: OTTER 3.0 reference manual and guide, Tech. Report ANL-94\/6, Argonne National Laboratory, Argonne, IL, 1994."},{"key":"5092907_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-61398-6","volume-title":"Automated Deduction in Equational Logic and Cubic Curves","author":"W. McCune","year":"1996","unstructured":"McCune, W. and Padmanabhan, R.: Automated Deduction in Equational Logic and Cubic Curves, Lecture Notes in Comput. Sci. 1095, Springer-Verlag, Heidelberg, 1996. See http:\/\/www.mcs.anl.gov\/home\/mccune\/ar\/monograph\/ for additional information."},{"issue":"3","key":"5092907_CR8","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1305\/ndjfl\/1093957574","volume":"4","author":"C. A. Meredith","year":"1963","unstructured":"Meredith, C. A. and Prior, A.: Notes on the axiomatics of the propositional calculus, Notre Dame J. Formal Logic\n4(3) (1963), 171\u2013187.","journal-title":"Notre Dame J. Formal Logic"},{"key":"5092907_CR9","volume-title":"Briefe an David Hilbert","author":"H. Minkowski","year":"1973","unstructured":"Minkowski, H.: Briefe an David Hilbert, Springer, Berlin, 1973."},{"issue":"2","key":"5092907_CR10","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1016\/S1355-2198(99)00035-0","volume":"31","author":"J. D. Norton","year":"2000","unstructured":"Norton, J. D.: Nature is the realization of the simplest conceivable mathematical ideas, Stud. Hist. Mod. Phys.\n31(2) (2000), 135\u2013170.","journal-title":"Stud. Hist. Mod. Phys."},{"key":"5092907_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-28615-9","volume-title":"Hilbert","author":"C. Reid","year":"1970","unstructured":"Reid, C.: Hilbert, Springer, New York, 1970, reprinted 1996, Copernicus ed."},{"key":"5092907_CR12","first-page":"378","volume":"16","author":"I. Thomas","year":"1975","unstructured":"Thomas, I.: Shorter development of an axiom, Notre Dame J. Formal Logic\n16 (1975), 378.","journal-title":"Notre Dame J. Formal Logic"},{"issue":"3","key":"5092907_CR13","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1007\/BF00252178","volume":"16","author":"R. Veroff","year":"1996","unstructured":"Veroff, R.: Using hints to increase the effectiveness of an automated reasoning program: Case studies, J. Automated Reasoning\n16(3) (1996), 223\u2013239.","journal-title":"J. Automated Reasoning"},{"issue":"2","key":"5092907_CR14","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1023\/A:1010635625063","volume":"21","author":"R. Veroff","year":"2001","unstructured":"Veroff, R.: Finding shortest proofs: An application of linked inference rules, J. Automated Reasoning\n21(2) (2001), 123\u2013139","journal-title":"J. Automated Reasoning"},{"issue":"2","key":"5092907_CR15","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1023\/A:1010639725972","volume":"21","author":"R. Veroff","year":"2001","unstructured":"Veroff, R.: Solving open questions and other challenge problems using proof sketches, J. Automated Reasoning\n21(2) (2001), 157\u2013174.","journal-title":"J. Automated Reasoning"},{"key":"5092907_CR16","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1023\/A:1005847113370","volume":"21","author":"L. Wos","year":"1998","unstructured":"Wos, L.: Automating the search for elegant proofs, J. Automated Reasoning\n21 (1998), 135\u2013175.","journal-title":"J. Automated Reasoning"},{"key":"5092907_CR17","doi-asserted-by":"crossref","DOI":"10.1142\/4132","volume-title":"A Fascinating Country in the World of Computing: Your Guide to Automated Reasoning","author":"L. Wos","year":"1999","unstructured":"Wos, L. and Pieper, G. W.: A Fascinating Country in the World of Computing: Your Guide to Automated Reasoning, World Scientific, Singapore, 1999."},{"key":"5092907_CR18","doi-asserted-by":"crossref","DOI":"10.1142\/4164","volume-title":"The Collected Works of Larry Wos","author":"L. Wos","year":"2000","unstructured":"Wos, L. and Pieper, G. W.: The Collected Works of Larry Wos, World Scientific, Singapore, 2000."},{"key":"5092907_CR19","volume-title":"Preprint ANL\/MCS-P898-0801","author":"L. Wos","year":"2001","unstructured":"Wos, L.: The strategy of cramming, Preprint ANL\/MCS-P898-0801, Mathematics and Computer Science Division, Argonne National Laboratory, Argonne, IL, 2001."}],"container-title":["Journal of Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1020537107897.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1020537107897\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1020537107897.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,5]],"date-time":"2025-06-05T11:40:53Z","timestamp":1749123653000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1020537107897"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,3]]},"references-count":19,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2002,3]]}},"alternative-id":["5092907"],"URL":"https:\/\/doi.org\/10.1023\/a:1020537107897","relation":{},"ISSN":["0168-7433","1573-0670"],"issn-type":[{"type":"print","value":"0168-7433"},{"type":"electronic","value":"1573-0670"}],"subject":[],"published":{"date-parts":[[2002,3]]}}}