قضیه پارامترسازی
type: Concept
alternative label: قضیه S-mn
broader: قضایای علوم کامپیوتر
preferred label: parameter theorem @en
related: زبان برنامه‌نویسی
related: قضیه هم‌ارزی راجرز
related: شماره‌گذاری گودل

قضیه هم‌ارزی راجرز
type: Concept
preferred label: Rogers equivalence theorem @en
related: قضیه پارامترسازی

قضایای علوم کامپیوتر
type: Concept
narrower: قضیه پارامترسازی
preferred label: theorems of computer science @en

زبان برنامه‌نویسی
type: Concept
preferred label: programming language @en
related: قضیه پارامترسازی

شماره‌گذاری گودل
type: Concept
preferred label: Godel numbering @en
related: قضیه پارامترسازی