independentlyProvedBy
P142022
predicate
Indicates that a statement or result is established by a proof that does not rely on or derive from another specified proof or source.
Sample triples (1)
| Subject | Object |
|---|---|
| Cook–Levin theorem | Leonid Levin NERFINISHED ⓘ |