Semantic Resolution for Horn Sets
From MaRDI portal
Publication:4096462
DOI10.1109/TC.1976.1674700zbMath0331.68054OpenAlexW2079248001MaRDI QIDQ4096462
Publication date: 1976
Published in: IEEE Transactions on Computers (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/tc.1976.1674700
Related Items
Automatic theorem proving. II ⋮ The multiple facets of the canonical direct unit implicational basis ⋮ Non-resolution theorem proving
This page was built for publication: Semantic Resolution for Horn Sets