Triple
T18426505
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Robertson–Schrödinger uncertainty relation |
E450152
|
entity |
| Predicate | appliesIn |
P1129
|
FINISHED |
| Object | Hilbert space formalism |
—
|
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: Hilbert space formalism | Statement: [Robertson–Schrödinger uncertainty relation, appliesIn, Hilbert space formalism]
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Hilbert space formalism Context triple: [Robertson–Schrödinger uncertainty relation, appliesIn, Hilbert space formalism]
-
A.
Hilbert spaces
chosen
Hilbert spaces are complete inner product spaces that provide the fundamental framework for modern functional analysis and many areas of mathematical physics.
-
B.
Gelfand triples (rigged Hilbert spaces)
Gelfand triples (rigged Hilbert spaces) are a mathematical framework that extends Hilbert spaces to rigorously handle generalized eigenvectors and distributions, particularly in quantum mechanics and functional analysis.
-
C.
Mathematical Foundations of Quantum Mechanics
Mathematical Foundations of Quantum Mechanics is John von Neumann’s landmark 1932 treatise that rigorously formulates quantum theory using functional analysis and operator theory on Hilbert spaces.
-
D.
Schrödinger formulation of quantum mechanics
The Schrödinger formulation of quantum mechanics is the standard wave-mechanics approach in which the state of a quantum system evolves in time according to the Schrödinger equation acting on wavefunctions in Hilbert space.
-
E.
Gleason’s theorem
Gleason’s theorem is a foundational result in the mathematical formulation of quantum mechanics that characterizes all probability measures on the lattice of projection operators in a Hilbert space, effectively justifying the Born rule.
- 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_69d8d381d6388190a9e94e9c658174e4 |
completed | April 10, 2026, 10:40 a.m. |
| NER | Named-entity recognition | batch_69e51b13ee88819091e7e007d17dcc73 |
completed | April 19, 2026, 6:12 p.m. |
Created at: April 10, 2026, 11:24 a.m.