What is the inverse method?

DOI10.1007/BF00245018zbMath0694.03010OpenAlexW2055466270MaRDI QIDQ908895

Vladimir Lifschitz

Publication date: 1989

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00245018

zbMATH Keywords

inverse methodresolutionsuperclausestheorem proving in predicate calculus

Mathematics Subject Classification ID

Classical first-order logic (03B10) Mechanization of proofs and logical operations (03B35)

Related Items

Evidence algorithm and inference search in first-order logics, To Vladimir Lifschitz on His 65th Birthday, Theorem prover for intuitionistic logic based on the inverse method, Lemma matching for a PTTP-based top-down theorem prover, Connection methods in linear logic and proof nets construction, On linear logic planning and concurrency