Triple

T29076367
Position Surface form Disambiguated ID Type / Status
Subject Miller primality test E735950 entity
Predicate compositenessWitnessCondition P179926 FINISHED
Object x ≠ 1 and x ≠ n−1 and no square equals n−1 modulo n LITERAL FINISHED

Provenance (4 batches)

Stage Batch ID Job type Status
creating batch_69f077e9b0a48190bb79548279cb7f64 elicitation completed
NER batch_69f72921cf2c8190909bb53f78bcc890 ner completed
PD batch_69f7283d8cec8190b524c144948bc4ec pd completed
PDg batch_69f72920c6208190aa4aba6cb6193109 pdg completed
Created at: April 28, 2026, 10:23 a.m.