hasTheoremNamedAfter
P29208
predicate
Indicates that a theorem is named in honor of or after a particular person or entity.
All labels observed (10)
| Label | Occurrences |
|---|---|
| hasNotableMathematicalConceptNamedAfter | 17 |
| hasTheoremNamedAfter canonical | 17 |
| hasNotableConceptNamedAfter | 11 |
| theoremNamedAfter | 6 |
| hasNotableTheorem | 5 |
| notableTheorem | 4 |
| hasNameInTheorem | 2 |
| hasMathematicianNamesake | 1 |
| hasNotableMathematicalConceptNamedAfterBearer | 1 |
| namedTheoremOf | 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: hasTheoremNamedAfter
Generated description
Indicates that a theorem is named in honor of or after a particular person or entity.
Sample triples (65)
| Subject | Object |
|---|---|
| Shizuo Kakutani | Kakutani fixed-point theorem ⓘ |
| Shizuo Kakutani | Kakutani’s random ergodic theorem ⓘ |
| Jarl Waldemar Lindeberg |
Lindeberg–Feller central limit theorem
via predicate surface "hasNotableConceptNamedAfter"
ⓘ
surface form:
Lindeberg condition
|
| Jarl Waldemar Lindeberg |
Lindeberg–Feller central limit theorem
via predicate surface "hasNotableConceptNamedAfter"
ⓘ
surface form:
Lindeberg–Feller theorem
|
| Jacques Herbrand | Herbrand's theorem via predicate surface "theoremNamedAfter" ⓘ |
| Hassler Whitney | Whitney embedding theorem ⓘ |
| Hassler Whitney | Whitney approximation theorem ⓘ |
| Robert Hanbury Brown | Hanbury Brown and Twiss effect via predicate surface "hasNotableConceptNamedAfter" ⓘ |
| Gösta Mittag-Leffler | Mittag-Leffler theorem ⓘ |
| Hahn series | Hans Hahn via predicate surface "hasMathematicianNamesake" ⓘ |
| Thomas M. Cover | Cover’s theorem via predicate surface "theoremNamedAfter" ⓘ |
| Pál Turán | Turán's theorem ⓘ |
| Thomas Bayes |
Bayes’ theorem
ⓘ
surface form:
Bayes' theorem
|
| Johannes G. G. Darboux | Darboux theorem via predicate surface "hasNotableConceptNamedAfter" ⓘ |
| Johannes G. G. Darboux | Darboux's law of intermediate values via predicate surface "hasNotableConceptNamedAfter" ⓘ |
| Mark Naimark | Naimark dilation theorem ⓘ |
| Mark Naimark | Naimark problem ⓘ |
| Fitting | Fitting subgroup via predicate surface "hasNotableMathematicalConceptNamedAfterBearer" ⓘ |
| Ben Green | Green–Tao theorem via predicate surface "notableTheorem" ⓘ |
| Otton Nikodym |
Radon–Nikodym derivative
via predicate surface "hasNotableTheorem"
ⓘ
surface form:
Radon–Nikodym theorem
|
| Otton Nikodym | Nikodym convergence theorem via predicate surface "hasNotableTheorem" ⓘ |
| Bernard Malgrange | Malgrange preparation theorem via predicate surface "hasNotableTheorem" ⓘ |
| Bernard Malgrange | Malgrange–Ehrenpreis theorem via predicate surface "hasNotableTheorem" ⓘ |
| Dmitri Egorov | Egorov's theorem ⓘ |
| Kazimierz Kuratowski |
Kuratowski’s theorem on planar graphs
ⓘ
surface form:
Kuratowski’s theorem
|
| Kazimierz Kuratowski | Kuratowski’s closure-complement problem ⓘ |
| Hans Lewy | Lewy extension theorem via predicate surface "theoremNamedAfter" ⓘ |
| Hans Lewy | Lewy example in PDE via predicate surface "theoremNamedAfter" ⓘ |
| Gustav Roch | Riemann–Roch theorem NERFINISHED ⓘ |
| Szegő | Szegő limit theorem via predicate surface "hasNotableMathematicalConceptNamedAfter" NERFINISHED ⓘ |
| Szegő | Szegő kernel via predicate surface "hasNotableMathematicalConceptNamedAfter" NERFINISHED ⓘ |
| Szegő | Szegő polynomials via predicate surface "hasNotableMathematicalConceptNamedAfter" ⓘ |
| Szegő | Szegő recurrence via predicate surface "hasNotableMathematicalConceptNamedAfter" ⓘ |
| Oka coherence theorem | Kiyoshi Oka via predicate surface "namedTheoremOf" NERFINISHED ⓘ |
| Vladimir Kotelnikov | Kotelnikov sampling theorem NERFINISHED ⓘ |
| Max Zorn | Zorn's lemma via predicate surface "theoremNamedAfter" NERFINISHED ⓘ |
| Ivar Bendixson | Poincaré–Bendixson theorem via predicate surface "hasNameInTheorem" NERFINISHED ⓘ |
| Ivar Bendixson | Bendixson–Dulac theorem via predicate surface "hasNameInTheorem" NERFINISHED ⓘ |
| Roland Sprague | Sprague–Grundy theorem NERFINISHED ⓘ |
| W. B. R. Lickorish | Lickorish–Wallace theorem via predicate surface "notableTheorem" NERFINISHED ⓘ |
| W. B. R. Lickorish | Lickorish twist theorem via predicate surface "notableTheorem" NERFINISHED ⓘ |
| Hopf | Hopf fibration via predicate surface "hasNotableMathematicalConceptNamedAfter" NERFINISHED ⓘ |
| Hopf | Hopf invariant via predicate surface "hasNotableMathematicalConceptNamedAfter" NERFINISHED ⓘ |
| Hopf | Hopf algebra via predicate surface "hasNotableMathematicalConceptNamedAfter" NERFINISHED ⓘ |
| Hopf | Hopf bundle via predicate surface "hasNotableMathematicalConceptNamedAfter" NERFINISHED ⓘ |
| Hopf | Hopf degree theorem via predicate surface "hasNotableMathematicalConceptNamedAfter" NERFINISHED ⓘ |
| Emil Post | Post algebra via predicate surface "hasNotableConceptNamedAfter" NERFINISHED ⓘ |
| Emil Post | Post set via predicate surface "hasNotableConceptNamedAfter" NERFINISHED ⓘ |
| Emil Post | Post hierarchy via predicate surface "hasNotableConceptNamedAfter" NERFINISHED ⓘ |
| Emil Post | Post normal form via predicate surface "hasNotableConceptNamedAfter" NERFINISHED ⓘ |