قضیه درستی
narrower: درستی قوی
related: معنا شناسی
broader: قضیه تمامیت
preferred label: soundness theorem @en
type: Concept

قضیه تمامیت
preferred label: completeness theorem @en
type: Concept
narrower: قضیه درستی

معنا شناسی
preferred label: semantic @en
type: Concept
related: قضیه درستی

درستی قوی
preferred label: strong soundness @en
type: Concept
broader: قضیه درستی