Triple
T13035655
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Monge–Ampère equation |
E326554
|
entity |
| Predicate | instanceOf |
P0
|
FINISHED |
| Object | nonlinear elliptic equation |
C3712
|
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: nonlinear elliptic equation Context triple: [Monge–Ampère equation, instanceOf, nonlinear elliptic equation]
-
A.
partial differential equation
chosen
A partial differential equation is an equation that relates the partial derivatives of an unknown multivariable function, describing how it changes with respect to several independent variables.
-
B.
elliptic differential operator
An elliptic differential operator is a linear differential operator whose principal symbol is invertible away from the zero section, ensuring strong regularity and smoothing properties for its solutions.
-
C.
equation in the calculus of variations
An equation in the calculus of variations is a mathematical relation, typically an Euler–Lagrange equation, that characterizes the functions making a given functional stationary (usually minimizing or maximizing its value).
-
D.
free boundary problem
A free boundary problem is a type of mathematical or physical problem in which the shape or position of the boundary of the domain is not known in advance and must be determined as part of the solution.
-
E.
nonlinear function
A nonlinear function is a mathematical relationship between variables in which the rate of change is not constant, so its graph does not form a straight line.
- F. None of above.
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_69d8076cc45c81908123123f43e69266 |
completed | April 9, 2026, 8:09 p.m. |
Created at: April 9, 2026, 8:55 p.m.