proof method

URI: https://gptkb.org/prop/proof_method
2 triples
GPTKB property
Random triples
Subject Object
gptkb:Four_Color_Theorem computer-assisted proof
gptkb:The_Four_Colour_Theorem computer-assisted proof