isCompleteFor
P70243
predicate
Indicates that one entity fully satisfies or finishes the requirements, scope, or intended purpose of another entity.
Sample triples (2)
| Subject | Object |
|---|---|
| Halting problem | recursively enumerable sets under many-one reduction ⓘ |
| SAT problem | class NP under polynomial-time many-one reductions ⓘ |