timeDiscretizationFormula
P52987
predicate
Indicates a relationship where a specific mathematical formula is used to convert or approximate continuous time into discrete time steps for analysis or computation.
All labels observed (2)
| Label | Occurrences |
|---|---|
| timeDiscretizationFormula canonical | 1 |
| usesTimeStepping | 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: timeDiscretizationFormula
Generated description
Indicates a relationship where a specific mathematical formula is used to convert or approximate continuous time into discrete time steps for analysis or computation.
Sample triples (2)
| Subject | Object |
|---|---|
| Crank–Nicolson scheme | u^{n+1} - u^{n} = (Δt/2)[L(u^{n+1}) + L(u^{n})] ⓘ |
| classical fourth-order Runge–Kutta method | discrete grid t_n = t_0 + n h via predicate surface "usesTimeStepping" ⓘ |