Statements (14)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:mathematical_concept
|
gptkbp:appliesTo |
prime numbers
|
gptkbp:field |
number theory
|
gptkbp:firstPublished |
1770
|
https://www.w3.org/2000/01/rdf-schema#label |
Wilson's theorem
|
gptkbp:namedAfter |
gptkb:John_Wilson
|
gptkbp:provenBy |
gptkb:Joseph-Louis_Lagrange
|
gptkbp:publishedBy |
gptkb:Edward_Waring
|
gptkbp:relatedTo |
gptkb:Fermat's_little_theorem
modular arithmetic factorial |
gptkbp:state |
A natural number n > 1 is prime if and only if (n-1)! ≡ -1 mod n
|
gptkbp:bfsParent |
gptkb:John_Wilson_(mathematician)
|
gptkbp:bfsLayer |
6
|