symbolicDefinition
P144605
predicate
Indicates that one entity serves as a formal symbolic representation or definition of another entity within a given system or context.
Sample triples (1)
| Subject | Object |
|---|---|
| Carmichael number | n is Carmichael iff n is composite and a^(n−1) ≡ 1 (mod n) for all a with gcd(a,n)=1 ⓘ |