Triple
T16892548
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Banach–Alaoglu theorem |
E424210
|
entity |
| Predicate | relatedTo |
P37
|
FINISHED |
| Object |
Eberlein–Šmulian theorem
The Eberlein–Šmulian theorem is a fundamental result in functional analysis characterizing weak compactness in Banach spaces by showing that a subset is weakly compact if and only if it is weakly sequentially compact.
|
E1240540
|
NE FINISHED |
Provenance (5 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69d889da3e8c8190a2b118f383f0beac |
elicitation | completed |
| NER | batch_69e3bbc5a5308190937ebd05356bd91d |
ner | completed |
| NED1 | batch_6a00c7a7fd8481908ef82a13418b1c2d |
ned_source_triple | completed |
| NED2 | batch_6a00cd2bbd9881909f5e216cb6262a72 |
ned_description | completed |
| NEDg | batch_6a00c8f445248190be5f3de196e40f1f |
nedg | completed |
Created at: April 10, 2026, 5:29 a.m.