Triple

T9297031
Position Surface form Disambiguated ID Type / Status
Subject Chebotarev density theorem E223663 entity
Predicate namedAfter P63 FINISHED
Object Nikolai Chebotaryov
Nikolai Chebotaryov was a Russian mathematician best known for his foundational contributions to algebraic number theory, particularly in Galois theory and the distribution of prime ideals.
E790760 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: Nikolai Chebotaryov | Statement: [Chebotarev density theorem, namedAfter, Nikolai Chebotaryov]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07
Target entity: Nikolai Chebotaryov
Context triple: [Chebotarev density theorem, namedAfter, Nikolai Chebotaryov]
  • A. Aleksandr Khinchin
    Aleksandr Khinchin was a prominent Russian mathematician known for his foundational contributions to probability theory, number theory, and information theory.
  • B. Vasily Nikolaevich Yushkevich
    Vasily Nikolaevich Yushkevich was a Soviet military commander and general who played a significant leadership role in the Red Army during World War II.
  • C. Mikhail Diterikhs
    Mikhail Diterikhs was a Russian Imperial and later White movement general who played a leading role in anti-Bolshevik military operations in Siberia during the Russian Civil War.
  • D. Nikolai Strakhov
    Nikolai Strakhov was a 19th-century Russian philosopher, literary critic, and publicist known for his conservative views and close association with figures like Leo Tolstoy and Fyodor Dostoevsky.
  • E. Nikolai Luzin
    Nikolai Luzin was a prominent Russian mathematician and founder of the Moscow school of descriptive set theory, known for his influential work in real analysis and the theory of functions.
  • 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: Nikolai Chebotaryov
Triple: [Chebotarev density theorem, namedAfter, Nikolai Chebotaryov]
Generated description
Nikolai Chebotaryov was a Russian mathematician best known for his foundational contributions to algebraic number theory, particularly in Galois theory and the distribution of prime ideals.
NED2 Entity disambiguation (via description) gpt-5-mini-2025-08-07
Target entity: Nikolai Chebotaryov
Target entity description: Nikolai Chebotaryov was a Russian mathematician best known for his foundational contributions to algebraic number theory, particularly in Galois theory and the distribution of prime ideals.
  • A. Aleksandr Khinchin
    Aleksandr Khinchin was a prominent Russian mathematician known for his foundational contributions to probability theory, number theory, and information theory.
  • B. Vasily Nikolaevich Yushkevich
    Vasily Nikolaevich Yushkevich was a Soviet military commander and general who played a significant leadership role in the Red Army during World War II.
  • C. Mikhail Diterikhs
    Mikhail Diterikhs was a Russian Imperial and later White movement general who played a leading role in anti-Bolshevik military operations in Siberia during the Russian Civil War.
  • D. Nikolai Strakhov
    Nikolai Strakhov was a 19th-century Russian philosopher, literary critic, and publicist known for his conservative views and close association with figures like Leo Tolstoy and Fyodor Dostoevsky.
  • E. Nikolai Luzin
    Nikolai Luzin was a prominent Russian mathematician and founder of the Moscow school of descriptive set theory, known for his influential work in real analysis and the theory of functions.
  • F. None of above. chosen

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_69ca8423edb08190bc0c91287a484768 completed March 30, 2026, 2:09 p.m.
NER Named-entity recognition batch_69cd089c9c588190967404c9eb938dfb completed April 1, 2026, 11:59 a.m.
NED1 Entity disambiguation (via context triple) batch_69d0c7717f30819095fc3e6e4f765790 completed April 4, 2026, 8:10 a.m.
NEDg Description generation batch_69d0c8f9a7648190943454a912c9da83 completed April 4, 2026, 8:16 a.m.
NED2 Entity disambiguation (via description) batch_69d0c978ed448190ad2e5aacdcb91855 completed April 4, 2026, 8:19 a.m.
Created at: March 30, 2026, 7:36 p.m.