הוכחה (לוגיקה מתמטית): היסטוריית גרסאות

27 במרץ 2024

• נוכחיתקודמת 11:2911:29, 27 במרץ 2024‏ יהודה שמחה ולדמן שיחה תרומות‏ 1,702 בתים −24‏ אין תקציר עריכה ביטול

5 בפברואר 2024

• נוכחיתקודמת 00:5800:58, 5 בפברואר 2024‏ יודוקוליס שיחה תרומות‏ 1,726 בתים −4‏ אין תקציר עריכה ביטול

22 בינואר 2024

• נוכחיתקודמת 02:4202:42, 22 בינואר 2024‏ DeepDemo שיחה תרומות‏ 1,730 בתים +423‏ הרחבה ביטול תגית: עריכה חזותית

20 באוקטובר 2017

• נוכחיתקודמת 15:3915:39, 20 באוקטובר 2017‏ דניאל ב. שיחה תרומות‏ 1,307 בתים −60‏ אין תקציר עריכה ביטול

8 באוקטובר 2017

• נוכחיתקודמת 15:1215:12, 8 באוקטובר 2017‏ יוניון ג'ק שיחה תרומות‏ 1,367 בתים +34‏ אין תקציר עריכה ביטול
• נוכחיתקודמת 13:2513:25, 8 באוקטובר 2017‏ עוזי ו. שיחה תרומות‏ 1,333 בתים +7‏ אין תקציר עריכה ביטול
• נוכחיתקודמת 12:5712:57, 8 באוקטובר 2017‏ יוניון ג'ק שיחה תרומות‏ 1,326 בתים +26‏ אין תקציר עריכה ביטול תגית: הוספת תבנית לשינויים בערך

25 בספטמבר 2016

• נוכחיתקודמת 01:1401:14, 25 בספטמבר 2016‏ KotzBot שיחה תרומות‏ מ 1,300 בתים −1‏ סדר תבניות בסוף הערך (בוט סדר הפרקים) ביטול

8 באוגוסט 2014

• נוכחיתקודמת 21:0621:06, 8 באוגוסט 2014‏ Tomtom שיחה תרומות‏ 1,301 בתים −770‏ עריכה לא מוצלחת שחזור לגרסה 14413857 מתאריך 06:56, 23 ביולי 2013 מאת VirtuOZ ביטול
• נוכחיתקודמת 20:5720:57, 8 באוגוסט 2014‏ Fr.dror שיחה תרומות‏ 2,071 בתים −722‏ ←‏דוגמאות: עריכה ביטול
• נוכחיתקודמת 20:5220:52, 8 באוגוסט 2014‏ Fr.dror שיחה תרומות‏ 2,793 בתים +1,492‏ הרחבה ביטול

23 ביולי 2013

• נוכחיתקודמת 06:5606:56, 23 ביולי 2013‏ VirtuOZ שיחה תרומות‏ מ 1,301 בתים 0‏ קישורים פנימיים ביטול

27 ביוני 2012

• נוכחיתקודמת 12:5812:58, 27 ביוני 2012‏ דניאל ב. שיחה תרומות‏ 1,301 בתים +435‏ אין תקציר עריכה ביטול
• נוכחיתקודמת 12:5212:52, 27 ביוני 2012‏ דניאל ב. שיחה תרומות‏ מ 866 בתים +30‏ הוספת קטגוריה:הוכחה באמצעות HotCat ביטול

14 בינואר 2012

• נוכחיתקודמת 19:5119:51, 14 בינואר 2012‏ דניאל ב. שיחה תרומות‏ 836 בתים +24‏ ←‏עריכת הפתיח ביטול

22 באוגוסט 2008

• נוכחיתקודמת 17:2717:27, 22 באוגוסט 2008‏ עוזי ו. שיחה תרומות‏ 812 בתים +812‏ דף חדש: בלוגיקה מתמטית, '''הוכחה''' היא סדרה סופית <math>\ a_1,a_2,a_3,\cdots,a_n</math> של פסוקים במסגר...