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

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