Definition from Wiktionary, the free dictionary
rewriting (plural rewritings)
- The process or result of writing again; a rewrite.
- (logic, computer science) a wide range of potentially non-deterministic methods of replacing subterms of a formula with other terms
- present participle of