partialProofBy
P93922
predicate
Indicates that one entity serves as an incomplete or intermediate proof contributing toward the full proof of another entity.
All labels observed (1)
| Label | Occurrences |
|---|---|
| partialProofBy canonical | 3 |