Rewriting
[de] Termersetzungssystem
[es] Reescritura
[fa] بازنویسی (ریاضی)
[fr] Réécriture (informatique)
[io] Riskribado (matematiko)
[it] Riscrittura
[ja] 項書き換え
[kaa] Rewriting
[ko] 재작성
[nl] Herschrijven (theoretische informatica)