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.