Triple

T326984
Position Surface form Disambiguated ID Type / Status
Subject David Hilbert E6540 entity
Predicate influenced P9 FINISHED
Object Alonzo Church E34828 NE FINISHED

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: Alonzo Church | Statement: [David Hilbert, influenced, Alonzo Church]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07
Target entity: Alonzo Church
Context triple: [David Hilbert, influenced, Alonzo Church]
  • A. Alonzo Church chosen
    Alonzo Church was an American mathematician and logician best known for developing lambda calculus and making foundational contributions to computability theory and mathematical logic.
  • B. John McCarthy
    John McCarthy was an American computer scientist and cognitive scientist best known as a pioneer of artificial intelligence and the creator of the Lisp programming language.
  • C. Alan Perlis
    Alan Perlis was an American computer scientist and educator renowned for his pioneering work in programming languages and for being the first recipient of the Turing Award.
  • D. Marvin Minsky
    Marvin Minsky was an American cognitive scientist and pioneering artificial intelligence researcher who co-founded MIT's AI Laboratory and made foundational contributions to the theory and philosophy of AI.
  • E. John von Neumann
    John von Neumann was a pioneering 20th-century mathematician and polymath whose foundational work in game theory, computer science, quantum mechanics, and economics profoundly shaped modern science and technology.
  • F. None of above.
  • G. Unsure - the case is ambiguous/there is not enough information to decide.

Provenance (3 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_69a2e7933d6c8190bb2592ad13286ef2 completed Feb. 28, 2026, 1:03 p.m.
NER Named-entity recognition batch_69a2ea974d8481908c7d84f72a7728b6 completed Feb. 28, 2026, 1:16 p.m.
NED1 Entity disambiguation (via context triple) batch_69a3d4e23894819088b2d276cfb9d26d completed March 1, 2026, 5:55 a.m.
Created at: Feb. 28, 2026, 1:08 p.m.