Triple

T17752564
Position Surface form Disambiguated ID Type / Status
Subject Gleason’s theorem E443148 entity
Predicate instanceOf P0 FINISHED
Object theorem in quantum foundations C39115 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: theorem in quantum foundations
Context triple: [Gleason’s theorem, instanceOf, theorem in quantum foundations]
  • A. quantum theory formalism
    A quantum theory formalism is a mathematical framework that specifies the states, observables, and dynamical laws governing quantum systems, enabling the prediction of measurement outcomes and their probabilities.
  • B. problem in quantum information theory
    A problem in quantum information theory is a conceptual or mathematical question concerning how information is represented, processed, transmitted, or measured using quantum mechanical systems and principles.
  • C. realist interpretation of quantum mechanics
    A realist interpretation of quantum mechanics is a view that the mathematical formalism of quantum theory describes an objective, observer-independent physical reality, in which quantum states or underlying variables correspond to real properties of systems rather than merely encoding information or measurement outcomes.
  • D. formulation of quantum mechanics
    The formulation of quantum mechanics is the conceptual and mathematical framework that describes physical systems in terms of wavefunctions or state vectors, operators, and probabilistic measurement outcomes, replacing classical deterministic trajectories.
  • E. theory in theoretical physics
    A theory in theoretical physics is a mathematically formulated, logically consistent framework that explains and predicts physical phenomena by modeling fundamental entities and their interactions.
  • F. None of above. chosen

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_69d8b9edf16c8190a59ebd245d378f4f completed April 10, 2026, 8:50 a.m.
Created at: April 10, 2026, 10:10 a.m.