associatedConjecture
P38260
predicate
Indicates that one entity is linked or connected to a particular conjecture, typically as its subject, source, or relevant context.
All labels observed (14)
| Label | Occurrences |
|---|---|
| hasConjecture | 6 |
| conjecturedProperty | 5 |
| associatedConjecture canonical | 3 |
| conjecture | 3 |
| conjectures | 3 |
| associatedHypothesis | 2 |
| conjectureAbout | 2 |
| conjecturesThat | 2 |
| relatedToConjecture | 2 |
| associatedConspiracyTheories | 1 |
| conjectureDate | 1 |
| conjectured | 1 |
| conjecturedRelationToRiemannHypothesis | 1 |
| hasConjectureFormulation | 1 |
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: associatedConjecture
Generated description
Indicates that one entity is linked or connected to a particular conjecture, typically as its subject, source, or relevant context.
Sample triples (33)
| Subject | Object |
|---|---|
| Über die Anzahl der Primzahlen unter einer gegebenen Grösse |
Riemann hypothesis
ⓘ
surface form:
Riemann Hypothesis
|
| Fermat number | no further Fermat primes beyond n = 4 are known via predicate surface "conjecturedProperty" ⓘ |
| Fermat curve |
Fermat's Last Theorem
via predicate surface "relatedToConjecture"
ⓘ
surface form:
Fermat’s Last Theorem
|
| Conway–Norton collaboration | existence of a graded infinite-dimensional representation of the Monster group related to the j-function via predicate surface "conjectured" ⓘ |
| Gaskiers glaciation | link between glaciation and ocean redox changes via predicate surface "associatedHypothesis" ⓘ |
| Gaskiers glaciation | climatic stress as a driver of evolutionary innovation via predicate surface "associatedHypothesis" ⓘ |
| de Bruijn–Newman constant |
Riemann hypothesis
via predicate surface "conjecturedRelationToRiemannHypothesis"
ⓘ
surface form:
Riemann Hypothesis is equivalent to Λ ≤ 0
|
| Selberg class |
Selberg class
via predicate surface "hasConjecture"
self-linksurface differs
ⓘ
surface form:
Selberg orthonormality conjecture
|
| Selberg class | degree conjecture for elements of the Selberg class via predicate surface "hasConjecture" ⓘ |
| Dirichlet L-functions |
generalized Riemann hypothesis
via predicate surface "conjecture"
ⓘ
surface form:
Generalized Riemann Hypothesis for Dirichlet L-functions
|
| Montgomery's pair correlation conjecture | that the pair correlation of high Riemann zeros matches that of eigenvalues of large random Hermitian matrices from the Gaussian unitary ensemble via predicate surface "conjectures" ⓘ |
| Montgomery's pair correlation conjecture | that the normalized gaps between high zeros of the Riemann zeta function follow the GUE pair correlation function via predicate surface "conjectures" ⓘ |
| Montgomery's pair correlation conjecture | that the pair correlation function of zeros is given by 1 - (sin(πx)/(πx))^2 for the scaled spacing variable x via predicate surface "conjectures" ⓘ |
|
Hadamard matrices
surface form:
Hadamard matrix
|
Hadamard matrices
via predicate surface "hasConjecture"
self-linksurface differs
ⓘ
surface form:
Hadamard conjecture
|
| Happy Ending problem | f(n) = 2^{n-2} + 1 for all n ≥ 3 via predicate surface "conjecture" ⓘ |
| Gibraltar B-24 crash of 4 July 1943 | possible assassination of Władysław Sikorski via predicate surface "associatedConspiracyTheories" ⓘ |
| Waring's problem | exact values of g(k) for all k via predicate surface "hasConjecture" ⓘ |
| Waring's problem | exact values of G(k) for all k via predicate surface "hasConjecture" ⓘ |
| Goldbach conjecture | every even integer greater than 2 is the sum of two prime numbers via predicate surface "conjecturesThat" ⓘ |
| Erdős–Moser equation | no solutions exist with k>1 via predicate surface "conjecturesThat" ⓘ |
| Erdős–Moser equation | if 1^k + 2^k + ··· + (m−1)^k = m^k with integers k,m≥2 then no such pair exists via predicate surface "hasConjectureFormulation" ⓘ |
|
Euler–Mascheroni constant γ
surface form:
Euler–Mascheroni constant
|
believed to be irrational via predicate surface "conjecturedProperty" ⓘ |
|
Euler–Mascheroni constant γ
surface form:
Euler–Mascheroni constant
|
believed to be transcendental via predicate surface "conjecturedProperty" ⓘ |
| monstrous moonshine | 1970s via predicate surface "conjectureDate" ⓘ |
|
"Finite extinction time for the solutions to the Ricci flow on certain three-manifolds"
surface form:
Finite extinction time for the solutions to the Ricci flow on certain three-manifolds
|
Poincaré conjecture NERFINISHED ⓘ |
|
"Finite extinction time for the solutions to the Ricci flow on certain three-manifolds"
surface form:
Finite extinction time for the solutions to the Ricci flow on certain three-manifolds
|
Thurston geometrization conjecture NERFINISHED ⓘ |
| Mandelbrot set | Mandelbrot local connectivity conjecture via predicate surface "conjecture" NERFINISHED ⓘ |
| Λ | Λ ≥ 0 via predicate surface "conjecturedProperty" ⓘ |
| Λ | Λ = 0 if and only if the Riemann Hypothesis is true via predicate surface "conjecturedProperty" ⓘ |
| Macdonald polynomials | Macdonald positivity conjecture via predicate surface "hasConjecture" NERFINISHED ⓘ |
| Three-manifolds with positive Ricci curvature | Poincaré conjecture via predicate surface "relatedToConjecture" NERFINISHED ⓘ |
| Artin L-functions | Artin holomorphy conjecture via predicate surface "conjectureAbout" NERFINISHED ⓘ |
| Artin L-functions | Artin conjecture on nontrivial zeros via predicate surface "conjectureAbout" NERFINISHED ⓘ |