اثبات قضیه خودکار: تاریخچهٔ نسخه‌ها

‏۶ مارس ۲۰۱۵

• کنونیقبلی ‏۱۴:۳۰‏۶ مارس ۲۰۱۵، ساعت ۱۴:۳۰‏ مانفی بحث مشارکت‌ها‏ ۱٬۴۱۱ بایت −۴۵‏ ←‏اثبات قضیه مرتبه اول خنثی‌سازی

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

• کنونیقبلی ‏۰۶:۴۸‏۱۲ آوریل ۲۰۱۴، ساعت ۰۶:۴۸‏ 10.68.16.33 بحث‏ ۱٬۴۵۶ بایت +۹‏ ربات :جایگزینی پیوند قرمز با مترادف فارسی Argonne National Laboratory > آزمایشگاه ملی آرگون خنثی‌سازی

‏۶ آوریل ۲۰۱۴

• کنونیقبلی ‏۱۴:۲۸‏۶ آوریل ۲۰۱۴، ساعت ۱۴:۲۸‏ Rezadecoder بحث مشارکت‌ها‏ ۱٬۴۴۷ بایت −۶‏ بدون خلاصۀ ویرایش خنثی‌سازی
• کنونیقبلی ‏۱۴:۲۷‏۶ آوریل ۲۰۱۴، ساعت ۱۴:۲۷‏ Rezadecoder بحث مشارکت‌ها‏ ۱٬۴۵۳ بایت +۱۵۴‏ بدون خلاصۀ ویرایش خنثی‌سازی

‏۹ مارس ۲۰۱۳

• کنونیقبلی ‏۰۶:۱۰‏۹ مارس ۲۰۱۳، ساعت ۰۶:۱۰‏ Rezabot بحث مشارکت‌ها‏ جز ۱٬۲۹۹ بایت −۴۷۱‏ ربات: حذف میان‌ویکی موجود در ویکی‌داده: en, es, fr, it, ja, pl, pt, ru, th, zh خنثی‌سازی

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

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

‏۳ نوامبر ۲۰۱۲

• کنونیقبلی ‏۱۲:۴۱‏۳ نوامبر ۲۰۱۲، ساعت ۱۲:۴۱‏ Synthebot بحث مشارکت‌ها‏ جز ۱٬۷۰۷ بایت +۹۱‏ r2.6.4) (ربات: افزودن ru:Автоматическое доказательство, zh:定理机器证明 خنثی‌سازی
• کنونیقبلی ‏۱۰:۵۶‏۳ نوامبر ۲۰۱۲، ساعت ۱۰:۵۶‏ Synthebot بحث مشارکت‌ها‏ جز ۱٬۶۱۶ بایت −۱۲۶‏ r2.6.4) (ربات: حذف de:Computerbeweis, ru:Автоматическое доказательство теорем, zh:自動定理證明 خنثی‌سازی

‏۲۲ ژوئن ۲۰۱۲

• کنونیقبلی ‏۰۸:۳۲‏۲۲ ژوئن ۲۰۱۲، ساعت ۰۸:۳۲‏ JYBot بحث مشارکت‌ها‏ جز ۱٬۷۴۲ بایت +۳۶‏ ربات ردهٔ همسنگ (۱۷): + رده:روش‌های صوری خنثی‌سازی

‏۲۴ مهٔ ۲۰۱۲

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

‏۲۱ مهٔ ۲۰۱۲

• کنونیقبلی ‏۰۵:۵۴‏۲۱ مهٔ ۲۰۱۲، ساعت ۰۵:۵۴‏ MerlIwBot بحث مشارکت‌ها‏ جز ۱٬۶۹۸ بایت +۱۸۰‏ ربات: افزودن en,th,it؛ اصلاح fr:Démonstration automatique de théorèmes خنثی‌سازی

‏۱۰ مهٔ ۲۰۱۱

• کنونیقبلی ‏۱۴:۳۱‏۱۰ مهٔ ۲۰۱۱، ساعت ۱۴:۳۱‏ Ayda بحث مشارکت‌ها‏ جز ۱٬۵۱۸ بایت +۴۴۵‏ ویرایش 46.249.105.244 (بحث) به آخرین تغییری که AliBot انجام داده بود واگردانده شد خنثی‌سازی
• کنونیقبلی ‏۰۹:۳۴‏۱۰ مهٔ ۲۰۱۱، ساعت ۰۹:۳۴‏ 46.249.105.244 بحث‏ ۱٬۰۷۳ بایت −۴۴۵‏ ←‏منابع خنثی‌سازی برچسب: تمام رده‌ها را حذف کرد(AF)

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

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

‏۱۵ اوت ۲۰۱۰

• کنونیقبلی ‏۲۱:۵۷‏۱۵ اوت ۲۰۱۰، ساعت ۲۱:۵۷‏ Ebrambot بحث مشارکت‌ها‏ جز ۱٬۵۱۸ بایت ۰‏ ربات: اصلاح ه/ی خنثی‌سازی

‏۱۴ اوت ۲۰۱۰

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

‏۱ اوت ۲۰۰۹

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

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

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

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

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

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

• کنونیقبلی ‏۰۹:۵۲‏۱۵ ژانویهٔ ۲۰۰۹، ساعت ۰۹:۵۲‏ پوویا بحث مشارکت‌ها‏ جز ۱٬۴۷۲ بایت −۳۳‏ بدون خلاصۀ ویرایش خنثی‌سازی

‏۸ نوامبر ۲۰۰۸

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

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

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