rule of replacement (Q7378971)

From Wikidata
Jump to: navigation, search
inference rule that may be applied to only a particular segment of an expression.
    No aliases defined
[edit]
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

    [edit]
    [edit]
    [edit]
    [edit]
    [edit]
    [edit]