استدلال خودکار: تاریخچهٔ نسخه‌ها

‏۷ فوریهٔ ۲۰۲۳

• کنونیقبلی ‏۱۳:۰۰‏۷ فوریهٔ ۲۰۲۳، ساعت ۱۳:۰۰‏ GodNey بحث مشارکت‌ها‏ جز ۷٬۴۶۶ بایت −۱۲‏ ویرایش Wersin (بحث) به آخرین تغییری که Taj454 انجام داده بود واگردانده شد خنثی‌سازی برچسب: واگردانی

‏۳۱ دسامبر ۲۰۲۲

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

‏۲۷ ژوئیهٔ ۲۰۲۲

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

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

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

‏۱۲ مهٔ ۲۰۲۱

• کنونیقبلی ‏۰۷:۱۳‏۱۲ مهٔ ۲۰۲۱، ساعت ۰۷:۱۳‏ Hooman Mallahzadeh بحث مشارکت‌ها‏ جز ۷٬۳۱۳ بایت −۵‏ بدون خلاصۀ ویرایش خنثی‌سازی برچسب: ویرایشگر دیداری
• کنونیقبلی ‏۰۷:۱۳‏۱۲ مهٔ ۲۰۲۱، ساعت ۰۷:۱۳‏ Hooman Mallahzadeh بحث مشارکت‌ها‏ جز ۷٬۳۱۸ بایت +۴۴‏ الگوی «به انگلیسی» اضافه شد. خنثی‌سازی برچسب: ویرایشگر دیداری

‏۱۰ مهٔ ۲۰۲۰

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

‏۶ دسامبر ۲۰۱۸

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

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

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

‏۲ ژوئن ۲۰۱۷

• کنونیقبلی ‏۱۹:۲۹‏۲ ژوئن ۲۰۱۷، ساعت ۱۹:۲۹‏ NiloofarLatifian بحث مشارکت‌ها‏ ۶٬۶۹۶ بایت +۷۱‏ ←‏منابع خنثی‌سازی
• کنونیقبلی ‏۱۹:۲۷‏۲ ژوئن ۲۰۱۷، ساعت ۱۹:۲۷‏ NiloofarLatifian بحث مشارکت‌ها‏ ۶٬۶۲۵ بایت +۱۳‏ ←‏تاریخچه خنثی‌سازی
• کنونیقبلی ‏۱۹:۲۷‏۲ ژوئن ۲۰۱۷، ساعت ۱۹:۲۷‏ NiloofarLatifian بحث مشارکت‌ها‏ ۶٬۶۱۲ بایت +۱۶‏ بدون خلاصۀ ویرایش خنثی‌سازی
• کنونیقبلی ‏۱۹:۲۵‏۲ ژوئن ۲۰۱۷، ساعت ۱۹:۲۵‏ NiloofarLatifian بحث مشارکت‌ها‏ ۶٬۵۹۶ بایت ۰‏ بدون خلاصۀ ویرایش خنثی‌سازی
• کنونیقبلی ‏۱۹:۲۴‏۲ ژوئن ۲۰۱۷، ساعت ۱۹:۲۴‏ NiloofarLatifian بحث مشارکت‌ها‏ ۶٬۵۹۶ بایت +۳۳۳‏ بدون خلاصۀ ویرایش خنثی‌سازی برچسب: افزودن پیوند بیرونی به جای ویکی‌پیوند
• کنونیقبلی ‏۱۹:۱۹‏۲ ژوئن ۲۰۱۷، ساعت ۱۹:۱۹‏ NiloofarLatifian بحث مشارکت‌ها‏ ۶٬۲۶۳ بایت +۱٬۸۲۶‏ بدون خلاصۀ ویرایش خنثی‌سازی
• کنونیقبلی ‏۱۸:۵۲‏۲ ژوئن ۲۰۱۷، ساعت ۱۸:۵۲‏ NiloofarLatifian بحث مشارکت‌ها‏ ۴٬۴۳۷ بایت +۱‏ بدون خلاصۀ ویرایش خنثی‌سازی
• کنونیقبلی ‏۱۸:۴۸‏۲ ژوئن ۲۰۱۷، ساعت ۱۸:۴۸‏ NiloofarLatifian بحث مشارکت‌ها‏ ۴٬۴۳۶ بایت +۱٬۳۴۹‏ بدون خلاصۀ ویرایش خنثی‌سازی
• کنونیقبلی ‏۱۷:۵۲‏۲ ژوئن ۲۰۱۷، ساعت ۱۷:۵۲‏ NiloofarLatifian بحث مشارکت‌ها‏ ۳٬۰۸۷ بایت +۸۸۹‏ ایجاد شده توسط ترجمهٔ صفحهٔ «Automated reasoning» خنثی‌سازی برچسب: ترجمهٔ محتوا
• کنونیقبلی ‏۱۴:۲۷‏۲ ژوئن ۲۰۱۷، ساعت ۱۴:۲۷‏ NiloofarLatifian بحث مشارکت‌ها‏ ۲٬۱۹۸ بایت +۸۰۷‏ بدون خلاصۀ ویرایش خنثی‌سازی
• کنونیقبلی ‏۱۲:۲۲‏۲ ژوئن ۲۰۱۷، ساعت ۱۲:۲۲‏ NiloofarLatifian بحث مشارکت‌ها‏ ۱٬۳۹۱ بایت +۸‏ بدون خلاصۀ ویرایش خنثی‌سازی
• کنونیقبلی ‏۱۲:۲۱‏۲ ژوئن ۲۰۱۷، ساعت ۱۲:۲۱‏ NiloofarLatifian بحث مشارکت‌ها‏ ۱٬۳۸۳ بایت −۵۴۲‏ ایجاد شده توسط ترجمهٔ صفحهٔ «Automated reasoning» خنثی‌سازی برچسب: ترجمهٔ محتوا

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

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

‏۳۰ دسامبر ۲۰۱۴

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

‏۱۰ مارس ۲۰۱۳

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

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

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

‏۲۴ مهٔ ۲۰۱۲

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

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

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

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

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

‏۱۸ مارس ۲۰۱۱

• کنونیقبلی ‏۰۲:۳۹‏۱۸ مارس ۲۰۱۱، ساعت ۰۲:۳۹‏ ArthurBot بحث مشارکت‌ها‏ جز ۱٬۸۵۷ بایت +۲۰‏ r2.6.3) (ربات افزودن: zh:自动推理 خنثی‌سازی

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

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

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

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

‏۱۵ اوت ۲۰۱۰

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

‏۱۴ اوت ۲۰۱۰

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

‏۱ اوت ۲۰۰۹

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

‏۱۶ مهٔ ۲۰۰۹

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

‏۹ مارس ۲۰۰۹

• کنونیقبلی ‏۰۸:۲۰‏۹ مارس ۲۰۰۹، ساعت ۰۸:۲۰‏ TXiKiBoT بحث مشارکت‌ها‏ جز ۱٬۸۳۳ بایت +۳۱‏ ربات افزودن: it:Ragionamento automatico خنثی‌سازی

‏۸ مارس ۲۰۰۹

• کنونیقبلی ‏۰۹:۲۳‏۸ مارس ۲۰۰۹، ساعت ۰۹:۲۳‏ Xqbot بحث مشارکت‌ها‏ جز ۱٬۸۰۲ بایت −۱‏ ربات اصلاح: es:Razonamiento automático خنثی‌سازی

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

• کنونیقبلی ‏۱۴:۴۲‏۱۳ سپتامبر ۲۰۰۸، ساعت ۱۴:۴۲‏ Escarbot بحث مشارکت‌ها‏ جز ۱٬۸۰۳ بایت +۲۷‏ ربات افزودن: en:Automated reasoning خنثی‌سازی
• کنونیقبلی ‏۱۴:۲۹‏۱۳ سپتامبر ۲۰۰۸، ساعت ۱۴:۲۹‏ HRV بحث مشارکت‌ها‏ ۱٬۷۷۶ بایت +۱‏ بدون خلاصۀ ویرایش خنثی‌سازی
• کنونیقبلی ‏۱۴:۱۶‏۱۳ سپتامبر ۲۰۰۸، ساعت ۱۴:۱۶‏ HRV بحث مشارکت‌ها‏ ۱٬۷۷۵ بایت ۰‏ بدون خلاصۀ ویرایش خنثی‌سازی
• کنونیقبلی ‏۱۴:۱۶‏۱۳ سپتامبر ۲۰۰۸، ساعت ۱۴:۱۶‏ HRV بحث مشارکت‌ها‏ ۱٬۷۷۵ بایت +۱٬۷۷۵‏ صفحهٔ جدید: '''استدلال خودکار''' در علوم رایانه به جنبه‌های گوناگون استدلال می‌پردازد تا از این راه امکان ...