Automatic Theorem Proving with Built-in Theories Including Equality, Partial Ordering, and Sets
From MaRDI portal
Publication:5639371
DOI10.1145/321679.321689zbMath0231.68035OpenAlexW1979983276MaRDI QIDQ5639371
Publication date: 1972
Published in: Journal of the ACM (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/321679.321689
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (10)
Mark Stickel: his earliest work ⋮ Unification theory ⋮ Deduction-seeking procedures and transitive relations ⋮ The ECO family ⋮ Non-resolution theorem proving ⋮ Automatic theorem proving in set theory ⋮ A pragmatic approach to resolution-based theorem proving ⋮ Horn equational theories and paramodulation ⋮ A man-machine theorem-proving system ⋮ Cancellative Abelian monoids and related structures in refutational theorem proving. II
This page was built for publication: Automatic Theorem Proving with Built-in Theories Including Equality, Partial Ordering, and Sets
