{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:17:29Z","timestamp":1725455849812},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540558873"},{"type":"electronic","value":"9783540473046"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/bfb0023422","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T10:47:37Z","timestamp":1132397257000},"page":"65-83","source":"Crossref","is-referenced-by-count":0,"title":["Weak implication: Theory and applications"],"prefix":"10.1007","author":[{"given":"Karen L.","family":"Kwast","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sieger","family":"van Denneheuvel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,10]]},"reference":[{"key":"5_CR1","unstructured":"W.F. Clocksin & C.S. Mellish. Programming in Prolog. Springer-Verlag, 1981."},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"S. van Denneheuvel. Constraint solving on database systems. Design and implementation of the rule language RL\/1. Thesis. University of Amsterdam, 1991.","DOI":"10.1007\/978-3-7091-7553-8_62"},{"key":"5_CR3","volume-title":"Proceedings of IJCAI'91: Int. Joint Conference on A.I.","author":"S. v. Denneheuvel","year":"1991","unstructured":"S. v Denneheuvel & K.L. Kwast. Weak equivalence for constraint solving. In: Proceedings of IJCAI'91: Int. Joint Conference on A.I. Sydney. Morgan Kaufmann, 1991."},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"S. v Denneheuvel, G.R. Renardel de Lavalette, E. Spaan & K.L. Kwast. Query optimization using rewrite rules. In: R. Book (ed.), Proceedings of RTA'91: Int. Conference on Rewriting Techniques and Applications. Como, LNCS488, 1991.","DOI":"10.1007\/3-540-53904-2_101"},{"key":"5_CR5","unstructured":"J. Jaffar & S. Michaylov. Methodology and Implementation of a CLP System. In: J-L. Lassez (ed.), Proceedings of the 4th Int. Conference on Logic Programming, MIT Press, 1987."},{"key":"5_CR6","unstructured":"K.L. Kwast. Unknown values in the relational database system. Thesis. University of Amsterdam, 1992."},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"J.H. Siekmann. Unification Theory. In: Journal of Symbolic Computation, Vol. 7, 1989.","DOI":"10.1016\/S0747-7171(89)80012-4"},{"key":"5_CR8","unstructured":"J.D. Ullman. Principles of Data and Knowledge-Base Systems, Vol. I & II. Computer Science Press, 1989."},{"key":"5_CR9","unstructured":"S. Wolfram. Mathematica, a System for Doing Math by Computer. Addison-Wesley, 1988."},{"key":"5_CR10","unstructured":"H.Z. Yang & P.A. Larson. Query Transformation for PSJ-queries. In: Proceedings of the 13th VLDB: Int. Conference on Very Large Databases, 1987."}],"container-title":["Lecture Notes in Computer Science","Logics in AI"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0023422","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T01:55:18Z","timestamp":1586570118000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0023422"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540558873","9783540473046"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/bfb0023422","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}