containsCompleteProblem

P191559 predicate

Indicates that one entity fully includes or encompasses an entire, self-contained problem associated with another entity.

Try in SPARQL

Observed surface forms (1)

Subject	Object
complexity class EXPTIME surface form: EXPTIME	certain two-player perfect-information games with polynomially bounded length ⓘ
complexity class EXPTIME surface form: EXPTIME	generalized checkers ⓘ
complexity class EXPTIME surface form: EXPTIME	generalized chess on n×n board ⓘ
complexity class EXPTIME surface form: EXPTIME	polynomial-time many-one reductions via predicate surface "hasCompleteProblemsUnder" ⓘ
complexity class EXPTIME surface form: EXPTIME	succinct circuit value problem ⓘ
complexity class EXPTIME surface form: EXPTIME	word problem for some finitely presented groups ⓘ