rewriting system
alternative label: term rewriting system
alternative label: سامانه بازنویسی اصطلاح @fa
related: theorem proving
related: formal language
broader: grammar
preferred label: سامانه بازنویسی @fa
type: Concept

theorem proving
preferred label: اثبات قضیه @fa
type: Concept
related: rewriting system

formal language
preferred label: زبان صوری @fa
type: Concept
related: rewriting system

grammar
preferred label: دستور زبان @fa
type: Concept
narrower: rewriting system