isSolutionTo

4 triples
GPTKB property

Random triples
Subject Object
gptkb:Graham's_number upper bound in Ramsey theory problem
gptkb:Gerver's_sofa moving sofa problem (best known)
gptkb:Σ(2,3,5)_(Poincaré_sphere) Poincaré conjecture (as a counterexample to naive formulation)
gptkb:Schwarzschild_spacetime gptkb:Einstein_field_equations