Triple

T21061780
Position Surface form Disambiguated ID Type / Status
Subject Furst–Saxe–Sipser lower bounds E518865 entity
Predicate publishedIn P309 FINISHED
Object Journal of Computer and System Sciences — NE NERFINISHED

How this triple was built (3 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: Journal of Computer and System Sciences | Statement: [Furst–Saxe–Sipser lower bounds, publishedIn, Journal of Computer and System Sciences]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07 
Target entity: Journal of Computer and System Sciences
Context triple: [Furst–Saxe–Sipser lower bounds, publishedIn, Journal of Computer and System Sciences]
  • A. SIAM Journal on Computing
    SIAM Journal on Computing is a leading peer-reviewed scientific journal that publishes research in theoretical computer science, including algorithms, complexity theory, and related areas of computation.
  • B. Journal of the ACM
    Journal of the ACM is a leading peer-reviewed scientific journal in computer science that publishes foundational research across the breadth of computing theory and practice.
  • C. Information and Computation
    Information and Computation is a peer-reviewed scientific journal focusing on theoretical computer science, including areas such as algorithms, computational complexity, and formal methods.
  • D. ACM Transactions on Computer Systems
    ACM Transactions on Computer Systems is a peer-reviewed scholarly journal published by the Association for Computing Machinery that focuses on research in the design, implementation, and evaluation of computer systems.
  • E. IEEE Transactions on Computers
    IEEE Transactions on Computers is a leading peer-reviewed journal that publishes advanced research on computer architecture, hardware, and systems within the field of computer science and engineering.
  • F. None of above. chosen
  • G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2 Entity disambiguation (via description) gpt-5-mini-2025-08-07 
Target entity: Journal of Computer and System Sciences
Target entity description: The Journal of Computer and System Sciences is a leading peer-reviewed academic journal that publishes foundational research in theoretical computer science and related areas of computing.
  • A. SIAM Journal on Computing
    SIAM Journal on Computing is a leading peer-reviewed scientific journal that publishes research in theoretical computer science, including algorithms, complexity theory, and related areas of computation.
  • B. Journal of the ACM
    Journal of the ACM is a leading peer-reviewed scientific journal in computer science that publishes foundational research across the breadth of computing theory and practice.
  • C. Information and Computation
    Information and Computation is a peer-reviewed scientific journal focusing on theoretical computer science, including areas such as algorithms, computational complexity, and formal methods.
  • D. ACM Transactions on Computer Systems
    ACM Transactions on Computer Systems is a peer-reviewed scholarly journal published by the Association for Computing Machinery that focuses on research in the design, implementation, and evaluation of computer systems.
  • E. IEEE Transactions on Computers
    IEEE Transactions on Computers is a leading peer-reviewed journal that publishes advanced research on computer architecture, hardware, and systems within the field of computer science and engineering.
  • F. None of above. chosen

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_69e0b505ef108190b25dd4033e2ff7eb completed April 16, 2026, 10:08 a.m.
NER Named-entity recognition batch_69e6feb064a48190b892b78e27e8d0fa completed April 21, 2026, 4:36 a.m.
Created at: April 16, 2026, 2:38 p.m.