isHarderThan

URI: https://gptkb.org/prop/isHarderThan
4 triples
GPTKB property
Random triples
Subject Object
gptkb:Quantified_SAT gptkb:SAT
gptkb:3-satisfiability 2-satisfiability
gptkb:CNF-SAT gptkb:2-SAT
gptkb:CNF-SAT gptkb:Horn-SAT