Lower Bounds on Herbrand's Theorem (Q4198750)
From MaRDI portal
scientific article; zbMATH DE number 3637854
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Lower Bounds on Herbrand's Theorem |
scientific article; zbMATH DE number 3637854 |
Statements
Lower Bounds on Herbrand's Theorem (English)
0 references
1979
0 references
lower bounds
0 references
length of formulas
0 references
proof theory
0 references
Herbrand's theorem
0 references
length of derivations
0 references
word problem
0 references
