relatedResult

P96512
predicate

Indicates that one result is connected or associated with another result, typically as a consequence, counterpart, or supplementary outcome.

All labels observed (2)

Label Occurrences
relatedResult canonical 22
relatedFind 7

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: relatedResult
Generated description
Indicates that one result is connected or associated with another result, typically as a consequence, counterpart, or supplementary outcome.

Sample triples (29)

Subject Object
Schwarz lemma Little Picard theorem ⓘ
linked to: Picard theorem
Schwarz lemma Bloch theorem ⓘ
Schwarz lemma Koebe quarter theorem ⓘ
Hurwitz bound on automorphism groups of curves Accola–Maclachlan bound ⓘ
Hurwitz bound on automorphism groups of curves Wiman bound ⓘ
Hebior Mammoth Schäfer Mammoth via predicate surface "relatedFind" ⓘ
Hebior Mammoth Mud Lake Mammoth via predicate surface "relatedFind" ⓘ
Smale’s paradox Smale–Hirsch immersion theorem ⓘ
Vinogradov's three-primes theorem Helfgott's proof of the full ternary Goldbach conjecture ⓘ
twin prime conjecture Brun proved convergence of the sum of reciprocals of twin primes ⓘ
twin prime conjecture Hardy–Littlewood conjectured an asymptotic formula for twin primes ⓘ
twin prime conjecture Zhang proved bounded gaps between primes ⓘ
twin prime conjecture Maynard–Tao method improved bounds on prime gaps ⓘ
twin prime conjecture bounded gaps between primes theorem ⓘ
tâtonnement process Arrow–Hurwicz stability analysis ⓘ
tâtonnement process Sonnenschein–Mantel–Debreu results on excess demand ⓘ
Mungo Lady Mungo Man via predicate surface "relatedFind" ⓘ
Mungo Lady other Willandra Lakes human remains via predicate surface "relatedFind" ⓘ
Mungo Man Mungo Lady via predicate surface "relatedFind" ⓘ
NL
linked to: complexity class NL
NL = coNL ⓘ
Pontryagin duality Stone duality ⓘ
Pontryagin duality Gelfand duality ⓘ
Malgrange–Ehrenpreis theorem Paley–Wiener–Schwartz theorem ⓘ
Malgrange–Ehrenpreis theorem Lax–Malgrange theorem ⓘ
Denisova Cave finger bone Denisova Cave molar teeth via predicate surface "relatedFind" ⓘ
linked to: Denisova Cave
Denisova Cave finger bone Denisova Cave toe bone via predicate surface "relatedFind" ⓘ
Euler–Poincaré characteristic formula Lefschetz fixed-point theorem ⓘ
Euler–Poincaré characteristic formula Gauss–Bonnet theorem ⓘ
Euler–Poincaré characteristic formula Atiyah–Singer index theorem ⓘ