Triple

T7059219
Position Surface form Disambiguated ID Type / Status
Subject Garrett Birkhoff E164171 entity
Predicate notableConcept P201 FINISHED
Object Birkhoff interpolation
Birkhoff interpolation is a generalized form of polynomial interpolation that allows prescribing function and derivative values at selected points, not necessarily in a consecutive or complete pattern.
E637944 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: Birkhoff interpolation | Statement: [Garrett Birkhoff, notableConcept, Birkhoff interpolation]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07
Target entity: Birkhoff interpolation
Context triple: [Garrett Birkhoff, notableConcept, Birkhoff interpolation]
  • A. Hermite interpolation
    Hermite interpolation is a numerical analysis method for constructing a polynomial that matches both function values and specified derivatives at given data points.
  • B. Carathéodory–Fejér interpolation
    Carathéodory–Fejér interpolation is a classical result in complex analysis and approximation theory that concerns constructing analytic functions, typically with bounded or positive real part, that match prescribed initial Taylor coefficients.
  • C. Newton interpolation polynomial
    The Newton interpolation polynomial is a form of the interpolating polynomial that uses divided differences and a nested (incremental) structure, making it efficient to update when new data points are added.
  • D. Lagrange interpolation polynomial
    The Lagrange interpolation polynomial is a classical formula in numerical analysis that constructs a unique polynomial passing through a given set of data points, widely used for interpolation and approximation.
  • E. Bernstein polynomials
    Bernstein polynomials are a family of polynomials used in approximation theory that provide a constructive proof of the Weierstrass approximation theorem by uniformly approximating continuous functions on a closed interval.
  • 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: Birkhoff interpolation
Triple: [Garrett Birkhoff, notableConcept, Birkhoff interpolation]
Generated description
Birkhoff interpolation is a generalized form of polynomial interpolation that allows prescribing function and derivative values at selected points, not necessarily in a consecutive or complete pattern.
NED2 Entity disambiguation (via description) gpt-5-mini-2025-08-07
Target entity: Birkhoff interpolation
Target entity description: Birkhoff interpolation is a generalized form of polynomial interpolation that allows prescribing function and derivative values at selected points, not necessarily in a consecutive or complete pattern.
  • A. Hermite interpolation
    Hermite interpolation is a numerical analysis method for constructing a polynomial that matches both function values and specified derivatives at given data points.
  • B. Carathéodory–Fejér interpolation
    Carathéodory–Fejér interpolation is a classical result in complex analysis and approximation theory that concerns constructing analytic functions, typically with bounded or positive real part, that match prescribed initial Taylor coefficients.
  • C. Newton interpolation polynomial
    The Newton interpolation polynomial is a form of the interpolating polynomial that uses divided differences and a nested (incremental) structure, making it efficient to update when new data points are added.
  • D. Lagrange interpolation polynomial
    The Lagrange interpolation polynomial is a classical formula in numerical analysis that constructs a unique polynomial passing through a given set of data points, widely used for interpolation and approximation.
  • E. Bernstein polynomials
    Bernstein polynomials are a family of polynomials used in approximation theory that provide a constructive proof of the Weierstrass approximation theorem by uniformly approximating continuous functions on a closed interval.
  • 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_69c68861678881909961ddf4d779f750 completed March 27, 2026, 1:38 p.m.
NER Named-entity recognition batch_69c6e26b2acc8190b212ec77b74c419f completed March 27, 2026, 8:02 p.m.
NED1 Entity disambiguation (via context triple) batch_69c788a8c4b481908193ffc795b75796 completed March 28, 2026, 7:52 a.m.
NEDg Description generation batch_69c789a4a38c8190aee4beecf7c75d48 completed March 28, 2026, 7:56 a.m.
NED2 Entity disambiguation (via description) batch_69c78a11266081908dc24f62ae3fd118 completed March 28, 2026, 7:58 a.m.
Created at: March 27, 2026, 2:38 p.m.