No label defined (Q4218927)
From MaRDI portal
scientific article; zbMATH DE number 1223616
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 1223616 |
Statements
15 November 1998
0 references
linear lower bounds
0 references
Frege systems
0 references
complexity of proofs
0 references
Kolmogorov Complexity
0 references
superlogarithmic lower bounds
0 references
tree-like case
0 references
dag-like case
0 references
optimal proofs
0 references
simulation
0 references
