Triple
T12207025
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Logical Methods in Computer Science |
E290860
|
entity |
| Predicate | isRelatedTo |
P37
|
FINISHED |
| Object | mathematics of computation |
E87769
|
NE FINISHED |
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: [Logical Methods in Computer Science, isRelatedTo, mathematics of computation]
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: mathematics of computation Context triple: [Logical Methods in Computer Science, isRelatedTo, 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.
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.
-
E.
ACM SIGSAM
ACM SIGSAM is the Association for Computing Machinery’s Special Interest Group on Symbolic and Algebraic Manipulation, focusing on research and development in computer algebra and symbolic computation.
- F. None of above.
- G. Unsure - the case is ambiguous/there is not enough information to decide.
Provenance (3 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_69d6ab65923081909acfc61b7a612233 |
completed | April 8, 2026, 7:24 p.m. |
| NER | Named-entity recognition | batch_69d91c7d8f5c8190a46e9caa2a920fa9 |
completed | April 10, 2026, 3:51 p.m. |
| NED1 | Entity disambiguation (via context triple) | batch_69f60a9ae3d48190a220ccd37ce8d3e7 |
completed | May 2, 2026, 2:30 p.m. |
Created at: April 8, 2026, 9:51 p.m.