Triple

T22150978
Position Surface form Disambiguated ID Type / Status
Subject Carathéodory existence theorem E547409 entity
Predicate relatedTo P37 FINISHED
Object Filippov theory of differential equations with discontinuous right-hand sides NE NERFINISHED

How this triple was built (3 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: Filippov theory of differential equations with discontinuous right-hand sides | Statement: [Carathéodory existence theorem, relatedTo, Filippov theory of differential equations with discontinuous right-hand sides]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07
Target entity: Filippov theory of differential equations with discontinuous right-hand sides
Context triple: [Carathéodory existence theorem, relatedTo, Filippov theory of differential equations with discontinuous right-hand sides]
  • A. Lyapunov stability theory
    Lyapunov stability theory is a fundamental framework in dynamical systems and control theory that uses energy-like functions to assess the stability of equilibrium points without explicitly solving differential equations.
  • B. Vessiot theory of differential equations
    The Vessiot theory of differential equations is a geometric framework that studies differential equations via their symmetry and structure using concepts from Lie groups and differential geometry.
  • C. Bogoliubov–Mitropolsky asymptotic methods in nonlinear oscillations
    "Bogoliubov–Mitropolsky Asymptotic Methods in Nonlinear Oscillations" is a classic mathematical monograph that develops systematic asymptotic techniques for analyzing and approximating solutions of nonlinear oscillatory systems.
  • D. Nonlinear Oscillations, Dynamical Systems, and Bifurcations of Vector Fields
    "Nonlinear Oscillations, Dynamical Systems, and Bifurcations of Vector Fields" is a foundational graduate-level textbook that systematically develops the theory and applications of nonlinear dynamical systems, including oscillations, stability, and bifurcation phenomena.
  • E. Inners and Stability of Dynamic Systems
    "Inners and Stability of Dynamic Systems" is a seminal work in control theory by Eliahu I. Jury that analyzes the role of inner functions in determining the stability properties of dynamic systems.
  • F. None of above. chosen
  • G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2 Entity disambiguation (via description) gpt-5-mini-2025-08-07
Target entity: Filippov theory of differential equations with discontinuous right-hand sides
Target entity description: Filippov theory of differential equations with discontinuous right-hand sides is a mathematical framework that generalizes classical differential equation theory to rigorously define and analyze solutions of systems whose dynamics are governed by discontinuous vector fields, such as in control and mechanical systems with switching or impacts.
  • A. Lyapunov stability theory
    Lyapunov stability theory is a fundamental framework in dynamical systems and control theory that uses energy-like functions to assess the stability of equilibrium points without explicitly solving differential equations.
  • B. Vessiot theory of differential equations
    The Vessiot theory of differential equations is a geometric framework that studies differential equations via their symmetry and structure using concepts from Lie groups and differential geometry.
  • C. Bogoliubov–Mitropolsky asymptotic methods in nonlinear oscillations
    "Bogoliubov–Mitropolsky Asymptotic Methods in Nonlinear Oscillations" is a classic mathematical monograph that develops systematic asymptotic techniques for analyzing and approximating solutions of nonlinear oscillatory systems.
  • D. Nonlinear Oscillations, Dynamical Systems, and Bifurcations of Vector Fields
    "Nonlinear Oscillations, Dynamical Systems, and Bifurcations of Vector Fields" is a foundational graduate-level textbook that systematically develops the theory and applications of nonlinear dynamical systems, including oscillations, stability, and bifurcation phenomena.
  • E. Inners and Stability of Dynamic Systems
    "Inners and Stability of Dynamic Systems" is a seminal work in control theory by Eliahu I. Jury that analyzes the role of inner functions in determining the stability properties of dynamic systems.
  • F. None of above. chosen

Provenance (2 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_69e11e3b52088190ad5df386d01eb2fb completed April 16, 2026, 5:36 p.m.
NER Named-entity recognition batch_69f129f37dac8190a7cecb12f4271515 completed April 28, 2026, 9:43 p.m.
Created at: April 16, 2026, 8:33 p.m.