Triple
T24822181
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | SOR |
E621090
|
entity |
| Predicate | instanceOf |
P0
|
FINISHED |
| Object | linear system solver |
C49595
|
CONCEPT FINISHED |
How this triple was built (1 step)
Every LLM step that produced this triple, in pipeline order — named-entity classification, the disambiguation choices (the exact options shown, with the pick highlighted), and the generated description. The batch + timestamp of each is in the Provenance table below.
CD
Concept disambiguation
gpt-5-mini-2025-08-07
Target class: linear system solver Context triple: [SOR, instanceOf, linear system solver]
-
A.
system of equations
A system of equations is a set of two or more equations with the same variables that are considered simultaneously to find values satisfying all of them at once.
-
B.
numerical linear algebra library
A numerical linear algebra library is a collection of optimized routines and data structures for performing matrix and vector operations, decompositions, and related numerical computations.
-
C.
ordinary differential equation solver
An ordinary differential equation solver is a computational tool or algorithm that numerically approximates solutions to initial value or boundary value problems defined by ordinary differential equations.
-
D.
result in linear algebra
In linear algebra, a result is a proven statement or conclusion—such as a theorem, lemma, or corollary—that follows logically from definitions and previously established facts about vectors, matrices, and linear transformations.
-
E.
linear differential equation
A linear differential equation is an equation involving an unknown function and its derivatives in which the function and its derivatives appear only to the first power and are not multiplied together, with coefficients that may depend on the independent variable.
- F. None of above. chosen
Provenance (1 batch)
The batch behind each pipeline step, in order, with when it ran. Timestamps are batch-level — stages were processed in waves, so the object chain (NER → NED1 → NEDg → NED2) reads in order, but predicate / elicitation batches can sit in a different wave.
| Step | Stage | Batch ID | Status | When |
|---|---|---|---|---|
| creating | Elicitation | batch_69e2fabfd4648190bd0e5c7f4dbb6cab |
completed | April 18, 2026, 3:30 a.m. |
Created at: April 18, 2026, 5:04 a.m.