relatedConjecture

P38188
predicate

Indicates that one conjecture is connected or associated with another conjecture, such as by similarity, dependency, or thematic relation.

All labels observed (4)

Label Occurrences
relatedConjecture canonical 22
relatedHypothesis 3
conjecturallySatisfies 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: relatedConjecture
Generated description
Indicates that one conjecture is connected or associated with another conjecture, such as by similarity, dependency, or thematic relation.

Sample triples (29)

Subject Object
Riemann zeta function Riemann hypothesis
Fermat's Last Theorem Taniyama–Shimura–Weil conjecture
Fermat's Last Theorem modularity theorem
Poincaré conjecture geometrization conjecture
Jones polynomial Volume conjecture
Dené–Caucasian (controversial)
surface form: Dené–Caucasian
Sino-Caucasian hypothesis via predicate surface "relatedHypothesis"
Dené–Caucasian (controversial)
surface form: Dené–Caucasian
Dene–Yeniseian hypothesis via predicate surface "relatedHypothesis"
Dedekind zeta functions
surface form: Dedekind zeta function
generalized Riemann hypothesis for number fields via predicate surface "conjecturallySatisfies"
L-functions
surface form: L-function
generalized Riemann hypothesis via predicate surface "conjecturallySatisfies"
Goldbach conjecture weak Goldbach conjecture NERFINISHED
twin prime conjecture Polignac's conjecture NERFINISHED
twin prime conjecture prime k-tuple conjecture NERFINISHED
twin prime conjecture Hardy–Littlewood prime k-tuple conjecture NERFINISHED
twin prime conjecture Goldbach conjecture NERFINISHED
Taniyama–Shimura–Weil conjecture Langlands reciprocity conjecture
Erdős–Straus conjecture Egyption fraction conjectures NERFINISHED
Alon–Tarsi conjecture list coloring conjecture NERFINISHED
Alon–Tarsi conjecture circular choosability conjecture NERFINISHED
Liouville function Pólya conjecture (disproved) NERFINISHED
Liouville function Riemann hypothesis NERFINISHED
Pólya’s conjecture Mertens conjecture NERFINISHED
Hopf conjecture (on Euler characteristic and curvature) Hopf conjecture on product of spheres NERFINISHED
proof of the Milnor conjecture Bloch–Kato conjecture NERFINISHED
Proto-Austro-Tai Austro-Tai hypothesis via predicate surface "relatedHypothesis" NERFINISHED
Green’s conjecture Green–Lazarsfeld conjecture on syzygies of line bundles NERFINISHED
Frey curve construction epsilon conjecture of Serre via predicate surface "inspiredConjecture" NERFINISHED
Frey curve construction Serre's modularity conjecture via predicate surface "inspiredConjecture" NERFINISHED
Whitehead groups
surface form: Whitehead group
Farrell–Jones conjecture NERFINISHED
Whitehead groups
surface form: Whitehead group
Borel conjecture NERFINISHED