hasClosedForm
P46241
predicate
Indicates that a mathematical expression, function, or solution can be written in a finite, explicit form using a standard set of operations and well-known functions.
All labels observed (3)
| Label | Occurrences |
|---|---|
| hasFunctionalForm | 4 |
| closedForm | 3 |
| hasClosedForm canonical | 2 |
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: hasClosedForm
Generated description
Indicates that a mathematical expression, function, or solution can be written in a finite, explicit form using a standard set of operations and well-known functions.
Sample triples (9)
| Subject | Object |
|---|---|
| Fibonacci sequence |
Fibonacci sequence
self-linksurface differs
ⓘ
surface form:
Binet’s formula
|
| Einasto profile | ρ(r) = ρ_e · exp{−d_n[(r/r_e)^{1/n} − 1]} via predicate surface "hasFunctionalForm" ⓘ |
| Cauchy determinant | product over i<k (x_k - x_i) times product over j<ℓ (y_ℓ - y_j) divided by product over i,j (x_i + y_j) ⓘ |
| Selberg integral | product of gamma functions via predicate surface "closedForm" ⓘ |
| Ramanujan’s sum | c_q(n) = sum_{d | gcd(n,q)} μ(q/d) d via predicate surface "closedForm" ⓘ |
| Ramanujan’s sum | c_q(n) = μ(q/(q,n)) φ((q,n)) / φ(q/(q,n)) via predicate surface "closedForm" ⓘ |
| Leontief production function | Q = min{ x1 / a1 , x2 / a2 , … , xn / an } via predicate surface "hasFunctionalForm" ⓘ |
| Navarro–Frenk–White profile | ρ(r) = ρ_s / [(r/r_s)(1 + r/r_s)^2] via predicate surface "hasFunctionalForm" ⓘ |
| Burkert profile | ρ(r) = ρ₀ / [(1 + r/r₀)(1 + (r/r₀)²)] via predicate surface "hasFunctionalForm" ⓘ |