313
правок
Изменения
Нет описания правки
<code>
<tex>p(x){:}</tex>
'''foreach''' <tex>q</tex> <tex> \in ~ \Sigma^* </tex> <span style="color:Green">//перебираем утверждения</span> '''if''' <tex>q</tex> proves "<tex>p(x)</tex> зависает"<span style="color:Green">//если утверждение доказывает зависание программы</span>
'''exit'''
</code>
