hasTheorem
P38252
predicate
Indicates that one entity (typically a mathematical theory, field, or work) includes, establishes, or is associated with a particular theorem.
Observed surface forms (3)
- EulerTheoremStatement ×1
- hasStructureTheorem ×1
- secondTheoremStates ×1
Sample triples (7)
| Subject | Object |
|---|---|
|
Abelian groups
surface form:
Abelian group
|
finitely generated Abelian groups decompose into direct sum of cyclic groups via predicate surface "hasStructureTheorem" ⓘ |
| Euler’s totient function φ(n) | If gcd(a,n) = 1 then a^{φ(n)} ≡ 1 (mod n) via predicate surface "EulerTheoremStatement" ⓘ |
| Gödel's incompleteness theorems | no consistent, effectively axiomatized theory capable of expressing elementary arithmetic can prove its own consistency via predicate surface "secondTheoremStates" ⓘ |
|
Riemann surfaces
surface form:
Riemann surface
|
Hodge decomposition for compact Riemann surfaces ⓘ |
|
Riemann surfaces
surface form:
Riemann surface
|
Riemann–Hurwitz formula ⓘ |
|
Riemann surfaces
surface form:
Riemann surface
|
Riemann–Roch theorem ⓘ |
|
Riemann surfaces
surface form:
Riemann surface
|
uniformization theorem ⓘ |