{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:09:42Z","timestamp":1725487782854},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540678632"},{"type":"electronic","value":"9783540446590"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44659-1_32","type":"book-chapter","created":{"date-parts":[[2007,7,21]],"date-time":"2007-07-21T13:40:26Z","timestamp":1185025226000},"page":"519-525","source":"Crossref","is-referenced-by-count":1,"title":["Automating the Search for Answers to Open Questions"],"prefix":"10.1007","author":[{"given":"Larry","family":"Wos","sequence":"first","affiliation":[]},{"given":"Branden","family":"Fitelson","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"32_CR1","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1016\/S0020-0190(98)00015-5","volume":"65","author":"W. McCune","year":"1998","unstructured":"McCune, W.: Automatic Proofs and Counterexamples for Some Ortholattice Identities, Information Processing Letters 65 (1998), 285\u2013291","journal-title":"Information Processing Letters"},{"key":"32_CR2","series-title":"Technical report","doi-asserted-by":"crossref","DOI":"10.2172\/10129052","volume-title":"Otter 3.0 Reference Manual and Guide","author":"W. McCune","year":"1994","unstructured":"McCune, W.: Otter 3.0 Reference Manual and Guide. Technical report ANL-94\/6. Argonne National Laboratory, Argonne, Illinois (1994)"},{"issue":"3","key":"32_CR3","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1023\/A:1005843212881","volume":"19","author":"W. McCune","year":"1997","unstructured":"McCune, W.: Solution of the Robbins Problem, J. Automated Reasoning 19, no. 3 (December 1997) 263\u2013276","journal-title":"J. Automated Reasoning"},{"key":"32_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-61398-6","volume-title":"Automated Deduction in Equational Logic and Cubic Curves","author":"M. McCune","year":"1996","unstructured":"McCune, M., and Padmanabhan, R.: Automated Deduction in Equational Logic and Cubic Curves. Lecture Notes in Computer Science, Vol. 1095. Springer-Verlag, New York (1996)"},{"issue":"4","key":"32_CR5","first-page":"409","volume":"5","author":"J. S. Moore","year":"1989","unstructured":"Moore, J S.: System Verification (special issue), J. Automated Reasoning 5, no. 4 (December 1989) 409\u2013544","journal-title":"J. Automated Reasoning"},{"issue":"2","key":"32_CR6","first-page":"215","volume":"17","author":"L. Wos","year":"1996","unstructured":"Wos, L.: Otter and the Moufang Identity Problem, J. Automated Reasoning 17, no. 2 (1996) 215\u2013257","journal-title":"J. Automated Reasoning"},{"key":"32_CR7","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)"}],"container-title":["Lecture Notes in Computer Science","Theorem Proving in Higher Order Logics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44659-1_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,18]],"date-time":"2019-02-18T01:00:13Z","timestamp":1550451613000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44659-1_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540678632","9783540446590"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/3-540-44659-1_32","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}