{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,25]],"date-time":"2026-04-25T04:42:18Z","timestamp":1777092138877,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642316111","type":"print"},{"value":"9783642316128","type":"electronic"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"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":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-31612-8_11","type":"book-chapter","created":{"date-parts":[[2012,6,18]],"date-time":"2012-06-18T05:14:42Z","timestamp":1339996482000},"page":"129-142","source":"Crossref","is-referenced-by-count":3,"title":["Henkin Quantifiers and Boolean Formulae"],"prefix":"10.1007","author":[{"given":"Valeriy","family":"Balabanov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hui-Ju Katherine","family":"Chiang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jie-Hong Roland","family":"Jiang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1007\/978-3-540-32275-7_20","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"M. Benedetti","year":"2005","unstructured":"Benedetti, M.: Evaluating QBFs via Symbolic Skolemization. In: Baader, F., Voronkov, A. (eds.) LPAR 2004. LNCS (LNAI), vol.\u00a03452, pp. 285\u2013300. Springer, Heidelberg (2005)"},{"key":"11_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0168-0072(86)90040-0","volume":"32","author":"A. Blass","year":"1986","unstructured":"Blass, A., Gurevich, Y.: Henkin quantifiers and complete problems. Annals of Pure and Applied Logic\u00a032, 1\u201316 (1986)","journal-title":"Annals of Pure and Applied Logic"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Balabanov, V., Jiang, J.-H.R.: Unified QBF certification and its applications. In: Formal Methods in System Design (2012)","DOI":"10.1007\/s10703-012-0152-6"},{"key":"11_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1007\/11814948_21","volume-title":"Theory and Applications of Satisfiability Testing - SAT 2006","author":"U. Bubeck","year":"2006","unstructured":"Bubeck, U., Kleine B\u00fcning, H.: Dependency Quantified Horn Formulas: Models and Complexity. In: Biere, A., Gomes, C.P. (eds.) SAT 2006. LNCS, vol.\u00a04121, pp. 198\u2013211. Springer, Heidelberg (2006)"},{"key":"11_CR5","unstructured":"Bubeck, U.: Model-based Transformations for Quantified Boolean Formulas. IOS Press (2010)"},{"issue":"1","key":"11_CR6","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1093\/jigpal\/jzn030","volume":"17","author":"X. Caicedo","year":"2009","unstructured":"Caicedo, X., Dechesne, F., Janssen, T.: Equivalence and quanftifier rules for logic with imperfect information. Logic Journal of the IGPL\u00a017(1), 91\u2013129 (2009)","journal-title":"Logic Journal of the IGPL"},{"key":"11_CR7","unstructured":"Dechesne, F.: Game, Set, Maths: Formal Investigations into Logic with Imperfect Information. PhD thesis, Tilburg University (2005)"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Jiang, J.-H.R., Lin, H.-P., Hung, W.-L.: Interpolating functions from large Boolean relations. In: Proc. Int\u2019l Conf. on Computer-Aided Design (ICCAD), pp. 770\u2013784 (2009)","DOI":"10.1145\/1687399.1687544"},{"key":"11_CR9","unstructured":"Henkin, L.: Some remarks on infinitely long formulas. Infinitistic Methods, 167\u2013183 (1961)"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"Hintikka, J., Sandu, G.: Informational independence as a semantical phenomenon. In: Logic, Methodology and Philosophy of Science, pp. 571\u2013589 (1989)","DOI":"10.1016\/S0049-237X(08)70066-1"},{"issue":"7-8","key":"11_CR11","doi-asserted-by":"publisher","first-page":"957","DOI":"10.1016\/S0898-1221(00)00333-3","volume":"41","author":"G. Peterson","year":"2001","unstructured":"Peterson, G., Reif, J., Azhar, S.: Lower bounds for multiplayer non-cooperative games of imcomplete information. Computers and Mathematics with Applications\u00a041(7-8), 957\u2013992 (2001)","journal-title":"Computers and Mathematics with Applications"},{"key":"11_CR12","unstructured":"Peters, S., Westerstahl, D.: Quantifiers in Language and Logic. Oxford University Press (2006)"},{"key":"#cr-split#-11_CR13.1","unstructured":"Skolem, T.: Uber die mathematische Logik. Norsk. Mat. Tidsk.\u00a010, 125-142 (1928)"},{"key":"#cr-split#-11_CR13.2","unstructured":"Translation in From Frege to G\u00f6del, A Source Book in Mathematical Logic, J. van Heijenoort. Harvard Univ. Press (1967)"},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"Sinha, S., Mishchenko, A., Brayton, R.K.: Topologically constrained logic synthesis. In: Proc. Int\u2019l Conf. on Computer-Aided Design (ICCAD), pp. 679\u2013686 (2002)","DOI":"10.1109\/ICCAD.2002.1167605"}],"container-title":["Lecture Notes in Computer Science","Theory and Applications of Satisfiability Testing \u2014 SAT 2012"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-31612-8_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,25]],"date-time":"2026-04-25T04:09:20Z","timestamp":1777090160000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-31612-8_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642316111","9783642316128"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31612-8_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}