Addbot
Bot: premještanje 14 međuwiki linkova koji su sada dostupni na stranici d:q7451631 na Wikidati
15:54
−469
Luckas-bot
r2.7.1) (Bot dodaje: id:Kategori:Teori tipe
08:41
+27
r2.7.1) (robot dodaje: ms:Kategori:Teori jenis
20:49
+28
Rubinbot
r2.5.4) (robot dodaje: de:Kategorie:Typentheorie
10:41
+30
r2.7.1) (robot dodaje: el:Κατηγορία:Θεωρία τύπων
12:56
+50
TXiKiBoT
robot Dodaje: es:Categoría:Teoría de tipos
03:10
+35
robot Dodaje: ru:Категория:Теория типов
02:36
HerculeBot
robot Mijenja: eo:Kategorio:Teorio de tipoj
13:59
+4
Amirobot
robot Dodaje: fa:رده:نظریه نوعها
13:50
+39
VolkovBot
robot Dodaje: eo, fr, ja, ko, pt, zh
21:24
+177
Kal-El~bswiki
Nova strana: Kategorija:Logika u računarstvu Kategorija:Vrste podataka Kategorija:Formalni metodi Kategorija:Matematičke strukture en:Category:Type theory
14:44
+164
