Формальна верифікація: історія змін

10 січня 2024

• поточн.попер. 20:2120:21, 10 січня 2024‎ J. Gradowski обговорення внесок‎ 6015 байтів −23‎ →‎Примітки: оформлення скасувати [автоматично перевірена]
• поточн.попер. 16:4016:40, 10 січня 2024‎ TohaomgBot обговорення внесок‎ м 6038 байтів +8‎ Перекладено дати в примітках з англійської на українську скасувати [автоматично перевірена]
• поточн.попер. 16:0516:05, 10 січня 2024‎ Lxlalexlxl обговорення внесок‎ 6030 байтів +217‎ Немає опису редагування скасувати [автоматично перевірена]

2 лютого 2023

• поточн.попер. 19:5519:55, 2 лютого 2023‎ MMO1975 обговорення внесок‎ 5813 байтів +44‎ Функція пропозицій посилань: додано 3 посилання. скасувати Мітки: Візуальний редактор Завдання новачку Запропоноване: додати посилання [перевірена користувачем VictorAnyakin]

26 січня 2021

• поточн.попер. 01:1801:18, 26 січня 2021‎ Aced обговорення внесок‎ м 5769 байтів +2‎ →‎Обґрунтування: оформлення скасувати [автоматично перевірена]

22 січня 2021

• поточн.попер. 18:2318:23, 22 січня 2021‎ 159.224.200.175 обговорення‎ 5767 байтів −6‎ Виправлено помилку скасувати Мітки: Редагування з мобільного пристрою Редагування через мобільну версію [перевірена користувачем Aced]

22 лютого 2020

• поточн.попер. 19:2219:22, 22 лютого 2020‎ BunykBot обговорення внесок‎ м 5773 байти +62‎ Категоризація скасувати [автоматично перевірена]

24 листопада 2015

• поточн.попер. 14:0414:04, 24 листопада 2015‎ Mediafond обговорення внесок‎ 5711 байтів +11‎ стильові правлення, правопис скасувати [автоматично перевірена]

1 вересня 2014

• поточн.попер. 17:4117:41, 1 вересня 2014‎ Hjvfy обговорення внесок‎ 5700 байтів +5‎ →‎Теоретичні основи скасувати [перевірена користувачем VictorAnyakin]

24 березня 2013

• поточн.попер. 04:4604:46, 24 березня 2013‎ Addbot обговорення внесок‎ м 5695 байтів −483‎ Вилучення 17 інтервікі, відтепер доступних на Вікіданих: d:q173326 скасувати

14 березня 2013

• поточн.попер. 12:0212:02, 14 березня 2013‎ Shynkar обговорення внесок‎ 6178 байтів −48‎ Немає опису редагування скасувати
• поточн.попер. 11:2111:21, 14 березня 2013‎ Shynkar обговорення внесок‎ 6226 байтів +4510‎ Немає опису редагування скасувати

3 березня 2012

• поточн.попер. 01:0401:04, 3 березня 2012‎ Sanya3 обговорення внесок‎ м 1716 байтів +67‎ дoдана Категорія:Теоретична інформатика з допомогою HotCat скасувати

26 грудня 2011

• поточн.попер. 12:0712:07, 26 грудня 2011‎ IvanBot обговорення внесок‎ м 1649 байтів −9‎ replaced: = Дивіться також = → = Див. також = скасувати

27 грудня 2010

• поточн.попер. 12:5812:58, 27 грудня 2010‎ Luckas-bot обговорення внесок‎ м 1658 байтів +41‎ r2.5.2) (робот додав: el:Τυπική επαλήθευση скасувати

21 листопада 2010

• поточн.попер. 01:5401:54, 21 листопада 2010‎ Bunyk обговорення внесок‎ м 1617 байтів 0‎ перейменував «Верифікація формальна» на «Формальна верифікація» поверх перенаправлення: вікіпедія - не енциклопедія скасувати

24 вересня 2010

• поточн.попер. 01:1001:10, 24 вересня 2010‎ Іванко1 обговорення внесок‎ м 1617 байтів −2‎ стильові правлення скасувати

14 листопада 2009

• поточн.попер. 02:0402:04, 14 листопада 2009‎ SieBot обговорення внесок‎ м 1619 байтів +414‎ робот додав: cs, da, de, es, fr, he, ja, lt, no, pl, pt, ru, sk, sr, zh скасувати

25 червня 2009

• поточн.попер. 10:1810:18, 25 червня 2009‎ Ink обговорення внесок‎ 1205 байтів +4‎ Немає опису редагування скасувати
• поточн.попер. 09:5309:53, 25 червня 2009‎ VictorAnyakin обговорення внесок‎ 1201 байт +74‎ Немає опису редагування скасувати

10 листопада 2006

• поточн.попер. 07:0707:07, 10 листопада 2006‎ VictorAnyakin обговорення внесок‎ м 1127 байтів +28‎ +interwiki->en скасувати

26 вересня 2006

• поточн.попер. 08:0708:07, 26 вересня 2006‎ VictorAnyakin обговорення внесок‎ 1099 байтів +1099‎ Немає опису редагування