An implementation of hyper-resolution
From MaRDI portal
Publication:1231393
DOI10.1016/0898-1221(75)90019-XzbMath0339.68060MaRDI QIDQ1231393
Publication date: 1975
Published in: Computers \& Mathematics with Applications (Search for Journal in Brave)
68N01: General topics in the theory of software
Related Items
The problem of choosing the type of subsumption to use, Complexity and related enhancements for automated theorem-proving programs, The problem of naming and function replacement, The anatomy of vampire. Implementing bottom-up procedures with code trees
Cites Work