Eachdraidh nam mùthaidhean aig "Siostam foirmeil"

9 dhen Dàmhair 2023

• làithroimhe 18:1118:11, 9 dhen Dàmhair 2023‎ CreagNamBathais deasbaireachd mùthaidhean‎ 1,222 baidht +15‎ àlach -> seata neo-dhèan

10 dhen t-Sultain 2018

• làithroimhe 10:5010:50, 10 dhen t-Sultain 2018‎ LibraryScone deasbaireachd mùthaidhean‎ 1,207 baidht −4‎ No edit summary neo-dhèan Tagaichean: Deasachadh inneil-làimhe Deasachadh-lìn inneil-làimhe
• làithroimhe 10:4910:49, 10 dhen t-Sultain 2018‎ LibraryScone deasbaireachd mùthaidhean‎ 1,211 baidht +20‎ No edit summary neo-dhèan Tagaichean: Deasachadh inneil-làimhe Deasachadh-lìn inneil-làimhe

11 dhen Dàmhair 2014

• làithroimhe 20:4820:48, 11 dhen Dàmhair 2014‎ TaxonBot deasbaireachd mùthaidhean‎ 1,191 baidht +5‎ minimal renamings neo-dhèan

9 dhen Mhàrt 2013

• làithroimhe 17:4917:49, 9 dhen Mhàrt 2013‎ Addbot deasbaireachd mùthaidhean‎ b 1,186 baidht −42‎ Bot: Migrating 1 interwiki links, now provided by Wikidata on d:q649732 (translate me) neo-dhèan

8 dhen Mhàrt 2013

• làithroimhe 22:2022:20, 8 dhen Mhàrt 2013‎ Addbot deasbaireachd mùthaidhean‎ b 1,228 baidht −590‎ Bot: Migrating 22 interwiki links, now provided by Wikidata on d:q649732 (translate me) neo-dhèan

23 dhen Fhaoilleach 2013

• làithroimhe 12:4012:40, 23 dhen Fhaoilleach 2013‎ MerlIwBot deasbaireachd mùthaidhean‎ b 1,818 baidht +41‎ Robot: Adding he:פורמליזם (מתמטיקה) neo-dhèan

13 dhen Ògmhios 2012

• làithroimhe 17:0217:02, 13 dhen Ògmhios 2012‎ EmausBot deasbaireachd mùthaidhean‎ b 1,777 baidht +47‎ r2.7.3) (Robot: Adding ky:Аксиоматикалык метод neo-dhèan

8 dhen Chèitean 2012

• làithroimhe 03:3803:38, 8 dhen Chèitean 2012‎ CarsracBot deasbaireachd mùthaidhean‎ b 1,730 baidht +23‎ r2.7.2) (Robot: Adding nl:Formeel systeem neo-dhèan

24 dhen Lùnastal 2011

• làithroimhe 14:2214:22, 24 dhen Lùnastal 2011‎ KamikazeBot deasbaireachd mùthaidhean‎ b 1,707 baidht +24‎ r2.7.1) (robot Adding: hu:Logikai kalkulus neo-dhèan

15 dhen Iuchar 2011

• làithroimhe 01:1201:12, 15 dhen Iuchar 2011‎ ChuispastonBot deasbaireachd mùthaidhean‎ b 1,683 baidht +57‎ r2.7.1) (robot Adding: ar, sr Modifying: ru, zh neo-dhèan

12 dhen Iuchar 2011

• làithroimhe 02:1902:19, 12 dhen Iuchar 2011‎ MerlIwBot deasbaireachd mùthaidhean‎ b 1,626 baidht +228‎ robot Adding: sq:Sistemi formal, pl:System formalny, fa:سیستم صوری, fr:Système formel, ro:Sistem axiomatic, ca:Sistema formal, uk:Формальна система, sv:Formellt system, it:Sistema formale neo-dhèan

2 dhen Mhàrt 2009

• làithroimhe 08:2708:27, 2 dhen Mhàrt 2009‎ 119.224.45.194 deasbaireachd‎ 1,398 baidht +37‎ mk neo-dhèan

6 dhen t-Sultain 2007

• làithroimhe 14:5314:53, 6 dhen t-Sultain 2007‎ 85.30.222.25 deasbaireachd‎ 1,361 baidht +66‎ No edit summary neo-dhèan

29 dhen Ghiblean 2007

• làithroimhe 20:0120:01, 29 dhen Ghiblean 2007‎ Am Fiosaigear deasbaireachd mùthaidhean‎ b 1,295 baidht −15‎ No edit summary neo-dhèan

10 dhen Mhàrt 2007

• làithroimhe 13:5413:54, 10 dhen Mhàrt 2007‎ Am Fiosaigear deasbaireachd mùthaidhean‎ 1,310 baidht −1‎ No edit summary neo-dhèan
• làithroimhe 11:4511:45, 10 dhen Mhàrt 2007‎ Am Fiosaigear deasbaireachd mùthaidhean‎ b 1,311 baidht +87‎ No edit summary neo-dhèan

8 dhen Fhaoilleach 2007

• làithroimhe 14:3714:37, 8 dhen Fhaoilleach 2007‎ Creachadair deasbaireachd mùthaidhean‎ 1,224 baidht +68‎ No edit summary neo-dhèan

7 dhen Fhaoilleach 2007

• làithroimhe 20:3620:36, 7 dhen Fhaoilleach 2007‎ Am Fiosaigear deasbaireachd mùthaidhean‎ 1,156 baidht +1,156‎ New page: Anns an rianas ’s e '''siostam foirmeil''' a th’ ann far a bheil ''cànan foirmeil'' agus àlach riaghailtean airson foirmlean ''deagh-dhèanta'' a thoirt...