usedInProofStyle
P28214
predicate
Indicates that one entity is employed as a method, technique, or approach within the proof style or strategy of another entity.
Sample triples (1)
| Subject | Object |
|---|---|
| Noetherian induction | minimal counterexample argument ⓘ |