hasRefinement
P4448
predicate
Indicates that one entity represents a more detailed, specific, or improved version of another entity.
Observed surface forms (2)
- refinedBy ×1
- wasRefinedBy ×1
Sample triples (7)
| Subject | Object |
|---|---|
| Born–Oppenheimer approximation | Born–Huang expansion → |
| Born–Oppenheimer approximation | diabatic representation methods → |
| Born–Oppenheimer approximation | nonadiabatic coupling corrections → |
| Kepler’s laws of planetary motion | Newtonian mechanics via predicate surface "refinedBy" → |
| Riemann–Siegel formula | higher-order Riemann–Siegel expansions → |
| Whitney embedding theorem |
Whitney embedding theorem
self-linksurface differs
→
surface form:
strong Whitney embedding theorem
|
| von Neumann–Bernays–Gödel set theory | Paul Bernays in the 1930s via predicate surface "wasRefinedBy" → |