solvabilityCondition

2 triples
GPTKB property

Random triples
Subject Object
gptkb:linear_Diophantine_equations gcd(a, b) divides c
gptkb:8-puzzle depends on parity of inversions