quantifier free formula
type: Concept
broader: complexity of formula
preferred label: فرمول بدون سور @fa
related: term

complexity of formula
type: Concept
narrower: quantifier free formula
preferred label: پیچیدگی فرمول @fa

term
type: Concept
preferred label: عبارت) جمله) @fa
related: quantifier free formula