historicallyFormulatedBy
P4595
predicate
Indicates that something (such as an idea, theory, or document) was originally developed, articulated, or formally established by a particular agent or group in the past.
All labels observed (11)
| Label | Occurrences |
|---|---|
| historicallyAttributedTo | 11 |
| historicallyFormulatedBy canonical | 8 |
| firstFormulatedBy | 7 |
| hasNotableTheoremNamedAfter | 5 |
| historicallyIntroducedBy | 5 |
| historicalDeveloper | 3 |
| originallyFormulatedBy | 3 |
| wasFormulatedBy | 2 |
| authorOfFormulation | 1 |
| firstProminentlyFormulatedIn | 1 |
| historicallyTheorizedBy | 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: historicallyFormulatedBy
Generated description
Indicates that something (such as an idea, theory, or document) was originally developed, articulated, or formally established by a particular agent or group in the past.
Sample triples (47)
| Subject | Object |
|---|---|
| Original sin |
Augustine of Hippo
ⓘ
linked to:
Church Fathers
|
| Newtonian absolute time | Isaac Newton via predicate surface "historicallyAttributedTo" ⓘ |
| Satyagraha | Mahatma Gandhi via predicate surface "firstFormulatedBy" ⓘ |
| von Neumann universe | John von Neumann in the 1920s via predicate surface "historicallyIntroducedBy" ⓘ |
| Maurice Janet | Janet–Cartan theorem via predicate surface "hasNotableTheoremNamedAfter" ⓘ |
| Snell’s law of refraction | Willebrord Snellius via predicate surface "historicallyAttributedTo" ⓘ |
| method of least squares | Carl Friedrich Gauss via predicate surface "historicalDeveloper" ⓘ |
| method of least squares | Adrien-Marie Legendre via predicate surface "historicalDeveloper" ⓘ |
| Gaia hypothesis | James Lovelock via predicate surface "firstFormulatedBy" ⓘ |
| Migdal approximation | Arkady Migdal via predicate surface "historicallyAttributedTo" ⓘ |
| equipartition theorem | Ludwig Boltzmann via predicate surface "historicallyAttributedTo" ⓘ |
| equipartition theorem | James Clerk Maxwell via predicate surface "historicallyAttributedTo" ⓘ |
| Wandel durch Annäherung | Egon Bahr via predicate surface "firstFormulatedBy" ⓘ |
| Curry paradox | Haskell Curry via predicate surface "historicallyAttributedTo" ⓘ |
|
Born approximation
linked to:
Born approximation in scattering theory
|
Max Born via predicate surface "historicallyIntroducedBy" ⓘ |
| Animism | Edward Burnett Tylor via predicate surface "historicallyTheorizedBy" ⓘ |
| Pythagorean theorem |
Pythagoras of Samos
via predicate surface "historicallyAttributedTo"
ⓘ
linked to:
Pythagoras
|
| Poincaré conjecture | Henri Poincaré via predicate surface "originallyFormulatedBy" ⓘ |
| the color line | The Souls of Black Folk via predicate surface "firstProminentlyFormulatedIn" ⓘ |
| Newcomb–Benford law | Frank Benford via predicate surface "historicalDeveloper" ⓘ |
| law of conservation of mass | Mikhail Lomonosov ⓘ |
| law of conservation of mass | Antoine Lavoisier ⓘ |
| Haldane’s rule | J. B. S. Haldane via predicate surface "originallyFormulatedBy" ⓘ |
| Cartesian circle | Antoine Arnauld ⓘ |
| Three Represents | Jiang Zemin via predicate surface "firstFormulatedBy" ⓘ |
| Brooks's law | Fred Brooks via predicate surface "authorOfFormulation" ⓘ |
| Fundamental Theorem of Calculus | Isaac Newton via predicate surface "historicallyAttributedTo" ⓘ |
| Fundamental Theorem of Calculus | Gottfried Wilhelm Leibniz via predicate surface "historicallyAttributedTo" ⓘ |
| Hamiltonian mechanics | William Rowan Hamilton via predicate surface "historicallyIntroducedBy" ⓘ |
| law of simultaneous contrast of colors | Michel Eugène Chevreul ⓘ |
| theory of London dispersion forces | Fritz London via predicate surface "historicallyAttributedTo" ⓘ |
| Carl Eckart | Wigner–Eckart theorem via predicate surface "hasNotableTheoremNamedAfter" ⓘ |
| Schrödinger formulation of quantum mechanics | Erwin Schrödinger via predicate surface "historicallyIntroducedBy" ⓘ |
| Jevons paradox | William Stanley Jevons via predicate surface "firstFormulatedBy" ⓘ |
| Besselian elements | Friedrich Bessel via predicate surface "historicallyIntroducedBy" ⓘ |
| Ontological argument for the existence of God | Anselm of Canterbury via predicate surface "firstFormulatedBy" ⓘ |
| Ernst Hellinger | Hellinger–Toeplitz theorem via predicate surface "hasNotableTheoremNamedAfter" ⓘ |
| Wright's law | Theodore Paul Wright via predicate surface "firstFormulatedBy" ⓘ |
| Segal conjecture | Graeme Segal via predicate surface "originallyFormulatedBy" ⓘ |
| Oberth effect | Hermann Oberth via predicate surface "historicallyAttributedTo" ⓘ |
| Low’s theorem | Francis E. Low via predicate surface "wasFormulatedBy" ⓘ |
| Dzyaloshinskii–Moriya interaction | Tôru Moriya via predicate surface "wasFormulatedBy" NERFINISHED ⓘ |
| Paul Koebe | Koebe quarter theorem via predicate surface "hasNotableTheoremNamedAfter" ⓘ |
| Paul Koebe | Koebe distortion theorem via predicate surface "hasNotableTheoremNamedAfter" ⓘ |
| modularity conjecture | Yutaka Taniyama ⓘ |
| modularity conjecture | Goro Shimura ⓘ |
| modularity conjecture | André Weil ⓘ |