Triple

T27562878
Position Surface form Disambiguated ID Type / Status
Subject Legendre’s formula for valuations of factorials E695819 entity
Predicate equivalentForm P6530 FINISHED
Object v_p(n!) = (n - s_p(n))/(p - 1), where s_p(n) is the sum of the base-p digits of n LITERAL FINISHED

Provenance (2 batches)

Stage Batch ID Job type Status
creating batch_69ef53891af88190a193c5e2a1dac9b1 elicitation completed
NER batch_69f62fbbc4408190b9afd456a429f61b ner completed
Created at: April 27, 2026, 1:40 p.m.