believedToBeProperSupersetOf
P163079
predicate
Indicates that one entity is thought or assumed to be a proper superset of another, containing all of the other's elements plus at least one additional element.
Sample triples (3)
| Subject | Object |
|---|---|
|
complexity class EXPTIME
surface form:
EXPTIME
|
P ⓘ |
|
complexity class EXPTIME
surface form:
EXPTIME
|
NP ⓘ |
|
complexity class EXPTIME
surface form:
EXPTIME
|
PSPACE NERFINISHED ⓘ |