Triple
T16019802
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Karush–Kuhn–Tucker conditions |
E388569
|
entity |
| Predicate | namedAfter |
P63
|
FINISHED |
| Object | Albert W. Tucker |
E13103
|
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: Albert W. Tucker | Statement: [Karush–Kuhn–Tucker conditions, namedAfter, Albert W. Tucker]
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Albert W. Tucker Context triple: [Karush–Kuhn–Tucker conditions, namedAfter, Albert W. Tucker]
-
A.
Albert W. Tucker
chosen
Albert W. Tucker was a Canadian-born American mathematician best known for his influential work in game theory and topology, including formulating the Prisoner’s Dilemma and mentoring John Nash.
-
B.
Morris L. Eaton
Morris L. Eaton is an American statistician known for his contributions to multivariate analysis and decision theory, and for his influential work as a student of Emanuel Parzen.
-
C.
Philip M. Morse
Philip M. Morse was an American physicist and pioneer of operations research, known for his influential work in quantum mechanics, acoustics, and the development of scientific management techniques during and after World War II.
-
D.
Marshall H. Stone
Marshall H. Stone was an American mathematician renowned for his foundational work in functional analysis and lattice theory, including the Stone–Čech compactification and Stone duality.
-
E.
Sidney B. Kramer
Sidney B. Kramer was an American publisher best known as a co-founder of the mass-market paperback company Bantam Books.
- 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_69d86dabcb7c8190b6a39d6831d2fa1b |
completed | April 10, 2026, 3:25 a.m. |
| NER | Named-entity recognition | batch_69e183222e4c81909a3ab51446b671bd |
completed | April 17, 2026, 12:47 a.m. |
| NED1 | Entity disambiguation (via context triple) | batch_69ffe47280448190923a36e9a41ce7bc |
completed | May 10, 2026, 1:50 a.m. |
Created at: April 10, 2026, 4:55 a.m.