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