Triple
T3995507
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Giuseppe Peano |
E87088
|
entity |
| Predicate | notableWork |
P4
|
FINISHED |
| Object |
Formulario Mathematico
Formulario Mathematico is a foundational work in mathematical logic and notation by Giuseppe Peano that systematically formalizes mathematics using symbolic language.
|
E403668
|
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: Formulario Mathematico | Statement: [Giuseppe Peano, notableWork, Formulario Mathematico]
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Formulario Mathematico Context triple: [Giuseppe Peano, notableWork, Formulario Mathematico]
-
A.
Mathematike Syntaxis
Mathematike Syntaxis, better known by its later Arabic-derived title Almagest, is Ptolemy’s foundational astronomical treatise that systematically presents the geocentric model of the cosmos and dominated Western and Islamic astronomy for over a millennium.
-
B.
The Formula
The Formula is a 1980 crime thriller film starring George C. Scott and Marlon Brando that centers on a conspiracy involving a secret synthetic fuel formula.
-
C.
Mathnawi
Mathnawi is a monumental six-volume Persian Sufi poetic work by Rumi that explores mystical love, spiritual wisdom, and the path to divine union.
-
D.
Mathematical Laboratory
The Mathematical Laboratory was the original name of the University of Cambridge’s computing department, which became a pioneering center for early computer science research and development.
-
E.
OpenMath
OpenMath is a standard for representing the semantic meaning of mathematical expressions in a structured, machine-readable form to enable reliable exchange between computer programs.
- 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: Formulario Mathematico Triple: [Giuseppe Peano, notableWork, Formulario Mathematico]
Generated description
Formulario Mathematico is a foundational work in mathematical logic and notation by Giuseppe Peano that systematically formalizes mathematics using symbolic language.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: Formulario Mathematico Target entity description: Formulario Mathematico is a foundational work in mathematical logic and notation by Giuseppe Peano that systematically formalizes mathematics using symbolic language.
-
A.
Mathematike Syntaxis
Mathematike Syntaxis, better known by its later Arabic-derived title Almagest, is Ptolemy’s foundational astronomical treatise that systematically presents the geocentric model of the cosmos and dominated Western and Islamic astronomy for over a millennium.
-
B.
The Formula
The Formula is a 1980 crime thriller film starring George C. Scott and Marlon Brando that centers on a conspiracy involving a secret synthetic fuel formula.
-
C.
Mathnawi
Mathnawi is a monumental six-volume Persian Sufi poetic work by Rumi that explores mystical love, spiritual wisdom, and the path to divine union.
-
D.
Mathematical Laboratory
The Mathematical Laboratory was the original name of the University of Cambridge’s computing department, which became a pioneering center for early computer science research and development.
-
E.
OpenMath
OpenMath is a standard for representing the semantic meaning of mathematical expressions in a structured, machine-readable form to enable reliable exchange between computer programs.
- 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_69aed94118148190975e6aa4e554cde9 |
completed | March 9, 2026, 2:29 p.m. |
| NER | Named-entity recognition | batch_69aefa2159d88190a01de8b038341916 |
completed | March 9, 2026, 4:49 p.m. |
| NED1 | Entity disambiguation (via context triple) | batch_69b5403c703081908070625ebfb6fb5f |
completed | March 14, 2026, 11:02 a.m. |
| NEDg | Description generation | batch_69b540ec36a4819082a9cbefc99bd683 |
completed | March 14, 2026, 11:05 a.m. |
| NED2 | Entity disambiguation (via description) | batch_69b5416d182c81908b1ae43ed097d288 |
completed | March 14, 2026, 11:07 a.m. |
Created at: March 9, 2026, 3:34 p.m.