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

15 באפריל 2024

• נוכחיתקודמת 17:3117:31, 15 באפריל 2024‏ גלברט בליית' שיחה תרומות‏ מ 11,610 בתים +79‏ הוספת קישורים ביטול תגית: עריכה חזותית

25 במרץ 2024

• נוכחיתקודמת 18:0518:05, 25 במרץ 2024‏ יהודה שמחה ולדמן שיחה תרומות‏ 11,531 בתים −36‏ הגהה, תיקון קישורים ביטול

7 בדצמבר 2022

• נוכחיתקודמת 09:2009:20, 7 בדצמבר 2022‏ דוד שי שיחה תרומות‏ מ 11,567 בתים +4‏ קישורים פנימיים ביטול

25 בנובמבר 2021

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

7 בנובמבר 2021

• נוכחיתקודמת 17:3317:33, 7 בנובמבר 2021‏ יחס הזהב שיחה תרומות‏ 11,536 בתים +10‏ ניקוד ביטול

9 באוקטובר 2020

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

25 ביולי 2020

• נוכחיתקודמת 20:5320:53, 25 ביולי 2020‏ Bustan1498 שיחה תרומות‏ 11,503 בתים +299‏ סידור ביטול תגית: עריכה חזותית

2 ביולי 2020

• נוכחיתקודמת 16:0116:01, 2 ביולי 2020‏ אכן שיחה תרומות‏ מ 11,204 בתים 0‏ תקלדה ביטול תגית: עריכה חזותית

22 בספטמבר 2019

• נוכחיתקודמת 00:1500:15, 22 בספטמבר 2019‏ ידידיה צ' צבאן שיחה תרומות‏ 11,204 בתים +41‏ אני צודק? ביטול תגית: עריכת קוד מקור 2017

13 באוגוסט 2019

• נוכחיתקודמת 01:1801:18, 13 באוגוסט 2019‏ Tzafrir שיחה תרומות‏ מ 11,163 בתים −4‏ אין תקציר עריכה ביטול
• נוכחיתקודמת 01:1701:17, 13 באוגוסט 2019‏ Tzafrir שיחה תרומות‏ 11,167 בתים −2‏ אין תקציר עריכה ביטול

12 באוגוסט 2019

• נוכחיתקודמת 19:1319:13, 12 באוגוסט 2019‏ יוניון ג'ק שיחה תרומות‏ 11,169 בתים +20‏ אין תקציר עריכה ביטול

11 באוגוסט 2019

• נוכחיתקודמת 13:3013:30, 11 באוגוסט 2019‏ עוזי ו. שיחה תרומות‏ 11,149 בתים −870‏ פיזור הערפל ביטול
• נוכחיתקודמת 12:2012:20, 11 באוגוסט 2019‏ 182.232.53.33 שיחה‏ 12,019 בתים +4‏ מה זה מערכת פורמלית? האם הכוונה ל"מבנה שפתי בתקנון לוגיקה מתמטית?" קישור פנימי נדרש. כמו כן, ישנה בקשת הבהרה נוספת שטרם זכתה להתייחסות. תודה. ביטול

10 באוגוסט 2019

• נוכחיתקודמת 22:2522:25, 10 באוגוסט 2019‏ עוזי ו. שיחה תרומות‏ 12,015 בתים −12‏ אין תקציר עריכה ביטול
• נוכחיתקודמת 11:0411:04, 10 באוגוסט 2019‏ 182.232.171.27 שיחה‏ 12,027 בתים +49‏ אין תקציר עריכה ביטול

8 באוגוסט 2019

• נוכחיתקודמת 21:1021:10, 8 באוגוסט 2019‏ 182.232.37.239 שיחה‏ 11,978 בתים +24‏ אין תקציר עריכה ביטול
• נוכחיתקודמת 21:0921:09, 8 באוגוסט 2019‏ 182.232.37.239 שיחה‏ 11,954 בתים +4‏ אין תקציר עריכה ביטול
• נוכחיתקודמת 21:0921:09, 8 באוגוסט 2019‏ 182.232.37.239 שיחה‏ 11,950 בתים +10‏ אין תקציר עריכה ביטול
• נוכחיתקודמת 19:4219:42, 8 באוגוסט 2019‏ 182.232.37.239 שיחה‏ 11,940 בתים +381‏ בקשת הבהרה זהירה במיוחד במקרה של ספק עודף טרמינולוגיה. ביטול
• נוכחיתקודמת 19:1319:13, 8 באוגוסט 2019‏ 182.232.37.239 שיחה‏ 11,559 בתים +4‏ המידע שבהערת הסוגריים העוקבת אמור להופיע בערך פרדיקט שטרם נכתב ולדעתי ראוי לבוא שכר רוחני גדול על בר סמכא שיכתובו לפחות לעת עתה כצקרמר קליל. ביטול
• נוכחיתקודמת 15:5615:56, 8 באוגוסט 2019‏ עוזי ו. שיחה תרומות‏ 11,555 בתים +118‏ אין תקציר עריכה ביטול

7 באוגוסט 2019

• נוכחיתקודמת 20:0220:02, 7 באוגוסט 2019‏ עוזי ו. שיחה תרומות‏ 11,437 בתים +7‏ ←‏פתיח ביטול

28 במאי 2019

• נוכחיתקודמת 12:2312:23, 28 במאי 2019‏ 182.232.177.138 שיחה‏ 11,430 בתים +98‏ לא ברור אם יש קשר הקשרי בין נשוא לבין פרדיקט בהקשר זה. אני מבקש ממשתמש בעל ידע נרחב בנושא כמו עוזי ו. לנסות לשכתב מעט את הפתיח ביטול

18 באפריל 2019

• נוכחיתקודמת 19:1219:12, 18 באפריל 2019‏ Shalevku שיחה תרומות‏ 11,332 בתים −5‏ ←‏הצרנה של פסוקים יסודיים: כתיב ביטול תגיות: עריכה ממכשיר נייד עריכה דרך האתר הנייד

18 באוקטובר 2018

• נוכחיתקודמת 08:3308:33, 18 באוקטובר 2018‏ Nittai Gallili שיחה תרומות‏ מ 11,337 בתים −15‏ שוחזר מעריכות של 185.32.176.90 (שיחה) לעריכה האחרונה של CommonsDelinker ביטול תגית: שחזור
• נוכחיתקודמת 08:3108:31, 18 באוקטובר 2018‏ 185.32.176.90 שיחה‏ 11,352 בתים +15‏ אין תקציר עריכה ביטול תגיות: עריכה ממכשיר נייד עריכה דרך האתר הנייד

15 במרץ 2018

• נוכחיתקודמת 15:4615:46, 15 במרץ 2018‏ CommonsDelinker שיחה תרומות‏ 11,337 בתים +5‏ בוט: מחליף את הקובץ תמונה:Predicate_logic;_2_variables;_implications.svg בקובץ תמונה:Cocoon_concertina_square_graph;_matrix_sketches.svg ביטול

21 בפברואר 2018

• נוכחיתקודמת 10:0710:07, 21 בפברואר 2018‏ Orielno Bot שיחה תרומות‏ מ 11,332 בתים −27‏ clean up, replaced: מתימט ← מתמט באמצעות AWB ביטול

30 בנובמבר 2017

• נוכחיתקודמת 20:2020:20, 30 בנובמבר 2017‏ AutoIKhitron שיחה תרומות‏ 11,359 בתים +36‏ clean up באמצעות AWB ביטול

19 באוקטובר 2017

• נוכחיתקודמת 21:4221:42, 19 באוקטובר 2017‏ פיצקוש שיחה תרומות‏ מ 11,323 בתים 0‏ תקלדה ביטול תגית: עריכה חזותית

24 ביולי 2017

• נוכחיתקודמת 08:4408:44, 24 ביולי 2017‏ KotzBot שיחה תרומות‏ מ 11,323 בתים +71‏ הוספת שורת קישורים חיצוניים ותחתיה {{תב|ויקישיתוף בשורה}} במידה וחסר (תג) (דיון) ביטול

6 באפריל 2017

• נוכחיתקודמת 16:1516:15, 6 באפריל 2017‏ Matanyabot שיחה תרומות‏ מ 11,252 בתים −2‏ בוט החלפות: , ביטול

25 בינואר 2017

• נוכחיתקודמת 10:4510:45, 25 בינואר 2017‏ 185.120.125.16 שיחה‏ 11,254 בתים 0‏ ←‏הצרנה של פסוקים יסודיים: הגהה ביטול תגית: עריכה חזותית

28 בינואר 2016

• נוכחיתקודמת 13:4213:42, 28 בינואר 2016‏ KotzBot שיחה תרומות‏ מ 11,254 בתים +102‏ תיקון פרמטר בתמונה* ביטול

31 באוקטובר 2015

• נוכחיתקודמת 14:3414:34, 31 באוקטובר 2015‏ EranBot שיחה תרומות‏ מ 11,152 בתים −26‏ בוט: החלפת טקסט אוטומטית (-\[\[(.+)\|\1\]\] +\1) ביטול

26 בספטמבר 2015

• נוכחיתקודמת 00:4300:43, 26 בספטמבר 2015‏ 79.182.185.244 שיחה‏ 11,178 בתים 0‏ ←‏הצרנה של פסוקים יסודיים: תיקון טעות הקלדה, הסימן המשומש הוא R ולא F., , תקלדה ביטול תגית: עריכה חזותית

17 בינואר 2015

• נוכחיתקודמת 18:5318:53, 17 בינואר 2015‏ 37.46.38.179 שיחה‏ 11,178 בתים −5‏ ←‏דוגמאות: שגיאות לשון ביטול תגית: עריכה חזותית

10 בדצמבר 2013

• נוכחיתקודמת 15:3315:33, 10 בדצמבר 2013‏ מנחם שלמה שיחה תרומות‏ מ 11,183 בתים −2‏ ←‏הצרנה של פסוקים יסודיים ביטול תגית: עריכה חזותית
• נוכחיתקודמת 15:3115:31, 10 בדצמבר 2013‏ מנחם שלמה שיחה תרומות‏ מ 11,185 בתים −2‏ ←‏הצרנה של פסוקים יסודיים ביטול תגית: עריכה חזותית

1 בדצמבר 2013

• נוכחיתקודמת 23:1723:17, 1 בדצמבר 2013‏ Marcus Cyron שיחה תרומות‏ מ 11,187 בתים +16‏ (Script) File renamed: File:Predicate logic; 2 variables; E2f.svg → File:Predicate logic; 2 variables; example matrix e1a2.svg File renaming criterion #6: Harmonize file names of a set of images (... ביטול
• נוכחיתקודמת 23:1723:17, 1 בדצמבר 2013‏ Marcus Cyron שיחה תרומות‏ מ 11,171 בתים +16‏ (Script) File renamed: File:Predicate logic; 2 variables; E1f.svg → File:Predicate logic; 2 variables; example matrix e2a1.svg File renaming criterion #6: Harmonize file names of a set of images (... ביטול
• נוכחיתקודמת 23:1723:17, 1 בדצמבר 2013‏ Marcus Cyron שיחה תרומות‏ מ 11,155 בתים +15‏ (Script) File renamed: File:Predicate logic; 2 variables; A2ne.svg → File:Predicate logic; 2 variables; example matrix a1e2.svg File renaming criterion #6: Harmonize file names of a set of images ... ביטול
• נוכחיתקודמת 23:1723:17, 1 בדצמבר 2013‏ Marcus Cyron שיחה תרומות‏ מ 11,140 בתים +15‏ (Script) File renamed: File:Predicate logic; 2 variables; A1ne.svg → File:Predicate logic; 2 variables; example matrix a2e1.svg File renaming criterion #6: Harmonize file names of a set of images ... ביטול
• נוכחיתקודמת 23:0923:09, 1 בדצמבר 2013‏ Marcus Cyron שיחה תרומות‏ מ 11,125 בתים +14‏ (Script) File renamed: File:Predicate logic; 2 variables; 12ne.svg → File:Predicate logic; 2 variables; example matrix e12.svg File renaming criterion #6: Harmonize file names of a set of images (... ביטול
• נוכחיתקודמת 23:0923:09, 1 בדצמבר 2013‏ Marcus Cyron שיחה תרומות‏ מ 11,111 בתים +15‏ (Script) File renamed: File:Predicate logic; 2 variables; 12f.svg → File:Predicate logic; 2 variables; example matrix a12.svg File renaming criterion #6: Harmonize file names of a set of images (s... ביטול
• נוכחיתקודמת 23:0723:07, 1 בדצמבר 2013‏ Marcus Cyron שיחה תרומות‏ מ 11,096 בתים +11‏ (Script) File renamed: File:Predicate logic; 2 variables; 12diag ne.svg → File:Predicate logic; 2 variables; example matrix e(12).svg File renaming criterion #6: Harmonize file names of a set of i... ביטול
• נוכחיתקודמת 23:0723:07, 1 בדצמבר 2013‏ Marcus Cyron שיחה תרומות‏ מ 11,085 בתים +12‏ (Script) File renamed: File:Predicate logic; 2 variables; 12diag f.svg → File:Predicate logic; 2 variables; example matrix a(12).svg File renaming criterion #6: Harmonize file names of a set of im... ביטול

30 בנובמבר 2013

• נוכחיתקודמת 20:5920:59, 30 בנובמבר 2013‏ 188.64.200.7 שיחה‏ 11,073 בתים −2‏ אין תקציר עריכה ביטול

10 באוקטובר 2013

• נוכחיתקודמת 09:0409:04, 10 באוקטובר 2013‏ Yoavd שיחה תרומות‏ מ 11,075 בתים −1‏ ←‏תחביר של תחשיב הפרדיקטים ביטול תגית: עריכה חזותית