relatedTheorem

P49212
predicate

Indicates that one theorem is connected to another through a logical, thematic, or derivational relationship.

Try in SPARQL

All labels observed (4)

Label Occurrences
relatedTheorem canonical 12
structureTheorem 2
theoremEquivalentTo 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: relatedTheorem
Generated description
Indicates that one theorem is connected to another through a logical, thematic, or derivational relationship.

Sample triples (16)

Subject Object
PCP theorem IP equals PSPACE ⓘ
PCP theorem MIP equals NEXP ⓘ
Dehn surgery Dehn surgery self-linksurface differs ⓘ
surface form: Lickorish–Wallace theorem
Dehn surgery Thurston hyperbolization theorem ⓘ
surface form: Thurston hyperbolic Dehn surgery theorem
Norton equivalent circuit Thevenin’s theorem ⓘ
Sobolev spaces Sobolev inequality ⓘ
surface form: Sobolev embedding theorem
Sobolev spaces Rellich–Kondrachov compactness theorem ⓘ
Sobolev spaces Poincaré inequality ⓘ
Sobolev spaces Gagliardo–Nirenberg interpolation inequalities ⓘ
surface form: Gagliardo–Nirenberg interpolation inequality
Vladimir Kotelnikov Nyquist–Shannon sampling theorem via predicate surface "theoremEquivalentTo" NERFINISHED ⓘ
Artinian ring every commutative Artinian ring is a finite direct product of Artinian local rings via predicate surface "structureTheorem" ⓘ
Artinian ring every Artinian principal ideal ring is a finite direct product of Artinian principal ideal local rings via predicate surface "structureTheorem" ⓘ
Clifford’s theorem Riemann–Roch theorem NERFINISHED ⓘ
Clifford’s theorem Noether’s theorem on canonical curves NERFINISHED ⓘ
Clifford’s theorem Brill–Noether theorem NERFINISHED ⓘ
Miquel circle Miquel theorem for quadrilaterals via predicate surface "theoremInvolves" NERFINISHED ⓘ