Triple

T18956240
Position Surface form Disambiguated ID Type / Status
Subject Kummer congruences E463786 entity
Predicate appearsIn P795 FINISHED
Object proofs of properties of Bernoulli numbers modulo primes LITERAL FINISHED

Provenance (2 batches)

Stage Batch ID Job type Status
creating batch_69d8dcffc278819086792a4ebfddfafa elicitation completed
NER batch_69e5d5cdf2d08190a0aecd3fa5335a75 ner completed
Created at: April 10, 2026, noon