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 Lickorish–Wallace theorem ⓘ
linked to: Dehn surgery
Dehn surgery Thurston hyperbolic Dehn surgery theorem ⓘ
linked to: Thurston hyperbolization theorem
Norton equivalent circuit Thevenin’s theorem ⓘ
Sobolev spaces Sobolev embedding theorem ⓘ
linked to: Sobolev inequality
Sobolev spaces Rellich–Kondrachov compactness theorem ⓘ
Sobolev spaces Poincaré inequality ⓘ
Sobolev spaces Gagliardo–Nirenberg interpolation inequality ⓘ
linked to: Gagliardo–Nirenberg interpolation inequalities
Vladimir Kotelnikov Nyquist–Shannon sampling theorem via predicate surface "theoremEquivalentTo" ⓘ
linked to: Nyquist theorem
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 ⓘ
Clifford’s theorem Noether’s theorem on canonical curves ⓘ
linked to: Noether’s theorem in algebraic geometry (Noether’s AF+BG theorem)
Clifford’s theorem Brill–Noether theorem ⓘ
linked to: Brill–Noether theory
Miquel circle Miquel theorem for quadrilaterals via predicate surface "theoremInvolves" ⓘ
linked to: Miquel configuration for polygons