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

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

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

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

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