{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:09:41Z","timestamp":1725487781518},"publisher-location":"Berlin, Heidelberg","reference-count":3,"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_33","type":"book-chapter","created":{"date-parts":[[2007,7,21]],"date-time":"2007-07-21T17:40:26Z","timestamp":1185039626000},"page":"526-533","source":"Crossref","is-referenced-by-count":0,"title":["Appendix: Conjectures Concerning Proof, Design, and Verification"],"prefix":"10.1007","author":[{"given":"Larry","family":"Wos","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"33_CR1","volume-title":"Missing Proofs Found","author":"B. Fitelson","year":"2000","unstructured":"Fitelson, B., and Wos, L.: Missing Proofs Found, preprint ANL\/MCS-P816-0500, Argonne National Laboratory, Argonne, Illinois (2000)"},{"key":"33_CR2","volume-title":"The Automation of Reasoning: An Experimenter\u2019s Notebook with OTTER Tutorial","author":"L. Wos","year":"1996","unstructured":"Wos, L.: The Automation of Reasoning: An Experimenter\u2019s Notebook with OTTER Tutorial. Academic Press, New York (1996)"},{"key":"33_CR3","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 Publishing, 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_33","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,18]],"date-time":"2019-02-18T06:54:04Z","timestamp":1550472844000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44659-1_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540678632","9783540446590"],"references-count":3,"URL":"https:\/\/doi.org\/10.1007\/3-540-44659-1_33","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}