can be stated as

URI: https://gptkb.org/prop/can_be_stated_as
1 triples
GPTKB property
Random triples
Subject Object
gptkb:P_=_NP_problem whether every problem whose solution can be verified quickly can also be solved quickly