Triple
T20836528
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Cook–Levin theorem |
E512972
|
entity |
| Predicate | language |
P15
|
FINISHED |
| Object | mathematics of computation |
—
|
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: mathematics of computation | Statement: [Cook–Levin theorem, language, mathematics of computation]
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: mathematics of computation Context triple: [Cook–Levin theorem, language, mathematics of computation]
-
A.
Mathematics of Computation
chosen
Mathematics of Computation is a peer-reviewed mathematics journal focusing on numerical analysis, computational number theory, and related areas of computational mathematics.
-
B.
LMS Journal of Computation and Mathematics
The LMS Journal of Computation and Mathematics is a peer-reviewed mathematical journal focusing on research at the interface of computational methods and pure and applied mathematics.
-
C.
Mathematics and Computation
"Mathematics and Computation" is a book by Avi Wigderson that explores the deep connections between theoretical computer science and mathematics, emphasizing how computational complexity shapes modern mathematical thought.
-
D.
ACM Transactions on Mathematical Software
ACM Transactions on Mathematical Software is a peer-reviewed scholarly journal focusing on research and development in mathematical software, algorithms, and computational methods.
-
E.
Mathematics
"Mathematics" is a politically charged hip-hop track by Mos Def that critiques social injustice, systemic inequality, and the statistical realities of urban life.
- 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.