Triple

T16445527
Position Surface form Disambiguated ID Type / Status
Subject Abraham Fraenkel E399413 entity
Predicate notableWork P4 FINISHED
Object Einleitung in die Mengenlehre E399415 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: Einleitung in die Mengenlehre | Statement: [Abraham Fraenkel, notableWork, Einleitung in die Mengenlehre]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07 
Target entity: Einleitung in die Mengenlehre
Context triple: [Abraham Fraenkel, notableWork, Einleitung in die Mengenlehre]
  • A. Einleitung in die Mengenlehre chosen
    Einleitung in die Mengenlehre is a foundational textbook on set theory authored by mathematician Abraham Fraenkel, which helped shape the modern axiomatic treatment of sets.
  • B. Grundzüge der Mengenlehre
    Grundzüge der Mengenlehre is a foundational early 20th-century textbook on set theory that helped formalize and shape modern axiomatic set theory and topology.
  • C. Untersuchungen über die Grundlagen der Mengenlehre
    Untersuchungen über die Grundlagen der Mengenlehre is Ernst Zermelo’s foundational work in set theory, in which he formulated and axiomatized key principles that shaped modern axiomatic set theory.
  • D. Introduction to Set Theory
    Introduction to Set Theory is a foundational mathematics textbook that presents the basic concepts, methods, and results of modern set theory for advanced undergraduates and beginning graduate students.
  • E. Introduction to Set Theory and Topology
    "Introduction to Set Theory and Topology" is a foundational mathematics textbook by Kazimierz Kuratowski that systematically develops the basic concepts of set theory and general topology.
  • 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_69d87f2c6778819080fcfae53be8f12a completed April 10, 2026, 4:40 a.m.
NER Named-entity recognition batch_69e32cdb5d908190bb6c5cb3c794cf4b completed April 18, 2026, 7:03 a.m.
NED1 Entity disambiguation (via context triple) batch_6a0045922d748190bb3200c96f244149 completed May 10, 2026, 8:45 a.m.
Created at: April 10, 2026, 5:10 a.m.