Triple
T16614791
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Arithmetices principia, nova methodo exposita |
E403669
|
entity |
| Predicate | translatedTitle |
P6688
|
FINISHED |
| Object |
The principles of arithmetic, presented by a new method
"The principles of arithmetic, presented by a new method" is the English title of Gottlob Frege’s groundbreaking 1884 work that laid the foundations for modern logicism in the philosophy of mathematics.
|
E51851
|
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: The principles of arithmetic, presented by a new method | Statement: [Arithmetices principia, nova methodo exposita, translatedTitle, The principles of arithmetic, presented by a new method]
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: The principles of arithmetic, presented by a new method Context triple: [Arithmetices principia, nova methodo exposita, translatedTitle, The principles of arithmetic, presented by a new method]
-
A.
Elements of Arithmetic
Elements of Arithmetic is a foundational 19th-century mathematics textbook by Augustus De Morgan that systematically develops the principles of arithmetic and number theory.
-
B.
The Higher Arithmetic
The Higher Arithmetic is a classic introductory textbook on number theory, widely regarded for its clear exposition and influence on generations of mathematicians.
-
C.
Treatise on arithmetic problems
Treatise on arithmetic problems is a mathematical work by the Ottoman-era scholar Qadi Zada al-Rumi that systematically addresses and solves a range of arithmetic questions.
-
D.
Arithmeticæ et Geometriæ Practicæ Methodus Facilissima
Arithmeticæ et Geometriæ Practicæ Methodus Facilissima is a mathematical treatise by Adriaan Metius that presents practical methods for arithmetic and geometry, aimed at making their application easier and more accessible.
-
E.
Die Grundlagen der Arithmetik
Die Grundlagen der Arithmetik is Gottlob Frege’s seminal philosophical work that lays the logical foundations of arithmetic and advances the logicist thesis that arithmetic is reducible to pure logic.
- 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: The principles of arithmetic, presented by a new method Triple: [Arithmetices principia, nova methodo exposita, translatedTitle, The principles of arithmetic, presented by a new method]
Generated description
"The principles of arithmetic, presented by a new method" is the English title of Gottlob Frege’s groundbreaking 1884 work that laid the foundations for modern logicism in the philosophy of mathematics.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: The principles of arithmetic, presented by a new method Target entity description: "The principles of arithmetic, presented by a new method" is the English title of Gottlob Frege’s groundbreaking 1884 work that laid the foundations for modern logicism in the philosophy of mathematics.
-
A.
Elements of Arithmetic
Elements of Arithmetic is a foundational 19th-century mathematics textbook by Augustus De Morgan that systematically develops the principles of arithmetic and number theory.
-
B.
The Higher Arithmetic
The Higher Arithmetic is a classic introductory textbook on number theory, widely regarded for its clear exposition and influence on generations of mathematicians.
-
C.
Treatise on arithmetic problems
Treatise on arithmetic problems is a mathematical work by the Ottoman-era scholar Qadi Zada al-Rumi that systematically addresses and solves a range of arithmetic questions.
-
D.
Arithmeticæ et Geometriæ Practicæ Methodus Facilissima
Arithmeticæ et Geometriæ Practicæ Methodus Facilissima is a mathematical treatise by Adriaan Metius that presents practical methods for arithmetic and geometry, aimed at making their application easier and more accessible.
-
E.
Die Grundlagen der Arithmetik
chosen
Die Grundlagen der Arithmetik is Gottlob Frege’s seminal philosophical work that lays the logical foundations of arithmetic and advances the logicist thesis that arithmetic is reducible to pure logic.
- F. None of above.
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_69d883897eb481909eaaa088ba9918d9 |
completed | April 10, 2026, 4:58 a.m. |
| NER | Named-entity recognition | batch_69e3609935a88190baa56f3a42b2ecd1 |
completed | April 18, 2026, 10:44 a.m. |
| NED1 | Entity disambiguation (via context triple) | batch_6a0075aeaa9881908bdef0f9f2b52e60 |
completed | May 10, 2026, 12:10 p.m. |
| NEDg | Description generation | batch_6a007705f57881908b07a20ae8957c64 |
completed | May 10, 2026, 12:16 p.m. |
| NED2 | Entity disambiguation (via description) | batch_6a007b18f0b08190a9ddc6ad7358d6b8 |
completed | May 10, 2026, 12:33 p.m. |
Created at: April 10, 2026, 5:17 a.m.