Finite approach to the problem of optimizing theorem-proving algorithms (Q1255329)
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: Finite approach to the problem of optimizing theorem-proving algorithms |
scientific article; zbMATH DE number 3622994
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Finite approach to the problem of optimizing theorem-proving algorithms |
scientific article; zbMATH DE number 3622994 |
Statements
Finite approach to the problem of optimizing theorem-proving algorithms (English)
0 references
1978
0 references
Optimizing Theorem-Proving Algorithms
0 references
Predicate Calculus
0 references
Formal System
0 references
