| Отображаемый заголовок | Математические методы верификации схем и программ |
| Ключ сортировки по умолчанию | Математические методы верификации схем и программ |
| Длина страницы (в байтах) | 21 142 |
| Идентификатор страницы | 720 |
| Язык страницы | русский (ru) |
| Индексация поисковыми роботами | Разрешено |
| Количество просмотров | 91 427 |
| Количество перенаправлений на эту страницу | 2 |
| Учитывается счётчиком как содержательная страница | Да |
| Подстраницы данной страницы | 0 (0 перенаправления; 0 обычные) |
| Создатель страницы | PodymovVV (обсуждение | вклад) |
| Дата создания страницы | 09:41, 9 сентября 2016 |
| Последний редактор | PodymovVV (обсуждение | вклад) |
| Дата последней правки | 10:34, 20 ноября 2024 |
| Общее число правок | 153 |
| Общее число различных авторов | 3 |
| Правок за последнее время (в течение 91 день) | 26 |
| Уникальных авторов за последнее время | 1 |
