Аксіоматична семантика: історія змін

22 лютого 2020

• поточн.попер. 19:2919:29, 22 лютого 2020‎ BunykBot обговорення внесок‎ м 1768 байтів +78‎ Категоризація скасувати [автоматично перевірена]
• поточн.попер. 19:2119:21, 22 лютого 2020‎ BunykBot обговорення внесок‎ м 1690 байтів +62‎ Категоризація скасувати [автоматично перевірена]
• поточн.попер. 19:0619:06, 22 лютого 2020‎ BunykBot обговорення внесок‎ м 1628 байтів +76‎ Категоризація скасувати [автоматично перевірена]

22 травня 2019

• поточн.попер. 02:3402:34, 22 травня 2019‎ InternetArchiveBot обговорення внесок‎ 1552 байти +43‎ Виправлено джерел: 1; позначено як недійсні: 0. #IABot (v2.0beta14) скасувати [автоматично перевірена]

11 вересня 2016

• поточн.попер. 11:0811:08, 11 вересня 2016‎ MobyVan обговорення внесок‎ м 1509 байтів −11‎ →‎top: replaced: В якості → Як за допомогою AWB скасувати [автоматично перевірена]

21 березня 2013

• поточн.попер. 21:3421:34, 21 березня 2013‎ RLutsBot обговорення внесок‎ м 1520 байтів −256‎ Перенесено 8 інтервікі-посилань до Вікіданих (Q792533) скасувати [перевірена користувачем Jeromjerom]

3 січня 2013

• поточн.попер. 17:3317:33, 3 січня 2013‎ ZéroBot обговорення внесок‎ м 1776 байтів +31‎ r2.7.1) (робот додав: es:Semántica axiomática скасувати

19 березня 2012

• поточн.попер. 11:4311:43, 19 березня 2012‎ РобоСтася обговорення внесок‎ 1745 байтів −40‎ →‎Посилання: Більше не розпізнається як ізольована стаття, removed: {{Ізольована стаття}} за допомогою AWB скасувати

15 березня 2012

• поточн.попер. 19:5719:57, 15 березня 2012‎ Bunyk обговорення внесок‎ 1785 байтів +38‎ Немає опису редагування скасувати

1 жовтня 2010

• поточн.попер. 18:4318:43, 1 жовтня 2010‎ Ilya обговорення внесок‎ м 1747 байтів +199‎ Немає опису редагування скасувати
• поточн.попер. 18:3718:37, 1 жовтня 2010‎ Ilya обговорення внесок‎ м 1548 байтів +227‎ Немає опису редагування скасувати

12 червня 2010

• поточн.попер. 20:0720:07, 12 червня 2010‎ Begemot-Bot обговорення внесок‎ м 1321 байт +4‎ Автовиправлення скасувати

27 березня 2010

• поточн.попер. 10:5410:54, 27 березня 2010‎ РобоСтася обговорення внесок‎ 1317 байтів +38‎ →‎Посилання: + {{Ізольована стаття}}, за допомогою AWB скасувати

26 березня 2010

• поточн.попер. 21:1221:12, 26 березня 2010‎ Bunyk обговорення внесок‎ 1279 байтів +1279‎ Створена сторінка: '''Аксіоматична семантика''' – підхід до опису семантики системи за допомогою аксіоматичн...