Using sophisticated models in resolution theorem proving

From MaRDI portal

Revision as of 04:14, 31 January 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:1148892

Jump to:navigation, search

zbMath0453.03014MaRDI QIDQ1148892

David M. Sandford

Publication date: 1980

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

zbMATH Keywords

models resolution theorem proving semantic functions

Mathematics Subject Classification ID

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1148892&oldid=13203679"