Source: /wikibot/time-hierarchy-theorem

= Time hierarchy theorem
{wiki=Time_hierarchy_theorem}