Triple

T22423442
Position Surface form Disambiguated ID Type / Status
Subject Erdős–Straus conjecture E554304 entity
Predicate namedBy P63 FINISHED
Object Paul Erdős and Ernst G. Straus NE NERFINISHED

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: Paul Erdős and Ernst G. Straus | Statement: [Erdős–Straus conjecture, namedBy, Paul Erdős and Ernst G. Straus]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07
Target entity: Paul Erdős and Ernst G. Straus
Context triple: [Erdős–Straus conjecture, namedBy, Paul Erdős and Ernst G. Straus]
  • A. Pál Erdős chosen
    Pál Erdős was a highly prolific 20th-century Hungarian mathematician renowned for his extensive contributions to number theory, combinatorics, and discrete mathematics, as well as his famously collaborative working style.
  • B. Murray Klamkin
    Murray Klamkin was a prominent American mathematician and problem solver known for his influential work in mathematical problem posing, editing, and education.
  • C. Hans Heilbronn
    Hans Heilbronn was a 20th-century German-British mathematician known for his influential work in number theory and contributions to the study of L-functions and related phenomena.
  • D. Reuben Hersh
    Reuben Hersh was an American mathematician and philosopher of mathematics known for his humanistic and sociocultural views on the nature of mathematical practice.
  • E. Pál Turán
    Pál Turán was a Hungarian mathematician renowned for his influential work in number theory and combinatorics, including the development of Turán's theorem in extremal graph theory.
  • F. None of above.
  • G. Unsure - the case is ambiguous/there is not enough information to decide.

Provenance (2 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_69e11e4f2d0c819091aa3558ea2ee630 completed April 16, 2026, 5:37 p.m.
NER Named-entity recognition batch_69f15a2af620819083338127e78137dc completed April 29, 2026, 1:08 a.m.
Created at: April 16, 2026, 8:47 p.m.