Almost-natural proofs (Q716305)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Almost-natural proofs |
scientific article; zbMATH DE number 5882191
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Almost-natural proofs |
scientific article; zbMATH DE number 5882191 |
Statements
Almost-natural proofs (English)
0 references
28 April 2011
0 references
circuit lower bound
0 references
natural proof
0 references
