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. |
Year | DOI | Venue |
---|---|---|
1985 | 10.1007/BF00244996 | J. Autom. Reasoning |
Keywords | Field | DocType |
theorem proving | Discrete mathematics,Algebraic manipulation,Mathematics,Mathematical logic | Journal |
Volume | Issue | ISSN |
1 | 2 | 1573-0670 |
Citations | PageRank | References |
13 | 4.12 | 1 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Ewing L. Lusk | 1 | 3080 | 472.23 |
Ross A. Overbeek | 2 | 760 | 234.40 |