No label defined (Q4489064)
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: Publication:4489064 |
scientific article; zbMATH DE number 1471980
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 1471980 |
Statements
9 July 2000
0 references
Boolean programs
0 references
Boolean functions
0 references
nonuniform PSPACE
0 references
proof system
0 references
quantified propositional calculus
0 references
0.862992525100708
0 references
0.7500184774398804
0 references
0.7461847066879272
0 references
0.7335637807846069
0 references
