hotchpotch/wikipedia-multilingual-ir-pairs huggingface dataset:
ليونرد هوارد حياته
ولد عام 1699، وكان في الأصل كاتبًا في مكتب البريد. حصل على أوامر، وحصل على الماجستير على الأرجح من بعض الجامعات الاسكتلندية، و D.D. بحلول عام 1745. في عام 1742 كان أمينًا لرعايا سانت جون وساوثوارك وسانت بوتولف وألدرسغيت وقسيسًا لفريدريك أمير ويلز. بعد ثلاث سنوات أصبح نائب الأسقف تاوتن أو ساوث تاوتن، ديفون، ومحاضرًا في سانت ماغنوس، جسر لندن، وسانت جيمس، غارليك هيث.
في 18 يوليو 1749، قدمه التاج إلى بيت القسيس للقديس جورج الشهيد، ساوثوارك، الذي ألقاه مع محاضرات القديس ماغنوس والقديس مارغريت، فيش ستريت. تم تعيينه بعد ذلك قسيسًا لأوغستا ساكس جوتا، أميرة ويلز الأرملة. توفي في 21 ديسمبر 1767، عن عمر يناهز 68 عامًا، ودُفن تحت مائدة القربان في كنيسة القديس جاورجيوس. كان هوارد واعظًا شهيرًا، لكن المشاكل المالية أدت في كثير من الأحيان إلى سجنه في سجن بنش الملك، حيث كان يُطلق عليه لقب «شاعر البلاط»، وأحيانًا كان يحصل على المال كأشتراكات في الكتب التي يتظاهر بأنه يكتبها.
ليونرد هوارد أعماله
في عام 1728 نشر بعض «آيات عن استعادة اللورد تاونسند»، نقشت بتواضع إلى… السير روبرت والبول، مع قصيدة عن ويليام الثالث (الحرفي، 15 يونيو 1728). أشهر أعمال هوارد هو مجموعة من الرسائل من المخطوطات الأصلية للعديد من الأمراء والشخصيات العظيمة ورجال الدولة. جنباً إلى جنب مع بعض القطع النادرة والفضولية وقطع من العصور القديمة، لندن، 1753. المجلد الثاني، الذي أعلن أنه قيد الإعداد، لم يظهر. كانت هناك طبعة أخرى في مجلدين، مع مذكرات الأمير البائس أنتوني الأول من البرتغال، واقتصاد حياة عالية، لندن، 1756.
ليونرد هوارد أعماله
أحدث دليل للولاءات الخاصة في ثلاثة أجزاء، لندن، 1745 (1753، 1760).
"الكتاب المقدس الملكي؛ أو جسدًا كاملًا من الألوهية المسيحية: يحتوي على الكتب المقدسة بشكل عام، وشرح كامل... لجميع النصوص الصعبة... جنبًا إلى جنب مع الملاحظات والملاحظات النقدية بشكل عام، لندن، 1761.
«كتاب الصلاة المشتركة... موضَّح ومُفسَّر بعبارة… إعادة صياغة كاملة،» لندن، 1761.
"قطع متفرقة في النثر والشعر... مضاف إليها الرسائل، من هنري هاتسيل، إسق، المتوفى؛ والعديد من المسالك والقصائد وج. لبعض الشخصيات البارزة في الفكاهة، لندن، 1765.
كما قام بمراجعة "الرفيق الجديد لمهرجانات وصيام كنيسة إنجلترا،" لندن، 1761. سرقات هوارد الأدبية عرّضته للنقد، والذي أشار إليه في مقدمات "أحدث دليل" و "مجموعة الرسائل". "
دودو (لاعب كرة قدم مواليد 1990)
دودو هو لاعب كرة قدم برازيلي في مركز الوسط، ولد في 17 أبريل 1990 في ريبيراو بريتو في البرازيل. لعب مع نادي سانتوس.
والتر إيزيلن
والتر إيزيلن هو لاعب كرة قدم ومدرب كرة قدم سويسري، ولد في 21 سبتمبر 1953 في زيورخ في سويسرا.
إميليانو مارتينيز (لاعب كرة قدم)
إميليانو مارتينيز (بالإسبانية: Emiliano Martínez)‏ هو لاعب كرة قدم أوروغواياني، ولد في 17 أغسطس 1999 في بونتا دل إيستي في الأوروغواي.
أنطونيو باتشيكو (لاعب كرة قدم)
أنطونيو باتشيكو (بالإسبانية: Antonio Pacheco D'Agosti) هو لاعب كرة قدم أوروغواياني في مركز الهجوم، ولد في 11 أبريل 1976 في مونتيفيديو في الأوروغواي. شارك مع منتخب الأوروغواي لكرة القدم. أما مع النوادي، فقد لعب مع إسبانيول وإنتر ميلان وبنيارول وجيمناسيا لابلاتا وديبورتيفو ألافيس ومونتيفيديو واندررز ونادي البسيط.
يوليوس داوكنز
يوليوس داوكنز (بالإنجليزية: Julius Dawkins) هو لاعب كرة قدم ولاعب كرة قدم أمريكية أمريكي في مركز مستقبل واسع، ولد في 4 يناير 1961. لعب مع بوفالو بيلز.
دانييل بافلوف
دانييل بافلوف (بالروسية: Павлов, Даниил Евгеньевич)‏ هو لاعب كرة قدم روسي في مركز الوسط، ولد في 5 يونيو 2002 في تولا في روسيا.
بينج هاو
بينج هاو هو لاعب كرة قدم صيني، ولد في 25 ديسمبر 2001.
ماريوس لارسن
ماريوس لارسن (بالنرويجية البوكمول: Marius Bustgaard Larsen)‏ هو لاعب كرة قدم نرويجي في مركز الوسط، ولد في 14 مايو 2000 في النرويج. لعب مع نادي أود.
رافع بن هرثمة
رافِع بن هَرْثَمة بن أعْيَن (المُتوفَّى عام 896م) كان جُنديًا مرتزقًا، ثم أصبح واليًا على خراسان، في الفترة من 882 إلى 892، في الاضطرابات التي حدثت في أواخر القرن التاسع.
رافع بن هرثمة السيرة الذاتية
كان رافع في الأصل، في خدمة سلالة الطاهريين، التي سيطرَت على خراسان، بوصفهم نوابًا فعليين باسم الخلافة العباسية. تم تحدي سيطرة الطاهريين (والعباسيين ضمنيًا) على خراسان في ستينيات القرن التاسع حيث تمرد يعقوب الصفار، الذي بدأ من مسقط رأسه في سستان، وهزم الجيوش الطاهرية، وبحلول عام 873 استولى على عاصمة المحافظة، نيسابور. إلا أن فشل يعقوب في الاستيلاء على بغداد عام 876، في معركة دير العاقول، وموته بعد فترة وجيزة أضعف النظام الصفاري الذي ورثه شقيقه عمرو بن الليث.
رافع بن هرثمة السيرة الذاتية
مع انخراط الصفاريين في أماكن أخرى، واستيلائهم على منطاق الطاهريين السابقة التي أدانتها الخلافة العباسية باعتبارها غير شرعية، وتم الاستيلاء على نيسابور في عام 875 على يد جماعة مناهضة للصفاريين بقيادة أحمد بن عبد الله الخجيستاني، وهو جندي طاهري سابق. بعد مقتله عام 882، توجَّهت أنظار جيش الخجيستاني ارافع، والذي كان قد ارتقى ليكون القائد العام له، ويخلف الخحيستاني. واجه رافع معارضة الصفاريين تحت قيادة عمرو، والذي عقد سلامه مع الخليفة عام 879 وتم الاعتراف به واليًا لخراسان ومعظم إيران، بالإضافة للمغامر أبو طلحة منصور بن شركاب، الذي استولى لفترة وجيزة على نيسابور في 876 - 878 وأصبح واليًا لمرو الشاهجان. بعد هزيمته، سرعان ما سعى أبو طلحة للحصول على مساعدة السامانيين والصفاريين، وفي عام 885 عُيِّن نائبًا صفاريًا لخراسان، بينما عاد عمرو مرة أخرى غربًا لمواجهة محاولات الوصي العباسي، الموفق، والذي سعى لاستعادة محافظة فارس.
رافع بن هرثمة السيرة الذاتية
في هذه المرحلة، تغيرت حظوظ رافع، حيث جرَّد الموفق الصفاريين من ولاياتهم، ومنح خراسان لرافع. تمكن رافع الآن من تأمين تحالف مع السامانيين في بلاد ما وراء النهر، وتحييد أبو طلحة والاستيلاء على مرو الشاهجان وهراة. داهم رافع حتى خوارزم عام 886، وساعد الساماني إسماعيل بن أحمد ضد أخيه نصر الأول. في عام 888 - 889 م، قام رافع بغزو الأراضي الزيدية في جرجان وطبرستان، وهزم الحاكم الزيدي محمد بن زيد في معركة على نهر تشالوس. ومن طبرستان سار إلى قزوين ثم الري في 889/890، أسس مقرَّه حتى وفاة الموفق في كانون الثاني 891. أثناء إقامته في طبرستان، انضم علي بن الليث، شقيق عمرو، إلى رافع، الذي كان في البداية المرشح المفضل لخلافة يعقوب. ورافقا المعدل والليث، ابنا علي، لاحقًا رافعَ في محاولته لاستعادة السيطرة على خراسان عام 896.
رافع بن هرثمة السيرة الذاتية
مع وفاة الموفق وصعود نجله المعتضد إلى ولاية العهد (وقريبًا إلى العرش)، تغيرت حظوظ رافع مرةً أخرى: إذ إن سياسة المعتضد بإعادة تأسيس سلطة الخلافة في غرب الخلافة، تطلبت منه الحفاظ على علاقات ودية مع عمرو بن الليث في إيران، وهددت سيطرة رافع على الري، في إقليم الجبال، والتي سرعان ما استعادها المعتضد من حكامها شبه المستقلين من بني دلف. نتيجةً لذلك، استثمر المعتضد واليه عمرو مع والي خراسان، وأمر رافع بإخلاء الري، وأرسل جيشًا بقيادة أحمد بن عبد العزيز بن أبي بني دلف ضده. وبعد طرده من الري، ولأجل كسب الحلفاء لمحاولة استعادة خراسان، تصالح رافع مع محمد بن زيد، لدرجة أنه ختم دعاء صلاة الجمعة باسم الأخير. كان هذا التحول نحو العلويين بمثابة قطيعة علنية مع المعسكر العباسي والسني، والتي استغلها الصفاريون لتعزيز دعمهم بين سكان خراسان. ففي عام 896، غزا رافع خراسان وسيطر على نيسابور، حيث قرأ أيضًا الصلاة باسم محمد. وقد اعتمد كذلك على اللون الأبيض بدلًا من اللون الأسود الذي استخدمه العباسيون. لكن المساعدة التي وعد بها محمد بن زيد لم تصل أبدًا، وسرعان ما طرد الصفاريون رافع من المدينة. هُزمت قواته في بيهق وطوس، وأُخرِج من خراسان إلى خوارزم، حيث هُزِم رافع وقُتِل في معركة أخيرة. وأُرسِل رأسه المقطوع إلى بغداد.
سانتياغو سيلفا (لاعب كرة قدم)
سانتياغو سيلفا (بالإسبانية: Santiago Silva Gerez) هو لاعب كرة قدم أوروغواياني في مركز الهجوم، ولد في 26 أغسطس 1990 في أرتيغاس في الأوروغواي. شارك مع منتخب الأوروغواي تحت 17 سنة لكرة القدم. أما مع النوادي، فقد لعب مع بنيارول ونادي دانوبيو ونادي سبورتينغ كريستال.
هيبرت هويوس
هيبرت هويوس (بالإسبانية: Hebert Hoyos) هو لاعب كرة قدم بوليفي في مركز حراسة المرمى، ولد في 29 أبريل 1956. لعب مع أورينتي بيتروليرو.
جاكوب إنغ
جاكوب إنغ (بالنرويجية البوكمول: Jacob Eng)‏ هو لاعب كرة قدم نرويجي في مركز الهجوم، ولد في 14 سبتمبر 2004. لعب مع نادي فوليرينغا.
دييغو رودريغيز (لاعب كرة قدم مواليد 1991)
دييغو رودريغيز (بالإسبانية: Diego Martín Rodríguez) هو لاعب كرة قدم أوروغواياني في مركز الدفاع، ولد في 8 يناير 1991 في مونتيفيديو في الأوروغواي. شارك مع منتخب الأوروغواي تحت 20 سنة لكرة القدم. أما مع النوادي، فقد لعب مع فانكوفر وايتكابس ومونتيفيديو واندررز ونادي مالقا ونادي يونيفرسيتاريو.
سباستيان دياز
سباستيان دياز (بالإسبانية: Sebastián Díaz Aracena)‏ هو لاعب كرة قدم تشيلي في مركز الوسط، ولد في 26 فبراير 1996 في تيموكو في تشيلي. شارك مع منتخب تشيلي تحت 17 سنة لكرة القدم ومنتخب تشيلي تحت 20 سنة لكرة القدم. أما مع النوادي، فقد لعب مع Deportes Temuco ‏.
جواو باولو دي ليما فيلهو
جواو باولو دي ليما فيلهو (بالبرتغالية: João Paulo‏) هو لاعب كرة قدم برازيلي في مركز الهجوم، ولد في 15 يونيو 1957 في ساو جواو دي ميريتي في البرازيل. شارك مع منتخب البرازيل لكرة القدم. أما مع النوادي، فقد لعب مع جوبيلو إيواتا ونادي بالميراس ونادي سانتوس ونادي ساو كريستوفاو ونادي فلامنغو ونادي كورينثيانز ونادي ناوتيكو.
كيفن مندوزا
كيفن مندوزا (بالإسبانية: Kevin Mendoza)‏ هو لاعب كرة قدم مكسيكي في مركز الوسط، ولد في 8 يناير 1994 في مدينة مكسيكو في المكسيك. لعب مع Tampa Bay Rowdies ‏.
روي بواتينغ
روي بواتينغ (بالإنجليزية: Roy Boateng)‏ هو لاعب كرة قدم غاني في مركز الدفاع، ولد في 21 يناير 1996 في أكرا في غانا. لعب مع نيو يورك ريد بولز 2.
فرانسيسكو فورت
فرانسيسكو فورت هو لاعب كرة قدم إيطالي في مركز حراسة المرمى، ولد في 12 أكتوبر 1991 في كامبورا سان جوفاني في إيطاليا.
جيل كوهن (لاعب كرة قدم)
جيل كوهن (بالعبرية: גיל כהן‏) هو لاعب كرة قدم إسرائيلي في مركز ظهير، ولد في 8 نوفمبر 2000 في أسدود في إسرائيل. لعب مع نادي أسدود.
إغناثيو غونزاليس (لاعب كرة قدم)
إغناثيو غونزاليس (بالإسبانية: Ignacio González Barón)‏ هو لاعب كرة قدم أوروغواياني في مركز الدفاع، ولد في 22 ديسمبر 1983 في ترينيداد، أوروغواي ‏ في الأوروغواي. لعب مع التانك سيلي وتاليريس كوردوبا وتشاكاريتا جيونيورز وديفينسور سبورتينغ وسان مارتين دي سان خوان ونادي ليفربول.
قانون الانتخابات القطري
قانون الانتخابات القطري، قانون يشرع لتنظيم انتخابات مجلس شورى لعام 2021 في قطر والتي تعد أول انتخابات تشريعية لعضوية مجلس الشورى في البلاد. شهد القانون احتجاجات على بند من يحق لهم الترشح والانتخاب والذي يصنف القطريين لثلاث فئات: الأصلي والمتجنس قديمًا والمتجنس حديثًا.
قانون الانتخابات القطري من البنود التي شهدت جدلًا
بحق انتخاب أعضاء مجلس الشورى كل من كانت جنسيته الأصلية قطرية وأتم 18 سنة ميلادية، ويستثني من شرط الجنسية الأصلية، كل من اكتسب الجنسية القطرية وبشرط أن يكون جده قطريا ومن مواليد دولة قطر.
احتجاجات قطر 2021
احتجاجات قطر 2021، هي احتجاجات شعبية اندلعت في قطر بسبب قانون الانتخابات القطري الذي سينظم انتخابات مجلس الشورى المقبلة والتي تعد أول انتخابات تشريعية في قطر وسينتج منها اختيار ثلثي أعضاء مجلس الشورى القطري المكون من 45 عضوًا.
اعتقل عدد من أفراد الاحتجاجات وصدر بيان عن وزارة الداخلية القطرية: «أحالت السلطات في قطر سبعة أشخاص إلى النيابة العامة للتحقيق في اتهامات موجهة إليهم بنشر أخبار كاذبة، وإثارة صراعات عرقية وقبلية.»
في مساء يوم 11 أغسطس 2021 انتهت مهلة الـ 24 الساعة التي منحها أفراد قبيلة آل مرة للقيادة القطرية كي يطلقوا سراح عدد من المعتقلين الذين تم احتجازهم وورد في موقع إرم نيوز التابع لإرم للإعلام عن انقطاع أخبار احتجاجات آل مرة مع فرض قطر تعتيمًا شاملًا وانقطعت بشكل كامل أخبار المحتجي ولم يتضح ما إذا كان جرى حجب مواقع التواصل الاجتماعي في قطر.
وانتقد رئيس الوزراء القطري الأسبق حمد بن جاسم بن جبر آل ثاني الاحتجاحات وصرح «نحن نمر في تجربة لا أريد ان اسميها ديمقراطية بل هي مشاركة شعبية وفي كل تجربة جديدة تحصل بعض الثغرات ولكن ما هكذا تورد الإبل.»
احتجاجات قطر 2021 الخلفية
في 29 يوليو 2021 صادق أمير قطر تميم بن حمد آل ثاني على المرسوم رقم (37) لسنة 2021 لتنظيم انتخابات مجلس شورى لعام 2021 في قطر والتي تعد أول انتخابات تشريعية لعضوية مجلس الشورى في البلاد. ويصنف القانون القطريين لثلاث فئات: الأصلي والمتجنس قديمًا والمتجنس حديثًا. وحرم القانون فئات المتجنسين من حق التصويت والترشح وحرم من جده لم يولد في قطر من حق الترشح وتضرر بشكل كبير من هذا القانون المنتسبين إلى قبيلة آل مرة الذي يقدر البعض نسبتهم تفوق الـ 40% من سكان قطر.
هناك توترات بين قبيلة آل مرة والقيادة الحالية من آل ثاني، ففي عام 2005 جردت السلطات بعض أفراد القبيلة من الجنسية وقالت إن السبب في ذلك هو حملهم جنسيتين وبينما يرى بعض من أفراد قبيلة آل مرة إن ما يحدث تصفية حسابات ومحاولة تقليص عدد أفراد القبيلة لضمان التوازن القبلي في قطر رغم نفي السلطات إن الإجراء كان عقابًا لهم على ما يشتبه بتورطهم في محاولة انقلاب 1996 في قطر.
احتجاجات قطر 2021 قانون الجنسية القطري
بسبب تعديل عام 2005 على قانون الجنسية فقد جزء من المواطنين القطريين صفة المواطنة الأصلية التي بموجبها يحق لهم الترشح والانتخاب. وشمل هذا التعديل جزء من المنتسبين إلى قبيلة آل مرة والتي تعد من قبائل البدو الرّحل في شبه الجزيرة العربية ولم تستقر قبل ترسيم الحدود في مكان محدد.
هزاع بن علي المري
هزاع بن علي المري، محامي قطري اعتقل بعد قيادته احتجاجات قبيلة آل مرة في قطر اعتراضًا على بنود قانون الانتخابات القطري الذي صنف القطريين إلى ثلاث فئات وعد أغلب المنتسبين إلى قبيلة آل مرة من المتجنسين الذين لا يحق لهم الترشح وجزء منهم لا يحق لهم الانتخاب.
استيفاء ثنائي
تعرّف قابلية الإرضاء الثنائية، 2-إس إيه تي، في علوم الحاسوب، بأنها مسألة حاسوبية لتعيين قيم لمتغيرات، لكل منها قيمتان محتملتان، لإرضاء نظام القيود على أزواج المتغيرات. وتعد حالة خاصة من مسألة قابلية الإرضاء المنطقية العامة، التي يمكن أن تتضمن قيودًا على أكثر من متغيرين، ومن مسألة إرضاء القيد، التي يمكن أن تسمح بأكثر من خيارين لقيمة كل متغير. ولكن على عكس هذه المسائل الأكثر عمومية، التي تعد مسائل كثيرة حدود غير قطعية كاملة، يمكن حل قابلية الإرضاء الثنائية في زمن متعدد الحدود.
استيفاء ثنائي
يعبر عادةً عن مثيلات مسألة قابلية الإرضاء الثنائية بصيغ منطقية من نوع خاص، تدعى صيغ عطف طبيعي (سي إن إف-2) أو صيغ كروم. ويمكن التعبير عنها، بدلًا من ذلك، كنوع خاص من الرسم البياني الموجه، مخطط الاقتضاء، الذي يعبر عن متغيرات مثيل ونفيها كرؤوس في الرسم البياني، والقيود المفروضة على أزواج المتغيرات كحواف موجهة. يمكن حل نوعي المدخلات هذين في الوقت الخطي، إما بواسطة طريقة تعتمد على التتبع الخلفي أو باستخدام المكونات قوية التوصيل في مخطط الاقتضاء. يعد القرار طريقة للجمع بين أزواج القيود لإنشاء قيود صالحة إضافية، ويؤدي أيضًا إلى حل في زمن متعدد الحدود. توفر مسائل قابلية الإرضاء الثنائية أحد صنفي صيغ العطف الطبيعي الفرعيين الرئيسيين الذي يمكن حله في زمن متعدد الحدود؛ والصنف الآخر هو قابلية إرضاء هورن.
استيفاء ثنائي
يمكن تطبيق قابلية الإرضاء الثنائية على مسائل الهندسة والتجسيد المرئي التي تملك فيها كل مجموعة كائنات موقعان محتملان والهدف هو إيجاد موضع لكل كائن بحيث نتجنب التداخل مع الكائنات الأخرى. تتضمن التطبيقات الأخرى عنقدة البيانات لتقليل مجموع أقطار العناقيد، وجدولة الفصول الدراسية والرياضات، واستعادة الأشكال من المعلومات حول المقاطع العرضية.
في نظرية التعقيد الحسابي، توفر قابلية الإرضاء الثنائية مثالًا لمسألة كثيرة حدود غير قطعية كاملة، التي يمكن حلها بطريقة غير حتمية باستخدام كمية تخزين لوغاريتمية وتعد من أصعب المسائل التي يمكن حلها في هذا المصدر المرتبط. يمكن إعطاء مجموعة كامل الحلول لمثيل قابلية الإرضاء الثنائية بنية الرسم البياني الوسيط، ولكن إحصاء هذه الحلول هو كثير حدود كامل وبالتالي من غير المتوقع أن يكون لها حل في زمن متعدد الحدود. تمر الحالات العشوائية بمرحلة انتقالية واضحة من الحالات القابلة للحل إلى الحالات غير القابلة للحل عندما تتجاوز نسبة القيود إلى المتغيرات السابقة القيمة 1، وهي ظاهرة متوقعة ولكنها غير مثبتة للأشكال الأكثر تعقيدًا من مسألة قابلية الإرضاء. تحتوي مسألة قابلية الإرضاء الثنائية تباين صعب حسابيًا، إيجاد تعيين صحيح يزيد عدد القيود المستوفاة، يملك خوارزمية تقريبية يعتمد استمثالها على تخمين الألعاب الفريد، وتحتوي تباين صعب آخر، إيجاد مهمة مرضية تقلل عدد المتغيرات الصحيحة، ويعد حالة اختبار مهمة للتعقيد ذات المعلمات.
استيفاء ثنائي تمثيلات المسألة
يمكن وصف مسألة الإرضاء الثنائية باستخدام تعبير منطقي مع صيغة مقيدة خاصة. وتعد عطف عبارات (منطقي وعملي)، بحيث تكون كل عبارة هي فصل (منطقي أو عملي) متغيرين أو نفي متغيرين. تُعرف المتغيرات أو نفي المتغيرات الواردة في هذه الصيغة بالمحارف. يعبر عن الصيغة التالية بصيغة عطف طبيعي، مع سبعة متغيرات، وإحدى عشر جملة، واثنين وعشرين محرفًا:
تتمثل مسألة قابلية الإرضاء الثنائية في إيجاد تعيينات صحيحة لهذه المتغيرات تجعل كامل الصيغة صحيحة. يختار هذا التعيين ما إذا كان سيجعل المتغير صحيحًا أم خاطئ، بحيث يصبح محرف واحد على الأقل صحيح في كل عبارة. بالنسبة للتعبير الموضح أعلاه، تعد إحدى التعيينات المرضية المحتملة هي تعيين قيمة صحيحة لجميع المتغيرات السبعة. إذ تحتوي كل عبارة على متغير واحد غير منفي على الأقل، لذا فإن هذا التعيين يرضي كل عبارة. توجد أيضًا 15 طريقة أخرى لتعيين جميع المتغيرات بحيث تصبح الصيغة صحيحة. وبالتالي يعد مثيل قابلية الإرضاء الثنائية الذي يمثله هذا التعبير مرضٍ.
استيفاء ثنائي تمثيلات المسألة
تُعرف الصيغ في هذا النموذج بـ2-سي إن إف. يرمز الرقم «2» في هذا الاسم إلى عدد المحارف لكل عبارة، ويرمز «سي إن إف» إلى صيغة العطف الطبيعي، وهو نوع من التعبير المنطقي في صيغة عطف الفصل. وتسمى أيضًا صيغ كورم، تكريمًا لأعمال عالم الرياضيات في جامعة كاليفورنيا في ديفيس ميلفن ر. كروم، الذي كانت ورقته البحثية عام 1967 إحدى أقدم الأعمال المتعلقة بمسألة قابلية الإرضاء الثنائية.
تعد كل عبارة في صيغة العطف الطبيعي الثنائية مكافئ منطقي لاقتضاء من متغير واحد أو نفي متغير إلى الآخر. يمكن مثلًا كتابة الفقرة الثانية في المثال بأي من الطرق الثلاثة المكافئة:
يمكن أيضًا كتابة مثيل قابلية الإرضاء الثنائية في صيغة اقتضاء طبيعي، بسبب هذا التكافؤ بين أنواع العمليات المختلفة هذه، بحيث نستبدل كل عبارة أو في صيغة العطف الطبيعي بالمقتضين المساويين.
استيفاء ثنائي تمثيلات المسألة
توجد طريقة ثالثة أكثر رسومية لوصف مثيل قابلية الإرضاء الثنائية هي مخطط الاقتضاء. يعد مخطط الاقتضاء مخطط موجه يوجد فيه رأس واحد لكل متغير أو نفي متغير، وحافة تربط كل رأس بآخر عندما تكون المتغيرات المقابلة مرتبطة باقتضاء في صيغة الاقتضاء الطبيعي للمثيل. يجب أن يكون مخطط الاقتضاء رسمًا بيانيًا غير متناظرًا، ما يعني أنه يملك تناظر يوصل كل متغير بنفيه ويعكس اتجاهات جميع الحواف.
مخطط اقتضاء لمثيل قابلية الإرضاء الثنائية الموضح في هذا القسم.
استيفاء ثنائي الخوارزميات
تُعرف عدة خوارزميات لحل مسألة قابلية الإرضاء الثنائية. تستغرق أكثر الخوارزميات كفاءة وقتًا خطيًا.
وصف كروم (1967) إجراء اتخاذ القرار الزمني متعدد الحدود التالي لحل مثيلات قابلية الإرضاء الثنائية.
لنفترض أن مثيل قابلية إرضاء ثنائية يحتوي على عبارتين يستخدم كلاهما المتغير x نفسه، لكن ينفى x في إحدى العبارتين. بالتالي يمكن الجمع بين الجملتين لإنتاج جملة ثالثة، تحتوي المحرفيين الآخرين من العبارتين؛ ترضى العبارة الثالثة حكمًا عند إرضاء أول عبارتين. مثلًا، إذا دمجنا العبارتين (a ∨ b) و(b ∨¬c¬) تنتج بهذه الطريقة عبارة (a ∨ ¬c). بالنسبة لصيغة الاقتضاء لنموذج العطف الطبيعي الثنائي، تعادل هذه القاعدة إيجاد اقتضائين a ⇒ b¬ وb ⇒ ¬c واستدلال اقتضاء ثالث بالتعدِ a ⇒ ¬ c¬.
حملة بوسطن
حملة بوسطن كانت الحملة الافتتاحية للحرب الثورية الأمريكية، التي وقعت بشكل أساسي في مقاطعة خليج ماساتشوستس. بدأت الحملة مع معارك ليكسينغتون وكونكورد في 19 أبريل عام 1775، وفيها اعترضت الميليشيات الاستعمارية المحلية محاولة الحكومة البريطانية للاستيلاء على المخازن العسكرية والقادة في كونكورد، ماساتشوستس. عانت الحملة البريطانية بأكملها من خسائر كبيرة خلال معركة التراجع إلى تشارلزتاون ضد عدد متزايد من الميليشيات.
بعد ذلك، حاصرت قوات الميليشيا المتكدسة مدينة بوسطن، وبدأ حصار بوسطن. كانت المعركة الرئيسية خلال الحصار، معركة بانكر هيل في 17 يونيو عام 1775، واحدة من أكثر المواجهات دموية في الحرب، وأسفرت عن انتصار بريطاني بيروسي (باهظ الثمن). وحدثت العديد من المناوشات بالقرب من بوسطن والمناطق الساحلية لبوسطن، ما أدى إلى خسائر في الأرواح أو الإمدادات العسكرية أو كليهما.
حملة بوسطن
في يوليو عام 1775، تولى جورج واشنطن قيادة الميليشيات المجمعة وحوّلها إلى جيش أكثر تماسكًا. وفي 4 مارس عام 1776، حصن الجيش الاستعماري مرتفعات دورتشستر بمدفع قادر على الوصول إلى بوسطن والسفن البريطانية في الميناء. انتهى الحصار (والحملة) في 17 مارس عام 1776 بانسحاب دائم للقوات البريطانية من بوسطن. وحتى يومنا هذا، تحتفل بوسطن بيوم 17 مارس كيوم الجلاء.
حملة بوسطن الخلفية
في عام 1767، أصدر البرلمان البريطاني قوانين تاونزهند التي فرضت رسوم استيراد على الورق والزجاج والطلاء وغيرها من العناصر شائعة الاستيراد إلى المستعمرات الأمريكية. رد أبناء الحرية ومنظمات الوطنيين الأخرى بمجموعة متنوعة من الإجراءات الاحتجاجية. ونظموا مقاطعات للبضائع الخاضعة للضرائب، وضايقوا موظفي الجمارك الذين كانوا يحصلون الرسوم وهددوهم، وكان كثير منهم إما فاسدين أو مرتبطين بقادة المقاطعات. طلب فرانسيس برنارد، حاكم مقاطعة خليج ماساتشوستس، من القوات العسكرية حماية أفراد طاقم الملك. ثم وصلت القوات البريطانية إلى مدينة بوسطن واحتلت المدينة في أكتوبر 1768. وأدت التوترات إلى مذبحة بوسطن في 5 مارس عام 1770، وبعدها إلى عملية حفلة شاي بوسطن (تي بارتي) في 16 ديسمبر عام 1773.
حملة بوسطن الخلفية
ردًا على عملية حفلة الشاي والاحتجاجات الأخرى، سن البرلمان قوانين لا تطاق لمعاقبة المستعمرات. ومع قانون حكومة ماساتشوستس لعام 1774، ألغيت حكومة مقاطعة ماساتشوستس. وعُين الفريق الأول توماس غيج، رئيس أركان القوات البريطانية في أمريكا الشمالية، حاكمًا لولاية ماساتشوستس وتلقى تعليمات من حكومة الملك جورج لفرض السلطة الملكية في المستعمرة المضطربة. ومع ذلك، أجبرت المقاومة الشعبية المسؤولين الملكيين المعينين حديثًا في ماساتشوستس على الاستقالة أو البحث عن ملجأ في بوسطن. قاد غيج أربعة أفواج من الجنود النظاميين البريطانيين (نحو 4000 رجل) من مقره في بوسطن، لكن المتعاطفين مع الوطنيين كانوا يسيطرون على الريف إلى حد كبير.
حملة بوسطن بداية الحرب
في 1 سبتمبر عام 1774، أزال الجنود البريطانيون البارود والإمدادات العسكرية الأخرى في غارة مفاجئة على مخزن البارود بالقرب من بوسطن. أثارت هذه الحملة انزعاج الريف، وانطلق الآلاف من الأمريكيين الوطنيين وسط شائعات عن اقتراب الحرب. ولكن ثبت أن تلك الشائعات غير حقيقية، إلا أن هذا الحدث - المعروف باسم إنذار البارود - دفع جميع المعنيين إلى المضي قدمًا بحذر أكبر في الأيام المقبلة، وقدم بشكل أساسي «بروفة» للأحداث التي تلت ذلك بسبعة أشهر. وردًا على هذا العمل، نقل المستعمرون الإمدادات العسكرية من عدة حصون في نيو إنجلاند ووزعوها على الميليشيات المحلية.
حملة بوسطن بداية الحرب
في ليلة 18 أبريل عام 1775، أرسل الفريق الأول غيج 700 رجل للاستيلاء على الذخائر التي خزنتها الميليشيا الاستعمارية في كونكورد. ولكن العديد من الخيالة - بمن فيهم بول ريفير - أعلموا الريف بذلك، وعندما دخلت القوات البريطانية ليكسينغتون في صباح يوم 19 أبريل، وجدوا 77 من الرجال المستعدين للقتال، وكانوا قد جمعوا من القرية بشكل مشترك. جرى تبادل لإطلاق النار وقتل ثمانية من أولئك الرجال، وتفرقت الميليشيات الاستعمارية، وانتقل البريطانيون إلى كونكورد. وفي كونكورد، بحثت القوات عن الإمدادات العسكرية، لكنها وجدت القليل منها نسبيًا، إذ أن المستعمرين، الذين تلقوا تحذيرات من احتمال حدوث مثل هذه الحملة، قد اتخذوا خطوات لإخفاء العديد من الإمدادات. وأثناء البحث، حدثت مواجهة عند الجسر الشمالي. أطلقت مجموعة صغيرة من القوات البريطانية النار على رتل أكبر بكثير من الميليشيات الاستعمارية، وجاء الرد بإطلاق النار، وفي النهاية دُحر البريطانيون، الذين عادوا إلى وسط القرية وانضموا إلى القوات الأخرى هناك. وبحلول الوقت الذي بدأت فيه قوات الريد كوت «المعاطف الحمراء» (كما كان يُطلق على الجنود البريطانيين) مسيرة العودة إلى بوسطن، كان عدة آلاف من رجال الميليشيات قد تجمعوا على طول الطريق. تبع ذلك معركة عانى فيها الفصيل البريطاني بشدة قبل الوصول إلى تشارلزتاون. مع معركة ليكسينغتون وكونكورد - «الطلقة التي سمعت حول العالم» - بدأت الحرب.
استفتاء الجمهورية الأسترالية عام 1999
كان استفتاء الجمهورية الأسترالية الذي أجري في 6 نوفمبر 1999 عبارة عن استفتاء من سؤالين لتعديل دستور أستراليا. طرح السؤال الأول ما إذا كان ينبغي أن تصبح أستراليا جمهورية مع رئيس معيّن من قبل البرلمان باتباع نموذج تعيين بموافقة الحزبين الحزب وافق عليه المؤتمر الدستوري نصف المنتخب ونصف المُعيّن الذي عقد في كانبيرا في فبراير 1998. السؤال الثاني، عمومًا، يُعتبر أقل أهمية من الناحية السياسية، يسأل عما إذا كان ينبغي على أستراليا تغيير الدستور لإدخال ديباجة. لعدة سنوات، أشارت استطلاعات الرأي إلى أن غالبية الناخبين يفضلون الجمهورية. ومع ذلك، فقد هُزِم الاستفتاء الجمهوري، ويرجع ذلك جزئيًا إلى الانقسام بين الجمهوريين حول الطريقة المقترحة لاختيار الرئيس والجمهوريين المنشقين الذين دعموا لاحقًا حملة الرفض.
استفتاء الجمهورية الأسترالية عام 1999 خلفية
أستراليا هي ملكية دستورية بموجب دستور أستراليا المعتمد عام 1901، مع واجبات الملك التي يؤديها الحاكم العام الذي تختاره الحكومة الأسترالية (على الرغم من تعيينه رسميًا من قبل الملك). استمرت النزعة الجمهورية الأسترالية منذ الحقبة الاستعمارية، رغم أن الملكية ظلت تتمتع بشعبية خلال معظم القرن العشرين. في أوائل التسعينيات، أصبحت الجمهورية قضية سياسية مهمة. أشار رئيس وزراء حزب العمال الأسترالي بول كيتنغ إلى رغبته في التحريض على الجمهورية في الوقت المناسب للاحتفال بالذكرى المئوية لاتحاد أستراليا عام 2001. وقد وعد الائتلاف الوطني الليبرالي المعارض، بقيادة ألكسندر داونر، على الرغم من أنه أقل دعمًا لخطة الجمهورية، بالاجتماع في مؤتمر دستوري لمناقشة هذه المسألة. تحت قيادة جون هوارد، فاز الائتلاف بالانتخابات الفيدرالية لعام 1996 وحدد موعد الاتفاقية في فبراير 1998.
استفتاء الجمهورية الأسترالية عام 1999 خلفية
ناقش المؤتمر الدستوري الأسترالي لعام 1998 الحاجة إلى تغيير دستور أستراليا الذي من شأنه إلغاء الملكية الأسترالية. نظرت الاتفاقية في ثلاث فئات من النماذج لاختيار رئيس الدولة في جمهورية أسترالية: الانتخابات المباشرة، والانتخابات البرلمانية بأغلبية خاصة، والتعيين من قبل مجلس خاص بعد ترشيح رئيس الوزراء.
جرى التوصل إلى اتفاق من حيث المبدأ من قبل غالبية المندوبين لجمهورية أسترالية (على الرغم من وجود كتلة أقلية من الملكيين المخالفين). بعد سلسلة من الأصوات، تمت الموافقة على اقتراح نموذج تعيين الحزبين لرئيس لجمهورية أسترالية من قبل غالبية المندوبين الذين صوتوا لصالح أو ضد الاقتراح (امتنع الملكيون وبعض الجمهوريين الراديكاليين عن التصويت). أوصت الاتفاقية رئيس الوزراء والبرلمان الأستراليين بأن يُطرح النموذج والتغييرات الأخرى ذات الصلة بالدستور، التي تدعمها الاتفاقية، على الشعب في استفتاء دستوري عام 1999.