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