تاريخ «علم الدلالة الشكلي»

عرض سجلات هذه الصفحة (عرض سجل الإساءة)

تصفية المراجعات˂˅

حتى تاريخ:

مرشح الوسوم:

اعكس الاختيار

أدوات خارجية:

لأي مراجعة معروضة بالأسفل، اضغط على تاريخها لرؤيتها. للمزيد من المساعدة، انظر مساعدة:تاريخ الصفحة و مساعدة:ملخص التعديل.

(الحالي) = الفرق للنسخة الحالية، (السابق) = الفرق للنسخة السابقة، ط = تعديل طفيف، → = تعديل قسم، ← = ملخص تعديل تلقائي

الحاليالسابق 03:0203:02، 18 نوفمبر 2023‏ MaraBot نقاش مساهمات‏ 1٬286 بايت +35‏ تجربة : أعمال صيانة : تراجع [فحصت تلقائيا]

الحاليالسابق 01:4301:43، 11 يوليو 2023‏ MenoBot نقاش مساهمات‏ ط 1٬251 بايت +1‏ بوت: إصلاح أخطاء فحص ويكيبيديا من 1 إلى 104 تراجع وسم: أوتوويكي براوزر [فحصت تلقائيا]

الحاليالسابق 18:0118:01، 26 أبريل 2021‏ Meno25 نقاش مساهمات‏ 1٬250 بايت −2‏ لا ملخص تعديل تراجع [فحصت تلقائيا]

الحاليالسابق 20:5420:54، 23 مارس 2021‏ JarBot نقاش مساهمات‏ ط 1٬252 بايت +1‏ بوت:إصلاح رابط (1) تراجع [فحصت تلقائيا]

الحاليالسابق 02:3302:33، 6 مايو 2020‏ JarBot نقاش مساهمات‏ ط 1٬251 بايت +6‏ بوت:إصلاح تحويلات القوالب تراجع [فحصت تلقائيا]

الحاليالسابق 05:2105:21، 15 مارس 2020‏ Mr.Ibrahembot نقاش مساهمات‏ 1٬245 بايت +52‏ بوت:أضاف 1 تصنيف تراجع [فحصت تلقائيا]

الحاليالسابق 12:0312:03، 5 سبتمبر 2019‏ JarBot نقاش مساهمات‏ ط 1٬193 بايت +68‏ بوت:الإبلاغ عن رابط معطوب أو مؤرشف V4.2 (تجريبي) تراجع [فحصت تلقائيا]

الحاليالسابق 20:4820:48، 24 يوليو 2018‏ JarBot نقاش مساهمات‏ ط 1٬125 بايت +199‏ بوت:الإبلاغ عن رابط معطوب أو مؤرشف V2.7 تراجع [فحصت تلقائيا]

الحاليالسابق 04:0304:03، 19 يونيو 2018‏ MaraBot نقاش مساهمات‏ 926 بايت +22‏ روبوت - إضافة لشريط البوابات :بوابة:علم الحاسوب تراجع [فحصت تلقائيا]

الحاليالسابق 13:5013:50، 24 ديسمبر 2017‏ JarBot نقاش مساهمات‏ ط 904 بايت +222‏ بوت:إضافة مصدر من ويكي الإنجليزية أو الفرنسية (تجريبي) تراجع [فحصت تلقائيا]

الحاليالسابق 00:2300:23، 29 سبتمبر 2017‏ JarBot نقاش مساهمات‏ ط 682 بايت −45‏ بوت:إزالة تصنيف عام لوجود تصنيف فرعي V2.4 (إزالة تصنيف:معلوماتية نظرية) تراجع [فحصت تلقائيا]

الحاليالسابق 19:0819:08، 11 أغسطس 2017‏ SHBot نقاش مساهمات‏ ط 727 بايت −43‏ بوت: تهذيب/وسوم صيانة، أزال وسم يتيمة تراجع [فحصت تلقائيا]

الحاليالسابق 20:4420:44، 22 أكتوبر 2016‏ Sami Lab نقاش مساهمات‏ 770 بايت −23‏ مرشا تراجع [فحصها Sami Lab]
الحاليالسابق 20:4320:43، 22 أكتوبر 2016‏ Sami Lab نقاش مساهمات‏ ط 793 بايت 0‏ نقل Sami Lab صفحة سيمانتيك شكلي إلى علم الدلالة الشكلي: تعريب تراجع
الحاليالسابق 20:4120:41، 22 أكتوبر 2016‏ Sami Lab نقاش مساهمات‏ ط 793 بايت −41‏ حذف تصنيف:منطق معلوماتي باستخدام المصناف الفوري تراجع

الحاليالسابق 23:2823:28، 13 يونيو 2016‏ JarBot نقاش مساهمات‏ ط 834 بايت −8‏ ←‏top: بوت: صيانة تراجع

الحاليالسابق 06:0206:02، 6 أبريل 2016‏ SHBot نقاش مساهمات‏ ط 842 بايت +62‏ بوت: وسوم صيانة، أضاف مقالة غير مراجعة تراجع
الحاليالسابق 02:4702:47، 6 أبريل 2016‏ SHBot نقاش مساهمات‏ ط 780 بايت +44‏ بوت: وسوم صيانة، أضاف وسم يتيمة تراجع

الحاليالسابق 12:2212:22، 4 مارس 2016‏ SHBot نقاش مساهمات‏ ط 736 بايت +38‏ بوت: وسوم صيانة، أضاف وسم بدون مصدر تراجع

الحاليالسابق 00:1100:11، 9 ديسمبر 2015‏ MaraBot نقاش مساهمات‏ 698 بايت +26‏ روبوت - اضافة لشريط البوابات : برمجة الحاسوب (147402) (من fr wiki) تراجع

الحاليالسابق 15:3815:38، 12 مايو 2014‏ MaraBot نقاش مساهمات‏ 672 بايت +11‏ تعويض بـ قالب:شريط بوابات تراجع

الحاليالسابق 20:5620:56، 8 مارس 2013‏ Addbot نقاش مساهمات‏ ط 661 بايت −509‏ بوت: ترحيل 11 وصلة إنترويكي, موجودة الآن في ويكي بيانات على d:q1437428 تراجع

الحاليالسابق 09:5509:55، 13 سبتمبر 2012‏ ElphiBot نقاش مساهمات‏ ط 1٬170 بايت +33‏ ربوت التصانيف المعادلة (22): + تصنيف:طرق شكلية تراجع

الحاليالسابق 20:0920:09، 15 مارس 2012‏ ZéroBot نقاش مساهمات‏ ط 1٬137 بايت +60‏ r2.7.1) (روبوت إضافة: uk:Семантика мов програмування تراجع

الحاليالسابق 00:1200:12، 6 مارس 2012‏ EmausBot نقاش مساهمات‏ ط 1٬077 بايت −6‏ r2.7.2+) (روبوت تعديل: en:Semantics (computer science) تراجع

الحاليالسابق 10:0910:09، 23 فبراير 2011‏ RedBot نقاش مساهمات‏ ط 1٬083 بايت −7‏ r2.5.2) (روبوت تعديل: en:Semantics of programming languages تراجع

الحاليالسابق 23:1123:11، 11 أكتوبر 2010‏ Xqbot نقاش مساهمات‏ ط 1٬090 بايت +55‏ روبوت إضافة: cv:Семантика (программăлани) تراجع

الحاليالسابق 03:0203:02، 1 سبتمبر 2010‏ Mentibot نقاش مساهمات‏ ط 1٬035 بايت +98‏ روبوت إضافة: el:Τυπική σημασιολογία των γλωσσών προγραμματισμού تراجع

الحاليالسابق 04:5704:57، 30 يناير 2010‏ CipherBot نقاش مساهمات‏ ط 937 بايت −4‏ تدقيق إملائي وتنسيق, تراجع

الحاليالسابق 07:0407:04، 9 ديسمبر 2009‏ MenoBot نقاش مساهمات‏ ط 941 بايت −2‏ روبوت: تغييرات تجميلية تراجع

الحاليالسابق 08:3508:35، 3 يناير 2009‏ CipherBot نقاش مساهمات‏ 943 بايت +29‏ إضافة قالب بوابة رياضيات تراجع

الحاليالسابق 07:3107:31، 1 ديسمبر 2008‏ Thijs!bot نقاش مساهمات‏ ط 914 بايت +61‏ روبوت إضافة: ru:Семантика (программирование) تراجع

الحاليالسابق 08:1808:18، 29 سبتمبر 2008‏ Sz-iwbot نقاش مساهمات‏ ط 853 بايت −62‏ روبوت إزالة: ru:Семантика в программировании تراجع

الحاليالسابق 06:1606:16، 30 مارس 2007‏ AlnoktaBOT نقاش مساهمات‏ ط 915 بايت +45‏ روبوت إضافة: hr:Formalna semantika programskih jezika تراجع

الحاليالسابق 22:2322:23، 1 يناير 2007‏ AlnoktaBOT نقاش مساهمات‏ ط 870 بايت +1‏ (- , + ، روبوت : إستبدال تلقائي للنص تراجع

الحاليالسابق 22:1922:19، 24 ديسمبر 2006‏ AlnoktaBOT نقاش مساهمات‏ ط 869 بايت +32‏ روبوت إضافة: ja:プログラム意味論 تراجع

الحاليالسابق 19:0319:03، 8 يوليو 2006‏ Chaos نقاش مساهمات‏ 837 بايت +837‏ لا ملخص تعديل

مجلوبة من «https://ar.wikipedia.org/wiki/علم_الدلالة_الشكلي»