Completeness of Linear Refutation for Theories with Equality

DOI10.1145/321623.321636zbMath0239.68016OpenAlexW2015261794MaRDI QIDQ5649990

No author found.

Publication date: 1971

Published in: Journal of the ACM (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/321623.321636

Mathematics Subject Classification ID

Classical first-order logic (03B10)

Related Items

Experiments with a heuristic theorem-proving program for predicate calculus with equality, Theorem proving with variable-constrained resolution