Triple

T694029
Position Surface form Disambiguated ID Type / Status
Subject Zermelo–Fraenkel set theory E13857 entity
Predicate namedAfter P63 FINISHED
Object Ernst Zermelo E51722 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: Ernst Zermelo | Statement: [Zermelo–Fraenkel set theory, namedAfter, Ernst Zermelo]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07 
Target entity: Ernst Zermelo
Context triple: [Zermelo–Fraenkel set theory, namedAfter, Ernst Zermelo]
  • A. Ernst Zermelo chosen
    Ernst Zermelo was a German mathematician best known for formulating Zermelo set theory and proving the well-ordering theorem, foundational results in modern set theory and mathematical logic.
  • B. David Hilbert
    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.
  • C. Franz Hilbert
    Franz Hilbert was the son of the influential German mathematician David Hilbert.
  • D. Paul Gordan
    Paul Gordan was a 19th-century German mathematician known as the "king of invariant theory" for his foundational work in algebraic invariants.
  • E. Max Dehn
    Max Dehn was a German mathematician known for his foundational work in topology and group theory, including the introduction of Dehn surgery and the study of decision problems in group theory.
  • 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_69a493406c408190957eeec9048a8fb6 completed March 1, 2026, 7:28 p.m.
NER Named-entity recognition batch_69a4a0b1e1d08190bdd42f57be5c2a6b completed March 1, 2026, 8:25 p.m.
NED1 Entity disambiguation (via context triple) batch_69a65e376f748190af7088c53605c0cb completed March 3, 2026, 4:06 a.m.
Created at: March 1, 2026, 7:36 p.m.