problem solving
type: Concept
preferred label: حل مسئله @fa
related: theorem proving

theorem proving
type: Concept
alternative label: proving, theorem
preferred label: اثبات قضیه @fa
related: problem solving
related: rewriting system
related: formal logic
related: artificial intelligence
related: symbol manipulation

rewriting system
type: Concept
preferred label: سامانه بازنویسی @fa
related: theorem proving

symbol manipulation
type: Concept
preferred label: دستکاری نمادها @fa
related: theorem proving

artificial intelligence
type: Concept
preferred label: هوش مصنوعی @fa
related: theorem proving

formal logic
type: Concept
preferred label: منطق صوری @fa
related: theorem proving