Triple
T20836500
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Cook–Levin theorem |
E512972
|
entity |
| Predicate | namedAfter |
P63
|
FINISHED |
| Object | Leonid Levin |
—
|
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: Leonid Levin | Statement: [Cook–Levin theorem, namedAfter, Leonid Levin]
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Leonid Levin Context triple: [Cook–Levin theorem, namedAfter, Leonid Levin]
-
A.
Leonid Levin
chosen
Leonid Levin is a Soviet-American computer scientist known as a co-founder of complexity theory and for independently formulating the P versus NP problem.
-
B.
Lev Shvarts
Lev Shvarts was a Soviet composer known for his film scores and other orchestral works during the mid-20th century.
-
C.
Lev Shlosberg
Lev Shlosberg is a Russian liberal politician, journalist, and human rights advocate known for his opposition to the Kremlin and his work within the Yabloko party.
-
D.
Lev Yudin
Lev Yudin was a Russian avant-garde artist associated with the UNOVIS group, contributing to the development and dissemination of Suprematist art in the early 20th century.
-
E.
Evgeny Lifshitz
Evgeny Lifshitz was a Soviet theoretical physicist best known for co-authoring the influential multi-volume "Course of Theoretical Physics" and for his contributions to general relativity and cosmology.
- 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_69e0b4cf62a88190bbf92351e9e57259 |
completed | April 16, 2026, 10:07 a.m. |
| NER | Named-entity recognition | batch_69e6c326daec8190bd4caa41a4b38833 |
completed | April 21, 2026, 12:21 a.m. |
Created at: April 16, 2026, 12:42 p.m.