hasRefinement
P4448
predicate
Indicates that one entity represents a more detailed, specific, or improved version of another entity.
All labels observed (4)
| Label | Occurrences |
|---|---|
| refinedBy | 25 |
| hasRefinement canonical | 16 |
| isRefinementOf | 2 |
| wasRefinedBy | 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: hasRefinement
Generated description
Indicates that one entity represents a more detailed, specific, or improved version of another entity.
Sample triples (44)
| Subject | Object |
|---|---|
| Born–Oppenheimer approximation | Born–Huang expansion ⓘ |
| Born–Oppenheimer approximation | nonadiabatic coupling corrections ⓘ |
| Born–Oppenheimer approximation | diabatic representation methods ⓘ |
| Whitney embedding theorem |
strong Whitney embedding theorem
ⓘ
linked to:
Whitney embedding theorem
|
| von Neumann–Bernays–Gödel set theory | Paul Bernays in the 1930s via predicate surface "wasRefinedBy" ⓘ |
| Kepler’s laws of planetary motion | Newtonian mechanics via predicate surface "refinedBy" ⓘ |
| Riemann–Siegel formula | higher-order Riemann–Siegel expansions ⓘ |
| Lorentz ether theory |
Hendrik Antoon Lorentz
via predicate surface "refinedBy"
ⓘ
linked to:
Hendrik Lorentz
|
| Lorentz ether theory | Henri Poincaré via predicate surface "refinedBy" ⓘ |
| Weyl law | Weyl law with remainder term ⓘ |
| Weyl law | local Weyl law ⓘ |
| Weyl law |
Weyl law for the spectral function
ⓘ
linked to:
Weyl law
|
| Hardy–Ramanujan asymptotic formula | Rademacher exact formula for p(n) via predicate surface "refinedBy" ⓘ |
| Jordan–Hölder theorem | Schreier refinement theorem in the case of composition series via predicate surface "isRefinementOf" ⓘ |
| IPCC Guidelines for National Greenhouse Gas Inventories | 2019 Refinement to the 2006 IPCC Guidelines for National Greenhouse Gas Inventories via predicate surface "refinedBy" ⓘ |
| prime number theorem | error term estimates for π(x) via predicate surface "refinedBy" ⓘ |
| prime number theorem | logarithmic integral li(x) via predicate surface "refinedBy" ⓘ |
| Jordan curve theorem |
Jordan–Schönflies theorem
ⓘ
linked to:
Schoenflies theorem
|
| Stirling's approximation |
Stirling series
ⓘ
linked to:
Euler–Maclaurin summation formula
|
| IAU lunar nomenclature | subsequent IAU General Assembly resolutions via predicate surface "refinedBy" ⓘ |
|
Sequence (Swift protocol)
linked to:
Sequence
|
Collection (Swift protocol) via predicate surface "refinedBy" ⓘ |
|
Sequence (Swift protocol)
linked to:
Sequence
|
AsyncSequence (Swift protocol) via predicate surface "refinedBy" ⓘ |
| Vinogradov's three-primes theorem | work of Ramaré and others on explicit bounds via predicate surface "refinedBy" ⓘ |
| Barycentric Dynamical Time | IAU 2006 resolutions via predicate surface "refinedBy" ⓘ |
| Fletcher–Munson equal-loudness contours | Robinson–Dadson equal-loudness contours via predicate surface "refinedBy" ⓘ |
| RFC 5508 | RFC 6146 via predicate surface "refinedBy" ⓘ |
| Harvard Classification Scheme | Annie Jump Cannon via predicate surface "refinedBy" ⓘ |
| neuron doctrine | discovery of synapses via predicate surface "refinedBy" ⓘ |
| neuron doctrine | electron microscopy of nervous tissue via predicate surface "refinedBy" ⓘ |
| GMT correlation | Juan Martínez Hernández via predicate surface "refinedBy" ⓘ |
| GMT correlation | J. Eric S. Thompson via predicate surface "refinedBy" ⓘ |
| Legendre's three-square theorem | Gauss's work on ternary quadratic forms via predicate surface "refinedBy" ⓘ |
| Baeyer strain theory of ring compounds | conformational analysis of cyclohexane via predicate surface "refinedBy" ⓘ |
| Baeyer strain theory of ring compounds | modern ring strain theory via predicate surface "refinedBy" ⓘ |
| Hasse–Weil bound for abelian varieties |
Serre–Tate results on abelian varieties over finite fields
via predicate surface "refinedBy"
ⓘ
linked to:
Hasse–Weil bound for abelian varieties
|
| Wolfenstein parameterization | higher-order Wolfenstein-like expansions ⓘ |
| Wolfenstein parameterization |
Buras parameterization
ⓘ
linked to:
Wolfenstein parameterization
|
| Nash equilibrium | subgame perfect Nash equilibrium ⓘ |
| Nash equilibrium | trembling-hand perfect equilibrium ⓘ |
| Nash equilibrium | sequential equilibrium ⓘ |
| Nash equilibrium | proper equilibrium ⓘ |
| Gröbner fan | normal fan of the state polytope via predicate surface "isRefinementOf" ⓘ |
| Springer correspondence | George Lusztig via predicate surface "refinedBy" ⓘ |
| Springer correspondence | David Kazhdan via predicate surface "refinedBy" ⓘ |