originalProof
P97877
predicate
Indicates that one entity serves as the initial or primary proof or evidence supporting another entity.
Observed surface forms (1)
- originalProofUsed ×1
Sample triples (2)
| Subject | Object |
|---|---|
| Dehn lemma | contained a gap ⓘ |
| Linnik’s theorem on the least prime in an arithmetic progression | Linnik’s dispersion method via predicate surface "originalProofUsed" NERFINISHED ⓘ |