Statements (12)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:theoretical_computer_science
|
| gptkbp:complement |
gptkb:NEXP
|
| gptkbp:contains |
gptkb:coNP
coPSPACE |
| gptkbp:definedIn |
languages whose complement is in NEXP
|
| gptkbp:describedBy |
gptkb:theoretical_computer_science
|
| gptkbp:relatedTo |
gptkb:complexity_theory
gptkb:NEXP |
| gptkbp:standsFor |
complement of nondeterministic exponential time
|
| gptkbp:bfsParent |
gptkb:P/poly
|
| gptkbp:bfsLayer |
6
|
| https://www.w3.org/2000/01/rdf-schema#label |
coNEXP
|