Triple
T29436135
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Riesz lemma |
E746577
|
entity |
| Predicate | usedFor |
P98
|
FINISHED |
| Object | proving that closed unit balls in infinite-dimensional normed spaces are not compact |
—
|
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.