rule of replacement (Q1361787)
(Redirected from Q7378971)
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 |
Statements
Identifiers
1 reference
Sitelinks
Wikipedia(5 entries)
- dewiki Ersetzungsregel
- enwiki Rule of replacement
- eswiki Reglas de reemplazo
- frwiki Règle de remplacement
- ukwiki Правило підстановки