Jump to content

Category:Formal methods: Revision history

View logs for this page (view filter log)

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 20:2820:28, 17 May 2022 Seanghkd talk contribs 932 bytes +13 Add cat main template undo

curprev 20:1220:12, 27 July 2020 Fayenatic london talk contribs m 919 bytes +15 reinstate template per consensus at Template_talk:CatAutoTOC undo Tag: Rollback

curprev 23:3623:36, 19 June 2020 Justlettersandnumbers talk contribs m 904 bytes −15 where's the consensus for these edits undo Tag: Rollback

curprev 00:0600:06, 10 June 2020 50.26.172.216 talk 919 bytes +15 No edit summary undo

curprev 20:2520:25, 28 January 2020 JJMC89 bot III talk contribs m 904 bytes +4 Moving Category:Areas of computer science to Category:Subfields of computer science per Wikipedia:Categories for discussion/Log/2020 January 20#Category:Areas of computer science undo

curprev 17:4017:40, 22 January 2017 JustBerry talk contribs m 900 bytes 0 →top: Cleaning up... using AWB undo

curprev 02:1402:14, 17 September 2015 AvicBot talk contribs m 900 bytes +15 Bot: Fixing commonscat per Category:Commons category template with no category set. (Report error) undo

curprev 06:0806:08, 1 June 2015 SJ Defender talk contribs m 885 bytes +21 Disambiguating links to Programming (link changed to Computer programming) using DisamAssist. undo

curprev 08:3008:30, 29 June 2013 Dekart talk contribs 864 bytes −42 removed Category:Software development process - doesn't fit to this category undo

curprev 21:5821:58, 7 April 2013 EmausBot talk contribs m 906 bytes −31 Bot: Migrating 1 langlinks, now provided by Wikidata on d:Q8466124 undo

curprev 05:1005:10, 28 March 2013 Addbot talk contribs m 937 bytes −761 Bot: Migrating 20 interwiki links, now provided by Wikidata on d:q8466124 undo

curprev 22:2422:24, 2 January 2013 ZéroBot talk contribs m 1,698 bytes +36 r2.7.1) (Robot: Adding es:Categoría:Métodos formales undo

curprev 12:0812:08, 19 October 2012 ZéroBot talk contribs m 1,662 bytes +29 r2.7.1) (Robot: Adding ko:분류:정형 기법 undo

curprev 14:2114:21, 30 March 2012 Wbm1058 talk contribs 1,633 bytes +18 pipe link to hardware undo

curprev 00:5000:50, 8 March 2012 Venske talk contribs 1,615 bytes +73 ro undo

curprev 14:0414:04, 2 March 2012 Brad7777 talk contribs 1,542 bytes −47 removed Category:Software development philosophies using HotCat WP:BOLD perhaps related, but not a parent (makes more sense having formalism a subcat of sd philo instead) undo
curprev 13:4913:49, 2 March 2012 Brad7777 talk contribs 1,589 bytes +34 added Category:Software engineering using HotCat WP:BOLD undo
curprev 13:4513:45, 2 March 2012 Brad7777 talk contribs 1,555 bytes −29 removed Category:Formal sciences using HotCat this is found in theoretical computer science, it is only of use to computer scientists undo

curprev 20:0320:03, 28 September 2011 Ruud Koot talk contribs 1,584 bytes −39 cat undo
curprev 18:2118:21, 28 September 2011 Ruud Koot talk contribs 1,623 bytes +39 Category:Areas of computer science undo

curprev 01:4401:44, 19 November 2010 Jpbowen talk contribs m 1,584 bytes +17 Commons cat undo

curprev 11:1411:14, 1 October 2010 Gf uip talk contribs m 1,567 bytes +56 No edit summary undo

curprev 05:1705:17, 22 December 2009 Levineps talk contribs m 1,511 bytes −34 No edit summary undo

curprev 16:2416:24, 14 December 2009 TXiKiBoT talk contribs m 1,545 bytes −1 robot Modifying: lt:Kategorija:Formalūs metodai undo

curprev 15:4615:46, 13 December 2009 TXiKiBoT talk contribs m 1,546 bytes +37 robot Adding: lt:Kategorija:Formalieji metodai undo

curprev 06:0006:00, 29 November 2009 IvanLanin talk contribs m 1,509 bytes +30 iw:id undo

curprev 19:3419:34, 14 October 2009 Infovarius talk contribs 1,479 bytes +60 +ru undo

curprev 14:3014:30, 11 September 2009 Jpbowen talk contribs m 1,419 bytes +47 Added category undo
curprev 13:1513:15, 11 September 2009 Jpbowen talk contribs m 1,372 bytes +40 Added category undo

curprev 08:1708:17, 29 March 2009 Ayda D talk contribs 1,332 bytes +39 No edit summary undo

curprev 19:2619:26, 6 March 2009 VolkovBot talk contribs m 1,293 bytes +33 robot Adding: bs:Kategorija:Formalni metodi undo

curprev 04:3604:36, 29 June 2008 121.108.45.16 talk 1,260 bytes +39 No edit summary undo

curprev 21:2021:20, 24 June 2008 Andreas Kaufmann talk contribs m 1,221 bytes 0 Removed category "Software development"; Quick-adding category "Software engineering" (using HotCat) undo

curprev 12:4912:49, 20 May 2008 Mdd talk contribs 1,221 bytes +29 Added Category:Formal sciences undo

curprev 21:2721:27, 8 May 2008 BepBot talk contribs m 1,192 bytes +33 robot Adding: nn:Kategori:Formelle metodar undo

curprev 05:2405:24, 19 March 2008 60.240.112.112 talk 1,159 bytes +37 tr:Kategori:Biçimsel yöntemler undo

curprev 09:1209:12, 27 January 2008 Andreas Kaufmann talk contribs 1,122 bytes +29 No edit summary undo

curprev 22:1422:14, 4 December 2007 Rwwww talk contribs 1,093 bytes −33 del cat software engineering - redundant, software development is nested undo

curprev 21:4721:47, 29 September 2007 Andreas Kaufmann talk contribs 1,126 bytes −31 Doesn't really belongs to Category:Computer security undo

curprev 18:5318:53, 25 September 2007 Andreas Kaufmann talk contribs 1,157 bytes −30 Doesn't belong to Software Testing category undo

curprev 08:5608:56, 12 July 2007 Lambiam talk contribs m 1,187 bytes −19 Undid revision 144073675 by Gregbard (talk): already supercat undo

curprev 23:4223:42, 11 July 2007 Gregbard talk contribs m 1,206 bytes +19 No edit summary undo

curprev 06:2906:29, 14 June 2007 125.201.156.16 talk 1,187 bytes +29 +ja undo

curprev 12:4812:48, 4 May 2007 TadejM talk contribs m 1,158 bytes +34 +sl:Kategorija:Formalne metode undo

curprev 15:1115:11, 3 May 2007 DHN-bot~enwiki talk contribs m 1,124 bytes +48 robot Adding: vi:Thể loại:Phương pháp hình thức undo

curprev 22:4722:47, 25 April 2007 201.40.214.240 talk 1,076 bytes +34 +iw:pt undo

curprev 11:5311:53, 15 February 2007 Jpbowen talk contribs m 1,042 bytes +38 Added category undo

curprev 09:2709:27, 4 December 2006 Escarbot talk contribs m 1,004 bytes +35 robot Adding: eo:Kategorio:Formalaj manieroj undo

curprev 11:1311:13, 2 December 2006 Jpbowen talk contribs m 969 bytes +38 Added category undo

curprev 01:1001:10, 27 November 2006 Hmains talk contribs 931 bytes +4 diffuse undo

Retrieved from "https://en.wikipedia.org/wiki/Category:Formal_methods"