Using sophisticated models in resolution theorem proving
From MaRDI portal
Publication:1148892
zbMath0453.03014MaRDI QIDQ1148892
Publication date: 1980
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Mechanization of proofs and logical operations (03B35) Research exposition (monographs, survey articles) pertaining to computer science (68-02)
Related Items (3)
A semantic backward chaining proof system ⋮ A method for simultaneous search for refutations and models by equational constraint solving ⋮ A typed resolution principle for deduction with conditional typing theory
This page was built for publication: Using sophisticated models in resolution theorem proving
