concernsRule
P181365
predicate
Indicates that something is related or pertains specifically to a particular rule.
All labels observed (1)
| Label | Occurrences |
|---|---|
| concernsRule canonical | 1 |
Sample triples (1)
| Subject | Object |
|---|---|
| cut-elimination theorem | cut rule ⓘ |