{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T12:37:58Z","timestamp":1725626278146},"publisher-location":"Berlin, Heidelberg","reference-count":4,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540128717"},{"type":"electronic","value":"9783642693915"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1983]]},"DOI":"10.1007\/978-3-642-69391-5_19","type":"book-chapter","created":{"date-parts":[[2011,10,27]],"date-time":"2011-10-27T06:13:31Z","timestamp":1319696011000},"page":"207-215","source":"Crossref","is-referenced-by-count":0,"title":["Proof Search for Unprovable Formulas"],"prefix":"10.1007","author":[{"given":"Wolfgang","family":"Sch\u00f6nfeld","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"19_CR1","series-title":"The decision problem","volume-title":"Solvable classes of quantificational formulas","author":"B Dreben","year":"1979","unstructured":"B. Dreben and W. D. Goldfarb, The decision problem. Solvable classes of quantificational formulas, Addison-Wesley (1979)."},{"key":"19_CR2","doi-asserted-by":"publisher","first-page":"398","DOI":"10.1145\/321958.321960","volume":"23","author":"WH Joyner Jr","year":"1976","unstructured":"W. H. Joyner Jr., Resolution strategies as decision procedures, J.ACM 23(1976), 398\u2013417.","journal-title":"J.ACM"},{"key":"19_CR3","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1016\/0022-0000(80)90027-6","volume":"21","author":"HR Lewis","year":"1980","unstructured":"H. R. Lewis, Complexity results for classes of quantificational formulas, J.Comp.Syst.Sci. 21(1980), 317\u2013353.","journal-title":"J.Comp.Syst.Sci."},{"key":"19_CR4","series-title":"Habilitationsschrift","volume-title":"Gleichungen in der Algebra der binaren Relationen","author":"W Schonfeld","year":"1979","unstructured":"W. Schonfeld, Gleichungen in der Algebra der binaren Relationen, Habilitationsschrift, Universit\u00e4t Stuttgart (1979)."}],"container-title":["Informatik-Fachberichte","GWAI-83"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-69391-5_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T17:33:38Z","timestamp":1606239218000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-69391-5_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1983]]},"ISBN":["9783540128717","9783642693915"],"references-count":4,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-69391-5_19","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1983]]}}}