U313MM
بدون خلاصۀ ویرایش
۱۱:۲۲
+۱۳
ویژگی پیوندهای پیشنهادی: ۲ پیوند افزوده شد.
+۷۷
Fatranslator
ربات:افزودن الگو ناوباکس {{بنیان‌ها-پاورقی}}+
۲۳:۲۰
+۳۴
InternetArchiveBot
نجات ۱ منبع و علامت‌زدن ۰ به‌عنوان مرده.) #IABot (v2.0
۱۹:۵۳
+۳۹
Dexbot
ربات: انتقال رده به درخواست Hamid Hassani از رده:سلسله مراتب به رده:سلسله‌مراتب
۰۶:۱۴
+۳
افزودن ناوباکس ۷.۵> الگو:انواع داده (درخواست کاربر:Modern Sciences)+مرتب+
۰۱:۲۲
+۲۳
Philanthropist Hu
۱۸:۰۵
+۶۲
افزودن {{حق تکثیر مشکوک}} (توینکل)
۱۸:۰۴
+۶۴
۱۴:۲۳
←منابع: اگه رده بهتری می‌تونید ارائه بدید حتما تغییرش بدید
۱۴:۰۷
+۲۰
Rezabot
ربات ردهٔ همسنگ (۳۰) +مرتب (۱۴.۹ core): + رده:سلسله مراتب
۲۳:۴۲
Fatemibot
ربات:افزودن الگو ناوباکس {{علوم رایانه}}
۱۶:۲۵
+۲۶
ربات:افزودن الگو ناوباکس {{منطق}}
۱۰:۵۲
ربات:افزودن الگو ناوباکس {{متافیزیک}}
۰۹:۴۰
+۲۱
ربات ردهٔ همسنگ (۲۴) +مرتب (۴،۶): + رده:سامانه‌های منطق ریاضی
۱۵:۴۹
+۶۷
ربات: حذف میان‌ویکی موجود در ویکی‌داده: ۱۵ میان‌ویکی
۲۰:۳۲
−۳۷۰
ZéroBot
r2.7.1) (ربات: افزودن ko:형 이론
۱۰:۲۷
+۱۸
ربات: مرتب‌سازی رده‌ها؛ زیباسازی
۱۷:۰۴
+۱۹
Luckas-bot
r2.7.1) (ربات: افزودن el:Θεωρία τύπων
۲۱:۵۶
+۳۱
Amirobot
ربات: تصحیح جایگذاری کاما، شمارگان هزارگان
۰۴:۲۲
−۲
SieBot
ربات افزودن: es:Teoría de tipos
۱۳:۰۰
+۲۴
Tanhabot
ربات: ویرایش جزئی
۲۱:۳۹
+۱
ربات: جراحی پلاستیک و زیباسازی
۱۵:۱۱
Pastorals2007
افزودن سریع رده «نظریه نوع‌ها» (با استفاده از رده‌ساز)
۱۱:۳۴
+۳۶
TXiKiBoT
ربات افزودن: nl:Typentheorie
۱۰:۰۷
Rubinbot
ربات اصلاح: eo:Teorio de tipoj
۱۵:۰۷
+۴
VolkovBot
ربات افزودن: ar:نظرية النمط
۰۴:۵۴
+۲۹
ربات افزودن: en:Type theory
۰۵:۰۱
HRV
صفحهٔ جدید: '''نظریه نوع‌ها''' شاخه‌ای از منطق، دانش رایانه و فلسفه است که به شناخت [[سیستم منطقی|سیستم...
۲۰:۵۰
+۱٬۴۶۰
