A Unifying View of Some Linear Herbrand Procedures
From MaRDI portal
Publication:5655006
DOI10.1145/321694.321706zbMath0243.68012OpenAlexW2002684144WikidataQ56814473 ScholiaQ56814473MaRDI QIDQ5655006
Publication date: 1972
Published in: Journal of the ACM (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/321694.321706
Related Items
Controlled integration of the cut rule into connection tableau calculi, Complexity analysis of propositional resolution with autarky pruning, Towards a unified model of search in theorem-proving: subgoal-reduction strategies, Refutation graphs, A note on linear resolution strategies in consequence-finding, A comparative study of several proof procedures, Set of support, demodulation, paramodulation: a historical perspective
