Problem corner: Reasoning about equality (Q1820598)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Problem corner: Reasoning about equality |
scientific article; zbMATH DE number 3997194
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Problem corner: Reasoning about equality |
scientific article; zbMATH DE number 3997194 |
Statements
Problem corner: Reasoning about equality (English)
0 references
1985
0 references
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.
0 references
ability of a theorem-proving system to reason about equality
0 references
equality reasoning
0 references
