Triple

T9809569
Position Surface form Disambiguated ID Type / Status
Subject Herbrand's theorem E238234 entity
Predicate namedAfter P63 FINISHED
Object Jacques Herbrand E46730 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: Jacques Herbrand
Context triple: [Herbrand's theorem, 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. 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.
  • D. 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.
  • 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_69ca84defac48190abc1148804f184c1 elicitation completed
NER batch_69cdb220310c8190a16ca0b746f0ef7a ner completed
NED1 batch_69d1cc5b4dd8819088c86946b4eb8a39 ned_source_triple completed
Created at: March 30, 2026, 8:29 p.m.