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.

Try in SPARQL

All labels observed (10)

Label Occurrences
provedFor 3
partiallyProvenFor canonical 2
partiallySolvedFor 2

Description generation (PDg)

The one-sentence description above was generated by prompting gpt-5.1 with the predicate name and this instruction.

Instruction
Given a predicate that represents a relationship or action between entities, generate a one-sentence description explaining its meaning.  
# Instructions
Focus on describing the relationship, not the entities themselves. 
# Response Format
Begin the description with \' Indicates...\'
Input
Predicate: partiallyProvenFor
Generated description
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.

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" ⓘ
Taniyama–Shimura–Weil conjecture Richard Taylor via predicate surface "provedInSpecialCaseBy" ⓘ
Artin’s conjecture on L-functions Langlands–Tunnell theorem via predicate surface "specialCaseProvedBy" ⓘ
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" ⓘ