proof length

1 triples
GPTKB property

Random triples
Subject Object
gptkb:Classification_of_finite_simple_groups thousands of pages