Triple
T10729108
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Concept Notation |
E253025
|
entity |
| Predicate | precedes |
P97
|
FINISHED |
| Object | Peano’s logical notation |
E403669
|
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: Peano’s logical notation | Statement: [Concept Notation, precedes, Peano’s logical notation]
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Peano’s logical notation Context triple: [Concept Notation, precedes, Peano’s logical notation]
-
A.
New Foundations for Mathematical Logic
New Foundations for Mathematical Logic is W.V.O. Quine’s influential essay proposing an alternative set theory, known as "New Foundations," aimed at resolving paradoxes while preserving a broad, intuitive universe of sets.
-
B.
Lectures on the Logic of Arithmetic
Lectures on the Logic of Arithmetic is an educational work by Mary Everest Boole that explores the foundations and teaching of arithmetic through logical and psychological principles.
-
C.
On a Problem of Formal Logic
"On a Problem of Formal Logic" is a seminal philosophical and mathematical paper by F. P. Ramsey that contributed to the foundations of logic and helped inspire what is now known as Ramsey theory.
-
D.
Frege’s system in "Grundgesetze der Arithmetik"
Frege’s system in "Grundgesetze der Arithmetik" is a foundational logical framework for arithmetic based on second-order logic and Basic Law V, whose inconsistency—revealed by Russell’s paradox—marked a turning point in the development of modern logic and set theory.
-
E.
Arithmetices principia, nova methodo exposita
chosen
Arithmetices principia, nova methodo exposita is Giuseppe Peano’s foundational work in mathematical logic that presents an axiomatization of arithmetic using symbolic notation.
- 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_69d6aa5d8be481909a43218b2bfdbe95 |
completed | April 8, 2026, 7:19 p.m. |
| NER | Named-entity recognition | batch_69d70fc92a18819089cc67afee1c9b96 |
completed | April 9, 2026, 2:32 a.m. |
| NED1 | Entity disambiguation (via context triple) | batch_69de22a97fec8190bb97f68353c2144e |
completed | April 14, 2026, 11:19 a.m. |
Created at: April 8, 2026, 9:14 p.m.