Analogy in inductive theorem proving (Q1283199)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1275082
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Analogy in inductive theorem proving |
scientific article; zbMATH DE number 1275082 |
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
0.9311828
0 references
0.9224534
0 references
0 references
0.90506214
0 references
0.89792377
0 references
0.8963113
0 references
0.89231396
0 references
