has been proven to be

URI: https://gptkb.org/prop/has_been_proven_to_be
1 triples
GPTKB property
Random triples
Subject Object
gptkb:P_vs_NP_problem NP-complete under certain conditions