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 |
Created claim: subclass of (P1): rule of inference (Q1257) |
||
| Property / subclass of | |||
| Property / subclass of: rule of inference / rank | |||
Normal rank | |||
Latest revision as of 17:18, 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 |