Partial matching for analogy discovery in proofs and counter-examples (Q5234724)
From MaRDI portal
scientific article; zbMATH DE number 7111196
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Partial matching for analogy discovery in proofs and counter-examples |
scientific article; zbMATH DE number 7111196 |
Statements
Partial matching for analogy discovery in proofs and counter-examples (English)
0 references
1 October 2019
0 references
theorem proving
0 references
predicate symbol
0 references
partial matching
0 references
analogy discovery
0 references
equational formula
0 references
0 references
