Сведения по «Boolean SAT/SMT Solvers for Software Engineering»
Основные сведения
| Отображаемый заголовок | Boolean SAT/SMT Solvers for Software Engineering |
| Ключ сортировки по умолчанию | Boolean SAT/SMT Solvers for Software Engineering |
| Длина страницы (в байтах) | 5051 |
| Идентификатор страницы | 655 |
| Язык страницы | русский (ru) |
| Индексация поисковыми роботами | Разрешено |
| Количество просмотров | 31 262 |
| Количество перенаправлений на эту страницу | 0 |
| Подстраницы данной страницы | 0 (0 перенаправления; 0 обычные) |
Защита страницы
| Редактирование | Без защиты |
| Переименование | Без защиты |
История изменений
| Создатель страницы | ShupletsovMS (обсуждение | вклад) |
| Дата создания страницы | 10:57, 5 апреля 2016 |
| Последний редактор | Root (обсуждение | вклад) |
| Дата последней правки | 18:00, 9 февраля 2019 |
| Общее число правок | 17 |
| Общее число различных авторов | 3 |
| Правок за последнее время (в течение 91 день) | 0 |
| Уникальных авторов за последнее время | 0 |
