rule of replacement (Q1256)
Jump to navigation
Jump to search
inference rule that may be applied to only a particular segment of an expression
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | rule of replacement |
inference rule that may be applied to only a particular segment of an expression |