Metode formal: Riwayat revisi

22 Juni 2023

• skrgsblm 02.0222 Juni 2023 02.02‎ InternetArchiveBot bicara kontrib‎ 1.504 bita +153‎ Rescuing 1 sources and tagging 0 as dead.) #IABot (v2.0.9.5 balikkan

9 Januari 2023

• skrgsblm 19.159 Januari 2023 19.15‎ Arya-Bot bicara kontrib‎ k 1.351 bita −26‎ clean up, removed orphan tag balikkan Tag: AWB

6 Agustus 2021

• skrgsblm 05.176 Agustus 2021 05.17‎ HsfBot bicara kontrib‎ k 1.377 bita −2‎ v2.04b - Fixed using Wikipedia:ProyekWiki Cek Wikipedia (Tanda baca setelah kode "<nowiki></ref></nowiki>") balikkan Tag: WPCleaner

28 Februari 2021

• skrgsblm 00.2528 Februari 2021 00.25‎ InternetArchiveBot bicara kontrib‎ 1.379 bita +153‎ Rescuing 1 sources and tagging 0 as dead.) #IABot (v2.0.8 balikkan

21 Januari 2018

• skrgsblm 13.0321 Januari 2018 13.03‎ Veracious bicara kontrib‎ 1.226 bita +27‎ Tidak ada ringkasan suntingan balikkan Tag: VisualEditor

7 Juli 2017

• skrgsblm 09.507 Juli 2017 09.50‎ Medelam bicara kontrib‎ k 1.199 bita −1‎ Tidak ada ringkasan suntingan balikkan
• skrgsblm 09.507 Juli 2017 09.50‎ Medelam bicara kontrib‎ k 1.200 bita 0‎ Albertus Aditya memindahkan halaman Metoda formal ke Metode formal: http://kbbi.web.id/metoda balikkan

10 Oktober 2016

• skrgsblm 06.2510 Oktober 2016 06.25‎ AABot bicara kontrib‎ k 1.200 bita −2‎ Robot: Perubahan kosmetika balikkan

9 Oktober 2016

• skrgsblm 03.309 Oktober 2016 03.30‎ HsfBot bicara kontrib‎ k 1.202 bita 0‎ Clean up, replaced: Metoda → Metode (2) using AWB balikkan

8 Oktober 2016

• skrgsblm 08.518 Oktober 2016 08.51‎ HsfBot bicara kontrib‎ k 1.202 bita +30‎ Clean up, replaced: piranti → peranti (3), added orphan tag using AWB balikkan

4 Oktober 2016

• skrgsblm 22.284 Oktober 2016 22.28‎ JohnThorne bicara kontrib‎ k 1.172 bita +31‎ menambahkan Kategori:Model matematika menggunakan HotCat balikkan

20 Juli 2015

• skrgsblm 06.5220 Juli 2015 06.52‎ Hidayatsrf bicara kontrib‎ k 1.141 bita +6‎ PWRR:Bantulah !. balikkan

4 April 2013

• skrgsblm 15.024 April 2013 15.02‎ EmausBot bicara kontrib‎ k 1.135 bita −441‎ Bot: Migrasi 16 pranala interwiki, karena telah disediakan oleh Wikidata pada item d:Q1049183 balikkan

19 Oktober 2012

• skrgsblm 09.2619 Oktober 2012 09.26‎ ZéroBot bicara kontrib‎ k 1.576 bita +21‎ r2.7.1) (bot Menambah: ko:정형 기법 balikkan

19 Januari 2012

• skrgsblm 01.1219 Januari 2012 01.12‎ ArdBot bicara kontrib‎ k 1.555 bita +1‎ Bot: Penggantian teks otomatis (-analisa +analisis) balikkan

12 Agustus 2011

• skrgsblm 22.4512 Agustus 2011 22.45‎ ZéroBot bicara kontrib‎ k 1.554 bita +41‎ r2.7.1) (bot Menambah: ru:Формальные методы balikkan

22 Mei 2010

• skrgsblm 10.5122 Mei 2010 10.51‎ Loveless bicara kontrib‎ k 1.513 bita +147‎ bot Menambah: es, fa, lt, ms, nl, zh balikkan

14 Februari 2008

• skrgsblm 16.0014 Februari 2008 16.00‎ Borgxbot bicara kontrib‎ k 1.366 bita 0‎ Robot: Cosmetic changes balikkan

3 September 2007

• skrgsblm 13.533 September 2007 13.53‎ Kincir Angin bicara kontrib‎ k 1.366 bita −1‎ -spasi balikkan
• skrgsblm 13.533 September 2007 13.53‎ Kincir Angin bicara kontrib‎ 1.367 bita +5‎ tipo balikkan
• skrgsblm 13.523 September 2007 13.52‎ Kincir Angin bicara kontrib‎ 1.362 bita +1.134‎ +{{rintisan}} -{{kembangkan|3 September 2007}} balikkan

21 Agustus 2007

• skrgsblm 11.1521 Agustus 2007 11.15‎ Kembangraps bicara kontrib‎ k 228 bita +33‎ + tag kembangkan balikkan
• skrgsblm 10.5721 Agustus 2007 10.57‎ 122.200.6.18 bicara‎ 195 bita +195‎ Suatu metoda untuk membuat permasalahan desain menjadi lebih rigor dan terpercaya