error probability

2 triples
GPTKB property

Random triples
Subject Object
gptkb:Miller–Rabin_primality_test decreases exponentially with number of rounds
gptkb:Freivalds'_algorithm at most 1/2 per run