Triple

T1413486
Position Surface form Disambiguated ID Type / Status
Subject Ueli Maurer E31855 entity
Predicate hasAcademicAdvisor P167 FINISHED
Object Ernst Specker
Ernst Specker was a Swiss mathematician best known for his foundational work in logic and the co-discovery of the Kochen–Specker theorem in quantum mechanics.
 E167043 NE FINISHED

How this triple was built (4 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 Specker | Statement: [Ueli Maurer, hasAcademicAdvisor, Ernst Specker]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07 
Target entity: Ernst Specker
Context triple: [Ueli Maurer, hasAcademicAdvisor, Ernst Specker]
  • A. Andreas Speiser
    Andreas Speiser was a Swiss mathematician known for his work in group theory, algebra, and the history and philosophy of mathematics.
  • B. Paul Bernays
    Paul Bernays was a Swiss mathematician and logician known for his foundational work in axiomatic set theory and his collaboration with David Hilbert on the foundations of mathematics.
  • C. Kurt Symanzik
    Kurt Symanzik was a German theoretical physicist renowned for his foundational contributions to quantum field theory and renormalization.
  • D. Wilhelm Wirtinger
    Wilhelm Wirtinger was an Austrian mathematician known for his contributions to complex analysis, algebraic geometry, and knot theory.
  • E. Friedrich Waismann
    Friedrich Waismann was an Austrian mathematician, philosopher, and close collaborator of Ludwig Wittgenstein, known for his contributions to logical positivism and the philosophy of language.
  • F. None of above. chosen
  • G. Unsure - the case is ambiguous/there is not enough information to decide.
NEDg Description generation gpt-5.1
Instruction
Generate a one-sentence description of the target entity. 
You are given a context triple in the form (subject, predicate, object), where the object is the target entity. 
# Instructions
Use the triple to infer relevant information about the entity. Describe the entity based on what is most defining, well-known. 
Avoid repeating the information from the triple, unless really essential.
# Response Format
Return only the sentence: "Description: [one-sentence description of the target entity]"
Input
Entity: Ernst Specker
Triple: [Ueli Maurer, hasAcademicAdvisor, Ernst Specker]
Generated description
Ernst Specker was a Swiss mathematician best known for his foundational work in logic and the co-discovery of the Kochen–Specker theorem in quantum mechanics.
NED2 Entity disambiguation (via description) gpt-5-mini-2025-08-07 
Target entity: Ernst Specker
Target entity description: Ernst Specker was a Swiss mathematician best known for his foundational work in logic and the co-discovery of the Kochen–Specker theorem in quantum mechanics.
  • A. Andreas Speiser
    Andreas Speiser was a Swiss mathematician known for his work in group theory, algebra, and the history and philosophy of mathematics.
  • B. Paul Bernays
    Paul Bernays was a Swiss mathematician and logician known for his foundational work in axiomatic set theory and his collaboration with David Hilbert on the foundations of mathematics.
  • C. Kurt Symanzik
    Kurt Symanzik was a German theoretical physicist renowned for his foundational contributions to quantum field theory and renormalization.
  • D. Wilhelm Wirtinger
    Wilhelm Wirtinger was an Austrian mathematician known for his contributions to complex analysis, algebraic geometry, and knot theory.
  • E. Friedrich Waismann
    Friedrich Waismann was an Austrian mathematician, philosopher, and close collaborator of Ludwig Wittgenstein, known for his contributions to logical positivism and the philosophy of language.
  • F. None of above. chosen

Provenance (5 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_69a49919a994819086528951bc224775 completed March 1, 2026, 7:52 p.m.
NER Named-entity recognition batch_69a4c3e476f08190aed1576805c62462 completed March 1, 2026, 10:55 p.m.
NED1 Entity disambiguation (via context triple) batch_69ad0e67dbf88190a2a15baca5b9e79d completed March 8, 2026, 5:51 a.m.
NEDg Description generation batch_69ad0edd84e4819081a23828e69cd9a1 completed March 8, 2026, 5:53 a.m.
NED2 Entity disambiguation (via description) batch_69ad0f90cdec81908a981e12184cdd75 completed March 8, 2026, 5:56 a.m.
Created at: March 1, 2026, 7:59 p.m.