Triple
T9634378
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | The Definition of Standard ML |
E232891
|
entity |
| Predicate | author |
P4
|
FINISHED |
| Object | Robin Milner |
E32698
|
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: Robin Milner Context triple: [The Definition of Standard ML, author, Robin Milner]
-
A.
Robin Milner
chosen
Robin Milner was a pioneering British computer scientist known for his foundational work in programming language theory, type systems, and process calculi, including the development of ML and the π-calculus.
-
B.
Simon Peyton Jones
Simon Peyton Jones is a prominent British computer scientist best known for his foundational work on the design and implementation of the Haskell programming language and contributions to functional programming and compiler technology.
-
C.
Peter Landin
Peter Landin was a pioneering British computer scientist whose work on programming language theory and functional programming profoundly influenced the design of modern languages.
-
D.
Gordon Plotkin
Gordon Plotkin is a British computer scientist renowned for his foundational contributions to programming language semantics and domain theory.
-
E.
Tony Hoare
Tony Hoare is a British computer scientist best known for developing the Quicksort algorithm and making foundational contributions to programming languages and formal methods.
- 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_69ca848940cc8190b97cec654cb3bb4a |
elicitation | completed |
| NER | batch_69cd9b2a0e2c8190ab5aaa223b1e1cde |
ner | completed |
| NED1 | batch_69d1cc389c248190ac10adfc49a1240d |
ned_source_triple | completed |
Created at: March 30, 2026, 8:11 p.m.