rule of replacement (Q1361787)
inference rule that may be applied to only a particular segment of an expression
Language:
other details
description inference rule that may be applied to only a particular segment of an expression

External Links