Triple

T16892544
Position Surface form Disambiguated ID Type / Status
Subject Banach–Alaoglu theorem E424210 entity
Predicate isSpecialCaseOf P2372 FINISHED
Object compactness of polars in the weak-* topology LITERAL FINISHED

Provenance (2 batches)

Stage Batch ID Job type Status
creating batch_69d889da3e8c8190a2b118f383f0beac elicitation completed
NER batch_69e3bbc5a5308190937ebd05356bd91d ner completed
Created at: April 10, 2026, 5:29 a.m.