Triple

T9809741
Position Surface form Disambiguated ID Type / Status
Subject Recherches sur la théorie de la démonstration E238238 entity
Predicate author P4 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: [Recherches sur la théorie de la démonstration, author, 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_69d20d2cb5108190aa15b60ea76bfa78 ned_source_triple completed
Created at: March 30, 2026, 8:29 p.m.