Triple
T16892542
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Banach–Alaoglu theorem |
E424210
|
entity |
| Predicate | uses |
P98
|
FINISHED |
| Object |
Alaoglu’s lemma
Alaoglu’s lemma is a foundational result in functional analysis that establishes the weak-* compactness of the closed unit ball in the dual of a normed space.
|
E424210
|
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.