sequent
preferred label: نتیجه @fa
type: Concept
related: lemma

lemma
related: sequent
related: conjecture
related: proposition
related: language
broader: theorem
preferred label: لم @fa
type: Concept

conjecture
preferred label: حدس @fa
type: Concept
related: lemma

proposition
preferred label: گزاره @fa
type: Concept
related: lemma

language
preferred label: زبان @fa
type: Concept
related: lemma

theorem
preferred label: قضیه @fa
type: Concept
narrower: lemma