Problem corner: Reasoning about equality

zbMath0615.68065MaRDI QIDQ1820598

Ross A. Overbeek, Ewing L. Lusk

Publication date: 1985

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

zbMATH Keywords

equality reasoningability of a theorem-proving system to reason about equality

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (6)

Consider only general superpositions in completion procedures ⋮ A foray into combinatory logic ⋮ Automated proof of ring commutativity problems by algebraic methods ⋮ Theorem-proving with resolution and superposition ⋮ A mechanical solution of Schubert's steamroller by many-sorted resolution ⋮ Automated proofs of equality problems in Overbeek's competition

This page was built for publication: Problem corner: Reasoning about equality