rule of replacement (Q7378971)

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