partiallyProvenFor
P78876
predicate
Indicates that something has been shown to hold or be true for part of a domain or set of cases, but not yet for all cases.
Observed surface forms (9)
| Surface form | Occurrences |
|---|---|
| provedFor | 3 |
| partiallySolvedFor | 2 |
| provedInSpecialCaseBy | 2 |
| specialCaseProvedFor | 2 |
| BettiNumbersPartProvedBy | 1 |
| RiemannHypothesisPartProvedBy | 1 |
| finalProofOfRiemannHypothesisPartBy | 1 |
| provedForSpecialCase | 1 |
| specialCaseProvedBy | 1 |
Sample triples (16)
| Subject | Object |
|---|---|
| Hodge Conjecture | abelian varieties of CM-type in some cases ⓘ |
| Hodge Conjecture | certain low-dimensional varieties ⓘ |
| Hilbert’s twelfth problem | CM fields via predicate surface "partiallySolvedFor" ⓘ |
| Hilbert’s twelfth problem | some abelian extensions of totally real fields via predicate surface "partiallySolvedFor" ⓘ |
| Weil conjectures | Pierre Deligne via predicate surface "finalProofOfRiemannHypothesisPartBy" ⓘ |
| Weil conjectures | Alexander Grothendieck via predicate surface "BettiNumbersPartProvedBy" ⓘ |
| Weil conjectures | Pierre Deligne via predicate surface "RiemannHypothesisPartProvedBy" ⓘ |
| Goldbach conjecture | ternary Goldbach conjecture proved by Harald Helfgott via predicate surface "provedForSpecialCase" ⓘ |
| Taniyama–Shimura–Weil conjecture | Andrew Wiles via predicate surface "provedInSpecialCaseBy" NERFINISHED ⓘ |
| Taniyama–Shimura–Weil conjecture | Richard Taylor via predicate surface "provedInSpecialCaseBy" NERFINISHED ⓘ |
| Artin’s conjecture on L-functions | Langlands–Tunnell theorem via predicate surface "specialCaseProvedBy" NERFINISHED ⓘ |
| Artin’s conjecture on L-functions | two-dimensional odd Galois representations over Q with solvable image via predicate surface "specialCaseProvedFor" ⓘ |
| Artin’s conjecture on L-functions | Galois representations attached to modular forms via predicate surface "specialCaseProvedFor" ⓘ |
| Green’s conjecture | general curve of given genus in characteristic zero via predicate surface "provedFor" ⓘ |
| Green’s conjecture | general curves of odd genus via predicate surface "provedFor" ⓘ |
| Green’s conjecture | general curves of even genus via predicate surface "provedFor" ⓘ |