Hierarchy:
Description:
{{logic|computer science}} a wide range of potentially non-deterministic methods of replacing subterms of a formula with other terms
Ngram:
Ngram Text:
rewriting
Source:
Wiktionary
Issue:
0
Wiktionary tag:
Ngram Count:
1