bn:02832244n
Noun Concept
JA
置換規則
EN
In logic, a rule of replacement is a transformation rule that may be applied to only a particular segment of an expression. Wikipedia
Relations
Sources