{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,21]],"date-time":"2026-03-21T02:34:44Z","timestamp":1774060484236,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540615118","type":"print"},{"value":"9783540686873","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61511-3_77","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:49:39Z","timestamp":1330292979000},"page":"161-165","source":"Crossref","is-referenced-by-count":12,"title":["SCAN\u2014Elimination of predicate quantifiers"],"prefix":"10.1007","author":[{"given":"Hans J\u00fcrgen","family":"Ohlbach","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,4]]},"reference":[{"key":"14_CR1","doi-asserted-by":"publisher","first-page":"390","DOI":"10.1007\/BF01448035","volume":"110","author":"W. Ackermann","year":"1935","unstructured":"Wilhelm Ackermann. Untersuchung \u00fcber das Eliminationsproblem der mathematischen Logik. Mathematische Annalen, 110:390\u2013413, 1935.","journal-title":"Mathematische Annalen"},{"key":"14_CR2","unstructured":"Patrick Doherty, Witold Lukaszewics, and Andrzej Szalas. Computing circumscription revisited: A reduction algorithm. Technical Report LiTH-IDA-R-94-42, Institutionen f\u00f6r Datavetenskap, University of Link\u00f6ping, 1994."},{"key":"14_CR3","unstructured":"Dov M. Gabbay and Hans J\u00fcrgen Ohlbach. Quantifier elimination in second-order predicate logic. In Bernhard Nebel, Charles Rich, and William Swartout, editors, Principles of Knowledge Representation and Reasoning (KR92), pages 425\u2013435. Morgan Kaufmann, 1992."},{"key":"14_CR4","first-page":"35","volume":"7","author":"D. M. Gabbay","year":"1992","unstructured":"Dov M. Gabbay and Hans J\u00fcrgen Ohlbach. Quantifier elimination in second-order predicate logic. South African Computer Journal, 7:35\u201343, July 1992. also published in [GO92a].","journal-title":"South African Computer Journal"},{"key":"14_CR5","unstructured":"G. Neelakantan Kartha and Vladimir Lifschitz. A simple formalization of actions using circumscription. In Proceedings of IJCAI 95, 1995."},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"William McCune. Otter 2.0. In Mark Stickel, editor, Proc. of 10th Internation Conference on Automated Deduction, LNAI 449, pages 663\u2013664. Springer Verlag, 1990.","DOI":"10.1007\/3-540-52885-7_131"}],"container-title":["Lecture Notes in Computer Science","Automated Deduction \u2014 Cade-13"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61511-3_77.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:07:22Z","timestamp":1605647242000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61511-3_77"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540615118","9783540686873"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/3-540-61511-3_77","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996]]}}}