No label defined (Q4850554)
From MaRDI portal
scientific article; zbMATH DE number 806753
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 806753 |
Statements
6 June 1996
0 references
Hȧstad switching lemma
0 references
lower bounds
0 references
Boolean functions
0 references
weak fragments of Peano arithmetic
0 references
