| Отображаемый заголовок | Математические методы верификации схем и программ |
| Ключ сортировки по умолчанию | Математические методы верификации схем и программ |
| Длина страницы (в байтах) | 21 773 |
| Идентификатор страницы | 720 |
| Язык страницы | русский (ru) |
| Индексация поисковыми роботами | Разрешено |
| Количество просмотров | 103 227 |
| Количество перенаправлений на эту страницу | 2 |
| Учитывается счётчиком как содержательная страница | Да |
| Подстраницы данной страницы | 0 (0 перенаправления; 0 обычные) |
| Создатель страницы | PodymovVV (обсуждение | вклад) |
| Дата создания страницы | 09:41, 9 сентября 2016 |
| Последний редактор | PodymovVV (обсуждение | вклад) |
| Дата последней правки | 14:17, 13 ноября 2025 |
| Общее число правок | 167 |
| Общее число различных авторов | 3 |
| Правок за последнее время (в течение 91 день) | 13 |
| Уникальных авторов за последнее время | 1 |
