Triple
T11736273
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Barkley Rosser |
E279033
|
entity |
| Predicate | influencedBy |
P9
|
FINISHED |
| Object | Kurt Gödel |
E18153
|
NE FINISHED |
Disambiguation candidates (1 decision)
The exact options the model was shown at each disambiguation step, with the option it chose highlighted — the evidence behind this triple's disambiguated ids.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Kurt Gödel Context triple: [Barkley Rosser, influencedBy, Kurt Gödel]
-
A.
Kurt Gödel
chosen
Kurt Gödel was a pioneering logician and mathematician best known for his incompleteness theorems, which fundamentally transformed the foundations of mathematics and logic.
-
B.
Gerhard Gentzen
Gerhard Gentzen was a German mathematician and logician best known for founding structural proof theory and introducing natural deduction and sequent calculus.
-
C.
Adele Gödel
Adele Gödel was the longtime partner and later wife of logician Kurt Gödel, known for her devoted support and care throughout his life and career.
-
D.
Jacques Herbrand
Jacques Herbrand was a French mathematician and logician known for his foundational contributions to proof theory and mathematical logic, particularly Herbrand's theorem.
-
E.
Emil Post
Emil Post was a pioneering logician and mathematician whose work on recursive functions, production systems, and undecidability helped lay the foundations of modern computability theory.
- F. None of above.
- G. Unsure - the case is ambiguous/there is not enough information to decide.
Provenance (3 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69d6aaffec6881908bead509e8621742 |
elicitation | completed |
| NER | batch_69d8a4edced48190b7a59dd45921828e |
ner | completed |
| NED1 | batch_69f019b318188190bfb7effcf42974d2 |
ned_source_triple | completed |
Created at: April 8, 2026, 9:41 p.m.