Triple

T20690634
Position Surface form Disambiguated ID Type / Status
Subject Donaldson–Witten theory E508540 entity
Predicate instanceOf P0 FINISHED
Object cohomological field theory C27620 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: cohomological field theory
Context triple: [Donaldson–Witten theory, instanceOf, cohomological field theory]
  • A. cohomology theory
    A cohomology theory is a functorial assignment of graded algebraic invariants to topological spaces (or other mathematical objects) that encodes global structural and obstruction information via axioms such as exactness and homotopy invariance.
  • B. topological quantum field theory chosen
    A topological quantum field theory is a quantum field theory whose observables and correlation functions depend only on the topology of the underlying spacetime manifold, not on its geometric details such as distances or angles.
  • C. result in equivariant cohomology
    A result in equivariant cohomology is a theorem or statement describing how cohomological invariants behave under a group action, typically relating equivariant cohomology groups to ordinary cohomology or geometric data of the action.
  • D. topological field
    A topological field is a field equipped with a topology such that both the field operations (addition, multiplication) and taking inverses (on nonzero elements) are continuous with respect to that topology.
  • E. theory in differential topology
    A theory in differential topology is a coherent framework of concepts, theorems, and techniques that studies the properties of smooth manifolds and smooth maps between them that are invariant under smooth deformations.
  • 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_69e0b4c1ed408190b72dd26b1e33f8a1 completed April 16, 2026, 10:06 a.m.
Created at: April 16, 2026, 12:08 p.m.