relatedTheorem
P49212
predicate
Indicates that one theorem is connected to another through a logical, thematic, or derivational relationship.
Sample triples (2)
| Subject | Object |
|---|---|
| PCP theorem | IP equals PSPACE ⓘ |
| PCP theorem | MIP equals NEXP ⓘ |