usedToShow

URI: https://gptkb.org/prop/usedToShow
3 triples
GPTKB property
Random triples
Subject Object
gptkb:many-one_reduction gptkb:NP-completeness
gptkb:many-one_reduction problem hardness
gptkb:many-one_reduction undecidability