Semantic Resolution for Horn Sets
From MaRDI portal
Publication:4096462
DOI10.1109/TC.1976.1674700zbMath0331.68054MaRDI QIDQ4096462
Publication date: 1976
Published in: IEEE Transactions on Computers (Search for Journal in Brave)
03B25: Decidability of theories and sets of sentences
Related Items
The multiple facets of the canonical direct unit implicational basis, Non-resolution theorem proving, Automatic theorem proving. II