BunykBot
Категоризація
19:22
+62
Mediafond
стильові правлення, правопис
14:04
+11
Hjvfy
→Теоретичні основи
17:41
+5
Addbot
Вилучення 17 інтервікі, відтепер доступних на Вікіданих: d:q173326
04:46
−483
Shynkar
нема опису редагування
12:02
−48
11:21
+4510
Sanya3
дoдана Категорія:Теоретична інформатика з допомогою HotCat
01:04
+67
IvanBot
replaced: = Дивіться також = → = Див. також =
12:07
−9
Luckas-bot
r2.5.2) (робот додав: el:Τυπική επαλήθευση
12:58
+41
Bunyk
перейменував «Верифікація формальна» на «Формальна верифікація» поверх перенаправлення: вікіпедія - не енциклопедія
01:54
Іванко1
стильові правлення
01:10
−2
SieBot
робот додав: cs, da, de, es, fr, he, ja, lt, no, pl, pt, ru, sk, sr, zh
02:04
+414
Ink
10:18
+4
VictorAnyakin
09:53
+74
+interwiki->en
07:07
+28
08:07
+1099