Triple

T25319652
Position Surface form Disambiguated ID Type / Status
Subject Dedekind number E634841 entity
Predicate equivalentDescription P74595 FINISHED
Object number of antichains in the power set of an n-element set ordered by inclusion LITERAL FINISHED

Provenance (3 batches)

Stage Batch ID Job type Status
creating batch_69e75a9847c08190bb02990d06d5ffb7 elicitation completed
NER batch_69f4968d6e848190bcb8668b6dc3f183 ner completed
PD batch_69f45d06d0388190b36ecde92013624a pd completed
Created at: April 21, 2026, 1:28 p.m.