showsSATIs
P142023
predicate
Indicates that one entity demonstrates or exhibits a level of satisfaction toward another entity or situation.
Sample triples (2)
| Subject | Object |
|---|---|
| Cook–Levin theorem | NP-hard ⓘ |
| Cook–Levin theorem | in NP ⓘ |