Задача здійсненності булевих формул: історія змін

23 листопада 2022

• поточн.попер. 18:0518:05, 23 листопада 2022‎ BunykBot обговорення внесок‎ м 7458 байтів +51‎ Категоризація скасувати [автоматично перевірена]

28 жовтня 2022

• поточн.попер. 11:3111:31, 28 жовтня 2022‎ Olvin обговорення внесок‎ 7407 байтів −11‎ Немає опису редагування скасувати [автоматично перевірена]

18 червня 2022

• поточн.попер. 05:1305:13, 18 червня 2022‎ InternetArchiveBot обговорення внесок‎ 7418 байтів +374‎ Виправлено джерел: 4; позначено як недійсні: 0.) #IABot (v2.0.8.8 скасувати [автоматично перевірена]

25 листопада 2020

• поточн.попер. 19:2519:25, 25 листопада 2020‎ Vlasenko D обговорення внесок‎ м 7044 байти +34‎ вікіфікація скасувати [автоматично перевірена]

16 листопада 2020

• поточн.попер. 16:2916:29, 16 листопада 2020‎ Lxlalexlxl обговорення внесок‎ 7010 байтів +2‎ Немає опису редагування скасувати [автоматично перевірена]
• поточн.попер. 16:2116:21, 16 листопада 2020‎ Lxlalexlxl обговорення внесок‎ м 7008 байтів 0‎ Lxlalexlxl перейменував сторінку з Задача здійсненності бульових формул на Задача здійсненності булевих формул скасувати [автоматично перевірена]
• поточн.попер. 16:2016:20, 16 листопада 2020‎ Lxlalexlxl обговорення внесок‎ 7008 байтів −3‎ Немає опису редагування скасувати [автоматично перевірена]

22 лютого 2020

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

26 серпня 2019

• поточн.попер. 23:3523:35, 26 серпня 2019‎ BunykBot обговорення внесок‎ м 6949 байтів +58‎ Додавання дати до шаблону скасувати [автоматично перевірена]

5 липня 2019

• поточн.попер. 23:5623:56, 5 липня 2019‎ InternetArchiveBot обговорення внесок‎ 6891 байт +91‎ Виправлено джерел: 0; позначено як недійсні: 1. #IABot (v2.0beta15) скасувати [автоматично перевірена]

5 грудня 2016

• поточн.попер. 14:1814:18, 5 грудня 2016‎ MobyBot обговорення внесок‎ м 6800 байтів −16‎ →‎Окремі випадки задачі SAT: replaced: являється → є скасувати [автоматично перевірена]

31 серпня 2016

• поточн.попер. 13:4713:47, 31 серпня 2016‎ 2601:147:8201:2500:230:48ff:fedc:a6ec обговорення‎ 6816 байтів +62‎ →‎Див. також скасувати [перевірена користувачем Sk741~ukwiki]

31 грудня 2015

• поточн.попер. 11:1811:18, 31 грудня 2015‎ VictorAnyakin обговорення внесок‎ 6754 байти +57‎ →‎Посилання скасувати [перевірена користувачем VictorAnyakin]

27 грудня 2014

• поточн.попер. 22:1522:15, 27 грудня 2014‎ Olexa Riznyk обговорення внесок‎ м 6697 байтів +18‎ +Шаблон:Логіка, стильові правлення скасувати

9 червня 2013

• поточн.попер. 08:1608:16, 9 червня 2013‎ LastStep обговорення внесок‎ 6679 байтів −30‎ шаблон скасувати

25 березня 2013

• поточн.попер. 00:0400:04, 25 березня 2013‎ Addbot обговорення внесок‎ м 6709 байтів −759‎ Вилучення 19 інтервікі, відтепер доступних на Вікіданих: d:q875276 скасувати

21 лютого 2013

• поточн.попер. 18:1918:19, 21 лютого 2013‎ Іванко1 обговорення внесок‎ м 7468 байтів +1‎ суміш розкладок за допомогою AWB скасувати

6 лютого 2013

• поточн.попер. 08:4908:49, 6 лютого 2013‎ MerlIwBot обговорення внесок‎ м 7467 байтів +35‎ робот додав: ar:قابلية الإرضاء скасувати

2 січня 2013

• поточн.попер. 19:5219:52, 2 січня 2013‎ Olexiim обговорення внесок‎ м 7432 байти −69‎ →‎Окремі випадки задачі SAT скасувати
• поточн.попер. 19:5019:50, 2 січня 2013‎ Olexiim обговорення внесок‎ м 7501 байт +20‎ →‎Обчислювальна складність скасувати

22 грудня 2012

• поточн.попер. 20:2920:29, 22 грудня 2012‎ Іванко1 обговорення внесок‎ м 7481 байт +1‎ суміш розкладок за допомогою AWB скасувати

2 грудня 2012

• поточн.попер. 23:2023:20, 2 грудня 2012‎ DixonDBot обговорення внесок‎ м 7480 байтів +28‎ Додавання/виправлення дати для: Шаблон:Без джерел; косметичні зміни скасувати

23 листопада 2012

• поточн.попер. 17:1117:11, 23 листопада 2012‎ Іванко1 обговорення внесок‎ м 7452 байти +5‎ replaced: Згідно [ → Згідно з [ за допомогою AWB скасувати

19 листопада 2012

• поточн.попер. 21:3821:38, 19 листопада 2012‎ Dimapashenko обговорення внесок‎ 7447 байтів +1‎ Немає опису редагування скасувати

11 листопада 2012

• поточн.попер. 22:4622:46, 11 листопада 2012‎ Dimapashenko обговорення внесок‎ 7446 байтів −13‎ Немає опису редагування скасувати
• поточн.попер. 22:3722:37, 11 листопада 2012‎ Dimapashenko обговорення внесок‎ 7459 байтів +4095‎ Немає опису редагування скасувати
• поточн.попер. 21:4321:43, 11 листопада 2012‎ Dimapashenko обговорення внесок‎ 3364 байти +1417‎ Немає опису редагування скасувати

19 лютого 2012

• поточн.попер. 12:0912:09, 19 лютого 2012‎ Іванко1 обговорення внесок‎ 1947 байтів 0‎ оформлення скасувати

9 грудня 2011

• поточн.попер. 12:1112:11, 9 грудня 2011‎ WikitanvirBot обговорення внесок‎ м 1947 байтів +51‎ r2.7.1) (робот додав: fa:مسئله صدق‌پذیری دودویی скасувати

31 липня 2011

• поточн.попер. 18:0318:03, 31 липня 2011‎ Іванко1 обговорення внесок‎ м 1896 байтів −4‎ стильове правлення за допомогою AWB скасувати

4 липня 2011

• поточн.попер. 19:1019:10, 4 липня 2011‎ MerlIwBot обговорення внесок‎ м 1900 байтів +46‎ робот додав: pt:Problema de satisfatibilidade booleana скасувати

18 травня 2011

• поточн.попер. 19:5019:50, 18 травня 2011‎ Іванко1 обговорення внесок‎ м 1854 байти 0‎ перейменував «Задача здійсненностіі бульових формул» на «Задача здійсненності бульових формул»: Хибна назва скасувати

16 травня 2010

• поточн.попер. 12:4712:47, 16 травня 2010‎ ArthurBot обговорення внесок‎ м 1854 байти +42‎ робот додав: simple:Boolean satisfiability problem скасувати

8 грудня 2009

• поточн.попер. 18:0018:00, 8 грудня 2009‎ VolkovBot обговорення внесок‎ м 1812 байтів +31‎ робот додав: nl:Vervulbaarheidsprobleem скасувати

2 січня 2009

• поточн.попер. 11:1511:15, 2 січня 2009‎ Sl обговорення внесок‎ м 1781 байт 0‎ Немає опису редагування скасувати

29 жовтня 2008

• поточн.попер. 17:5417:54, 29 жовтня 2008‎ Loveless обговорення внесок‎ м 1781 байт +11‎ робот змінив: he:בעיית הספיקות скасувати

14 жовтня 2008

• поточн.попер. 08:2408:24, 14 жовтня 2008‎ VictorAnyakin обговорення внесок‎ 1770 байтів +97‎ Немає опису редагування скасувати

5 жовтня 2008

• поточн.попер. 08:0908:09, 5 жовтня 2008‎ DragonBot обговорення внесок‎ м 1673 байти +138‎ робот додав: eo, it, ko, sr, zh скасувати

30 листопада 2007

• поточн.попер. 04:0604:06, 30 листопада 2007‎ Oleksii0 обговорення внесок‎ м 1535 байтів 0‎ Задача здійснимості бульових формул змінено на Задача здійсненностіі бульових формул скасувати

25 листопада 2007

• поточн.попер. 05:0805:08, 25 листопада 2007‎ Albedo обговорення внесок‎ м 1535 байтів 0‎ Задача здійснимості булевих формул змінено на Задача здійснимості бульових формул скасувати
• поточн.попер. 05:0705:07, 25 листопада 2007‎ Albedo обговорення внесок‎ 1535 байтів +10‎ Немає опису редагування скасувати

18 листопада 2007

• поточн.попер. 15:2315:23, 18 листопада 2007‎ Oleksii0 обговорення внесок‎ м 1525 байтів +73‎ Немає опису редагування скасувати
• поточн.попер. 15:2215:22, 18 листопада 2007‎ Oleksii0 обговорення внесок‎ 1452 байти +1452‎ Нова сторінка: '''Задача здійснимості булевих формул''' (SAT) — задача розпізнавання образів, важлива для [[...