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.