תחשיב הפסוקים: היסטוריית גרסאות

11 בדצמבר 2023

• נוכחיתקודמת 18:1318:13, 11 בדצמבר 2023‏ נדב ס שיחה תרומות‏ מ 21,189 בתים +13‏ \and -> \land, \or -> \lor ביטול
• נוכחיתקודמת 18:1018:10, 11 בדצמבר 2023‏ נדב ס שיחה תרומות‏ מ 21,176 בתים +1‏ ←‏מערכות הוכחה ביטול

11 במאי 2023

• נוכחיתקודמת 03:0803:08, 11 במאי 2023‏ יהודה שמחה ולדמן שיחה תרומות‏ מ 21,175 בתים −37‏ ←‏מערכות הוכחה ביטול
• נוכחיתקודמת 03:0703:07, 11 במאי 2023‏ יהודה שמחה ולדמן שיחה תרומות‏ מ 21,212 בתים +26‏ ←‏מערכות הוכחה ביטול

7 במאי 2023

• נוכחיתקודמת 20:5920:59, 7 במאי 2023‏ יהודה שמחה ולדמן שיחה תרומות‏ 21,186 בתים −492‏ הגהה, תיקון קישורים, שיפוץ קודים מתמטיים ביטול תגית: גרשיים שגויים

23 בינואר 2023

• נוכחיתקודמת 18:5818:58, 23 בינואר 2023‏ OHALON שיחה תרומות‏ 21,678 בתים −76‏ הסרת תווים בלתי נראים ביטול תגית: צ'קטי

2 באוקטובר 2022

• נוכחיתקודמת 18:5018:50, 2 באוקטובר 2022‏ Tzafrir שיחה תרומות‏ 21,754 בתים −51‏ ביטול גרסה 34786267 של ברק דיבה (שיחה) – יש ערך נפרד על תחשיב הפרדיקטים ביטול תגיות: תו כיווניות מפורש ביטול
• נוכחיתקודמת 18:3718:37, 2 באוקטובר 2022‏ ברק דיבה שיחה תרומות‏ 21,805 בתים +51‏ אין תקציר עריכה ביטול תגיות: תו כיווניות מפורש שוחזרה עריכה חזותית

6 ביוני 2022

• נוכחיתקודמת 11:0711:07, 6 ביוני 2022‏ KotzBot שיחה תרומות‏ מ 21,754 בתים +89‏ הוספת דפים לקטגוריה:ערכים שבהם תבנית בריטניקה אינה מתאימה כדי שלא יטופלו, אם בראש הערך בבריטניקה קיים המשפט "Learn about this topic" (תג) ביטול

1 באפריל 2022

• נוכחיתקודמת 02:1702:17, 1 באפריל 2022‏ Matanyabot שיחה תרומות‏ מ 21,665 בתים −5‏ בוט החלפות: ביטול

25 בנובמבר 2021

• נוכחיתקודמת 10:3610:36, 25 בנובמבר 2021‏ KotzBot שיחה תרומות‏ מ 21,670 בתים +27‏ הטמעת תבנית:בקרת זהויות בערכים (תג) ביטול

13 באפריל 2021

• נוכחיתקודמת 14:2714:27, 13 באפריל 2021‏ DotanElse שיחה תרומות‏ מ 21,643 בתים +16‏ ניסוח במילים שלא התאימו לקונטקסט ביטול תגית: עריכה חזותית

1 בינואר 2021

• נוכחיתקודמת 04:0604:06, 1 בינואר 2021‏ Matanyabot שיחה תרומות‏ מ 21,627 בתים +2‏ בוט החלפות: \1מילים ביטול

19 בדצמבר 2020

• נוכחיתקודמת 12:0412:04, 19 בדצמבר 2020‏ KotzBot שיחה תרומות‏ מ 21,625 בתים −23‏ הסרת תבנית:בריטניקה בערכים כאשר היא רק דף הפניה. ראו שיחת תבנית:בריטניקה (תג) ביטול תגית: שחזור ידני

9 באוקטובר 2020

• נוכחיתקודמת 12:2012:20, 9 באוקטובר 2020‏ KotzBot שיחה תרומות‏ מ 21,648 בתים +23‏ הוספת תבנית:בריטניקה בקישורים חיצוניים (תג) ביטול תגית: שוחזרה

26 ביולי 2020

• נוכחיתקודמת 10:0610:06, 26 ביולי 2020‏ Bustan1498 שיחה תרומות‏ 21,625 בתים +161‏ ←‏הצרנה (פורמליזציה): סידור ביטול תגית: עריכה חזותית

4 ביולי 2020

• נוכחיתקודמת 08:3208:32, 4 ביולי 2020‏ KotzBot שיחה תרומות‏ מ 21,464 בתים +16‏ הוספת תבנית:MathWorld בקישורים חיצוניים (תג) ביטול

1 ביולי 2020

• נוכחיתקודמת 22:4422:44, 1 ביולי 2020‏ נדב ס שיחה תרומות‏ מ 21,448 בתים −68‏ אין תקציר עריכה ביטול תגיות: עריכה חזותית עריכה ממכשיר נייד עריכה דרך האתר הנייד עריכה מתקדמת מהנייד

9 בפברואר 2020

• נוכחיתקודמת 14:3214:32, 9 בפברואר 2020‏ הנדב הנכון שיחה תרומות‏ מ 21,516 בתים −73‏ אין תקציר עריכה ביטול תגית: עריכת קוד מקור 2017

10 באוגוסט 2019

• נוכחיתקודמת 12:3412:34, 10 באוגוסט 2019‏ Tzafrir שיחה תרומות‏ 21,589 בתים +45‏ הפתיח הקיים עדיף. ביטול תגית: תו כיווניות מפורש
• נוכחיתקודמת 11:0511:05, 10 באוגוסט 2019‏ 182.232.171.27 שיחה‏ 21,544 בתים +37‏ ←‏ראו גם ביטול
• נוכחיתקודמת 09:0909:09, 10 באוגוסט 2019‏ 182.232.171.27 שיחה‏ 21,507 בתים −2‏ ניסוח ביטול תגית: תו כיווניות מפורש
• נוכחיתקודמת 09:0909:09, 10 באוגוסט 2019‏ 182.232.171.27 שיחה‏ 21,509 בתים +4‏ הוספת קישור פנימי ביטול תגית: תו כיווניות מפורש
• נוכחיתקודמת 09:0809:08, 10 באוגוסט 2019‏ 182.232.171.27 שיחה‏ 21,505 בתים −47‏ הצעת ניסוח חלופי והוספת קישור פנימי ביטול תגית: תו כיווניות מפורש

30 בינואר 2019

• נוכחיתקודמת 19:3919:39, 30 בינואר 2019‏ גל ארגוב סופר שיחה תרומות‏ מ 21,552 בתים +3‏ הוספת רווחים לצורך קריאות טובה יותר ביטול תגית: עריכה חזותית
• נוכחיתקודמת 19:3819:38, 30 בינואר 2019‏ גל ארגוב סופר שיחה תרומות‏ מ 21,549 בתים +73‏ הרחבה ביטול תגית: עריכה חזותית

14 בנובמבר 2018

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

23 בספטמבר 2018

• נוכחיתקודמת 18:0418:04, 23 בספטמבר 2018‏ 5.29.215.30 שיחה‏ 21,474 בתים +29‏ ←‏טבלת האמת וסמנטיקה - משמעות המסקנות של תחשיבי פסוקים ביטול
• נוכחיתקודמת 17:4817:48, 23 בספטמבר 2018‏ 5.29.215.30 שיחה‏ 21,445 בתים +10‏ ←‏נוסחה בנויה כהלכה (נוסחה בנויה היטב) ביטול

9 באוגוסט 2018

• נוכחיתקודמת 12:0712:07, 9 באוגוסט 2018‏ KotzBot שיחה תרומות‏ מ 21,435 בתים −3‏ הסרת רווחים מיותרים לפני שם הקטגוריה (תג) (דיון) ביטול

3 ביולי 2018

• נוכחיתקודמת 14:3214:32, 3 ביולי 2018‏ עוזי ו. שיחה תרומות‏ 21,438 בתים −153‏ ביטול גרסה: סרבול שאינו מבהיר את המצב ביטול תגית: ביטול

2 ביולי 2018

• נוכחיתקודמת 19:5419:54, 2 ביולי 2018‏ 85.64.41.184 שיחה‏ 21,591 בתים +153‏ שינוי "או" ל-"ו/או", ביטול תגית: עריכה חזותית

14 ביוני 2018

• נוכחיתקודמת 11:2511:25, 14 ביוני 2018‏ 185.125.14.82 שיחה‏ 21,438 בתים +1‏ ←‏תחביר: שגיאת כתיב במילה "קוניוקציה" (חסרה נ'), תקלדה ביטול תגית: עריכה חזותית

27 באוקטובר 2017

• נוכחיתקודמת 21:4321:43, 27 באוקטובר 2017‏ WLior שיחה תרומות‏ מ 21,437 בתים 0‏ טענות מינן נקבה ביטול תגית: תו כיווניות מפורש

25 ביולי 2017

• נוכחיתקודמת 23:1423:14, 25 ביולי 2017‏ KotzBot שיחה תרומות‏ מ 21,437 בתים +71‏ הוספת שורת קישורים חיצוניים ותחתיה {{תב|ויקישיתוף בשורה}} במידה וחסר (תג) (דיון) ביטול

28 בנובמבר 2016

• נוכחיתקודמת 13:2713:27, 28 בנובמבר 2016‏ Tomtom שיחה תרומות‏ 21,366 בתים 0‏ אין תקציר עריכה ביטול

10 באוקטובר 2015

• נוכחיתקודמת 11:2611:26, 10 באוקטובר 2015‏ EranBot שיחה תרומות‏ מ 21,366 בתים −2‏ בוט החלפות: \1דע\2\3 ביטול

30 באוגוסט 2015

• נוכחיתקודמת 16:2916:29, 30 באוגוסט 2015‏ VirtuOZ שיחה תרומות‏ מ 21,368 בתים 0‏ VirtuOZ העביר את הדף תחשיב פסוקים ל־תחשיב הפסוקים תוך דריסת הפניה: ככל הידוע לי, יש רק תחשיב פסוקים אחד. ככה מצטטים אותו בוויקיפדיה, וכך גם... ביטול

21 באוגוסט 2015

• נוכחיתקודמת 21:4021:40, 21 באוגוסט 2015‏ VirtuOZ שיחה תרומות‏ 21,368 בתים +31‏ הגהה וקישורים פנימיים בפסקת המבוא. מחיקת רוב השורות הריקות ומעברי השורה המיותרים. ביטול תגית: עריכה חזותית

21 ביולי 2015

• נוכחיתקודמת 21:5121:51, 21 ביולי 2015‏ KotzBot שיחה תרומות‏ מ 21,337 בתים +56‏ הוספת פרק הערות שוליים ** ביטול
• נוכחיתקודמת 08:4308:43, 21 ביולי 2015‏ KotzBot שיחה תרומות‏ מ 21,281 בתים 0‏ הורדת שימוש בתג br* ביטול

12 ביולי 2015

• נוכחיתקודמת 22:3622:36, 12 ביולי 2015‏ 109.186.168.10 שיחה‏ 21,281 בתים −85‏ ←‏התחשיב וגבולותיו ביטול תגית: עריכה חזותית

10 ביולי 2015

• נוכחיתקודמת 11:4411:44, 10 ביולי 2015‏ 79.182.106.131 שיחה‏ 21,366 בתים 0‏ ←‏דוגמאות ךמערכות הוכחה ביטול תגית: עריכה חזותית

8 ביולי 2015

• נוכחיתקודמת 16:1216:12, 8 ביולי 2015‏ 192.114.23.208 שיחה‏ 21,366 בתים +41‏ ←‏התחשיב וגבולותיו ביטול תגית: עריכה חזותית

26 ביוני 2015

• נוכחיתקודמת 14:4414:44, 26 ביוני 2015‏ Pashute שיחה תרומות‏ מ 21,325 בתים −49‏ ←‏התחשיב וגבולותיו ביטול
• נוכחיתקודמת 14:3514:35, 26 ביוני 2015‏ Pashute שיחה תרומות‏ מ 21,374 בתים +310‏ עריכה נוספת חלוקה לסעיפים ביטול
• נוכחיתקודמת 14:2514:25, 26 ביוני 2015‏ Pashute שיחה תרומות‏ 21,064 בתים +4,304‏ אין תקציר עריכה ביטול תגית: גרשיים שגויים

25 ביוני 2015

• נוכחיתקודמת 12:1712:17, 25 ביוני 2015‏ Eyal1983 שיחה תרומות‏ 16,760 בתים 0‏ ←‏אקסיומות וכללי היסק ביטול תגית: עריכה חזותית

18 בדצמבר 2014

• נוכחיתקודמת 08:0208:02, 18 בדצמבר 2014‏ 46.120.25.94 שיחה‏ 16,760 בתים 0‏ ←‏סמנטיקה: הגהה ביטול

19 במרץ 2014

• נוכחיתקודמת 12:3512:35, 19 במרץ 2014‏ 132.64.25.129 שיחה‏ 16,760 בתים −248‏ אין תקציר עריכה ביטול תגית: עריכה חזותית