Triple
T29436125
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Riesz lemma |
E746577
|
entity |
| Predicate | statement |
P4223
|
FINISHED |
| Object | If X is a normed space, Y is a proper closed subspace of X, and 0 < α < 1, then there exists x in X with ∥x∥ = 1 such that the distance from x to Y is at least α. |
—
|
LITERAL FINISHED |
Provenance (2 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69f0a7a180e48190ae775e40047dbcb5 |
elicitation | completed |
| NER | batch_69f66accf77c81908f0f4c1a67e05e47 |
ner | completed |
Created at: April 28, 2026, 3:16 p.m.