Triple
T692606
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | On Computable Numbers, with an Application to the Entscheidungsproblem |
E13826
|
entity |
| Predicate | publishedIn |
P309
|
FINISHED |
| Object |
Proceedings of the London Mathematical Society
Proceedings of the London Mathematical Society is a leading peer-reviewed mathematical journal, established in the 19th century, that publishes significant research across a wide range of mathematical disciplines.
|
E84396
|
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: Proceedings of the London Mathematical Society | Statement: [On Computable Numbers, with an Application to the Entscheidungsproblem, publishedIn, Proceedings of the London Mathematical Society]
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Proceedings of the London Mathematical Society Context triple: [On Computable Numbers, with an Application to the Entscheidungsproblem, publishedIn, Proceedings of the London Mathematical Society]
-
A.
Annals of Mathematics
Annals of Mathematics is a leading peer-reviewed mathematics journal renowned for publishing foundational and influential research across all areas of pure mathematics.
-
B.
Proceedings of the Royal Society
Proceedings of the Royal Society is a long-running, peer-reviewed scientific journal series publishing original research across the biological and physical sciences under the auspices of the Royal Society.
-
C.
Philosophical Transactions of the Royal Society
Philosophical Transactions of the Royal Society is a pioneering scientific journal, first published in 1665, that is widely regarded as the world’s oldest continuously published journal devoted to science.
-
D.
Annals of Mathematics Studies
Annals of Mathematics Studies is a renowned monograph series in advanced mathematics published by Princeton University Press, featuring influential works across a wide range of mathematical fields.
-
E.
Transactions of the American Philosophical Society
Transactions of the American Philosophical Society is a long-running scholarly journal that publishes monographic studies and research across a wide range of academic disciplines.
- 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: Proceedings of the London Mathematical Society Triple: [On Computable Numbers, with an Application to the Entscheidungsproblem, publishedIn, Proceedings of the London Mathematical Society]
Generated description
Proceedings of the London Mathematical Society is a leading peer-reviewed mathematical journal, established in the 19th century, that publishes significant research across a wide range of mathematical disciplines.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: Proceedings of the London Mathematical Society Target entity description: Proceedings of the London Mathematical Society is a leading peer-reviewed mathematical journal, established in the 19th century, that publishes significant research across a wide range of mathematical disciplines.
-
A.
Annals of Mathematics
Annals of Mathematics is a leading peer-reviewed mathematics journal renowned for publishing foundational and influential research across all areas of pure mathematics.
-
B.
Proceedings of the Royal Society
Proceedings of the Royal Society is a long-running, peer-reviewed scientific journal series publishing original research across the biological and physical sciences under the auspices of the Royal Society.
-
C.
Philosophical Transactions of the Royal Society
Philosophical Transactions of the Royal Society is a pioneering scientific journal, first published in 1665, that is widely regarded as the world’s oldest continuously published journal devoted to science.
-
D.
Annals of Mathematics Studies
Annals of Mathematics Studies is a renowned monograph series in advanced mathematics published by Princeton University Press, featuring influential works across a wide range of mathematical fields.
-
E.
Transactions of the American Philosophical Society
Transactions of the American Philosophical Society is a long-running scholarly journal that publishes monographic studies and research across a wide range of academic disciplines.
- 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_69a493406c408190957eeec9048a8fb6 |
completed | March 1, 2026, 7:28 p.m. |
| NER | Named-entity recognition | batch_69a4a0b05f2c8190876c73db15b489a2 |
completed | March 1, 2026, 8:25 p.m. |
| NED1 | Entity disambiguation (via context triple) | batch_69a5dca7871c81909ea5a4ccb5dcd47d |
completed | March 2, 2026, 6:53 p.m. |
| NEDg | Description generation | batch_69a5e3cbf4208190a541f64e44ea5317 |
completed | March 2, 2026, 7:23 p.m. |
| NED2 | Entity disambiguation (via description) | batch_69a6093e95a88190bfba326310e8006f |
completed | March 2, 2026, 10:03 p.m. |
Created at: March 1, 2026, 7:36 p.m.