{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T08:59:24Z","timestamp":1725699564945},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540183884"},{"type":"electronic","value":"9783642730054"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1007\/978-3-642-73005-4_21","type":"book-chapter","created":{"date-parts":[[2012,8,9]],"date-time":"2012-08-09T01:11:18Z","timestamp":1344474678000},"page":"195-200","source":"Crossref","is-referenced-by-count":0,"title":["Oldy But Goody Paramodulation Revisited"],"prefix":"10.1007","author":[{"given":"Ulrich","family":"Furbach","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"21_CR1","series-title":"J. Logic Programming","volume-title":"The Relation Between Logic and Functional Languages","author":"M Bellia","year":"1986","unstructured":"Bellia, Levi 86: M.Bellia, G. Levi. The Relation Between Logic and Functional Languages: A Survey. J. Logic Programming, 3, 1986"},{"key":"21_CR2","volume-title":"Academic Press","author":"L Chang","year":"1973","unstructured":"Chang, Lee 73: C.L.Chang, R.C.T.Lee. Symbolic Logic and Mechanical Theorem Proving. Academic Press. 1973"},{"key":"21_CR3","first-page":"1","volume":"18","author":"S Chang","year":"1971","unstructured":"Chang, Slagle 71: C.L.Chang, J.R.Slagle. C.mpleteness of Linear Refutation for Theories with Equality. J. ACM, Vol. 18, 1, 1971","journal-title":"C.mpleteness of Linear Refutation for Theories with Equality. J. ACM"},{"doi-asserted-by":"crossref","unstructured":"Furbach, H\u00f6lldobler 86: U.Furbach, S.H\u00f6lldobler. Modelling the Combination of Functional and Logic Programming Languages. J. Symb. Comp., 2, 1986","key":"21_CR4","DOI":"10.1016\/S0747-7171(86)80018-9"},{"unstructured":"Furbach et al. 87: U.Furbach, S.H\u00f6lldobler, J.Schreiber. SLD-Resolution with Para-modulation. In preparation.","key":"21_CR5"},{"key":"21_CR6","first-page":"4","volume":"21","author":"W Henschen","year":"1974","unstructured":"Henschen, Wos 74: L.Henschen, L.Wos. Unit Refutations and Horn Sets, J. ACM, Vol. 21, 4, 1974","journal-title":"L.Wos. Unit Refutations and Horn Sets, J. ACM"},{"key":"21_CR7","volume-title":"84: J.Jaffar, J.H.Lassez, M.J.Maher: A Theory of Complete Logic Programs with Equality. Proc. Int. Conf. 5TH Gen","author":"Jaffar","year":"1984","unstructured":"Jaffar et al. 84: J.Jaffar, J.H.Lassez, M.J.Maher: A Theory of Complete Logic Programs with Equality. Proc. Int. Conf. 5TH Gen. Comp. Sys., 1984"},{"key":"21_CR8","volume-title":"H.Noll. A Note on Resolution","author":"H.Noll","year":"1976","unstructured":"Noll 76: H.Noll. A Note on Resolution: How to Get Rid of Factoring without Loosing Completeness. Report TU Berlin, 1976"},{"key":"21_CR9","volume-title":"83: S.Yamasaki","author":"Yamasaki","year":"1984","unstructured":"Yamasaki et al. 83: S.Yamasaki, M.Yoshida, Doshita S. a new combination of input and unit deductions for Horn Sentences. IPL 1984"}],"container-title":["Informatik-Fachberichte","GWAI-87 11th German Workshop on Artifical Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-73005-4_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,25]],"date-time":"2020-11-25T02:05:59Z","timestamp":1606269959000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-73005-4_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540183884","9783642730054"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-73005-4_21","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1987]]}}}