Triple

T23281141
Position Surface form Disambiguated ID Type / Status
Subject Curry–Howard correspondence E588866 entity
Predicate namedAfter P63 FINISHED
Object William Alvin Howard — NE NERFINISHED

How this triple was built (2 steps)

Every LLM step that produced this triple, in pipeline order — named-entity classification, the disambiguation choices (the exact options shown, with the pick highlighted), and the generated description. The batch + timestamp of each is in the Provenance table below.

NER Named-entity recognition gpt-5-mini
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: William Alvin Howard | Statement: [Curry–Howard correspondence, namedAfter, William Alvin Howard]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07 
Target entity: William Alvin Howard
Context triple: [Curry–Howard correspondence, namedAfter, William Alvin Howard]
  • A. William Alvin Howard chosen
    William Alvin Howard is an American logician and mathematician best known for the Curry–Howard correspondence linking logic and computation.
  • B. William Gargan
    William Gargan was an American actor known for his work in film, radio, and television during the 1930s and 1940s, often portraying tough but likable characters.
  • C. Paul H. Williams
    Paul H. Williams is a son of the influential American modernist poet and physician William Carlos Williams.
  • D. Milton Van Dyke
    Milton Van Dyke was an influential American fluid dynamicist and author known for his classic works on aerodynamics and fluid mechanics, including the widely used reference "An Album of Fluid Motion."
  • E. Herbert Fisher
    Herbert Fisher was a British historian and Liberal politician who served as President of the Board of Education in the early 20th century.
  • F. None of above.
  • G. Unsure - the case is ambiguous/there is not enough information to decide.

Provenance (2 batches)

The batch behind each pipeline step, in order, with when it ran. Timestamps are batch-level — stages were processed in waves, so the object chain (NER → NED1 → NEDg → NED2) reads in order, but predicate / elicitation batches can sit in a different wave.

Step Stage Batch ID Status When
creating Elicitation batch_69e25d16e2c08190a291de254703129e completed April 17, 2026, 4:17 p.m.
NER Named-entity recognition batch_69f19642b46481909fd455acd2155792 completed April 29, 2026, 5:25 a.m.
Created at: April 17, 2026, 4:57 p.m.