used to prove

URI: https://gptkb.org/prop/used_to_prove
2 triples
GPTKB property
Random triples
Subject Object
gptkb:Nondeterministic_Constraint_Logic EXPTIME-completeness
gptkb:Nondeterministic_Constraint_Logic gptkb:PSPACE-completeness