What is the inverse method?
From MaRDI portal
Publication:908895
DOI10.1007/BF00245018zbMath0694.03010MaRDI QIDQ908895
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
Related Items
Lemma matching for a PTTP-based top-down theorem prover, Evidence algorithm and inference search in first-order logics, On linear logic planning and concurrency, Connection methods in linear logic and proof nets construction, Theorem prover for intuitionistic logic based on the inverse method, To Vladimir Lifschitz on His 65th Birthday