hasPolynomialTimeAlgorithm

5 triples
GPTKB property

Random triples
Subject Object
gptkb:MAX-CUT_problem no (unless P=NP)
gptkb:X3C unknown (believed not to exist)
gptkb:3-satisfiability no (unless P=NP)
gptkb:Boolean_satisfiability_problem_(SAT) false
gptkb:2SAT true