Triple

T22423466
Position Surface form Disambiguated ID Type / Status
Subject Erdős–Moser equation E554305 entity
Predicate proposedBy P32 FINISHED
Object Leo Moser 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: Leo Moser | Statement: [Erdős–Moser equation, proposedBy, Leo Moser]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07
Target entity: Leo Moser
Context triple: [Erdős–Moser equation, proposedBy, Leo Moser]
  • A. Leo Moser chosen
    Leo Moser was a 20th-century Austrian-Canadian mathematician known for his work in number theory and combinatorics, including the study of the Erdős–Moser equation.
  • B. Kurt Mislow
    Kurt Mislow was a prominent theoretical and stereochemist known for his influential work on molecular chirality and the foundations of stereochemistry.
  • C. Leo J. Frachtenberg
    Leo J. Frachtenberg was an early 20th-century American anthropologist and linguist known for his documentation and analysis of Native American languages of the Pacific Northwest, including Siuslaw.
  • D. Mal Beineke
    Mal Beineke is a conservative, uptight father character in the Broadway musical "The Addams Family," whose visit to the Addams household sparks comedic culture clashes and personal transformation.
  • E. Hans Lewy
    Hans Lewy was a German-American mathematician known for his influential work in partial differential equations and numerical analysis, including co-formulating the Courant–Friedrichs–Lewy (CFL) condition.
  • 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.