Triple

T5425464
Position Surface form Disambiguated ID Type / Status
Subject Sperner's lemma E121351 entity
Predicate relatedTo P37 FINISHED
Object Sperner family
A Sperner family is a collection of subsets of a finite set in which no subset is contained within another, central in extremal set theory and combinatorics.
E518470 NE FINISHED

Provenance (5 batches)

Stage Batch ID Job type Status
creating batch_69bd463b58d88190b258261573de9e91 elicitation completed
NER batch_69bd881598448190a9bb456dee36004b ner completed
NED1 batch_69bf3abfc7e88190b8f0a31b61c33973 ned_source_triple completed
NED2 batch_69bf3c0b9e5481909101eccbd55f24b2 ned_description completed
NEDg batch_69bf3b592a08819090e2873bcf4e797f nedg completed
Created at: March 20, 2026, 2:06 p.m.