محاسبه‌پذیری
preferred label: computability @en
type: Concept
related: تصمیم‌پذیری

منطق صوری
preferred label: formal logic @en
type: Concept
narrower: تصمیم‌پذیری

تصمیم‌پذیری
related: محاسبه‌پذیری
broader: منطق صوری
preferred label: decidability @en
type: Concept