Q7378971

From Wikidata
Jump to: navigation, search

rule of replacement(Q7378971)

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]