A New Class of Automated Theorem-Proving Algorithms
From MaRDI portal
Publication:4773313
DOI10.1145/321812.321814zbMath0286.68046MaRDI QIDQ4773313
Publication date: 1974
Published in: Journal of the ACM (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/321812.321814
Related Items
Experiments with discrimination-tree indexing and path indexing for term retrieval, Hierarchical deduction, An implementation of hyper-resolution, Non-resolution theorem proving