Triple

T11215131
Position Surface form Disambiguated ID Type / Status
Subject Dehn algorithm E265416 entity
Predicate instanceOf P0 FINISHED
Object word problem algorithm C6819 CONCEPT FINISHED

How this triple was built (1 step)

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.

CD Concept disambiguation gpt-5-mini-2025-08-07
Target class: word problem algorithm
Context triple: [Dehn algorithm, instanceOf, word problem algorithm]
  • A. mathematical problem
    A mathematical problem is a question or task that requires the application of mathematical concepts, methods, or reasoning to find a solution or demonstrate a result.
  • B. algorithm chosen
    An algorithm is a finite, well-defined sequence of computational steps or rules designed to solve a specific problem or perform a particular task.
  • C. computer science problem
    A computer science problem is a well-defined computational task or question that requires designing algorithms, data structures, or formal methods to determine a solution or prove properties about its solvability or complexity.
  • D. mathematical program
    A mathematical program is an optimization model that seeks to minimize or maximize an objective function subject to a set of mathematical constraints.
  • E. problem in invariant theory
    A problem in invariant theory concerns determining and characterizing the algebraic functions (invariants) that remain unchanged under the action of a given group on a vector space or algebraic variety.
  • F. None of above.

Provenance (1 batch)

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_69d6aac59460819089b9848b27f57848 completed April 8, 2026, 7:21 p.m.
Created at: April 8, 2026, 9:30 p.m.