solvabilityCondition

URI: https://gptkb.org/prop/solvabilityCondition
2 triples
GPTKB property
Random triples
Subject Object
gptkb:8-puzzle depends on parity of inversions
gptkb:linear_Diophantine_equations gcd(a, b) divides c