Triple

T20471147
Position Surface form Disambiguated ID Type / Status
Subject Hermite–Biehler theorem E502194 entity
Predicate relatedTo P37 FINISHED
Object Routh–Hurwitz theorem NE NERFINISHED

How this triple was built (2 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: Routh–Hurwitz theorem | Statement: [Hermite–Biehler theorem, relatedTo, Routh–Hurwitz theorem]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07
Target entity: Routh–Hurwitz theorem
Context triple: [Hermite–Biehler theorem, relatedTo, Routh–Hurwitz theorem]
  • A. Routh–Hurwitz stability criterion chosen
    The Routh–Hurwitz stability criterion is a mathematical test in control theory that determines whether all roots of a system’s characteristic polynomial lie in the left half of the complex plane, ensuring system stability without explicitly computing the roots.
  • B. Hermite–Biehler theorem
    The Hermite–Biehler theorem is a result in complex analysis and control theory that characterizes when a complex polynomial has all its zeros in the open upper half-plane in terms of the interlacing of zeros of two associated real polynomials.
  • C. Nyquist stability criterion
    The Nyquist stability criterion is a graphical frequency-domain method in control theory used to determine the stability of feedback systems by analyzing how their open-loop transfer function encircles a critical point in the complex plane.
  • D. Hurwitz matrix
    The Hurwitz matrix is a structured matrix constructed from the coefficients of a polynomial and used to determine system stability in control theory via the Routh–Hurwitz criterion.
  • E. Stability of Linear Systems
    "Stability of Linear Systems" is a foundational book by Eliahu I. Jury that systematically develops the theory and criteria for determining the stability of linear dynamical and control systems.
  • F. None of above.
  • G. Unsure - the case is ambiguous/there is not enough information to decide.

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_69e0b4ae5f1081908768b0c9a3a0bf38 completed April 16, 2026, 10:06 a.m.
NER Named-entity recognition batch_69e699608d7c8190910217817e789915 completed April 20, 2026, 9:23 p.m.
Created at: April 16, 2026, 11:33 a.m.