KotzBot
הטמעת תבנית:בקרת זהויות בערכים (תג)
06:29
+27
37.142.11.69
←מגבלות: הגהה- כתבו תוכנה במקום תכונה
13:27
זה ינחמנו
←מגבלות: שיפור קריאות
07:27
+16
Tshuva
הוספת קטגוריה:הבטחת איכות באמצעות HotCat
08:31
+41
יוניון ג'ק
אין תקציר עריכה
22:15
+45
Elaz85
←מגבלות: לא מדויק
13:08
+276
בריאן
תיקון שם תבנית
16:57
−13
CodeGuru
←מגבלות: ז"ל
20:45
−2
Matanyabot
בוט: החלפת טקסט אוטומטית (-{{נ}} +)
10:22
−8
Legobot
בוט: מעביר קישורי בינויקי לויקינתונים - d:q173326
15:50
−503
דניאל ב.
←מגבלות
09:10
+274
Luckas-bot
r2.5.2) (בוט מוסיף: el:Τυπική επαλήθευση
15:58
Xqbot
בוט משנה: uk:Формальна верифікація
16:12
Yinonc
←ראו גם: קטגוריה
08:25
+22
JAnDbot
בוט משנה: uk:Верифікація формальна
13:49
+19
Broadbot
בוט מוסיף: da:Verifikation (bekræftelse)
14:09
+35
VolkovBot
בוט מוסיף: pt:Verificação formal
13:20
+28
SieBot
בוט מוסיף: lt:Verifikacija
06:35
+20
79.183.125.2
17:40
+2
בוט מוסיף: fr, pl, zh משנה: ru
15:39
+99
Yonidebot
בוט החלפות: דוגמת; תאורטי;
22:26
−4
דוד שי
07:03
+98
Vinney
עיצוב
06:25
+6
06:23
+13
הרחבה
06:22
+1,918
רנדום
עברית
02:08
דב ט.
קישור פנימי
21:07
+33
FlaBot
רובוט מוסיף: cs:Formální verifikace, ja:形式的検証, sr:Верификација
11:00
+84
הא?
זוטה
19:09
−1
{{ניווט בהנדסת תוכנה}}
+40
YurikBot
רובוט מוסיף: es:Verificación formal
21:12
robot Modifying: en:Formal verification
22:11
207.232.8.50
15:05
+121
Felagund-bot
בוט - מחליף {{נבדק}} ב{{נ}}, בין לאומי בבינלאומי
16:48
−7
212.235.0.97
16:04
Matanya
+24
קישורים
19:40
+32
Ladypine
21:20
Felagund
category:מדעי המחשב
14:12
אלון שכטר
18:20
+39
21:09
עריכה
21:08
+212
62.90.40.50
16:17
+1,702
