Triple

T19050617
Position Surface form Disambiguated ID Type / Status
Subject Dirichlet principle E466246 entity
Predicate madeRigorousBy P8407 FINISHED
Object David Hilbert — NE NERFINISHED

How this triple was built (3 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: David Hilbert | Statement: [Dirichlet principle, madeRigorousBy, David Hilbert]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07 
Target entity: David Hilbert
Context triple: [Dirichlet principle, madeRigorousBy, David Hilbert]
  • A. David Hilbert chosen
    David Hilbert was a pioneering German mathematician whose foundational work in fields such as invariant theory, axiomatic systems, and functional analysis profoundly shaped modern mathematics.
  • B. Felix Klein
    Felix Klein was a German mathematician renowned for his work in group theory, non-Euclidean geometry, and the Erlangen Program, which redefined the foundations of geometry.
  • C. Otto Toeplitz
    Otto Toeplitz was a German mathematician known for his influential work in functional analysis and operator theory, particularly in the study of infinite matrices and what are now called Toeplitz operators.
  • D. Adolf Hurwitz
    Adolf Hurwitz was a German mathematician known for his influential work in complex analysis, algebra, and number theory, including foundational contributions to the theory of Riemann surfaces and algebraic functions.
  • E. Edmund Landau
    Edmund Landau was a prominent German mathematician known for his foundational work in analytic number theory and the rigorous development of mathematical analysis.
  • F. None of above.
  • G. Unsure - the case is ambiguous/there is not enough information to decide.
PD Predicate disambiguation gpt-5-mini-2025-08-07 
Target predicate: madeRigorousBy
Context triple: [Dirichlet principle, madeRigorousBy, David Hilbert]
  • A. madePermanentBy
    Indicates that one entity causes another entity, condition, or status to become lasting, fixed, or indefinitely maintained.
  • B. modernProofBy
    Indicates that something is established or demonstrated using a contemporary or currently accepted method of proof by a specified agent or process.
  • C. isFormalizedBy chosen
    Indicates that something is given a defined, structured, or official form through a specific method, process, or representation.
  • D. proved
    Indicates that one entity has demonstrated the truth or validity of another entity (such as a statement, theorem, or claim) through logical or evidential means.
  • E. legitimizedBy
    Indicates that something gains legal, formal, or social validity as a result of the authority, action, or endorsement of another entity.
  • F. None of above.

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_69d8dd040fb881909af2a964f65ad208 completed April 10, 2026, 11:20 a.m.
NER Named-entity recognition batch_69e5dc02597c8190b39fd2c7b7e42258 completed April 20, 2026, 7:55 a.m.
PD Predicate disambiguation batch_69e4b99633c8819097988608c278ecf8 completed April 19, 2026, 11:16 a.m.
Created at: April 10, 2026, 12:03 p.m.