canonicalUnderCondition

P174450 predicate

Indicates that something serves as the standard or authoritative form only when a specified condition or set of conditions holds.

Try in SPARQL

Sample triples (2)

Subject	Object
OBDDs surface form: OBDD	fixed variable ordering ⓘ
OBDDs surface form: OBDD	reduction rules applied ⓘ