Triple

T5790614
Position Surface form Disambiguated ID Type / Status
Subject Peano existence theorem E128381 entity
Predicate mathematicianAssociated P38644 FINISHED
Object Giuseppe Peano E87088 NE FINISHED

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: Giuseppe Peano | Statement: [Peano existence theorem, mathematicianAssociated, Giuseppe Peano]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07 
Target entity: Giuseppe Peano
Context triple: [Peano existence theorem, mathematicianAssociated, Giuseppe Peano]
  • A. Giuseppe Peano chosen
    Giuseppe Peano was an Italian mathematician and logician best known for his foundational work in mathematical logic, the formalization of arithmetic (including the Peano axioms), and contributions to the development of modern symbolic notation.
  • B. Cesare Burali-Forti
    Cesare Burali-Forti was an Italian mathematician and logician best known for formulating the Burali-Forti paradox in set theory.
  • C. Ulisse Dini
    Ulisse Dini was an Italian mathematician known for his contributions to real analysis and the theory of functions, including Dini's theorem on uniform convergence.
  • D. Julius König
    Julius König was a Hungarian mathematician known for his work in set theory, logic, and the foundations of mathematics in the late 19th and early 20th centuries.
  • E. Enrico Betti
    Enrico Betti was a 19th-century Italian mathematician best known for his foundational work in topology, particularly the introduction of Betti numbers.
  • 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: mathematicianAssociated
Context triple: [Peano existence theorem, mathematicianAssociated, Giuseppe Peano]
  • A. notableScientist
    Indicates that the subject is a scientist who is widely recognized for significant contributions or impact in their field.
  • B. historicalFigureAssociated
    Indicates that there is a notable connection or linkage between an entity and a historical figure, such as influence, collaboration, representation, or involvement in the figure’s life or legacy.
  • C. involvedScientist
    Indicates that a scientist participated in, contributed to, or was otherwise actively involved with a specified project, study, or activity.
  • D. notableTheorist
    Indicates that the subject is recognized as a significant or influential theorist in relation to the object or specified field.
  • E. hasNotableMathematician chosen
    Indicates that an entity is associated with or linked to a mathematician who is considered notable or distinguished.
  • F. None of above.

Provenance (4 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_69c00845ca68819081a2ce3ecca577f7 completed March 22, 2026, 3:18 p.m.
NER Named-entity recognition batch_69c02a5585788190821b8da40259e0e7 completed March 22, 2026, 5:43 p.m.
NED1 Entity disambiguation (via context triple) batch_69c0a178ccf481909beddf56b66a588d completed March 23, 2026, 2:12 a.m.
PD Predicate disambiguation batch_69c021d2cd608190b98a7e3aa7001d27 completed March 22, 2026, 5:07 p.m.
Created at: March 22, 2026, 3:51 p.m.