صورت نرمال: تاریخچهٔ نسخه‌ها

۴ مارس ۲۰۲۲

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

۱۴ مهٔ ۲۰۱۹

• کنونیقبلی ۰۵:۲۶۱۴ مهٔ ۲۰۱۹، ساعت ۰۵:۲۶ HujiBot بحث مشارکت‌ها جز ۱٬۱۳۹ بایت −۹ تمیزکاری یادکردها (وظیفه ۱۹) خنثی‌سازی

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

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

۲۰ اوت ۲۰۱۸

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

۶ نوامبر ۲۰۱۶

• کنونیقبلی ۰۱:۵۶۶ نوامبر ۲۰۱۶، ساعت ۰۱:۵۶ Huji بحث مشارکت‌ها جز ۱٬۰۷۳ بایت ۰ Huji صفحهٔ صورت نرمال عطفی و فصلی را به صورت نرمال منتقل کرد: نام کلی‌تر خنثی‌سازی

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

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

۱۶ ژانویهٔ ۲۰۱۰

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

۲۴ دسامبر ۲۰۰۹

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

۲۱ دسامبر ۲۰۰۹

• کنونیقبلی ۱۰:۴۹۲۱ دسامبر ۲۰۰۹، ساعت ۱۰:۴۹ Ayda بحث مشارکت‌ها ۱٬۰۵۰ بایت +۱٬۰۵۰ صفحه‌ای جدید با 'گزاره <math>A</math> را در''' صورت نرمال عطفی''' گوییم هرگاه به شکل <math>(A_{1,1} \lor ... \lor A_{1,i_n}...' ایجاد کرد