hasAlternativeProofMethod
P73745
predicate
Indicates that there exists a different proof technique or approach that can be used to establish the same result or theorem.
Observed surface forms (1)
| Surface form | Occurrences |
|---|---|
| hasAlternativeProof | 3 |
Sample triples (5)
| Subject | Object |
|---|---|
| Cantor–Bernstein–Schröder theorem | order-theoretic arguments ⓘ |
| Cantor–Bernstein–Schröder theorem | category-theoretic arguments ⓘ |
| Corona theorem | methods using \\bar{\partial}-techniques via predicate surface "hasAlternativeProof" ⓘ |
| Corona theorem | methods using Carleson measure estimates via predicate surface "hasAlternativeProof" ⓘ |
| Corona theorem | methods using functional-analytic techniques via predicate surface "hasAlternativeProof" ⓘ |