Reasoning about Equality

TitleReasoning about Equality
Publication TypeJournal Article
Year of Publication1985
AuthorsLusk, EL, Overbeek, RA
JournalJournal of Automated Reasoning
Volume1
Issue2
Pagination209-228
Date Published01/1985
Abstract

This note contains a set of six theorems that can be used to assess the ability of a theorem-proving system to reason about equality. The six theorems are graduated in terms of difficulty: they range from fairly trivial to quite difficult. They do not cover all aspects of equality reasoning, but they have proved useful to us in developing our system.

URLhttp://www.springerlink.com/content/p4kx51623661hu77/
PDFhttp://www.mcs.anl.gov/papers/ReasoningAboutEquality.pdf