hasProofMethod
P7024
predicate
Indicates that there exists a specific method or technique used to establish or demonstrate the validity of something (such as a statement, claim, or theorem).
Aliases (6)
- proofMethod ×8
- canBeProvedBy ×3
- proofMethods ×3
- proofTechnique ×2
- proofType ×2
- hasVerificationType ×1
Sample triples (28)
| Subject | Object |
|---|---|
| Brouwer fixed-point theorem | combinatorial arguments via predicate surface "proofMethod" → |
| Brouwer fixed-point theorem | degree theory via predicate surface "proofMethod" → |
| Brouwer fixed-point theorem | homology theory via predicate surface "proofMethod" → |
| Brouwer fixed-point theorem | topological methods via predicate surface "proofMethod" → |
| Cantor’s paradox | cardinality comparison → |
| Cantor’s paradox | diagonalization → |
| Hilbert basis theorem | induction on the number of variables via predicate surface "proofTechnique" → |
| Hilbert basis theorem | use of leading coefficients and degrees of polynomials via predicate surface "proofTechnique" → |
| Kakutani fixed-point theorem | topological arguments → |
| Kakutani fixed-point theorem | use of Brouwer fixed-point theorem → |
| PCP theorem | adaptive probabilistically checkable proofs via predicate surface "proofType" → |
| PCP theorem | non-adaptive probabilistically checkable proofs via predicate surface "proofType" → |
| Pascal's identity | algebraic manipulation of binomial coefficients → |
| Pascal's identity | combinatorial argument → |
| Pascal's identity | generating functions → |
| Ralph Plaisted expedition | aircraft position check at the Pole via predicate surface "hasVerificationType" → |
| Riemann mapping theorem | Dirichlet principle (historically) via predicate surface "proofMethod" → |
| Riemann mapping theorem | Montel theorem via predicate surface "proofMethod" → |
| Riemann mapping theorem | extremal problems for holomorphic functions via predicate surface "proofMethod" → |
| Riemann mapping theorem | normal families via predicate surface "proofMethod" → |
| Tucker’s lemma | combinatorial methods → |
| Tucker’s lemma | topological methods → |
| binomial theorem | Pascal's identity via predicate surface "canBeProvedBy" → |
| binomial theorem | combinatorial arguments via predicate surface "canBeProvedBy" → |
| binomial theorem | mathematical induction via predicate surface "canBeProvedBy" → |
| multinomial theorem | combinatorial argument via predicate surface "proofMethods" → |
| multinomial theorem | generating functions via predicate surface "proofMethods" → |
| multinomial theorem | induction on n via predicate surface "proofMethods" → |