rewriting (Q1668499)

From Wikidata
Jump to: navigation, search
replacing subterm in a formula with another term
  • rewrite systems
  • rewriting systems
  • reduction systems
  • rewrite rule
edit
Language Label Description Also known as
English
rewriting
replacing subterm in a formula with another term
  • rewrite systems
  • rewriting systems
  • reduction systems
  • rewrite rule

Statements

Identifiers

 
edit
    edit
      edit
        edit
          edit
            edit
              edit