نظریه نوع‌ها: تاریخچهٔ نسخه‌ها

‏۹ ژانویهٔ ۲۰۲۳

• کنونیقبلی ‏۱۱:۲۲‏۹ ژانویهٔ ۲۰۲۳، ساعت ۱۱:۲۲‏ U313MM بحث مشارکت‌ها‏ ۱٬۷۸۵ بایت +۱۳‏ بدون خلاصۀ ویرایش خنثی‌سازی برچسب: ویرایشگر دیداری
• کنونیقبلی ‏۱۱:۲۲‏۹ ژانویهٔ ۲۰۲۳، ساعت ۱۱:۲۲‏ U313MM بحث مشارکت‌ها‏ ۱٬۷۷۲ بایت +۷۷‏ ویژگی پیوندهای پیشنهادی: ۲ پیوند افزوده شد. خنثی‌سازی برچسب‌ها: ویرایشگر دیداری وظیفه تازه‌وارد پیشنهادی: افزودن پیوند

‏۴ فوریهٔ ۲۰۲۱

• کنونیقبلی ‏۲۳:۲۰‏۴ فوریهٔ ۲۰۲۱، ساعت ۲۳:۲۰‏ Fatranslator بحث مشارکت‌ها‏ جز ۱٬۶۹۵ بایت +۳۴‏ ربات:افزودن الگو ناوباکس {{بنیان‌ها-پاورقی}}+ خنثی‌سازی

‏۳۰ اکتبر ۲۰۱۹

• کنونیقبلی ‏۱۹:۵۳‏۳۰ اکتبر ۲۰۱۹، ساعت ۱۹:۵۳‏ InternetArchiveBot بحث مشارکت‌ها‏ ۱٬۶۶۱ بایت +۳۹‏ نجات ۱ منبع و علامت‌زدن ۰ به‌عنوان مرده.) #IABot (v2.0 خنثی‌سازی

‏۲۶ مارس ۲۰۱۹

• کنونیقبلی ‏۰۶:۱۴‏۲۶ مارس ۲۰۱۹، ساعت ۰۶:۱۴‏ Dexbot بحث مشارکت‌ها‏ جز ۱٬۶۲۲ بایت +۳‏ ربات: انتقال رده به درخواست Hamid Hassani از رده:سلسله مراتب به رده:سلسله‌مراتب خنثی‌سازی

‏۳۰ ژانویهٔ ۲۰۱۹

• کنونیقبلی ‏۰۱:۲۲‏۳۰ ژانویهٔ ۲۰۱۹، ساعت ۰۱:۲۲‏ Fatranslator بحث مشارکت‌ها‏ جز ۱٬۶۱۹ بایت +۲۳‏ افزودن ناوباکس ۷.۵> الگو:انواع داده (درخواست کاربر:Modern Sciences)+مرتب+ خنثی‌سازی

‏۱۰ ژانویهٔ ۲۰۱۹

• کنونیقبلی ‏۱۸:۰۵‏۱۰ ژانویهٔ ۲۰۱۹، ساعت ۱۸:۰۵‏ Philanthropist Hu بحث مشارکت‌ها‏ ۱٬۵۹۶ بایت +۶۲‏ بدون خلاصۀ ویرایش خنثی‌سازی برچسب‌ها: ویرایش همراه ویرایش از وبگاه همراه
• کنونیقبلی ‏۱۸:۰۴‏۱۰ ژانویهٔ ۲۰۱۹، ساعت ۱۸:۰۴‏ Philanthropist Hu بحث مشارکت‌ها‏ ۱٬۵۳۴ بایت +۶۴‏ افزودن {{حق تکثیر مشکوک}} (توینکل) خنثی‌سازی

‏۲ ژانویهٔ ۲۰۱۹

• کنونیقبلی ‏۱۴:۲۳‏۲ ژانویهٔ ۲۰۱۹، ساعت ۱۴:۲۳‏ Philanthropist Hu بحث مشارکت‌ها‏ ۱٬۴۷۰ بایت ۰‏ بدون خلاصۀ ویرایش خنثی‌سازی برچسب‌ها: ویرایش همراه ویرایش از وبگاه همراه
• کنونیقبلی ‏۱۴:۰۷‏۲ ژانویهٔ ۲۰۱۹، ساعت ۱۴:۰۷‏ Philanthropist Hu بحث مشارکت‌ها‏ ۱٬۴۷۰ بایت +۲۰‏ ←‏منابع: اگه رده بهتری می‌تونید ارائه بدید حتما تغییرش بدید خنثی‌سازی برچسب‌ها: ویرایش همراه ویرایش از وبگاه همراه

‏۱۳ سپتامبر ۲۰۱۷

• کنونیقبلی ‏۲۳:۴۲‏۱۳ سپتامبر ۲۰۱۷، ساعت ۲۳:۴۲‏ Rezabot بحث مشارکت‌ها‏ جز ۱٬۴۵۰ بایت +۳۴‏ ربات ردهٔ همسنگ (۳۰) +مرتب (۱۴.۹ core): + رده:سلسله مراتب خنثی‌سازی

‏۱۷ ژانویهٔ ۲۰۱۵

• کنونیقبلی ‏۱۶:۲۵‏۱۷ ژانویهٔ ۲۰۱۵، ساعت ۱۶:۲۵‏ Fatemibot بحث مشارکت‌ها‏ جز ۱٬۴۱۶ بایت +۲۶‏ ربات:افزودن الگو ناوباکس {{علوم رایانه}} خنثی‌سازی

‏۸ اوت ۲۰۱۴

• کنونیقبلی ‏۱۰:۵۲‏۸ اوت ۲۰۱۴، ساعت ۱۰:۵۲‏ Fatemibot بحث مشارکت‌ها‏ جز ۱٬۳۹۰ بایت +۱۳‏ ربات:افزودن الگو ناوباکس {{منطق}} خنثی‌سازی

‏۴ ژوئیهٔ ۲۰۱۴

• کنونیقبلی ‏۰۹:۴۰‏۴ ژوئیهٔ ۲۰۱۴، ساعت ۰۹:۴۰‏ Fatemibot بحث مشارکت‌ها‏ جز ۱٬۳۷۷ بایت +۲۱‏ ربات:افزودن الگو ناوباکس {{متافیزیک}} خنثی‌سازی

‏۳۱ مهٔ ۲۰۱۳

• کنونیقبلی ‏۱۵:۴۹‏۳۱ مهٔ ۲۰۱۳، ساعت ۱۵:۴۹‏ Rezabot بحث مشارکت‌ها‏ جز ۱٬۳۵۶ بایت +۶۷‏ ربات ردهٔ همسنگ (۲۴) +مرتب (۴،۶): + رده:سامانه‌های منطق ریاضی خنثی‌سازی

‏۱۰ مارس ۲۰۱۳

• کنونیقبلی ‏۲۰:۳۲‏۱۰ مارس ۲۰۱۳، ساعت ۲۰:۳۲‏ Rezabot بحث مشارکت‌ها‏ جز ۱٬۲۸۹ بایت −۳۷۰‏ ربات: حذف میان‌ویکی موجود در ویکی‌داده: ۱۵ میان‌ویکی خنثی‌سازی

‏۲۳ اکتبر ۲۰۱۲

• کنونیقبلی ‏۱۰:۲۷‏۲۳ اکتبر ۲۰۱۲، ساعت ۱۰:۲۷‏ ZéroBot بحث مشارکت‌ها‏ جز ۱٬۶۵۹ بایت +۱۸‏ r2.7.1) (ربات: افزودن ko:형 이론 خنثی‌سازی

‏۲۹ مهٔ ۲۰۱۲

• کنونیقبلی ‏۱۷:۰۴‏۲۹ مهٔ ۲۰۱۲، ساعت ۱۷:۰۴‏ Dexbot بحث مشارکت‌ها‏ جز ۱٬۶۴۱ بایت +۱۹‏ ربات: مرتب‌سازی رده‌ها؛ زیباسازی خنثی‌سازی

‏۲۷ مارس ۲۰۱۲

• کنونیقبلی ‏۲۱:۵۶‏۲۷ مارس ۲۰۱۲، ساعت ۲۱:۵۶‏ Luckas-bot بحث مشارکت‌ها‏ جز ۱٬۶۲۲ بایت +۳۱‏ r2.7.1) (ربات: افزودن el:Θεωρία τύπων خنثی‌سازی

‏۱۸ فوریهٔ ۲۰۱۱

• کنونیقبلی ‏۰۴:۲۲‏۱۸ فوریهٔ ۲۰۱۱، ساعت ۰۴:۲۲‏ Amirobot بحث مشارکت‌ها‏ جز ۱٬۵۹۱ بایت −۲‏ ربات: تصحیح جایگذاری کاما، شمارگان هزارگان خنثی‌سازی

‏۲۱ آوریل ۲۰۱۰

• کنونیقبلی ‏۱۳:۰۰‏۲۱ آوریل ۲۰۱۰، ساعت ۱۳:۰۰‏ SieBot بحث مشارکت‌ها‏ جز ۱٬۵۹۳ بایت +۲۴‏ ربات افزودن: es:Teoría de tipos خنثی‌سازی

‏۲۸ فوریهٔ ۲۰۱۰

• کنونیقبلی ‏۲۱:۳۹‏۲۸ فوریهٔ ۲۰۱۰، ساعت ۲۱:۳۹‏ Tanhabot بحث مشارکت‌ها‏ جز ۱٬۵۶۹ بایت +۱‏ ربات: ویرایش جزئی خنثی‌سازی

‏۱۳ اوت ۲۰۰۹

• کنونیقبلی ‏۱۵:۱۱‏۱۳ اوت ۲۰۰۹، ساعت ۱۵:۱۱‏ Tanhabot بحث مشارکت‌ها‏ جز ۱٬۵۶۸ بایت ۰‏ ربات: جراحی پلاستیک و زیباسازی خنثی‌سازی

‏۱۹ ژوئیهٔ ۲۰۰۹

• کنونیقبلی ‏۱۱:۳۴‏۱۹ ژوئیهٔ ۲۰۰۹، ساعت ۱۱:۳۴‏ Pastorals2007 بحث مشارکت‌ها‏ جز ۱٬۵۶۸ بایت +۳۶‏ افزودن سریع رده «نظریه نوع‌ها» (با استفاده از رده‌ساز) خنثی‌سازی

‏۱۵ ژوئن ۲۰۰۹

• کنونیقبلی ‏۱۰:۰۷‏۱۵ ژوئن ۲۰۰۹، ساعت ۱۰:۰۷‏ TXiKiBoT بحث مشارکت‌ها‏ جز ۱٬۵۳۲ بایت +۲۰‏ ربات افزودن: nl:Typentheorie خنثی‌سازی

‏۲۵ آوریل ۲۰۰۹

• کنونیقبلی ‏۱۵:۰۷‏۲۵ آوریل ۲۰۰۹، ساعت ۱۵:۰۷‏ Rubinbot بحث مشارکت‌ها‏ جز ۱٬۵۱۲ بایت +۴‏ ربات اصلاح: eo:Teorio de tipoj خنثی‌سازی

‏۱۸ سپتامبر ۲۰۰۸

• کنونیقبلی ‏۰۴:۵۴‏۱۸ سپتامبر ۲۰۰۸، ساعت ۰۴:۵۴‏ VolkovBot بحث مشارکت‌ها‏ جز ۱٬۵۰۸ بایت +۲۹‏ ربات افزودن: ar:نظرية النمط خنثی‌سازی

‏۱۲ سپتامبر ۲۰۰۸

• کنونیقبلی ‏۰۵:۰۱‏۱۲ سپتامبر ۲۰۰۸، ساعت ۰۵:۰۱‏ Amirobot بحث مشارکت‌ها‏ جز ۱٬۴۷۹ بایت +۱۹‏ ربات افزودن: en:Type theory خنثی‌سازی

‏۱۱ سپتامبر ۲۰۰۸

• کنونیقبلی ‏۲۰:۵۰‏۱۱ سپتامبر ۲۰۰۸، ساعت ۲۰:۵۰‏ HRV بحث مشارکت‌ها‏ ۱٬۴۶۰ بایت +۱٬۴۶۰‏ صفحهٔ جدید: '''نظریه نوع‌ها''' شاخه‌ای از منطق، دانش رایانه و فلسفه است که به شناخت [[سیستم منطقی|سیستم‌...