Triple
T4094326
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Lax equivalence theorem |
E87776
|
entity |
| Predicate | provenBy |
P21917
|
FINISHED |
| Object | Peter Lax |
E256920
|
NE FINISHED |
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: Peter Lax | Statement: [Lax equivalence theorem, provenBy, Peter Lax]
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Peter Lax Context triple: [Lax equivalence theorem, provenBy, Peter Lax]
-
A.
Peter Lax
chosen
Peter Lax is a Hungarian-American mathematician renowned for his fundamental contributions to partial differential equations, numerical analysis, and fluid dynamics.
-
B.
Ken Rudin
Ken Rudin is a technology executive and entrepreneur best known for his leadership role in founding the enterprise software company Siebel Systems.
-
C.
Charles Fefferman
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.
-
D.
Curt Courant
Curt Courant was a German-born cinematographer known for his influential work in European cinema during the early 20th century, particularly in expressionist and British films.
-
E.
Alexandre J. Chorin
Alexandre J. Chorin is a mathematician renowned for his pioneering work in computational fluid dynamics and numerical methods for solving the Navier–Stokes equations.
- F. None of above.
- G. Unsure - the case is ambiguous/there is not enough information to decide.
Provenance (3 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_69aed94425148190be337845d56fac22 |
completed | March 9, 2026, 2:29 p.m. |
| NER | Named-entity recognition | batch_69aefcdc1ce08190922f55f812b0fda3 |
completed | March 9, 2026, 5:01 p.m. |
| NED1 | Entity disambiguation (via context triple) | batch_69b576a1a0408190aa4683a0904790aa |
completed | March 14, 2026, 2:54 p.m. |
Created at: March 9, 2026, 3:40 p.m.