| German |
| has gloss | deu: Die Termersetzungssysteme (TES) sind ein formales Berechnungsmodell in der Theoretischen Informatik. Sie bilden insbesondere die Grundlage der Logik- und funktionalen Programmierung. Ferner spielen sie eine wichtige Rolle beim Wortproblem und bei der Terminierungsanalyse. |
| lexicalization | deu: Termersetzungssystem |
| French |
| has gloss | fra: La réécriture (ou récriture) est un modèle de calcul utilisé en informatique, en algèbre, en logique mathématique et en linguistique. Il s’agit de transformer des objets syntaxiques (mots, termes, lambda-termes, programmes, preuves, graphes, …) en appliquant des règles bien précises. Voici quelques exemples classiques d’utilisation de la réécriture : |
| lexicalization | fra: Reecriture |
| lexicalization | fra: Réécriture |
| Italian |
| has gloss | ita: In matematica, informatica e logica, il termine riscrittura (di termini o espressioni) indica una varietà di metodi potenzialmente non deterministici per sostituire le sottoespressioni di una formula con altri termini. |
| lexicalization | ita: Riscrittura |
| Japanese |
| has gloss | jpn: 項書き換え（こうかきかえ、Term Rewriting）とは、数学や計算機科学、論理学において、式（数式、論理式）の項を別の項に置換する手法を総称する用語である。項書き換え系は、項の集合とその置換規則から構成される。 |
| lexicalization | jpn: 項書き換え |
| Portuguese |
| lexicalization | por: Reescrita |
| Russian |
| has gloss | rus: В математике и информатике под переписыванием подразумевают широкий спектр техник, методов и теоретических результатов связанных с процедурами последовательной замены частей формул или термов формального языка по заданной схеме — системе переписывающих правил. |
| lexicalization | rus: Переписывание |
| Turkish |
| has gloss | tur: Terimi yeniden yazma , Matematik, bilişim biliminin bir dalı olan evrensel cebir de iki terimin eşit olduğunu ya da olmadığını ispat etmek için kullanılan bir hesap tekniği. |
| lexicalization | tur: Terimi yeniden yazma |
