rewriting
noun
- replacing subterm in a formula with another term
Wiktionary
noun
- The process or result of writing again; a rewrite.
- Any of wide range of potentially non-deterministic methods of replacing subterms of a formula with other terms.
verb
- present participle and gerund of rewrite