TermersetzungssystemRewritingR%C3%A9%C3%A9criture_(informatique)Riscrittura%E9%A0%85%E6%9B%B8%E3%81%8D%E6%8F%9B%E3%81%88%EC%9E%AC%EC%9E%91%EC%84%B1Herschrijven_(theoretische_informatica)Sistema_de_redu%C3%A7%C3%A3o%D0%9F%D0%B5%D1%80%D0%B5%D0%BF%D0%B8%D1%81%D1%8B%D0%B2%D0%B0%D0%BD%D0%B8%D0%B5Terimi_yeniden_yazma%D0%A0%D0%B5%D1%80%D0%B0%D0%B9%D1%82%D0%B8%D0%BD%D0%B3_(%D0%BC%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D0%BA%D0%B0)Q1668499%E9%87%8D%E5%86%99%E9%80%BB%E8%BE%91
about
P279
description
formales Berechnungsmodell in der Theoretischen Informatik
@de
replacing subterm in a formula with another term
@en
замена падвыразу ў формуле іншым
@be-tarask
замена подвыражения формулы на другое
@ru
用另一個術語替換公式中的子項
@zh
name
Terimi yeniden yazma
@tr
Termersetzungssystem
@de
herschrijven
@nl
reskribado
@eo
rewriting
@en
riscrittura
@it
réécriture
@fr
sistema de redução
@pt
Рерайтинг
@uk
перапісваньне
@be-tarask
type
label
Terimi yeniden yazma
@tr
Termersetzungssystem
@de
herschrijven
@nl
reskribado
@eo
rewriting
@en
riscrittura
@it
réécriture
@fr
sistema de redução
@pt
Рерайтинг
@uk
перапісваньне
@be-tarask
altLabel
TES
@de
herschrijfsysteem
@nl
herschrijfsystemen
@nl
reduction systems
@en
rewrite rule
@en
rewrite systems
@en
rewriting systems
@en
term rewriting
@en
правило переписывания
@ru
система переписывания
@ru
prefLabel
Terimi yeniden yazma
@tr
Termersetzungssystem
@de
herschrijven
@nl
reskribado
@eo
rewriting
@en
riscrittura
@it
réécriture
@fr
sistema de redução
@pt
Рерайтинг
@uk
перапісваньне
@be-tarask
P2163
P244
P6366
P646
P1482
P2163
P244
sh87003035