has been verified by

URI: https://gptkb.org/prop/has_been_verified_by
2 triples
GPTKB property
Random triples
Subject Object
gptkb:Perelman’s_proof_of_the_Poincaré_conjecture gptkb:Mathematician
gptkb:The_Four_Color_Theorem computer-assisted proof