asks whether

2 triples
GPTKB property

Random triples
Subject Object
gptkb:inverse_Galois_problem_over_the_rationals every finite group is the Galois group of some Galois extension of the rationals
gptkb:PSPACE_vs_EXPTIME PSPACE equals EXPTIME