{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,23]],"date-time":"2026-02-23T23:47:32Z","timestamp":1771890452707,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540232421","type":"print"},{"value":"9783540302278","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30227-8_46","type":"book-chapter","created":{"date-parts":[[2010,9,19]],"date-time":"2010-09-19T01:34:52Z","timestamp":1284860092000},"page":"552-564","source":"Crossref","is-referenced-by-count":5,"title":["Semantic Knowledge Partitioning"],"prefix":"10.1007","author":[{"given":"Christoph","family":"Wernhard","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"46_CR1","doi-asserted-by":"publisher","first-page":"390","DOI":"10.1007\/BF01448035","volume":"110","author":"W. Ackermann","year":"1935","unstructured":"Ackermann, W.: Untersuchungen \u00fcber das Eliminationsproblem der mathematischen Logik. Mathematische Annalen\u00a0110, 390\u2013413 (1935)","journal-title":"Mathematische Annalen"},{"key":"46_CR2","unstructured":"Amir, E., McIlraith, S.A.: Partition-based logical reasoning. In: Princ. of Knowl. Repr. and Reasoning, pp. 389\u2013400 (2000)"},{"key":"46_CR3","doi-asserted-by":"crossref","DOI":"10.1515\/9783110701128","volume-title":"Deduktion \u2014 Automatisierung der Logik","author":"W. Bibel","year":"1992","unstructured":"Bibel, W.: Deduktion \u2014 Automatisierung der Logik. Oldenbourg, M\u00fcnchen (1992)"},{"key":"46_CR4","first-page":"67","volume-title":"Handbook of Logic in Artif. Int. and Logic Programming, ch. 3","author":"W. Bibel","year":"1993","unstructured":"Bibel, W., Eder, E.: Methods and calculi for deduction. In: Gabbay, D.M., Hogger, C.J., Robinson, J.A. (eds.) Handbook of Logic in Artif. Int. and Logic Programming, ch. 3, vol.\u00a01, pp. 67\u2013182. Oxford University Press, Oxford (1993)"},{"key":"46_CR5","volume-title":"Symbolic Logic and Mechanical Theorem Proving","author":"C.-L. Chang","year":"1973","unstructured":"Chang, C.-L., Lee, R.C.-T.: Symbolic Logic and Mechanical Theorem Proving. Academic Press, Boston (1973)"},{"issue":"4","key":"46_CR6","doi-asserted-by":"publisher","first-page":"608","DOI":"10.1145\/502090.502091","volume":"48","author":"A. Darwiche","year":"2001","unstructured":"Darwiche, A.: Decomposable negation normal form. JACM\u00a048(4), 608\u2013647 (2001)","journal-title":"JACM"},{"issue":"3","key":"46_CR7","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1145\/321033.321034","volume":"7","author":"M. Davis","year":"1960","unstructured":"Davis, M., Putnam, H.: A computing procedure for quantification theory. JACM\u00a07(3), 201\u2013215 (1960)","journal-title":"JACM"},{"key":"46_CR8","unstructured":"Gabbay, D., Ohlbach, H.J.: Quantifier elimination in second-order predicate logic. In: KR 1992. Princ. of Knowl. Repr. and Reasoning, pp. 425\u2013435 (1992)"},{"key":"46_CR9","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/978-3-540-24771-5_13","volume-title":"Relational and Kleene-Algebraic Methods in Computer Science","author":"V. Goranko","year":"2004","unstructured":"Goranko, V., Hustadt, U., Schmidt, R.A., Vakarelov, D.: SCAN is complete for all Sahlqvist formulae. In: Relational and Kleene-Algebraic Methods in Computer Science (RelMiCS 7), pp. 149\u2013162 (2004)"},{"issue":"5","key":"46_CR10","doi-asserted-by":"publisher","first-page":"651","DOI":"10.1093\/logcom\/9.5.651","volume":"9","author":"J. Kohlas","year":"1999","unstructured":"Kohlas, J., Haenni, R., Moral, S.: Propositional information systems. Journal of Logic and Computation\u00a09(5), 651\u2013681 (1999)","journal-title":"Journal of Logic and Computation"},{"key":"46_CR11","unstructured":"Lin, F., Reiter, R.: Forget It! In: Greiner, R., Subramanian, D. (eds.) Working Notes, AAAI Fall Symposium on Relevance, Menlo Park, California, pp. 154\u2013159. American Association for Artificial Intelligence (1994)"},{"key":"46_CR12","first-page":"159","volume-title":"Logic, Language and Reasoning. Essays in Honor of Dov Gabbay, Part I","author":"A. Nonnengart","year":"1999","unstructured":"Nonnengart, A., Ohlbach, H.J., Sza\u0142as, A.: Quantifier elimination for secondorder predicate logic. In: Ohlbach, H., Reyle, U. (eds.) Logic, Language and Reasoning. Essays in Honor of Dov Gabbay, Part I, pp. 159\u2013181. Kluwer, Dordrecht (1999)"},{"issue":"6","key":"46_CR13","doi-asserted-by":"publisher","first-page":"605","DOI":"10.1093\/logcom\/3.6.605","volume":"3","author":"A. Sza\u0142as","year":"1993","unstructured":"Sza\u0142as, A.: On the correspondence between modal and classical logic: An automated approach. Journal of Logic and Computation\u00a03(6), 605\u2013620 (1993)","journal-title":"Journal of Logic and Computation"},{"key":"46_CR14","unstructured":"Wilson, N., Mengin, J.: Logical deduction using the local computation framework. In: Int. Workshop on First-Order Theorem Proving, FTP 1997, RISC-Linz Report Series No. 97\u201350, pages 135\u2013139. Johannes Kepler Universit\u00e4t, Linz (1997)"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30227-8_46.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,10]],"date-time":"2021-11-10T05:25:18Z","timestamp":1636521918000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30227-8_46"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540232421","9783540302278"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30227-8_46","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004]]}}}