Triple

T21783439
Position Surface form Disambiguated ID Type / Status
Subject Fefferman–Phong inequality E537775 entity
Predicate namedAfter P63 FINISHED
Object Charles Fefferman 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: Charles Fefferman | Statement: [Fefferman–Phong inequality, namedAfter, Charles Fefferman]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07
Target entity: Charles Fefferman
Context triple: [Fefferman–Phong inequality, namedAfter, Charles Fefferman]
  • A. Charles Fefferman chosen
    Charles Fefferman is an American mathematician renowned for his groundbreaking work in harmonic analysis, partial differential equations, and several complex variables, and is a Fields Medalist and long-time professor at Princeton University.
  • B. Elias Stein
    Elias Stein was a highly influential American mathematician renowned for his foundational contributions to harmonic analysis and his long tenure at Princeton University.
  • C. Shmuel Agmon
    Shmuel Agmon is an Israeli mathematician renowned for his contributions to partial differential equations and spectral theory.
  • D. Peter Lax
    Peter Lax is a Hungarian-American mathematician renowned for his fundamental contributions to partial differential equations, numerical analysis, and fluid dynamics.
  • E. Ken Rudin
    Ken Rudin is a technology executive and entrepreneur best known for his leadership role in founding the enterprise software company Siebel 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_69e0c47198f881908cb0d237266c10e9 completed April 16, 2026, 11:13 a.m.
NER Named-entity recognition batch_69f0462ed0ec81908833e18c164e8b5c completed April 28, 2026, 5:31 a.m.
Created at: April 16, 2026, 6:52 p.m.