typicalProofUses
P27215
predicate
Indicates that a proof characteristically or commonly employs a particular method, technique, or component.
Observed surface forms (2)
- usedInProofOf ×2
- proofIdea ×1
Sample triples (9)
| Subject | Object |
|---|---|
| Cantor’s theorem | assume a surjection from S to P(S) and derive a contradiction using a specially constructed subset via predicate surface "proofIdea" → |
| Noether normalization lemma | induction on the number of generators → |
| Noether normalization lemma | integral dependence and minimal polynomials → |
| Noether normalization lemma | linear changes of variables → |
| Ricci flow | Poincaré conjecture via predicate surface "usedInProofOf" → |
| Ricci flow | geometrization conjecture via predicate surface "usedInProofOf" → |
| Whitney approximation theorem | local coordinate charts → |
| Whitney approximation theorem | partitions of unity → |
| Whitney approximation theorem | smoothing by convolution in Euclidean space → |