formalCondition
P165064
predicate
Indicates that a relationship or action occurs under an explicitly defined, official, or legally recognized condition or set of conditions.
Sample triples (1)
| Subject | Object |
|---|---|
| Turing reducibility | A ≤_T B iff there exists an oracle Turing machine M^B that decides membership in A ⓘ |