Triple
T13589537
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Jacques Herbrand Prize |
E324655
|
entity |
| Predicate | namedAfter |
P63
|
FINISHED |
| Object | Jacques Herbrand |
E46730
|
NE FINISHED |
Named-entity recognition
Before disambiguation, gpt-5-mini classified whether the object phrase is a named entity — the step behind the object's NE type shown above.
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: Jacques Herbrand | Statement: [Jacques Herbrand Prize, namedAfter, Jacques Herbrand]
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: Jacques Herbrand Context triple: [Jacques Herbrand Prize, namedAfter, Jacques Herbrand]
-
A.
Jacques Herbrand
chosen
Jacques Herbrand was a French mathematician and logician known for his foundational contributions to proof theory and mathematical logic, particularly Herbrand's theorem.
-
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.
Leopold Löwenheim
Leopold Löwenheim was a German mathematician and logician best known for pioneering results in model theory, particularly the Löwenheim–Skolem theorem.
-
D.
Thoralf Skolem
Thoralf Skolem was a Norwegian mathematician and logician known for his foundational work in model theory and set theory, including Skolem's paradox and the Löwenheim–Skolem theorem.
-
E.
Paul Bernays
Paul Bernays was a Swiss mathematician and logician known for his foundational work in axiomatic set theory and his collaboration with David Hilbert on the foundations of mathematics.
- 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_69d80769eaf081909d82f44e484d6113 |
elicitation | completed |
| NER | batch_69dbb055cc98819091fab597b69e5e3e |
ner | completed |
| NED1 | batch_69f76bc347b881908267455f3bdd50e8 |
ned_source_triple | completed |
Created at: April 9, 2026, 9:49 p.m.