שפה מסדר ראשון: היסטוריית גרסאות

7 באוקטובר 2019

• נוכחיתקודמת 23:3423:34, 7 באוקטובר 2019‏ GuySh שיחה תרומות‏ מ 9,547 בתים +30‏ ←‏המבנה של שפה מסדר ראשון ביטול

12 באוגוסט 2019

• נוכחיתקודמת 19:2619:26, 12 באוגוסט 2019‏ יוניון ג'ק שיחה תרומות‏ 9,517 בתים +4‏ ←‏המבנה של שפה מסדר ראשון ביטול

8 באוגוסט 2019

• נוכחיתקודמת 16:2016:20, 8 באוגוסט 2019‏ 182.232.48.0 שיחה‏ 9,513 בתים +5‏ ירידת שורה להקלה בעומס פוטנציאלי בעת הקריאה. ביטול
• נוכחיתקודמת 16:2016:20, 8 באוגוסט 2019‏ 182.232.48.0 שיחה‏ 9,508 בתים +64‏ ניסוח ביטול

7 באוגוסט 2019

• נוכחיתקודמת 18:1218:12, 7 באוגוסט 2019‏ עוזי ו. שיחה תרומות‏ 9,444 בתים +253‏ אין תקציר עריכה ביטול
• נוכחיתקודמת 17:4317:43, 7 באוגוסט 2019‏ עוזי ו. שיחה תרומות‏ 9,191 בתים −132‏ ביטול גרסה 26050512: אי אפשר להסביר מושכלות יסוד של לוגיקה מתמטית בפסקה אחת קצרה ביטול תגית: ביטול
• נוכחיתקודמת 16:5316:53, 7 באוגוסט 2019‏ 182.232.48.0 שיחה‏ 9,323 בתים +132‏ אני מניח שמתן הערך למשתנה בהקשר זה דומה ל assignment. כמו כן ביקשתי הבהרה נוספת. עוזי, אני מבקש את מעברך על העריכה. תודה. ביטול
• נוכחיתקודמת 16:1116:11, 7 באוגוסט 2019‏ 182.232.48.0 שיחה‏ 9,191 בתים +12‏ אני חושב שבניסוח הקודם לא היה ברור שהמשפט הבא אומר זאת. ערכתי כדי להבהיר שהמשפט הבא מהווה הסבר לקודמו. ביטול
• נוכחיתקודמת 15:4415:44, 7 באוגוסט 2019‏ עוזי ו. שיחה תרומות‏ 9,179 בתים −278‏ זה בדיוק מה שאומר המשפט הבא ביטול
• נוכחיתקודמת 15:2915:29, 7 באוגוסט 2019‏ 182.232.48.0 שיחה‏ 9,457 בתים +278‏ אין תקציר עריכה ביטול

26 במאי 2019

• נוכחיתקודמת 10:5110:51, 26 במאי 2019‏ עוזי ו. שיחה תרומות‏ 9,179 בתים −3‏ ←‏פתיח ביטול

14 בנובמבר 2018

• נוכחיתקודמת 20:3520:35, 14 בנובמבר 2018‏ Texvc2LaTeXBot שיחה תרומות‏ מ 9,182 בתים +2‏ החלפת קוד LaTeX מיושן mw:Extension:Math/Roadmap ביטול

9 באוגוסט 2018

• נוכחיתקודמת 12:0612:06, 9 באוגוסט 2018‏ KotzBot שיחה תרומות‏ מ 9,180 בתים −2‏ הסרת רווחים מיותרים לפני שם הקטגוריה (תג) (דיון) ביטול

5 בינואר 2018

• נוכחיתקודמת 13:5413:54, 5 בינואר 2018‏ 62.219.123.180 שיחה‏ 9,182 בתים −9‏ ←‏המבנה של שפה מסדר ראשון: ניסוח ביטול תגית: עריכה חזותית

28 בנובמבר 2017

• נוכחיתקודמת 18:0418:04, 28 בנובמבר 2017‏ Orielno שיחה תרומות‏ מ 9,191 בתים −2‏ ←‏המבנה של שפה מסדר ראשון: clean up, replaced: הינה ← היא באמצעות AWB ביטול

5 באוקטובר 2017

• נוכחיתקודמת 15:3615:36, 5 באוקטובר 2017‏ Uziel302 שיחה תרומות‏ 9,193 בתים +102‏ ←‏ראו גם: אנציקלופדיה למתמטיקה ביטול

6 בפברואר 2016

• נוכחיתקודמת 06:2606:26, 6 בפברואר 2016‏ VirtuOZ שיחה תרומות‏ 9,091 בתים +167‏ הוספת קישורים פנימיים והגהה (בעיקר של פיסוק): המרת מקפים בקווים מפרידים, ביטול רווח בין מקף לאות אנגלית, הסרת פיסוק בסוף פריטי רשימת תבליטים. ביטול תגית: עריכה חזותית

13 בינואר 2016

• נוכחיתקודמת 06:0806:08, 13 בינואר 2016‏ Phantom147 שיחה תרומות‏ 8,924 בתים +24‏ ←‏פינת המשל ביטול תגית: עריכה חזותית

1 בדצמבר 2015

• נוכחיתקודמת 12:5212:52, 1 בדצמבר 2015‏ 82.80.22.138 שיחה‏ 8,900 בתים +5‏ ←‏פינת המשל ביטול

3 בדצמבר 2014

• נוכחיתקודמת 01:5201:52, 3 בדצמבר 2014‏ Matanyabot שיחה תרומות‏ מ 8,895 בתים +2‏ בוט החלפות: \1תיאור\2 ביטול

24 באוגוסט 2014

• נוכחיתקודמת 15:1715:17, 24 באוגוסט 2014‏ בריאן שיחה תרומות‏ מ 8,893 בתים +22‏ ←‏פינת המשל: קישורים פנימיים ביטול

14 ביוני 2014

• נוכחיתקודמת 20:0120:01, 14 ביוני 2014‏ דניאל ב. שיחה תרומות‏ 8,871 בתים +26‏ ←‏המבנה של שפה מסדר ראשון ביטול

6 ביוני 2014

• נוכחיתקודמת 00:1800:18, 6 ביוני 2014‏ CodeGuru שיחה תרומות‏ מ 8,845 בתים 0‏ ←‏המבנה של שפה מסדר ראשון ביטול תגית: עריכה חזותית

4 בספטמבר 2013

• נוכחיתקודמת 05:2505:25, 4 בספטמבר 2013‏ Matanyabot שיחה תרומות‏ מ 8,845 בתים −2‏ בוט החלפות: כדי, פונקציית, דוגמת ביטול

16 ביוני 2013

• נוכחיתקודמת 13:3813:38, 16 ביוני 2013‏ ArikVirus שיחה תרומות‏ 8,847 בתים −2‏ ←‏המבנה של שפה מסדר ראשון ביטול

17 במאי 2013

• נוכחיתקודמת 13:3813:38, 17 במאי 2013‏ 194.90.167.192 שיחה‏ 8,849 בתים +621‏ אין תקציר עריכה ביטול
• נוכחיתקודמת 13:3313:33, 17 במאי 2013‏ 194.90.167.192 שיחה‏ 8,228 בתים +6‏ אין תקציר עריכה ביטול
• נוכחיתקודמת 13:3313:33, 17 במאי 2013‏ 194.90.167.192 שיחה‏ 8,222 בתים −210‏ ←‏המבנה של שפה מסדר ראשון ביטול
• נוכחיתקודמת 13:2813:28, 17 במאי 2013‏ 194.90.167.192 שיחה‏ 8,432 בתים +929‏ ←‏המבנה של שפה מסדר ראשון ביטול

27 בפברואר 2013

• נוכחיתקודמת 08:0708:07, 27 בפברואר 2013‏ Addbot שיחה תרומות‏ מ 7,503 בתים −631‏ בוט: מעביר קישורי בינויקי לויקינתונים - d:q4055684 ביטול

8 בפברואר 2013

• נוכחיתקודמת 13:1913:19, 8 בפברואר 2013‏ Matanyabot שיחה תרומות‏ מ 8,134 בתים −2‏ בוט החלפות: מסוי\1 ביטול

3 בפברואר 2013

• נוכחיתקודמת 20:0220:02, 3 בפברואר 2013‏ גלעד ניר שיחה תרומות‏ 8,136 בתים −40‏ ←‏המבנה של שפה מסדר ראשון: עריכה ביטול
• נוכחיתקודמת 20:0120:01, 3 בפברואר 2013‏ גלעד ניר שיחה תרומות‏ 8,176 בתים +243‏ עריכה ביטול
• נוכחיתקודמת 19:5819:58, 3 בפברואר 2013‏ גלעד ניר שיחה תרומות‏ 7,933 בתים +362‏ עריכה, הרחבה ביטול

24 באוקטובר 2012

• נוכחיתקודמת 12:2112:21, 24 באוקטובר 2012‏ Shay Ben Moshe שיחה תרומות‏ מ 7,571 בתים +34‏ אין תקציר עריכה ביטול

19 באוקטובר 2012

• נוכחיתקודמת 19:0819:08, 19 באוקטובר 2012‏ דניאל ב. שיחה תרומות‏ מ 7,537 בתים −60‏ שוחזר מעריכות של Nanoo (שיחה) לעריכה האחרונה של 212.46.189.85 ביטול

18 באוקטובר 2012

• נוכחיתקודמת 21:5421:54, 18 באוקטובר 2012‏ רועי.ס שיחה תרומות‏ 7,597 בתים +3‏ ←‏המבנה של שפה מסדר ראשון ביטול
• נוכחיתקודמת 21:5121:51, 18 באוקטובר 2012‏ רועי.ס שיחה תרומות‏ 7,594 בתים +57‏ ←‏המבנה של שפה מסדר ראשון ביטול

21 ביולי 2012

• נוכחיתקודמת 23:2123:21, 21 ביולי 2012‏ 212.46.189.85 שיחה‏ 7,537 בתים +40‏ ←‏המבנה של שפה מסדר ראשון ביטול

19 ביוני 2012

• נוכחיתקודמת 23:4223:42, 19 ביוני 2012‏ דניאל ב. שיחה תרומות‏ 7,497 בתים +20‏ ←‏עריכת הפתיח: יש עוד תחשיבי פסוקים ביטול

10 במאי 2012

• נוכחיתקודמת 03:2903:29, 10 במאי 2012‏ MerlIwBot שיחה תרומות‏ מ 7,477 בתים +37‏ בוט מוסיף: de:Prädikatenlogik erster Stufe ביטול

10 באפריל 2012

• נוכחיתקודמת 21:5321:53, 10 באפריל 2012‏ דניאל ב. שיחה תרומות‏ מ 7,440 בתים +39‏ ←‏המבנה של שפה מסדר ראשון ביטול
• נוכחיתקודמת 21:4821:48, 10 באפריל 2012‏ דניאל ב. שיחה תרומות‏ מ 7,401 בתים −2‏ שחזור. כדאי להדגים פסוק שקר ונקודותיים אינן נחוצות ביטול

15 במרץ 2012

• נוכחיתקודמת 20:0120:01, 15 במרץ 2012‏ רועי.ס שיחה תרומות‏ 7,403 בתים +2‏ ←‏המבנה של שפה מסדר ראשון ביטול
• נוכחיתקודמת 20:0020:00, 15 במרץ 2012‏ רועי.ס שיחה תרומות‏ 7,401 בתים 0‏ ←‏המבנה של שפה מסדר ראשון ביטול

24 באוקטובר 2011

• נוכחיתקודמת 06:0406:04, 24 באוקטובר 2011‏ ChuispastonBot שיחה תרומות‏ מ 7,401 בתים +43‏ r2.7.1) (בוט מוסיף: kk:Предикаттық логика ביטול

16 בספטמבר 2011

• נוכחיתקודמת 11:4411:44, 16 בספטמבר 2011‏ JAnDbot שיחה תרומות‏ מ 7,358 בתים −253‏ r2.5.2) (בוט מוסיף: el מסיר: af, de, et, fi, fr, hu, ja, mk, nl, simple, sk משנה: zh ביטול

23 ביוני 2011

• נוכחיתקודמת 22:2422:24, 23 ביוני 2011‏ MerlIwBot שיחה תרומות‏ מ 7,611 בתים +368‏ בוט מוסיף: sk:Predikátová logika,fr:Calcul des prédicats,ko:1차 논리,af:Predikaatlogika,mk:Предикатна логика,fi:Predikaattilogiikka,hu:Elsőrendű logika,uk,et,de,ja,simple,nl ביטול

2 באוקטובר 2010

• נוכחיתקודמת 00:3200:32, 2 באוקטובר 2010‏ 132.64.37.240 שיחה‏ 7,243 בתים +408‏ ←‏ראו גם ביטול

25 במרץ 2010

• נוכחיתקודמת 23:2623:26, 25 במרץ 2010‏ דניאל ב. שיחה תרומות‏ 6,835 בתים −441‏ ,תיקון בינוויקי ביטול