rule of replacement (Q1256): Difference between revisions
Jump to navigation
Jump to search
Created a new Item: rule of replacement, inference rule that may be applied to only a particular segment of an expression |
(No difference)
|
Revision as of 17:16, 29 January 2023
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 |