Inductive theorem proving by consistency for first-order clauses (Q5881188)
From MaRDI portal
scientific article; zbMATH DE number 7661551
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Inductive theorem proving by consistency for first-order clauses |
scientific article; zbMATH DE number 7661551 |
Statements
Inductive theorem proving by consistency for first-order clauses (English)
0 references
9 March 2023
0 references
