{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,23]],"date-time":"2025-02-23T05:11:41Z","timestamp":1740287501978,"version":"3.37.3"},"reference-count":7,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2010,6,27]],"date-time":"2010-06-27T00:00:00Z","timestamp":1277596800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2010,8]]},"DOI":"10.1007\/s11225-010-9262-6","type":"journal-article","created":{"date-parts":[[2010,6,26]],"date-time":"2010-06-26T12:14:09Z","timestamp":1277554449000},"page":"407-416","source":"Crossref","is-referenced-by-count":1,"title":["Reversed Resolution in Reducing General Satisfiability Problem"],"prefix":"10.1007","volume":"95","author":[{"given":"Adam","family":"Kolany","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2010,6,27]]},"reference":[{"key":"9262_CR1","first-page":"61","volume":"35","author":"R. Cowen","year":"2001","unstructured":"Cowen R.: \u2018Property S\u2019. Reports on Math. Logic 35, 61\u201374 (2001)","journal-title":"Reports on Math. Logic"},{"key":"9262_CR2","first-page":"113","volume":"24","author":"R.H. Cowen","year":"1991","unstructured":"Cowen R.H.: \u2018Hypergraph satisfiability\u2019. Reports on Mathematical Logic 24, 113\u2013118 (1991)","journal-title":"Reports on Mathematical Logic"},{"key":"9262_CR3","doi-asserted-by":"crossref","first-page":"5","DOI":"10.3233\/FUN-2007-791-202","volume":"79","author":"R. Cowen","year":"2007","unstructured":"Cowen R., Kolany A.: \u2018Davis-Putnam Style Rules for Deciding Property S\u2019. Fundamenta Informaticae 79, 5\u201315 (2007)","journal-title":"Fundamenta Informaticae"},{"key":"9262_CR4","doi-asserted-by":"crossref","first-page":"393","DOI":"10.1007\/BF01057654","volume":"52","author":"A. Kolany","year":"1993","unstructured":"Kolany A.: \u2018Satisfiability on Hypergraphs\u2019. Studia Logica 52, 393\u2013404 (1993)","journal-title":"Studia Logica"},{"key":"9262_CR5","doi-asserted-by":"crossref","first-page":"191","DOI":"10.4064\/cm-39-2-191-199","volume":"39","author":"A. Schrijver","year":"1978","unstructured":"Schrijver A.: \u2018The dependence of some some logical axioms on disjoint transversals and linked systems\u2019. Colloq. Math. 39, 191\u2013199 (1978)","journal-title":"Colloq. Math."},{"key":"9262_CR6","volume-title":"Introduction to Graph Theory","author":"D. West","year":"1996","unstructured":"West D.: Introduction to Graph Theory. Prentice-Hall, Upper Saddle River, NJ (1996)"},{"key":"9262_CR7","unstructured":"Woodall, D.R., \u2018Property B and the four-colour problem\u2019, in D. J. Welsh and D.R. Woodall (eds.), Combinatorics, IMA, 1972."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-010-9262-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-010-9262-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-010-9262-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,22]],"date-time":"2025-02-22T08:23:07Z","timestamp":1740212587000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-010-9262-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,6,27]]},"references-count":7,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2010,8]]}},"alternative-id":["9262"],"URL":"https:\/\/doi.org\/10.1007\/s11225-010-9262-6","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2010,6,27]]}}}