Triple

T7743572
Position Surface form Disambiguated ID Type / Status
Subject Navier–Stokes existence and smoothness problem E175568 entity
Predicate instanceOf P0 FINISHED
Object problem in partial differential equations C7254 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: problem in partial differential equations
Context triple: [Navier–Stokes existence and smoothness problem, instanceOf, problem in partial differential equations]
  • A. partial differential equation
    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. result in partial differential equations
    A result in partial differential equations is a proven statement or theorem that characterizes the existence, uniqueness, regularity, behavior, or qualitative properties of solutions to equations involving multivariable derivatives.
  • C. mathematical problem chosen
    A mathematical problem is a question or task that requires the application of mathematical concepts, methods, or reasoning to find a solution or demonstrate a result.
  • D. 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).
  • E. result in mathematical physics
    A result in mathematical physics is a rigorously proven statement that connects precise mathematical structures with physical theories, often clarifying, justifying, or predicting phenomena within a formal framework.
  • 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_69c6995f9c60819092e386192bd63c6f completed March 27, 2026, 2:51 p.m.
Created at: March 27, 2026, 4:07 p.m.