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 |
Picard theorem
ⓘ
surface form:
Little 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 NERFINISHED ⓘ |
| 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 NERFINISHED ⓘ |
| tâtonnement process | Sonnenschein–Mantel–Debreu results on excess demand ⓘ |
| Mungo Lady | Mungo Man via predicate surface "relatedFind" NERFINISHED ⓘ |
| Mungo Lady | other Willandra Lakes human remains via predicate surface "relatedFind" ⓘ |
| Mungo Man | Mungo Lady via predicate surface "relatedFind" NERFINISHED ⓘ |
|
complexity class NL
surface form:
NL
|
NL = coNL ⓘ |
| Pontryagin duality | Stone duality ⓘ |
| Pontryagin duality | Gelfand duality NERFINISHED ⓘ |
| Malgrange–Ehrenpreis theorem | Paley–Wiener–Schwartz theorem NERFINISHED ⓘ |
| Malgrange–Ehrenpreis theorem | Lax–Malgrange theorem NERFINISHED ⓘ |
| Denisova Cave finger bone | Denisova Cave molar teeth via predicate surface "relatedFind" NERFINISHED ⓘ |
| Denisova Cave finger bone | Denisova Cave toe bone via predicate surface "relatedFind" ⓘ |
| Euler–Poincaré characteristic formula | Lefschetz fixed-point theorem NERFINISHED ⓘ |
| Euler–Poincaré characteristic formula | Gauss–Bonnet theorem NERFINISHED ⓘ |
| Euler–Poincaré characteristic formula | Atiyah–Singer index theorem NERFINISHED ⓘ |