Triple
T3572460
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Born rule |
E75605
|
entity |
| Predicate | formalExpression |
P4940
|
FINISHED |
| Object | P(a) = ⟨ψ|Π_a|ψ⟩ where Π_a is the projector onto the eigenspace of outcome a |
—
|
LITERAL FINISHED |
Provenance (2 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69ad85d5e3008190bdfe0bacdd1f5a1b |
elicitation | completed |
| NER | batch_69adc0c447fc81909689259558187af4 |
ner | completed |
Created at: March 8, 2026, 3:21 p.m.