תורת ההוכחות: היסטוריית גרסאות

27 במרץ 2024

• נוכחיתקודמת 11:3011:30, 27 במרץ 2024‏ יהודה שמחה ולדמן שיחה תרומות‏ 2,766 בתים −21‏ אין תקציר עריכה ביטול

29 בפברואר 2024

• נוכחיתקודמת 21:5321:53, 29 בפברואר 2024‏ יהודה שמחה ולדמן שיחה תרומות‏ 2,787 בתים −21‏ הגהה, תיקון קישורים ביטול

24 באוגוסט 2023

• נוכחיתקודמת 13:3713:37, 24 באוגוסט 2023‏ Avner-Y שיחה תרומות‏ מ 2,808 בתים +2‏ שיפור ניסוח. ביטול תגית: עריכה חזותית

8 בפברואר 2023

• נוכחיתקודמת 17:1517:15, 8 בפברואר 2023‏ KotzBot שיחה תרומות‏ מ 2,806 בתים +32‏ עדכון תבנית:דף שער בספרייה הלאומית בקישורים חיצוניים (תג) ביטול

27 בינואר 2023

• נוכחיתקודמת 07:5907:59, 27 בינואר 2023‏ KotzBot שיחה תרומות‏ מ 2,774 בתים +57‏ הוספת תבנית:דף שער בספרייה הלאומית בקישורים חיצוניים - שלב ראשון, הכנה לקראת הוספה ב-JSON (תג) ביטול

26 בנובמבר 2021

• נוכחיתקודמת 05:1205:12, 26 בנובמבר 2021‏ KotzBot שיחה תרומות‏ מ 2,717 בתים +27‏ הטמעת תבנית:בקרת זהויות בערכים (תג) ביטול

9 בספטמבר 2020

• נוכחיתקודמת 11:4711:47, 9 בספטמבר 2020‏ 2.55.161.15 שיחה‏ 2,690 בתים 0‏ תיקון קישור שבור ביטול תגית: עריכה חזותית

1 במרץ 2019

• נוכחיתקודמת 04:3904:39, 1 במרץ 2019‏ Matanyabot שיחה תרומות‏ מ 2,690 בתים −2‏ בוט החלפות: פרסם ביטול

12 בפברואר 2019

• נוכחיתקודמת 22:4822:48, 12 בפברואר 2019‏ ינון גלעדי שיחה תרומות‏ 2,692 בתים +17‏ ←‏הוכחות פורמליות ביטול
• נוכחיתקודמת 22:1922:19, 12 בפברואר 2019‏ ינון גלעדי שיחה תרומות‏ 2,675 בתים +1‏ ←‏הוכחות פורמליות ביטול
• נוכחיתקודמת 22:1822:18, 12 בפברואר 2019‏ ינון גלעדי שיחה תרומות‏ 2,674 בתים +192‏ ←‏הוכחות פורמליות ביטול

4 בספטמבר 2018

• נוכחיתקודמת 11:0911:09, 4 בספטמבר 2018‏ KotzBot שיחה תרומות‏ מ 2,482 בתים +53‏ הוספת פרק קישורים חיצוניים + תבנית:MathWorld (בערכים בהם אין קישורים חיצוניים) (תג) (דיון) ביטול

23 במאי 2017

• נוכחיתקודמת 05:2305:23, 23 במאי 2017‏ KotzBot שיחה תרומות‏ מ 2,429 בתים 0‏ סדר תבניות בסוף הערך (בוט סדר הפרקים) ביטול

27 במאי 2014

• נוכחיתקודמת 02:5702:57, 27 במאי 2014‏ Matanyabot שיחה תרומות‏ מ 2,429 בתים −8‏ בוט: החלפת טקסט אוטומטית (-{{נ}} +) ביטול

27 בפברואר 2013

• נוכחיתקודמת 14:4214:42, 27 בפברואר 2013‏ Legobot שיחה תרומות‏ מ 2,437 בתים −34‏ בוט: מעביר קישורי בינויקי לויקינתונים - d:q852732 ביטול
• נוכחיתקודמת 08:4008:40, 27 בפברואר 2013‏ Addbot שיחה תרומות‏ מ 2,471 בתים −439‏ בוט: מעביר קישורי בינויקי לויקינתונים - d:q852732 ביטול

20 בדצמבר 2012

• נוכחיתקודמת 02:3102:31, 20 בדצמבר 2012‏ ZéroBot שיחה תרומות‏ מ 2,910 בתים +33‏ r2.7.1) (בוט מוסיף: ca:Teoria de la demostració ביטול

26 באוגוסט 2012

• נוכחיתקודמת 13:5613:56, 26 באוגוסט 2012‏ EmausBot שיחה תרומות‏ מ 2,877 בתים 0‏ r2.7.2+) (בוט משנה: pt:Teoria da prova ביטול

11 ביולי 2012

• נוכחיתקודמת 17:2617:26, 11 ביולי 2012‏ ZéroBot שיחה תרומות‏ מ 2,877 בתים +34‏ r2.7.1) (בוט מוסיף: it:Teoria della dimostrazione ביטול

8 במרץ 2012

• נוכחיתקודמת 20:1020:10, 8 במרץ 2012‏ Ptbotgourou שיחה תרומות‏ מ 2,843 בתים +1‏ r2.6.5) (בוט משנה: ko:증명 이론 ביטול

11 בינואר 2012

• נוכחיתקודמת 23:5623:56, 11 בינואר 2012‏ Rezabot שיחה תרומות‏ מ 2,842 בתים +18‏ r2.7.1) (בוט מוסיף: sv:Bevisteori ביטול

8 בדצמבר 2011

• נוכחיתקודמת 05:3805:38, 8 בדצמבר 2011‏ Luckas-bot שיחה תרומות‏ מ 2,824 בתים +23‏ r2.7.1) (בוט מוסיף: pt:Teoria da Prova ביטול

24 במאי 2011

• נוכחיתקודמת 23:3623:36, 24 במאי 2011‏ דניאל ב. שיחה תרומות‏ 2,801 בתים +38‏ ←‏עריכת הפתיח ביטול

20 בדצמבר 2009

• נוכחיתקודמת 21:3821:38, 20 בדצמבר 2009‏ Gadial שיחה תרומות‏ מ 2,763 בתים +8‏ נבדק; ערך סביר, אם כי שטחי להחריד ביטול

14 במרץ 2009

• נוכחיתקודמת 19:4219:42, 14 במרץ 2009‏ דוד שי שיחה תרומות‏ מ 2,755 בתים +24‏ אין תקציר עריכה ביטול

24 בספטמבר 2008

• נוכחיתקודמת 01:0501:05, 24 בספטמבר 2008‏ Alexbot שיחה תרומות‏ מ 2,731 בתים +21‏ בוט מוסיף: nl:Bewijstheorie ביטול

16 ביוני 2008

• נוכחיתקודמת 11:2211:22, 16 ביוני 2008‏ Thijs!bot שיחה תרומות‏ מ 2,710 בתים +64‏ בוט מוסיף: ja:証明論, ru:Теория доказательств ביטול

6 במרץ 2008

• נוכחיתקודמת 17:0517:05, 6 במרץ 2008‏ Ripper234~hewiki שיחה תרומות‏ 2,646 בתים −29‏ ←‏הוכחות פורמליות: תיקון קישור לאקסיומה ביטול

10 בדצמבר 2007

• נוכחיתקודמת 14:3014:30, 10 בדצמבר 2007‏ Ripper234~hewiki שיחה תרומות‏ 2,675 בתים +17‏ ←‏משפטים חשובים: קישור לכריעות ביטול

2 בדצמבר 2007

• נוכחיתקודמת 20:1220:12, 2 בדצמבר 2007‏ OKBot שיחה תרומות‏ מ 2,658 בתים +29‏ בוט מוסיף: fa:نظریه برهان ביטול

3 באוקטובר 2007

• נוכחיתקודמת 08:0708:07, 3 באוקטובר 2007‏ דוד שי שיחה תרומות‏ מ 2,629 בתים +30‏ אין תקציר עריכה ביטול

30 ביולי 2007

• נוכחיתקודמת 21:0821:08, 30 ביולי 2007‏ AlnoktaBOT שיחה תרומות‏ מ 2,599 בתים +33‏ רובוט מוסיף: ar:نظرية البرهان ביטול

19 ביוני 2007

• נוכחיתקודמת 12:3012:30, 19 ביוני 2007‏ Escarbot שיחה תרומות‏ מ 2,566 בתים +45‏ רובוט מוסיף: bn:প্রমাণ তত্ত্ব ביטול

11 בפברואר 2007

• נוכחיתקודמת 07:5207:52, 11 בפברואר 2007‏ Yonidebot שיחה תרומות‏ מ 2,521 בתים 0‏ בוט: תיקון קצרמר ביטול

18 בינואר 2007

• נוכחיתקודמת 14:5014:50, 18 בינואר 2007‏ Thijs!bot שיחה תרומות‏ מ 2,521 בתים +152‏ רובוט מוסיף: de, es, fr, ko, pl, zh ביטול

14 באוקטובר 2006

• נוכחיתקודמת 23:0123:01, 14 באוקטובר 2006‏ עוזי ו. שיחה תרומות‏ 2,369 בתים +687‏ שכתוב חלקי ביטול

13 באוקטובר 2006

• נוכחיתקודמת 20:5020:50, 13 באוקטובר 2006‏ Gadial שיחה תרומות‏ מ 1,682 בתים −34‏ אנחנו מביעים פקפוק בעצמנו בתוך הערך? ביטול
• נוכחיתקודמת 14:1614:16, 13 באוקטובר 2006‏ Ripper234~hewiki שיחה תרומות‏ 1,716 בתים +20‏ אין תקציר עריכה ביטול
• נוכחיתקודמת 14:0814:08, 13 באוקטובר 2006‏ Ripper234~hewiki שיחה תרומות‏ 1,696 בתים −2‏ איות ביטול
• נוכחיתקודמת 14:0314:03, 13 באוקטובר 2006‏ Ripper234~hewiki שיחה תרומות‏ 1,698 בתים −2‏ קטגוריה: לוגיקה מתימטית -> לוגיקה מתמטית ביטול
• נוכחיתקודמת 14:0214:02, 13 באוקטובר 2006‏ Ripper234~hewiki שיחה תרומות‏ 1,700 בתים +1,700‏ הגדרה, כמה משפטים