Triple

T7685049
Position Surface form Disambiguated ID Type / Status
Subject Lev Pontryagin E174094 entity
Predicate notableWork P4 FINISHED
Object Ordinary Differential Equations
Ordinary Differential Equations is a classic mathematical text that systematically develops the theory and methods for solving differential equations involving functions of a single variable, widely used in advanced undergraduate and graduate studies.
E681630 NE FINISHED

How this triple was built (4 steps)

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.

NER Named-entity recognition gpt-5-mini
Instruction
Given a phrase, classify it is english named entity (e.g., persons, organizations, works of art) in Latin script, or not (e.g., literals, dates, URLs, verbose phrases). For disambiguation, the statement where the phrase occurs as object is also given. Please return a JSON object with `phrase` (string, the phrase being analyzed) and `is_ne` (boolean, indicating whether the phrase is a Named Entity).
Input
Phrase: Ordinary Differential Equations | Statement: [Lev Pontryagin, notableWork, Ordinary Differential Equations]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07
Target entity: Ordinary Differential Equations
Context triple: [Lev Pontryagin, notableWork, Ordinary Differential Equations]
  • A. ODE
    ODE is the state agency responsible for overseeing public education and implementing education policy in Oregon.
  • B. Linear Differential Equations and Their Applications
    "Linear Differential Equations and Their Applications" is a classic mathematical text by Maxime Bôcher that systematically develops the theory of linear differential equations and demonstrates their use in solving applied problems.
  • C. Bernoulli differential equations
    Bernoulli differential equations are a class of first-order nonlinear differential equations that can be transformed into linear form and are fundamental in the study of ordinary differential equations.
  • D. Riccati equation
    A Riccati equation is a type of nonlinear differential or difference equation, often quadratic in the unknown function, that plays a central role in control theory, filtering, and various areas of applied mathematics.
  • E. Cauchy problem
    The Cauchy problem is a fundamental type of initial value problem in partial differential equations, where one seeks a solution satisfying prescribed data on a given initial surface.
  • F. None of above. chosen
  • G. Unsure - the case is ambiguous/there is not enough information to decide.
NEDg Description generation gpt-5.1
Instruction
Generate a one-sentence description of the target entity. 
You are given a context triple in the form (subject, predicate, object), where the object is the target entity. 
# Instructions
Use the triple to infer relevant information about the entity. Describe the entity based on what is most defining, well-known. 
Avoid repeating the information from the triple, unless really essential.
# Response Format
Return only the sentence: "Description: [one-sentence description of the target entity]"
Input
Entity: Ordinary Differential Equations
Triple: [Lev Pontryagin, notableWork, Ordinary Differential Equations]
Generated description
Ordinary Differential Equations is a classic mathematical text that systematically develops the theory and methods for solving differential equations involving functions of a single variable, widely used in advanced undergraduate and graduate studies.
NED2 Entity disambiguation (via description) gpt-5-mini-2025-08-07
Target entity: Ordinary Differential Equations
Target entity description: Ordinary Differential Equations is a classic mathematical text that systematically develops the theory and methods for solving differential equations involving functions of a single variable, widely used in advanced undergraduate and graduate studies.
  • A. ODE
    ODE is the state agency responsible for overseeing public education and implementing education policy in Oregon.
  • B. Linear Differential Equations and Their Applications
    "Linear Differential Equations and Their Applications" is a classic mathematical text by Maxime Bôcher that systematically develops the theory of linear differential equations and demonstrates their use in solving applied problems.
  • C. Bernoulli differential equations
    Bernoulli differential equations are a class of first-order nonlinear differential equations that can be transformed into linear form and are fundamental in the study of ordinary differential equations.
  • D. Riccati equation
    A Riccati equation is a type of nonlinear differential or difference equation, often quadratic in the unknown function, that plays a central role in control theory, filtering, and various areas of applied mathematics.
  • E. Cauchy problem
    The Cauchy problem is a fundamental type of initial value problem in partial differential equations, where one seeks a solution satisfying prescribed data on a given initial surface.
  • F. None of above. chosen

Provenance (5 batches)

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_69c6995840408190a19de6c51090f46f completed March 27, 2026, 2:51 p.m.
NER Named-entity recognition batch_69c7022118908190a3a93cfda79be0a4 completed March 27, 2026, 10:18 p.m.
NED1 Entity disambiguation (via context triple) batch_69c8a25c2a308190908ffdd2f0b7262f completed March 29, 2026, 3:54 a.m.
NEDg Description generation batch_69c8a37c995881908c71791c6cc002f3 completed March 29, 2026, 3:58 a.m.
NED2 Entity disambiguation (via description) batch_69c8a3fe63a4819086bcb5f80cdbd30b completed March 29, 2026, 4:01 a.m.
Created at: March 27, 2026, 4:02 p.m.