{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T16:48:35Z","timestamp":1725900515734},"publisher-location":"Berlin\/Heidelberg","reference-count":9,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540250565"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/3-540-32392-9_11","type":"book-chapter","created":{"date-parts":[[2006,5,27]],"date-time":"2006-05-27T07:09:20Z","timestamp":1148713760000},"page":"97-106","source":"Crossref","is-referenced-by-count":0,"title":["Literal Trees and Resolution Technique"],"prefix":"10.1007","author":[{"given":"Alexander","family":"Lyaletski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Letichevsky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Oleksandr","family":"Kalinovskyy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1145\/321250.321253","volume":"12","author":"J. A. Robinson","year":"1965","unstructured":"Robinson, J. A. (1965) A machine-oriented logic based on resolution principle. J. of the ACM, 12, 23\u201341","journal-title":"J. of the ACM"},{"key":"11_CR2","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1145\/321450.321456","volume":"15","author":"D. V. Loveland","year":"1968","unstructured":"Loveland, D. V. (1968) Mechanical theorem proving by model elimination. J. of the ACM. 15, 236\u2013251","journal-title":"J. of the ACM."},{"key":"11_CR3","first-page":"127","volume":"4","author":"A. V. Lyaletski","year":"1990","unstructured":"Lyaletski A. V., Yurchishin, V. V. (1990) On complete extension of input refutation (in Russian). Kibernetika. No 4, 127\u2013128","journal-title":"Kibernetika"},{"key":"11_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of logic programming","author":"J. V. Lloyd","year":"1987","unstructured":"Lloyd, J. V. (1987) Foundations of logic programming. Springer-Verlag, Berlin."},{"key":"11_CR5","first-page":"213","volume-title":"Lecture Notes in Computer Science","author":"A. Lyaletski","year":"2004","unstructured":"Lyaletski, A. (2004) Computer-oriented calculus of sequent tree. Lecture Notes in Computer Science. Springer-Verlag, Heidelberg. 2942, 213\u2013230"},{"key":"11_CR6","unstructured":"Letz, R., Stenz, G. (2001) Model elimination and connection tableaux procedures. Handbook of Automated Reasoning (Ed. by A. Robinson and A. Voronkov). Elsevier Science Pub. 2017\u20132116"},{"key":"11_CR7","first-page":"311","volume-title":"Mathematical Theory of Logical Inference","author":"G. Mints","year":"1967","unstructured":"Mints, G. (1967) Herbrand theorem (in Russian). Mathematical Theory of Logical Inference. Nauka, Moscow. 311\u2013350"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Bachmair, L., Ganzinger, H. (2001) Resolution theorem proving. Handbook of Automated Reasoning (Ed. by A. Robinson and A. Voronkov). Elsevier Science Pub. 19\u201399","DOI":"10.1016\/B978-044450813-3\/50004-7"},{"key":"11_CR9","volume-title":"Symbolic logic and mechanical theorem proving","author":"C. Chang","year":"1997","unstructured":"Chang, C., Lee, R. (1997) Symbolic logic and mechanical theorem proving. Academic Press, Inc. Orlando, FL, USA."}],"container-title":["Advances in Soft Computing","Intelligent Information Processing and Web Mining"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-32392-9_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T00:53:36Z","timestamp":1619571216000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-32392-9_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540250565"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-32392-9_11","relation":{},"subject":[]}}