hasResourceBound

2 triples
GPTKB property

Random triples
Subject Object
gptkb:L_(complexity_class) logarithmic space
gptkb:coNEXP/poly non-deterministic exponential time with polynomial advice