hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
مجلس تنظيم قطاع الكهرباء (فلسطين)
مجلس تنظيم قطاع الكهرباء الفلسطيني هو مؤسسة حكومية فلسطينية غير وزارية تابعة لمجلس الوزراء الفلسطيني تأسست في 23 أبريل/نيسان عام 2009 بموجب قرار رئاسيّ من محمود عباس رئيس السلطة الوطنية الفلسطينية، ويقع المقر الرئيسيّ لها بمدينة رام الله في فلسطين، وكان عمر كتانة أولُ رئيسٍ للمجلس.

يُمارس مجلس تنظيم قطاع الكهرباء الفلسطيني دورًا رقابيًا على جميع الأنشطة المتعلقة بقطاع الكهرباء في فلسطين بدءًا من توليد وإنتاج الطاقة الكهربائية، ومرورًا بنقلها وتوزيعها، ووصولًا إلى استهلاكها من جانب المواطنين والجهات والخدمات المُستفيدة من الكهرباء، كما يضمن المجلس توافر واستمرار الإمداد بخدمات الطاقة الكهربائية للأطراف المستفيدة بأسعار عادلة مع الحفاظ على البيئة.

يُمارس المجلس أيضًا دورًا فاعلًا في تنظيم سوق إنتاج وبيع وتوزيع الكهرباء فيوفر مناخًا يسمح بالمنافسة بين مقدمي الخدمات ويحد من الممارسات الاحتكارية، ويفصل في النزاعات القانونية ما بين للمشتركين في خدمات الطاقة الكهربائية ومقدمي الخدمة.

محمود عباس
مَحْمُود رِضَا شحادة عَبَّاس وكُنيته أَبُو مَازِن (15 نوفمبر 1935 – )، الرّئيس الثّاني للسّلطة الوطنيّة الفلسطينيّة منذ 15 يناير 2005م، ورئيس منظمة التّحرير الفلسطينيّة ولا يزال في ذات المنصب؛ حيثُ مدَّد المجلس المركزي لمنظمة التّحرير ولايته الرّئاسية، لحين إجراء انتخابات رئاسية وتشريعية. وكقائد لحركة فتح وقد كان عبَّاس أوّل رئيس وزراء في السّلطة الوطنيّة الفلسطينيّة؛ حيثُ تولّى رئاسة الوزراء جامعًا معها وزارة الدّاخلية في الفترة ما بين مارس إلى سبتمبر 2003. بعد وفاة ياسر عرفات في 11 نوفمبر 2004، أصبح عبَّاس رئيس منظمة التّحرير الفلسطينيّة، ثمّ رشح نفسه لانتخابات الرئاسة الفلسطينيّة 2005م، وفاز في الانتخابات ليكون ثاني رئيس للسّلطة الوطنية الفلسطينيّة منذ إنشائها في عام 1993. لعب عبَّاس دورًا بارزًا في مفاوضات أوسلو عام 1993، وما تلاها من اتفاقيات، ومعاهدات كاتفاق غزة أريحا، واتفاقية باريس 1994م، ضمن مسار التّسوية السّلمية.
يوم فخر التوحد
يوم الفخر بالتوحد هو احتفال فخر للاشخاص المصابين بالتوحد يقام في 18 يونيو من كل عام. يعترف الفخر التوحدي  بأهمية الفخر للأشخاص المصابين بالتوحد ودوره في إحداث تغييرات إيجابية في المجتمع الأوسع.

على الرغم من أن يوم فخر التوحد هو 18 يونيو، إلا أن فعاليات الفخر غالبًا ما تُقام في عطلة نهاية الأسبوع الأقرب لأسباب لوجستية، أو في أي وقت آخر.

تنوع عصبي
التنوع العصبي هو مصطلح جديد أشاعه عالم الاجتماع الأسترالي جودي سينجر والصحفية الأمريكية هارفي بلوم أواخر التسعينيات، للإشارة إلى الاختلاف في الدماغ البشري في ما يتعلق بالتواصل الاجتماعي والتعلم والانتباه والمزاج والوظائف المعرفية الأخرى بطريقة غير مَرَضية. ظهر المصطلح كتحدٍ للآراء السائدة المتمثلة في أن بعض الاضطرابات النمائية العصبية مرضية بطبيعتها وتعتمد بدلاً من ذلك على النموذج الاجتماعي للإعاقة، إذ تُعد الحواجز المجتمعية العامل الرئيسي الذي يساهم في التحديات التي تواجهها تلك الفئة.

قد تعرض هذا النموذج لبعض النقد لقولهم انه لا يمثل حقائق الأفراد على طيف التوحد الذين يحتاجون الكثير من الدعم.
إيمانويل وانيوني
إيمانويل وانيوني (من مواليد 1 أغسطس 2004) هو عداء مسافات متوسطة كيني متخصص في سباق 800 متر، والذي فاز بالميدالية الذهبية في سباق 800 متر رجال ضمن الألعاب الأولمبية الصيفية 2024 في هذا السباق. مع أفضل رقم شخصي له وهو 1:41.11 سجله في بطولة لوزان الماسية لعام 2024، تعادل وانيوني وويلسون كيبكيتير في المركز الثاني في قائمة أفضل 800 متر على الإطلاق، خلف مواطن وانيوني فقط ديفيد روديشا، الذي يحمل الرقم القياسي العالمي.

ديفيد روديشا
ديفيد روديشا (بالإنجليزية: David Lekuta Rudisha) (17 ديسمبر 1988) هو عداء كيني متخصص في المسافات المتوسطة، ويحمل الرقم القياسي العالمي في سباق 800 متر بزمن قدره 1:40.91، وهو البطل الأولمبي والعالمي الحالي في هذا التخصص.
دير سلمان
بلدة دير سلمان بلدة سورية تابعة إداريا لمنطقة مدينة دوما التابعة بدورها لمحافظة ريف دمشق، ترتفع 615 م عن سطح البحر، تحيط بها القرى والبلدات التالية: الخامسية - الأحمدية - الزمانية - مرج السلطان - البلالية - نولة، وهي تقع بالقرب من تل أثري يقع بينها وبين بلدة الزمانية.

مرج السلطان
مرج السلطان قرية في ناحية النشابية التابعة لمنطقة دوما في محافظة ريف دمشق. تبعد عن مدينة دمشق قرابة 25 كم.

قرية شركسية صغيرة تقع في وسط غوطة دمشق، وعلى مسافة 18 كم شرق العاصمة السورية دمشق. وتبعد القرية عن مجرى بردى إلى (1500م) نحو الجنوب وترتفع (621 م) عن سطح البحر، وشكل أراضيها مخمس. أطول أضلاعه الشمالية الشرقية، وأقصرها الشمالية الغربية، ومساحتها (4200 دونم).

يبلغ عدد سكانها الآن حوالي 2500 نسمة، وهي تشكل لوحة فسيفساء عرقية حيث يقطن فيها الآن خليط من جميع شعوب القفقاس. كالشركس (شابسيغ وابزاخ وحتقواي وحاتقو ومامخغ وقبرداي) والأباظة والشيشان والداغستان والقوشحة. أما أهالي القرية الأصليين فهم من الشابسيغ والأبزاخ.
حضارة فاتيانوفو-بالانوفو
كانت فاتيانوفو-بالانوفو حضارة تعود للعصر النحاسي وأوائل العصر البرونزي، وازدهرت في غابات روسيا بين سنتي 2900 و2050 قبل الميلاد.

تطورت حضارة فاتيانوفو على الحدود الشمالية الشرقية لحضارة دنيبير الوسطى حوالي العام 2900 قبل الميلاد، ربما نتيجة للهجرة الجماعية لشعب حضارة الخزف المحزم من أوروبا الوسطى. متوسعين باتجاه الشرق على حساب ثقافة فولوسوفو، طور شعب فاتيانوفو مناجم النحاس في جبال الأورال الغربية. أسسوا منذ عام 2300 قبل الميلاد مستوطنات تعمل في تعدين البرونز، مما أدى إلى ظهور ثقافة البالانوفو. رغم انتمائها إلى الجزء الجنوبي الشرقي من حضارة فاتيانوفو، إلا أنه حضارة بالانوفو اختلفت تمامًا عن غيرها. ساهمت حضارة بالانوفو في تشكيل حضارة أباشيفو، والتي أسهمت بدورها في تشكيل حضارة سينتاشتا.

انتهت حضارة فاتيانوفو-بالانوفو حوالي العام 2050 قبل الميلاد. ويكاد من المؤكد أن يكون شعبها من أصل هندي أوروبي.

حضارة سينتاشتا
حضارة سينتاشتا (بالإنجليزية: The Sintashta culture)، وتُعرف أيضًا بحضارة سينتاشتا – بيتروفكا، أو سينتاشتا – أكرايم، هي حضارة أثرية من العصر البرونزي الأوسط في السهوب الأوراسية الشمالية على حدود أوروبا الشرقية وآسيا الوسطى، حُدد تاريخها إلى الفترة بين 2200 – 1800 ق.م، أو 2400 – 1800 كما كشفت البحوث الحديثة. سُميت الحضارة تيمنًا بموقع سينتاشتا الأثري في أوبلاست تشيليابنسك، روسيا.

يُعتقد أن حضارة سينتاشتا تمثل هجرة شعوب حضارة الخزف المحزم ناحية الشرق. تُعتبر على نطاق واسع أصل اللغات الهندية الإيرانية. وُجدت أقدم عجلة حربية معروفة في مقابر سينتاشتا، وتُعتبر الحضارة واحدة من الحضارات المرشحة بقوة كأصل للتكنولوجيا التي انتشرت في جميع أصقاع العالم القديم ولعبت دورًا هامًا في الحرب القديمة. اشتُهرت مستوطنات سينتاشتا أيضًا بكثافة عمليات تعدين النحاس وميتالورجيا البرونز التي كانت تُجرى هناك، ما لم يكن اعتياديًا بالنسبة لحضارة سهوبية.
موسيقى مصورة
الأغنية المصورة (music video) أو فيديو كليب أحد أنواع المقاطع المصورة، وهو فيديو مصاحب بمقطع موسيقي كامل أو أغنية. الأغنيات المصورة الحديثة تستخدم بشكل رئيسي لأسباب دعائية لألبوم معين. على الرغم من رجوع تاريخ الأغاني المصورة إلى فترة أبعد غير أنها أخذت شكلها الحالي في الثمانينات. مصطلح «أغنية مصورة» انتشر في مطلع الثمانينات. وكان أول فيديو كليب لمغني البوب مايكل جاكسون لأغنية ثريلر، وقبل ذلك كان يطلق على هذه النوعية عدة مسميات، من ضمنها «أفلام دعائية» أو «مقاطع دعائية».

تستخدم الأغنيات المصورة العديد من الأنواع الإنتاجية المستخدمة في صناعة الأفلام مثل الرسوم المتحركة، والأفلام الحية والأفلام الوثائقية. بعضها يدمج أكثر من نوع كالرسوم المتحركة والأفلام الحية.

فلم موسيقي
الفيلم الموسيقي هو نوع من أنواع الأفلام الذي تتشابك فيه الأغاني التي يغنوها شخصيات الفيلم مع قصة الفيلم، وتكون مصحوبة أحيانا بالرقصات.
الأغاني عادة تعرض قبل بدأ المغامرة أو تطور شخصيات الفيلم، وتكون في بعض الحالات مجرد فواصل في قصة الفيلم.
وكان التطور الرئيسي في مراحل الفيلم الموسيقي قد ظهر بعد ظهور التكنولوجيا الصحيحة في صناعة الافلام. عادة يكون الفرق الأكبر بين السينما والمسرح والمسرحيات الموسيقية هو استخدام مشاهد الخلفية الفخمة والمواقع التي تكون غير عملية في المسرح.
يعد الفيلم الموسيقي تطوراً طبيعياً للمسرح الموسيقي بعد ظهور تقنية الأفلام الصوتية، وعادةً ما يكون الفرق الجوهري بين الأفلام الموسيقية والمسرح لموسيقي هو استخدام المشاهد ذات الخلفية الفخمة والمواقع غير العملية على المسرح.وتحتوي الأفلام الموسيقية بشكل خاص على عناصر تشبه المسرح؛ غالبًا ما يتعامل الفنانين مع أرقام الأغاني والرقصات كما لو كان الجمهور يشاهدهم مباشرةً، أي أنّ المشاهد يمثل جمهور خشبة المسرح الذي ينظر إلى المؤدي ويراقب حركاته.
ريزدنت إيفل: الإدانة
ريزدنت إيفل دامنيشن (باليابانية: バイオハザード ダムネーション) هو فيلم رعب ثلاثي الأبعاد من إنتاج شركة كابكوم بالتعاون مع شركة سوني بيكتشرز إنترتينمنت اليابانية ومن إخراج ماكوتو كاميا وإنتاج هيرويوكي كوباياشيز. وهو الجزء الثاني بعد فيلم ريزدنت إيفل: ديجنريشن. صدر الفيلم في اليابان في 27 أكتوبر 2012، وعرض لأول مرة في شينجوكو، طوكيو.

قصة ريزدنت إيفل دامنيشن تدور حول استخدام أسلحة بيولوجية في منطقة حرب في أوروبا فترسل الحكومة الأمريكية العميل ليون س. كينيدي للتحقق من ذلك. صدر الفيلم على إكس بوكس لايف وزون وبلاي ستيشن نيتورك في 15 سبتمبر 2012، فقط قبل أسبوع من أصدراه على أقراص DVD وبلوري في 25 سبتمبر.

ريزدنت إيفل: الانحطاط
ريزدنت إيفل: ديجنريشن (بالإنجليزية: Resident Evil: Degeneration؛ يترجم إلى «الشر المقيم: الإنحطاط»)، وتعرف في اليابان بـبايوهازرد: ديجنريشن (بالإنجليزية: Biohazard: Degeneration؛ باليابانية: バイオハザード، بايوهزادوه: ديجنريشون؟) هو أول فلم متحرك حاسوبيًا من سلسلة ريزدنت إيفل، وصدر في اليابان في 2008.
جبل أولياء
جبل الاولياء أو جبل اولياء بلدة صغيرة تقع علي بعد 40 كيلومتر جنوب العاصمة السودانية الخرطوم وتعتبر الحدود الجنوبية لها مع ولاية النيل الأبيض، وتقع ضمن محلية جبل اولياء في ولاية الخرطوم، وتشتهر بخزان جبل اولياء المشيد على النيل الأبيض.

ولاية الخرطوم
ولاية الخرطوم تقع في وسط السودان يحدها من الجهة الشمالية الشرقية ولاية نهر النيل ومن الجهة الشمالية الغربية الولاية الشمالية ومن الجهة الشرقية والجنوبية الشرقية ولايات ولاية كسلا وولاية القضارف وولاية الجزيرة. أي تقع ولاية الخرطوم في الجزء الشمالي الشرقي من أواسط البلاد في قلب السودان عند التقاء النيلين النيل الأبيض بالنيل الأزرق ليكونا نهر النيل تقع الولاية بين خطي طول 5,31-34 شرقاً وخطي عرض 15-16 شمالاً تقريباً.
إصابة الصاعقة
إصابة الصاعقة أسماء أخرى إصابة برق وصعقة برق هو أصابة تحدث بسبب اتصال مباشر أو غير مباشر من الصواعق الجوية.
الأعراض الأولية تشمل نوبة قلبية وانقطاع في النفس. النوبة القلبية من الممكن ان تختفي بسرعة لكن انقطاع النفس من الممكن ان يكون أطول. بعض الأعراض الأخرى تتضمن حروق واصابة داخلية. 75% من الذين يبقون احياء يصابون بامراض مثل الماء الابيض في العينين وضعف في السمع. الوفاة تحدث بسبب اضطراب نظم قلبي أو فشل تنفسي.

صاعقة
الصاعقة تحدث عندما يكون التفريغ الكهربائي بين أسفل السحابة ذات الشحنات السالبة مع الشحنات الموجبة على سطح الأرض وما عليه من أجسام مما يؤدي إلى حدوث وميض يمتد من الأرض إلى أعلى يسمى البرق، كما أن هذا الضوء يعقبه صوتٌ عالٍ قادم من السماء وهو ما يسمى الرعد.
عبد المجيد الأول
عبد المجيد الأول بن محمود الثاني بن عبد الحميد الأول بن أحمد الثالث بن محمد الرابع بن إبراهيم الأول بن أحمد الأول بن محمد الثالث بن مراد الثالث بن سليم الثاني بن سليمان القانوني بن سليم الأول بن بايزيد الثاني بن محمد الفاتح بن مراد الثاني بن محمد الأول جلبي بن بايزيد الأول بن مراد الأول بن أورخان غازي بن عثمان بن أرطغرل.

(1823 - 1861)، هو خليفة المسلمين الثالث بعد المائة وسلطان العثمانيين الحادي والثلاثين والثالث والعشرين من آل عثمان الذين جمعوا بين الخلافة والسلطنة. وهو ابن السلطان محمود الثاني، تولى السلطنة وله من العمر 16 عامًا وثلاثة أشهر؛ تمكنت الدولة في عهده من الانتصار في حرب القرم، واستعادة سوريا العثمانية من حكم محمد علي باشا، وأدخل إصلاحات عديدة في القوانين العثمانية، وقوّى سلطة الحكومة المركزية مقابل انحلال الولاة السابق، سيرًا على نهج أسلافه بدءًا من سليم الثالث الإصلاحي؛ بنى قصر طولمه بهجة، واتخذه مقرًا لحكمه، كما رمم المسجد النبوي في المدينة المنورة.

سليم الثالث
سليم الثالث بن مصطفى الثالث أحمد الثالث بن محمد الرابع بن إبراهيم الأول بن أحمد الأول بن محمد الثالث بن مراد الثالث بن سليم الثاني بن سليمان القانوني بن سليم الأول بن بايزيد الثاني بن محمد الفاتح بن مراد الثاني بن محمد الأول جلبي بن بايزيد الأول بن مراد الأول بن أورخان غازي بن عثمان بن أرطغرل. (1175 هـ / 1761م - 1222 هـ / 1808م) هو أحد خلفاء الدولة العثمانية. تولى السلطة بعد وفاة عمه عبد الحميد الأول سنة 1203 هـ وكانت المعارك الحربية مستمرة، فأعطى وقته وجهده للقتال، وكان من أصحاب الهمة العالية والمصلحين في عصره.
مسجد الشيخ خليفة بن زايد آل نهيان
جامع الشيخ خليفة بن زايد آل نهيان في منطقة وسط مدينة العين بجوار مبنى جامعة الإمارات العربية المتحدة. والمسجد ذو التصميم المميز بمآذنه الأربع التي قطعت فيها شوطاً كبيراً وأصبحت ترى من أماكن بعيدة لارتفاعها الشاهق.
وتحمل قبة المسجد الكبيرة نقوشا وآيات من القرآن الكريم لتكون الأكبر من نوعها حيث يصبح المسجد بعد اكتماله الأكبر في مدينة العين والأجمل معمارياً ضمن مساجد العالم.

العين (أبوظبي)
العين هي مدينة تابعة لإمارة أبوظبي في الإمارات العربية المتحدة، ويشتق في الأصل اسم مدينة العين من وفرة المياه العذبة في جوف الأرض لتشمل المدينة، وتقع العين على بعد 160 كم تقريباً شرق مدينة أبوظبي.

وتقع بالقرب من سلطنة عُمان. تمثل مدينة العين ثالث أكبر مدن الإمارات. يٌقدر عدد سكانها بـ1,009,735نسمة (وفقا للتقديرات الصادرة لمركز الإحصاء عام 2023). وتُوصف مدينة العين بكونها مدينة الحدائق في دولة الإمارات. لا تزال تحتفظ ببعض التقاليد السابقة كممارسة سباق الهجن وفن اليولة (العيالة). وتقوم الطرق السريعة بالربط بين العين، وأبو ظبي ودبي، بحيث يشكّلون معا مثلثًا جغرافيًا في وسط البلاد، في حين تبعد كل مدينة منهم عن المدينتين الأخريين بحوالي 150 كيلو متر تقريبًا.
ماترهورن
ماتارهورن أحد أشهر قمم جبال الأبناين بسلسلة جبال الألب الأوروبية. يمتدّ على حدود سويسرا وإيطاليا ويعلو قرية زرمات Zermatt السويسرية وقرية بروي سرفينيا Breuil-Cervinia الإيطالية في وادي تورنانش Val Tournanche. يبلغ ارتفاع تلك القمة 4478 متر (14690 قدما)، مما يجعلها واحدة من أعلى القمم في جبال الألب. وتقع قمة ماتاهورن على الحدود الفاصلة لكانتون فاليز في سويسرا ومقاطعة أوستا الإيطالية؛ كما وتقع على مسافة 65 كيلومتر شرقي قمة مونت بلانك الموجودة في فرنسا.

للجبل أربعة أوجه تواجه نقاط البوصلة الأربع، ويجتمع الوجهان الشمالي والجنوبي ليشكّلا قمّة قصيرة تمتدّ من الشرق إلى الغرب كأنها هرم بالنسبة للجبال المحيطة بها. دائمًا ما تغطي الثلوج منحدراتها العليا. وبشكل دوري يحصل جراف ثلجي يرسل الثلج إلى الأسفل فيتكدّس على الأنهر الجليدية عند قاعدة كلٍّ من منحدرات الجبل.

كان ماترهورن قمة عظيمة يتمنى كثير من المتسلقون المحترفون صعودها وكان أول صعود تم تسجيله في 14 يوليو 1865 بواسطة الإنجليزي إدوارد ويمبر ثم تبعه كثير من محترفي تسلق الجبال في صعود جوانبها الشاهقة الحادة الانحدار.

الألب
جبال الألب (بالإيطالية: Alpi)، (بالفرنسية: Alpes)، و(بالألمانية: Alpen) هي سلسلة جبال في أوروبا تمتد من النمسا وسلوفينيا شرقاً، مروراً بإيطاليا وسويسرا وليختنشتاين وألمانيا وحتى فرنسا غربا
. وكلمة ألب تعني أبيض باللغة اللاتينية. أعلى قمة في سلسلة الألب هي قمة مون بلون أي القمة البيضاء الواقعة على الحدود الفرنسية-الإيطالية ويبلغ ارتفاعه 4810 متراً.
ألبرت سيلاديس
ألبرت سيلاديس لوبيز (بالإسبانية: Albert Celades)، من مواليد 29 سبتمبر 1975 في برشلونة في إسبانيا، لاعب كرة قدم إسباني سابق ومدرب حالي.

بدأ مسيرته الكروية مع نادي برشلونة ب في عام 1993، ولعب معهم حتى عام 1995، وفي عام 1995 انتقل إلى نادي برشلونة، ولعب معهم حتى عام 1999، وفي موسم 1999/2000 لعب مع نادي سيلتا فيغو، وفي عام 2000 انتقل إلى نادي ريال مدريد، ولعب معهم حتى عام 2003، وأعير في موسم 2003/2004 إلى نادي بوردو الفرنسي، وفي موسم 2004/2005 عاد إلى نادي ريال مدريد، وأنتقل عام 2005 إلى نادي ريال سرقسطة. وسبق وأن درب نادي فالنسيا لمدة عام واحد قبل أن تتم إقالته في عام 2020.

ريال سرقسطة
سرقسطة الملكي أو ريال سرقسطة هو نادي كرة قدم من مدينة سرقسطة بإسبانيا تأسس عام 1932، يلعب حالياً في الدوري الإسباني الدرجة الثانية. يدربهم لويس ميا. لونا الفريق هما الأبيض والأزرق. أُسّسَ في عام 1932 بعد اتحاد نادي Iberia SC ونادي CD Zaragoza.

أفضل مركز للنادي في بطولة الدوري هو المركز الثاني. يعتبر نادي ريال سرقسطة من الأندية المتخصصة في إحراز كأس إسبانيا إذ أحرزه ست مرات وأحرز بطولة كأس الاتحاد الأوروبي مرة عام 1964.
التحقق الوظيفي
التحقق الوظيفي هو التحقق من أن التصميم الرقمي يتوافق مع المواصفات. يحاول التحقق الوظيفي الإجابة على السؤال "هل هذا التصميم المقترح يفعل الوظيفة المطلوبة منه؟"  يستغرق التحقق معظم الوقت والجهد حيث يصل إلى 70٪ من وقت التصميم والتطوير  في معظم مشاريع تصميم الأنظمة الإلكترونية الكبيرة. يعد التحقق الوظيفي أحد أنواع التحقق المختلفة فعلى سبيل المثال يوجد التحقق المادي الذي يأخذ في اعتباره الجوانب غير الوظيفية التي تدخل في التصنيع مثل التوقيت والتخطيط والطاقة.

التحقق الشكلي
في سياق أنظمة العتاد والبرمجيات ، فإن التحقق الشكلي هو إثبات أو دحض صحة الخوارزميات التي يقوم عليها النظام فيما يتعلق بمواصفات أو خواص شكلية معينة، باستخدام طرق شكلية رياضية .

يمكن أن يكون التحقق الشكلي مفيدًا في إثبات صحة الأنظمة مثل: مواثيق التشفير ، والدوائر المنطقية ، والدوائر الرقمية ذات الذاكرة الداخلية ، والبرامج.

يتم التحقق من هذه الأنظمة من خلال تقديم دليل شكلي على نموذج رياضي مجرد للنظام ، والمطابقة بين النموذج الرياضي وطبيعة خواص النظام والتي تعرف بعملية البناء. أمثلة على الكائنات الرياضية التي غالبًا ما تستخدم لنمذجة الأنظمة هي: آلات الحالات المحدودة ، وأنظمة الانتقال المسمى ، وشبكات بيتري ، وأنظمة إضافة المتجهات ، والآلات الموقوتة ، والآلات الهجينة ، وجبر العمليات ، والدلالات الشكلية للغات البرمجة مثل الدلالات التشغيلية ، ودلالات العلاقات ، ودلالات الألفاظ ومنطق هواري .
أحمد بن الأزهر
أحمد بن الأزهر بن منيع بن سليط بن إبراهيم، النيسابوري، العبدي، مولى عبد القيس (171 هـ - 263 هـ) من رواة الحديث وهو صدوق حسن الحديث. قال الذهبي: «الإمام الحافظ الثبت، أبو الأزهر، النيسابوري، محدث خراسان في زمانه....وهو ثقة بلا تردد».

أحمد بن شعيب النسائي
أبو عبد الرحمن أحمد بن شعيب بن علي بن سنان بن بحر بن دينار النَّسائي (215 هـ - 303 هـ)، (829م - 915م) محدِث وقاضٍ فارسي، وأحد أئمة الحديث النبوي الشريف، صاحب السنن الصغرى والكبرى، المعروف بسنن النسائي، ولد سنة 215 هـ في بلدة نسا من بلاد خراسان قديمًا وتقع في تركمانستان حاليًا، وطلب العلم والحديث وهو صغير، فرحل إلى خراسان والحجاز والعراق والشام والجزيرة العربية ثم استوطن مصر، ورحل الحفاظ إليه، خرج إلى دمشق فوجد المنحرف بها عن علي بن أبي طالب كثير، فألف كتاب «الخصائص» في خصائص علي فأُوذِي بسبب ذلك، وتوفي في سنة ثلاث وثلاثمائة، له العديد من المصنفات أشهرها السنن، وصنف أيضًا في الضعفاء والمتروكين، وفضائل الصحابة، وله كتاب في التفسير.
بريان هيب
السير (روبرت) بريان هيب (بالإنجليزية: Sir (Robert) Brian Heap) (من مواليد 27 فبراير 1935) وهو عالم بيولوجيا بريطاني.

تلقى تعليمه في مدرسة نيو ميلز النحوية في منطقة بيك ديستركت ثم درس بجامعة نوتنغهام (حيث حصل على البكالوريوس والدكتوراه). كما حصل على ماجستير ودكتوراه في العلوم من جامعة كامبريدج.

جامعة نوتنغهام
جامعة نوتنغهام (بالإنجليزية: University of Nottingham)‏ هي جامعة بحثية إنجليزية عامة في مدينة نوتنغهام الإنجليزية. صدر الميثاق الملكي بإنشائها سنة 1948، غير أنها في الواقع خرجت من رحم مؤسسة تعليمية أقدم، هي الكلية الجامعية بنوتنغهام (بالإنجليزية: University College, Nottingham)‏، التي أنشئت سنة 1881. توسعت جامعة نوتنغهام مؤخرًا وافتتحت فروعًا لها في كل من نينغبو بالصين وكوالالمبور بماليزيا، وهو ما جعل جريدة التايمز تصفها بأنها «الجامعة العالمية الحقيقية الوحيدة في بريطانيا».

جامعة نوتنغهام هي عضو بكل من مجموعة راسل ورابطة جامعات الكومنولث ورابطة الجامعات الأوروبية.
عزيز سوريال عطية
عزيز سوريال عطية (5 يوليو 1898 - 24 سبتمبر 1988) أحد مؤسسي جامعة الإسكندرية كان يعمل أستاذاً لتاريخ العصور الوسطى بقسم التاريخ بآداب الإسكندرية حتى أوائل الخمسينات كما شغل منصب مدير معهد الدراسات القبطية بالقاهرة ثم ارتحل من مصر، في ظروف خاصة، فقضى بقية عمره بأوروبا وأمريكا، وتولى التدريس بكُبريات الجامعات الغربية حتى وفاته. يقال أنه من أدخل مصطلح قبطولوجيا أو علم القبطيات إلى اللغة.

5 يوليو
5 يوليو أو 5 تمُّوز أو 5 يوليه أو يوم 5 \ 7 (اليوم الخامس من الشهر السابع) هو اليوم السادس والثمانون بعد المئة (186) من السنوات البسيطة، أو اليوم السابع والثمانون بعد المئة (187) من السنوات الكبيسة وفقًا للتقويم الميلادي الغربي (الغريغوري). يبقى بعده 179 يوما لانتهاء السنة.
قضاء القرنة
قضاء القرنة هو قضاء عراقي في الشمال الشرقي لمحافظة البصرة بجنوب العراق، مساحته 151 كيلومتراً مربعاً، حدوده من الشمال محافظة ميسان، ومن الغرب قضاء المُدينة ومن الجنوب والجنوب الغربي قضاء البصرة، ومن الشرق والجنوب الشرقي قضاء شط العرب والحدود الإيرانية العراقية.

قضاء شط العرب
قضاء شط العرب هو قضاء في محافظة البصرة في الصَوب الشرقي لنهر شط العرب، الذي هو ناتج عن التقاء نهري دجلة والفرات، ويبلغ عدد السكان فيه أكثر من (250 ألف نسمة) حسب تقدير سنة 2014م، ويمتد شط العرب من قضاء القرنة إلى الحدود العراقية الإيرانية، ويحتوي على منفذ الشلامجة الحدودي مع إيران
ويضم قضاء شط العرب الموقع السابق لمجمع جامعة البصرة.وتطل على قضاء شط العرب اثنا عشرة جزيرة تقع في مياه نهر شط العرب وهي جزر كانت سابقا مزارع لزراعة الرز وبساتين نخيل وأشجار مثمره. وهذه الجزر هي :
(( المحمودية، أم الخصاصيف، أم الجبابي، أم الرصاص، الزيادية، الفداغية، العين، الصالحية، العقيراوية أو العجيراويه، الطويله، القليصاوية، المحلة )).
ساروغ
سروج بن رعو أو سراج بن رعو (بالعبرية: שְׂרוּג) هو شخصية توراتية مذكورة في العهد القديم في سفر التكوين، وهو والد ناحور والد تارح وجد إبراهيم.

في النص الماسوري الذي تستند إليه الأناجيل الحديثة، كان يبلغ من العمر 30 عامًا عندما وُلد ناحور، وعاش لمدة 200 عامًا بعدها، مما جعله يبلغ من العمر 230 عامًا. بينما تنص المخطوطة السبعينية والتوراة السامرية أنه كان عمره 130 عامًا عندما وُلد ناحور؛ مما يجعل سنه 330 سنة عند وفاته.

يذكر كتاب اليوبيلات تفاصيل أخرى عنه، فيذكر أن اسم والدته أورا، واسم زوجته ميلكة. وبنيت في زمنه مدينة أور الكلدانيين، حيث عاش. ويذكر الكتاب أن ساروغ كان أول من بدأ بالتخلي عن التوحيد والتحول إلى عبادة الأوثان، كما قام بتعليم السحر لابنه ناحور.

تارح
تَارَح أو آزَر والد النبي إبراهيم، جاء ذكره صريحاً في التوراة. وُلد له إبراهيم وهو في السبعين من عمره، عاش مئتان وخمسة وسبعين سنة، ومات بحران. وقد اختلف الفقهاء المسلمون حوله لاختلافهم حول شخصه، ففيهم من يراه موحدًا وبينهم من يراه كافرًا.[بحاجة لمصدر]
سينسايت
سينسايت أو سينس 8 (بمعنى: الإدراك الحسي)، (بالإنجليزية: Sense8) مسلسل دراما وخيال علمي أمريكي. من إعداد الأخوين وتشاوسكي عرض على نتفليكس في 5 يونيو، 2015. يظهر في بطولة المسلسل ممثلين من مختلف الجنسيات: توبينس ميدلتون، برايان جاي. سميث، دونا باي، أمل أمين، ماكس ريمليت، تينا ديساي، ميغيل أنخيل سيلفيستري وجيمي كلايتون. ثمانية غرباء في أنحاء مختلفة من العالم فجأة يصبحون متصلين ذهنياً. ويظهر في المسلسل فريد أجيمان، تيرانس مان، أنوبام خير، نافين أندروز وديرل هانا. يبحث المسلسل عدة مواضيع في حلقاته مثل؛ السياسة، الهوية، سلوك الإنسان الجنسي، نوع الجنس والدين.

نافين أندروز
نافين أندروز (بالإنجليزية: Naveen Andrews) ممثل بريطاني من مواليد 17 يناير، 1969، في لندن، إنجلترا من أصول هندية. هو الأكبر بين أخوته، و (Naveen) تعني الجديد باللغة الهندية.من أشهر أدواره كيب في فيلم المريض الإنكليزي وسعيد جراح في المسلسل التلفزيوني الأمريكي لوست.
كارلوس شافاريا
كارلوس ألبرتو شافاريا رودريغيز (بالإسبانية: Carlos Chavarría) من مواليد 2 مايو 1994 هو لاعب كرة قدم من نيكاراغوا يلعب حاليًا مع النادي الإفريقي في الرابطة التونسية المحترفة الأولى. مثل شافاريا نيكاراغوا دوليًا، سواء في العشرينات من العمر، أو في المنتخب الأول.

منتخب نيكاراغوا لكرة القدم
منتخب نيكاراغوا لكرة القدم وهو المنتخب الوطني في نيكاراغوا ويديره اتحاد نيكاراغوا لكرة القدم. لم يسبق له التأهل إلى بطولة بطولة كأس العالم لكرة القدم. أفضل إنجاز حققه التأهل إلى بطولة كأس الكونكاكاف الذهبية 2009 بعد التغلب على منتخب غواتيمالا 2-0.
عنخ إف إن خونسو
عنخ إف إن خونسو الأول  والمعروف أيضًا باسم عنخ-إف-نا-خونسو كان كاهنًا للإله المصري القديم مونتو الذي عاش في طيبة خلال الأسرة الخامسة والعشرين والسادسة والعشرين (حوالي 725 قبل الميلاد). كان ابن بس إن موت الأول وتا نشيت.

ومن بين ممارسي التقاليد الباطنية الغربية والفلسفة الدينية لثيليما، التي أسسها عالم السحر والشعائر الإنجليزي أليستر كراولي، يُعرف باسم أنخ أف نا خونسو وباعتباره مقدم لوحة الكشف، وهي لوحة خشبية مصنوعة لضمان استمرار وجوده في العالم السفلي، وتقع الآن في المتحف المصري بالقاهرة، مصر.

منتو (إله)
كان مُنتو إلها للحرب على شكل صقر في الديانة المصرية القديمة ، و كما يظهر في الكتابة الهيروغليفية على اليسار في الأسفل، يُكتب (م - ن - ت - و)، ولا يمكن نطقه بطريقة سليمة وذلك لغياب علامات الحركات في اللغة المصرية القديمة لذلك يمكن أن يشار إليه باسم مونت أو مِنتو أيضاً.
لاندو كاليريسيان
لاندو كالريسيان هي شخصية خيالية من سلسلة ستار ورز، أول ظهور له في الجزء الخامس: الإمبراطورية تعيد الضربات (1980)، قٌدم لاندو كصديق قديم لـ هان سولو، قبل أحداث الفيلم، كان هو المالك الأصلي للمركبة المشهورة (Millennium Falcon) إلى ان خسرها لهان سولو في رهان، أصبح المدير في مدينة السحاب على كوكب الغازي بسبين (Bespin) وفي الفلم، قام بخيانة صديقه هان سولو لأجل دارث فيدر في فيلم عودة الجيداي (1983)، أصبح جنرالاً في حالف المتمردين ويقود الهجوم على نجم الموت الثاني، شخصية لاندو تظهر في ثلاثية الأفلام الرئيسية وسيظهر أيضا في الجزء التاسع من حرب النجوم (2019)، لتكون واحدة من أطول الفترات الفاصلة بين تصوير شخصية من قبل نفس الممثل في تاريخ الأفلام الأمريكية.

دونالد جلوفر مثل شخصية لاندو وهو شاب في فيلم سولو: قصة من حرب النجوم، كما يظهر لاندو بشكل متكرر في عالم روايات ستار ورز.

هان سولو
هان سولو Han Solo هو شخصية خيالية في عالم حرب النجوم، وهو أحد الشخصيات الرئيسية في الثلاثية الأصلية، ومثل دوره الممثل الأمريكي هاريسون فورد. سولو هو طيار يعمل بتهريب البضائع مع مساعده الطيار تشوباكا (بيتر مايهيو)، وهو يكافح لكسب لقمة عيشه، ويمتاز بطريقة كلامه الساخرة. انضم سولو إلى تحالف الثوار ضد الإمبراطورية المجرية. وعلى مدار السلسلة، أصبح سولو أحد رموز التحالف والحكومات المجرية التالية. وصفه جورج لوكاس بأنه «شخصية وحيدة تدرك أهمية وجودها داخل مجموعة وتساعدها للصالح العام». يقود سولو سفينة اسمها ميلينيوم فالكون أو صقر الألفية.