Формальные методы: история изменений
(текущ.) — отличия от текущей версии; (пред.) — отличия от предыдущей версии; м — малые изменения. Для выбора версий отметьте версии страницы, которые вы хотите сравнить, и нажмите Enter или кнопку ниже. Даты изменений по умолчанию даны по всемирному координированному времени (UTC).
Условные обозначения патрулирования: патрулированная версия, непроверенная версия. Имена авторов изменений могут быть недоступны на части страниц из-за рисков политического преследования в России и Беларуси.