Triple
T20836710
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Saharon Shelah |
E512976
|
entity |
| Predicate | doctoralAdvisor |
P167
|
FINISHED |
| Object | Haim Gaifman |
—
|
NE NERFINISHED |
How this triple was built (3 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: Haim Gaifman | Statement: [Saharon Shelah, doctoralAdvisor, Haim Gaifman]
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Haim Gaifman Context triple: [Saharon Shelah, doctoralAdvisor, Haim Gaifman]
-
A.
Dov Gabbay
Dov Gabbay is an Israeli logician and computer scientist known for his influential work in non-classical logics, temporal logic, and the foundations of artificial intelligence.
-
B.
Saharon Shelah
Saharon Shelah is an Israeli mathematician renowned for his groundbreaking work in mathematical logic and set theory, particularly model theory and cardinal arithmetic.
-
C.
Leon Henkin
Leon Henkin was an American logician known for his influential work on completeness in first-order logic and for his contributions to the foundations of mathematics and mathematics education.
-
D.
Solomon Feferman
Solomon Feferman was an American logician and philosopher of mathematics known for his influential work on proof theory, predicativity, and the foundations and history of mathematical logic.
-
E.
Shmuel Safra
Shmuel Safra is an Israeli theoretical computer scientist known for his influential work in computational complexity theory, including foundational contributions to probabilistically checkable proofs and hardness of approximation.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: Haim Gaifman Target entity description: Haim Gaifman is an Israeli logician and philosopher known for his contributions to model theory, probability in logic, and the philosophy of language and mathematics.
-
A.
Dov Gabbay
Dov Gabbay is an Israeli logician and computer scientist known for his influential work in non-classical logics, temporal logic, and the foundations of artificial intelligence.
-
B.
Saharon Shelah
Saharon Shelah is an Israeli mathematician renowned for his groundbreaking work in mathematical logic and set theory, particularly model theory and cardinal arithmetic.
-
C.
Leon Henkin
Leon Henkin was an American logician known for his influential work on completeness in first-order logic and for his contributions to the foundations of mathematics and mathematics education.
-
D.
Solomon Feferman
Solomon Feferman was an American logician and philosopher of mathematics known for his influential work on proof theory, predicativity, and the foundations and history of mathematical logic.
-
E.
Shmuel Safra
Shmuel Safra is an Israeli theoretical computer scientist known for his influential work in computational complexity theory, including foundational contributions to probabilistically checkable proofs and hardness of approximation.
- F. None of above. chosen
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_69e0b4cf62a88190bbf92351e9e57259 |
completed | April 16, 2026, 10:07 a.m. |
| NER | Named-entity recognition | batch_69e6c326daec8190bd4caa41a4b38833 |
completed | April 21, 2026, 12:21 a.m. |
Created at: April 16, 2026, 12:42 p.m.