Eliminating definitions and Skolem functions in first-order logic (Q5267436)
From MaRDI portal
scientific article; zbMATH DE number 6729813
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Eliminating definitions and Skolem functions in first-order logic |
scientific article; zbMATH DE number 6729813 |
Statements
Eliminating definitions and Skolem functions in first-order logic (English)
0 references
13 June 2017
0 references
definitions
0 references
Skolem functions
0 references
lengths of proofs
0 references
proof complexity
0 references
