Building proofs or counterexamples by analogy in a resolution framework (Q5235252)
From MaRDI portal
scientific article; zbMATH DE number 7114559
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Building proofs or counterexamples by analogy in a resolution framework |
scientific article; zbMATH DE number 7114559 |
Statements
Building proofs or counterexamples by analogy in a resolution framework (English)
0 references
8 October 2019
0 references
analogy
0 references
extended resolution
0 references
model building
0 references
second-order terms
0 references
0 references
