Write something again to improve clarity, tone, or structure

• Revise or modify a text to produce a better version

Etwas erneut schreiben, um Klarheit, Ton oder Aufbau zu verbessern

• Einen Text überarbeiten oder ändern, um eine bessere Fassung zu erstellen

Write the same text again with little or no change

• Copy out by writing again

Dasselbe erneut niederschreiben, mit wenig oder ohne Änderung

• Durch Abschreiben erneut verfassen

A new version of a text after revision

• The act or process of rewriting
• A revised draft

Eine neue Version eines Textes nach Überarbeitung

• Der Vorgang oder Prozess des Überarbeitens
• Ein überarbeiteter Entwurf

Replace parts of an expression using formal rules of transformation

• Apply rewrite rules to convert a term into another form

Teile eines Ausdrucks nach formalen Regeln ersetzen

• Umschreibungsregeln anwenden, um einen Term in eine andere Form zu überführen

A transformation step produced by applying a rewrite rule

• A specific replacement of subterms within a formal system

Ein durch Anwendung einer Umschreibungsregel erzeugter Transformationsschritt

• Eine spezifische Ersetzung von Teiltermen in einem formalen System