formulaUsed

P24049
predicate

Indicates that a particular formula is employed or applied in performing a calculation, derivation, or reasoning step.

Try in SPARQL

All labels observed (14)

Label Occurrences
updateFormula 5
usesFormula 5
derivesFormula 4

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: formulaUsed
Generated description
Indicates that a particular formula is employed or applied in performing a calculation, derivation, or reasoning step.

Sample triples (32)

Subject Object
Chrismation in Eastern Christianity The seal of the gift of the Holy Spirit ⓘ
Lumen Gentium subsists in via predicate surface "usesFormula" ⓘ
Single Transferable Vote Droop quota via predicate surface "commonQuotaFormula" ⓘ
Counting of the Omer Today is X days of the Omer via predicate surface "eachDayFormula" ⓘ
de Haas–van Alphen effect Lifshitz–Kosevich formula via predicate surface "usesFormula" ⓘ
Euler’s method for numerical integration y_{n+1} = y_n + h f(t_n, y_n) via predicate surface "hasUpdateFormula" ⓘ
Picard iteration y_{n+1}(t) = y0 + ∫_{t0}^{t} f(s, y_n(s)) ds via predicate surface "iterationFormula" ⓘ
Laplace transform lim_{t→∞} f(t) = lim_{s→0} s F(s) via predicate surface "finalValueTheorem" ⓘ
On the Sphere and Cylinder V_sphere = 4/3 π r^3 via predicate surface "derivesFormula" ⓘ
On the Sphere and Cylinder A_sphere = 4 π r^2 via predicate surface "derivesFormula" ⓘ
On the Sphere and Cylinder V_cylinder = π r^2 h via predicate surface "derivesFormula" ⓘ
On the Sphere and Cylinder A_cylinder = 2 π r h + 2 π r^2 via predicate surface "derivesFormula" ⓘ
Successive Over-Relaxation splitting A = D + L + U via predicate surface "updateFormulaUses" ⓘ
Successive Over-Relaxation diagonal part D of A via predicate surface "updateFormulaUses" ⓘ
Successive Over-Relaxation strictly lower triangular part L of A via predicate surface "updateFormulaUses" ⓘ
Successive Over-Relaxation strictly upper triangular part U of A via predicate surface "updateFormulaUses" ⓘ
Richardson iteration x_{k+1} = x_k + \,\omega\,(b - A x_k) via predicate surface "updateFormula" ⓘ
Australian Senate elections Droop quota via predicate surface "usesQuotaFormula" ⓘ
Halley’s method for solving equations x_{n+1} = x_n - \frac{2 f(x_n) f'(x_n)}{2 (f'(x_n))^2 - f(x_n) f''(x_n)} via predicate surface "updateFormula" ⓘ
Heun’s method y_{n+1} = y_n + h/2 [ f(t_n, y_n) + f(t_n + h, y_tilde ) ] via predicate surface "updateFormula" ⓘ
classical fourth-order Runge–Kutta method y_{n+1} = y_n + h (k1 + 2 k2 + 2 k3 + k4) / 6 via predicate surface "updateFormula" ⓘ
Extended Hückel method Hii equals valence orbital ionization potential via predicate surface "usesFormula" ⓘ
Extended Hückel method Hij proportional to overlap integral Sij via predicate surface "usesFormula" ⓘ
Hilbert–Schmidt operator
linked to: Hilbert–Schmidt operators
square root of sum of squares of matrix entries in an orthonormal basis via predicate surface "normFormula" ⓘ
Hilbert–Schmidt operator
linked to: Hilbert–Schmidt operators
square root of trace of T* T via predicate surface "normFormula" ⓘ
Homoiousian theology the Son is like the Father according to the Scriptures via predicate surface "usesFormula" ⓘ
theta-method u_{n+1} = u_n + Δt[(1−theta) f(t_n,u_n) + theta f(t_{n+1},u_{n+1})] for ODEs via predicate surface "hasUpdateFormula" ⓘ
REINFORCE E[ G_t ∇_θ log π_θ(a_t|s_t) ] via predicate surface "gradientFormula" ⓘ
Malta STV elections Droop quota via predicate surface "usesQuotaFormula" ⓘ
Newton’s method x_{n+1} = x_n - f(x_n)/f'(x_n) via predicate surface "updateFormula" ⓘ
Liouville's inequality in Diophantine approximation height of an algebraic number via predicate surface "generalFormUses" ⓘ
Liouville's inequality in Diophantine approximation degree of an algebraic number via predicate surface "generalFormUses" ⓘ