Triple

T21088248
Position Surface form Disambiguated ID Type / Status
Subject Reducibility Among Combinatorial Problems E519559 entity
Predicate establishesNPCompletenessOf P142028 FINISHED
Object Traveling Salesman problem (decision version) 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: Traveling Salesman problem (decision version) | Statement: [Reducibility Among Combinatorial Problems, establishesNPCompletenessOf, Traveling Salesman problem (decision version)]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07
Target entity: Traveling Salesman problem (decision version)
Context triple: [Reducibility Among Combinatorial Problems, establishesNPCompletenessOf, Traveling Salesman problem (decision version)]
  • A. traveling salesman problem chosen
    The traveling salesman problem is a classic NP-hard optimization problem that asks for the shortest possible route visiting each city exactly once and returning to the starting point.
  • B. Minimum-Maximum tour
    The Minimum-Maximum tour was Kraftwerk’s mid-2000s concert series showcasing their pioneering electronic music with updated digital visuals and live reworkings of their classic tracks.
  • C. TSP
    TSP is a structured framework that guides software development teams in planning, tracking, and improving their work to produce high-quality software.
  • D. TSP
    TSP is the commonly used abbreviation and nickname for the Polish football club TS Podbeskidzie Bielsko-Biała.
  • E. TSP
    TSP refers to the Terrorist Surveillance Program, a controversial post-9/11 U.S. National Security Agency initiative involving warrantless electronic eavesdropping on communications suspected of links to terrorism.
  • 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_69e0b507dd9081908fb8bfcbef4c8b46 completed April 16, 2026, 10:08 a.m.
NER Named-entity recognition batch_69e7094cebe08190bb10f51a45c244ec completed April 21, 2026, 5:21 a.m.
Created at: April 16, 2026, 2:50 p.m.