Source: wikibot/rice-shapiro-theorem

= Rice–Shapiro theorem
{wiki=Rice–Shapiro_theorem}