Analogy in inductive theorem proving (Q1283199): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
| (2 intermediate revisions by one other user not shown) | |||
| Property / describes a project that uses | |||
| Property / describes a project that uses: LCF / rank | |||
Normal rank | |||
| Property / describes a project that uses | |||
| Property / describes a project that uses: CLAM / rank | |||
Normal rank | |||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Latest revision as of 03:48, 5 March 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Analogy in inductive theorem proving |
scientific article |
Statements
Analogy in inductive theorem proving (English)
0 references
12 January 2000
0 references
In this paper the authors describe analogy-driven proof plan construction in inductive theorem proving. The analogies investigated are external analogies. An analogy procedure is obtained that is incorporated into the generic proof planner CLAM. Several examples to illustrate this procedure are presented.
0 references
analogy-driven proof plan construction
0 references
inductive theorem proving
0 references
generic proof planner CLAM
0 references
