stanford-oval/wikipedia huggingface dataset:
والتر اشتفنس

| والتر اشتفنس | والتر اشتفنس |
| --- | --- |
زادهٔ: ۲۶ دسامبر ۱۹۰۸ بارنشتورف
درگذشت: ۲۳ اوت ۲۰۰۶ بارنشتورف
ملیت: آلمان
والتر اشتفنس (آلمانی: Walter Steffens; ۲۶ دسامبر ۱۹۰۸ – ۲۳ اوت ۲۰۰۶) ژیمناست هنری اهل آلمان بود.
مسئله صدق‌پذیری بولی

صدق‌پذیری یا ارضاپذیری در دانش رایانه پرسمانی است که می‌پرسد آیا می‌توان ارزش متغیرهای فرمولی دودویی را به گونه‌ای یافت که فرمول درست باشد؟ بنابراین اگر چنین ارزش‌دهی پیدا شود، گوییم پرسمان صدق‌پذیر است. وگرنه، بی‌گمان این فرمول همواره نادرست است و گوییم که فرمول صدق‌ناپذیر است. برای نمونه، فرمول  A\land B صدق‌پذیر است چون اگر ارزش‌های  A و  B درست باشند، فرمول همواره درست است.
پرسمان صدق‌پذیری نخستین پرسمانی است که ان‌پی کامل بودنش نشان داده شده‌است. کوک و لوین نشان دادند الگوریتمی شناخته‌شده‌ای نیست که در زمانی کوتاه پرسمان صدق‌پذیری را حل کند. محدودهٔ وسیعی از بقیهٔ مسائل تصمیم‌گیری و بهینه‌سازی طبیعی می‌توانند به موارد مسئلهٔ صدق‌پذیری تبدیل شوند. یک رده از الگوریتم‌ها به نام حل‌کننده‌های SAT به‌طور کارآمد می‌توانند زیرمجموعه‌ای به اندازهٔ کافی بزرگ از موارد SAT را حل کنند تا در حوزه‌های مختلف عملی از جمله طراحی مدار و قضیهٔ اثبات اتوماتیک مفید باشند. وسیعتر کردن قابلیت‌های الگوریتم‌های حل‌کنندهٔ SAT یک حوزهٔ در حال پیشرفت است. هرچند هیچ‌کدام از روش‌های کنونی نمی‌توانند همه‌ی موارد مسئلهٔ صدق‌پذیری را به‌طور کارآمد حل کنند.
تعریف‌ها، واژگان و کاربردها

در نظریه پیچیدگی محاسباتی مسئلهٔ صدق‌پذیری یک مسئلهٔ تصمیم است که نمونهٔ آن یک عبارت بولی می‌باشد که فقط با AND، OR، NOT، متغیرها و پرانتز نوشته شده‌است. سؤال این است که: آیا می‌توان به متغیرها مقادیر "درست" و "نادرست" داد تا عبارت موردنظر همواره درست باشد؟ یک فرمول از منطق گزاره‌ای صدق‌پذیر است اگر به متغیرهای آن بتوان مقادیر منطقی داد تا فرمول همواره درست باشد. مسئلهٔ صدق‌پذیری دودویی یک ان‌پی کامل است. مسئلهٔ صدق‌پذیری گزاره‌ای (PSAT)، که مشخص می‌کند آیا یک فرمول گزاره‌ای صدق‌پذیر هست یا نه، مهم‌ترین مسئله در حوزه‌های مختلف علوم رایانه است؛ نظیر علوم نظری رایانه، الگوریتم‌ها، هوش مصنوعی، طراحی پردازنده، اتوماسیون طراحی الکترونیکی و تایید.
یک متغیر یا خود آن متغیر یا نقیضش است. به‌طور مثال x۱ یک متغیر مثبت و (not(x۲ یک متغیر منفی است.
یک عبارت فصل منطقی از متغیرهاست. به‌طور مثال (x۱ V not(x۲ یک عبارت است.
در بعضی حالت‌های مسئله صدق‌پذیری دودویی، نیاز است که فرمول عطف منطقی چند عبارت باشد. حالتی که صدق‌پذیری یک فرمول به شکل عطف معمولی را بررسی می‌کنیم که هر عبارت حداکثر دارای سه متغیر باشد، ان‌پی کامل است؛ این مسئله "۳SAT" یا "۳CNFSAT" یا "۳-صدق‌پذیری" نامیده می‌شود. حالتی که فرمول موردبررسی دارای عبارت‌هایی با حداکثر دو متغیر باشد، ان‌ال کامل است؛ این مسئله "۲SAT" نامیده می‌شود. حالتی که فرمول موردبررسی دارای عبارت‌های هورن (که حداکثر یک متغیر مثبت دارند.) باشد، پی کامل است؛ این مسئله صدق‌پذیری هورن نامیده می‌شود.
قضیه کوک لوین عنوان می‌کند که مسئله دودویی صدق‌پذیری یک ان‌پی کامل است، در واقع این اولین مسئله‌ایست که اثبات شده ان‌پی کامل است.
پیچیدگی و نسخه‌های محدود > ان‌پی کامل

همانطور که استفن کوک در سال ۱۹۷۱ اثبات کرد، مسئلهٔ SAT اولین مسئلهٔ ان‌پی کامل شناخته شد. (اثبات را در قضیه کوک لوین ببینید.) تا آن زمان مفهومی به نام ان‌پی کامل وجود نداشت. این مسئله ان‌پی کامل باقی می‌ماند هرچند که همهٔ عبارات به صورت عطفی معمولی با سه متغیر در هر عبارت (۳-CNF) باشند؛ یعنی عبارت به شکل زیر است:
در اینجا هر x یک "متغیر" است و هر متغیر می‌تواند چندبار در عبارت تکرار شوند.
یک ویژگی مهم اختصار کوک آن است که تعداد جواب‌های درست را نگه می‌دارد. به‌طور مثال اگر یک گراف 17 رنگ‌آمیزی سه‌گانه معتبر داشته باشد، قاعدهٔ SAT دارای 17 واگذاری ارضاپذیر است.
ان‌پی کامل فقط به زمان اجرا در بدترین حالت ارجاع می‌دهد. بسیاری از مواردی که در کاربردهای عملی اتفاق می‌افتند می‌توانند خیلی سریعتر حل شوند.
مسئلهٔ SAT آسان‌تر است اگر فرمول‌ها به صورت فصلی معمولی باشند، یعنی بین عبارات OR و در هر عبارت بین متغیرها AND قرار گرفته باشد. این فرمول‌ها صدق‌پذیر هستند اگر و تنها اگر حداقل یکی از عبارات آن صدق‌پذیر باشند، و یک عبارت صدق‌پذیر است اگر و تنها اگر به ازای هر متغیر x هم خودش و هم NOT آن را دربرنداشته باشد. این موضوع می‌تواند در زمان چندجمله‌ای بررسی شود.
پیچیدگی و نسخه‌های محدود > 2-صدق‌پذیری

همچنین مسئلهٔ SAT آسان‌تر است اگر تعداد متغیرهای یک عبارت به 2 محدود شده باشد، که در این حالت مسئله 2SAT نامیده می‌شود. این مسئله نیز می‌تواند در زمان چندجمله‌ای حل شود و در واقع برای ردهٔ ان‌ال کامل است. به‌طور مشابه اگر تعداد متغیرهای هر عبارت را به 2 محدود کرده و اعمال AND را به XOR تغییر دهیم، نتیجه یک 2-صدق‌پذیری XOR است که یک مسئلهٔ کامل برای SL = L می‌باشد.
یکی از مهم‌ترین محدودیت‌های SAT، مسئلهٔ HORNSAT می‌باشد که فرمول، یک عطف از چند عبارت هورن باشد. این مسئله با الگوریتم ارضاپذیری هورن با زمان چندجمله‌ای قابل حل است، و در اصل پی-کامل می‌باشد. می‌تواند به صورت نسخه‌ای از ردهٔ پی برای مسئلهٔ صدق‌پذیری دودویی دیده شود.
در صورتی که رده‌های پیچیدگی پی و ان‌پی یکسان نباشند، برخلاف SAT هیچ‌کدام از این محدودیت‌ها ان‌پی کامل نیستند. این فرضیه که پی و ان‌پی یکسان نیستند هنوز اثبات نشده‌است.
پیچیدگی و نسخه‌های محدود > 3-صدق‌پذیری

3-صدق‌پذیری یک حالت خاص از k-SAT یا به‌طور ساده‌شده SAT است که هر عبارت دقیقاً k = 3 متغیر را شامل می‌شود. این یکی از 21 مسئله ان‌پی-کامل کارپ است.
در اینجا یک مثال می‌زنیم: (¬ نشان‌دهندهٔ نقیض است.)
E دارای دو عبارت (که با پرانتز مشخص شده‌اند)، چهار متغیر (x1, x2, x3, x4) و k = 3 (سه متغیر در هر عبارت) می‌باشد.
برای آنکه این مثال از مسئلهٔ تصمیم‌گیری را حل کنیم باید مشخص کنیم که آیا یک جدول درستی برای متغیرها وجود دارد به‌طوری‌که کل عبارت همواره درست باشد یا خیر. در این مثال با "درست" قرار دادن همه متغیرها، می‌توان E را همواره درست در نظر گرفت. واگذاری‌های متنوعی می‌توان انجام داد. اگر هیج واگذاری‌ای امکان‌پذیر نبود، جواب "خیر" خواهد بود.
3-SAT ان‌پی کامل است و به عنوان یک نقطهٔ شروع برای اثبات آنکه بقیهٔ مسائل هم ان‌پی سخت هستند استفاده می‌شود. این عمل با محدودیت زمانی چندجمله‌ای قابل انجام است. 3-SAT می‌تواند به یک-در-سه 3-صدق‌پذیری محدود شود که در آن ما دقیقاً می‌پرسیم که آیا یکی از متغیرها در هر عبارت درست هست یا خیر، به جای اینکه حداقل یک متغیر را بررسی کنیم. این محدودیت نیز ان‌پی کامل باقی می‌ماند.
بر اساس نظر شونینگ (1990) یک الگوریتم سادهٔ تصادفی وجود دارد که در زمان  (4/3)^{n} اجرا می‌شود (n تعداد عبارات). این الگوریتم به احتمال قوی موفق می‌شود تا دربارهٔ 3-SAT درست تصمیم بگیرد. فرضیهٔ نمایی زمان آن است که هیچ الگوریتمی نمی‌تواند 3-SAT را در زمان  \exp(o(n)) حل کند.
پیچیدگی و نسخه‌های محدود > صدق‌پذیری هورن

یک عبارت هورن است اگر حداکثر یک متغیر مثبت داشته باشد. این‌گونه عبارت‌ها مورد توجه هستند چون می‌توانند استلزام یک متغیر از مجموعه‌ای از متغیرها را بیان کنند. در واقع یک عبارت مانند  \neg x_{1}\vee \cdots \vee \neg x_{n}\vee y می‌تواند به شکل  x_{1}\wedge \cdots \wedge x_{n}ightarrowy بازنویسی شود، یعنی اگر  x_{1},\ldots ,x_{n} همه "درست" باشند، y هم باید "درست" باشد.
مسئلهٔ تصمیم‌گیری در مورد صدق‌پذیری عبارات هورن در پی (P) است. این مسئله نیز می‌تواند با یک مرحله از انتشار واحد حل شود که مدل کمینهٔ واحد از مجموعه‌ای از عبارات هورن ایجاد می‌کند.
یک تعمیم از ردهٔ فرمول‌های هورن، فرمول با قابلیت اسم‌گذاری دوبارهٔ هورن است که یک مجموعه از فرمول‌ها می‌باشد که با فرمت هورن می‌تواند با چند متغیر به همراه نقیض مربوطهٔ آن‌ها جایگزین شود. بررسی وجود این جایگزینی می‌تواند در زمان خطی انجام بگیرد؛ پس صدق‌پذیری همچین فرمولی در پی (P) است، چون می‌تواند اول با این جایگزینی و سپس بررسی صدق‌پذیری فرمول هورن نتیجه شده حل شود.
پیچیدگی و نسخه‌های محدود > صدق‌پذیری XOR

یک حالت خاص دیگر مسائلی هستند که در آن‌ها هر عبارت فقط اعمال XOR را شامل می‌شود. چون عمل XOR معادل جمع در زمینهٔ گالویس از اندازهٔ 2 است، عبارات می‌توانند مانند یک دستگاه معادلات خطی دیده شوند و از روش‌های متناظر مانند حذف گاوسی می‌توان برای یافتن راه‌حل آن‌ها استفاده کرد.
پیچیدگی و نسخه‌های محدود > قضیهٔ دوگانگی شافر

محدودیت‌های بالا (CNF، 2CNF، 3CNF، هورن) فرمول موردبررسی را به عطفی بودن زیرفرمول محدود می‌کنند؛ هر محدودیت یک شکل خاص برای همهٔ زیرفرمول‌ها مشخص می‌کند: به‌طور مثال، فقط عبارات دودویی می‌توانند یک زیرفرمول در 2CNF باشند.
قضیهٔ دوگانگی شافر عنوان می‌کند که برای هر محدودیتی بر اعمال بولی که می‌توانند این زیرفرمول‌ها را شکل دهند، مسئلهٔ صدق‌پذیری متناظر یک پی یا ان‌پی کامل است. عضویت در پی (P) برای صدق‌پذیری 2CNF و فرمول هورن، حالت‌های خاصی از این قضیه هستند.
رفتار در زمان اجرا

همانطور که در بالا به‌طور خلاصه بیان شد، هرچند که مسئله، ان‌پی کامل است، مثال‌های عملی زیادی می‌توانند خیلی زود حل شوند. اکثر مسائل عملی در حقیقت "آسان" هستند، پس حل‌کنندهٔ SAT به آسانی می‌تواند یک راه‌حل بیابد یا اثبات کند که وجود ندارد؛ با وجود آنکه آن مورد هزاران متغیر و ده‌ها هزار محدودیت دارد. بقیهٔ مسائل کوچک زمان‌های اجرایی را ارائه می‌دهند که به صورت نمایی باشند و به مرور غیرعملی شده‌اند. متأسفانه هیچ راه قابل اطمینانی وجود ندارد که سختی مسئله را بدون امتحان آن بیان کند. پس تقریباً همهٔ حل‌کننده‌های SAT شامل زمان‌های اضافه می‌شوند، پس با آنکه هیچ راه‌حلی نیافته‌اند اما به پایان خواهند رسید. در نهایت حل‌کننده‌های SAT مختلفی موارد مختلف آسان یا سخت را پیدا خواهند کرد و بعضی از آن‌ها در اثبات صدق‌ناپذیری و دیگران در یافتن راه‌حل برترند. همهٔ آن رفتارها در مسابقه‌های حل SAT دیده می‌شوند.
قابلیت کاهش دادن خود

از یک الگوریتم که به درستی می‌گوید یک مثال از SAT قابل‌حل است یا نه، می‌توان برای یافتن واگذاری صدق‌پذیر استفاده کرد. در ابتدا سؤال از فرمول  \phi  پرسیده می‌شود. اگر جواب "خیر" باشد، فرمول صدق‌ناپذیر است. در غیر این صورت سؤال از  \phi _{x_{1}=0} پرسیده می‌شود، یعنی اولین متغیر 0 در نظر گرفته می‌شود. اگر جواب "خیر" باشد، فرض می‌کنیم  x_{1}=1. به همین ترتیب مقادیر بقیهٔ متغیرها به دست می‌آیند.
این ویژگی در تئوری‌های مختلفی از قضیهٔ پیچیدگی استفاده می‌شود:
الگوریتم‌های حل‌کنندهٔ SAT

دو رده از الگوریتم‌های با کارایی بالا برای حل مسائل SAT وجود دارد: الگوریتم تضاد-راندهٔ شناختن عبارت، که می‌توان به عنوان نوعی دیگر از الگوریتم‌های DPLL به آن نگاه کرد، و همچنین الگوریتم‌های اتفاقی جستجوی محلی مانند WalkSAT.
یک حل‌کنندهٔ مسئلهٔ صدق‌پذیری DPLL، یک روند جستجوی بازگشتی اصولی را به کار می‌گیرد تا فاصلهٔ واگذاری متغیرها برای یافتن واگذاری صدق‌پذیر را کشف کند. در اوایل دههٔ 60 میلادی، روند اصلی جستجو در دو مقاله مطرح شد (منابع زیر را ببینید) و حال به عنوان الگوریتم دیویس-پاتنام-لاگمن-لاولند (یا به اختصار DPLL یا DLL) مشهور است. از لحاظ تئوری کران پایین نمایی برای خانوادهٔ الگوریتم‌های DPLL اثبات شده‌است.
حل‌کننده‌های SAT نوین (که در 10 سال گذشته ایجاد شدند) در دو نوع بیان می‌شوند: "تضاد-رانده" و "پیش‌بین". حل‌کننده‌های تضاد-رانده الگوریتم جستجوی DPLL اصلی را با تحلیل تضاد کارآمد، شناختن عبارت، بازگشت بدون ترتیب زمانی (الگوریتم پس‌پرش)، و همچنین انتشار واحد "دو-متغیر-تماشا"، انشعاب انطباقی و راه‌اندازی مجدد تصادفی، افزایش می‌دهند. نشان داده شده‌است که این "الحاقات" اصولی جستجو به صورت تجربی برای رسیدگی به موارد زیادی از SAT که در اتوماسیون طراحی الکترونیکی (EDA) به وجود می‌آیند ضروری هستند. حل‌کننده‌های پیش‌بین به خصوص کاهش‌ها (رفتن به ورای انتشار عبارت واحد) و کشف‌کننده‌ها را تشدید کردند و در کل در موارد پیچیده از حل‌کننده‌های تضاد-رانده قوی‌تر عمل می‌کنند.
حل‌کننده‌های SAT نوین تأثیرات مهمی بر زمینه‌های تأیید نرم‌افزاری، حل‌کردن محدودیت‌های هوش مصنوعی و تحقیق در عملیات دارند. حل‌کننده‌های قوی به آسانی به صورت نرم‌افزار آزاد و متن‌باز در دسترس هستند. به‌طور خاص نرم‌افزار تضاد-راندهٔ MiniSAT که در مسابقهٔ SAT در سال 2005 نسبتاً موفق بود، فقط دارای حدود 600 خط برنامه است. یک مثال از حل‌کننده‌های پیش‌بین march_dl است که در مسابقهٔ SAT در سال 2007 برنده شد.
انواع خاصی از موارد بزرگ تصادفی صدق‌پذیر از SAT با انتشار نظرسنجی (SP) قابل حل هستند. به خصوص در طراحی پردازنده و برنامه‌های تایید، صدق‌پذیری و دیگر خواص منطقی از فرمول گزاره‌ای داده‌شده بعضی اوقات بر پایهٔ نمایشی از فرمول در نمودار تصمیم‌گیری دودویی (BDD) تصمیم‌گیری می‌شوند.
منابع برای مطالعهٔ بیشتر

هستهٔ صدق‌ناپذیر
قضایای صدق‌پذیری پیمانه‌ای
Sharp-SAT
مطالعهٔ بیشتر

Carla P. Gomes, Henry Kautz, Ashish Sabharwal, Bart Selman (2008). "Satisfiability Solvers".  In Frank Van Harmelen, Vladimir Lifschitz, Bruce Porter (ed.). Handbook of knowledge representation. Foundations of Artificial Intelligence. Vol. 3. Elsevier. pp. 89–134. doi:10.1016/S1574-6526(07)03002-7. ISBN 9780444522115.{{cite book}}:  نگهداری یادکرد:نام‌های متعدد:فهرست نویسندگان (link)
هرمز (پدر هرمز دبیربد)

| هرمز | هرمز |
| --- | --- |
فرزند(ان): هرمز
پیشه: دبیربد
هرمز (پارسی میانه: Hormezd) یکی از نجیب‌زادگان ساسانی در سده سوم میلادی در زمان حکومت شاپور یکم و دبیربد دربار بود.
زندگی

از او در سنگ‌نوشته شاپور یکم بر کعبه زرتشت به عنوان پدر دبیربد دیگری به نام هرمز یاد شده‌است. نام او فقط در سنگ‌نوشته پارسی میانه ثبت شده و در سنگ‌نوشته پارتی و یونانی اثری از آن نیست.
گرچه منشأ خانوادگی وی مشخص نیست، اما با توجه به موقعیت او و پسرش، می‌توان استنباط کرد که خانواده او از گذشته دبیر بوده‌اند. در یک متن مانوی اشاره‌ای به دبیری به همین نام شده‌است که به دستور شاپور، توصیه‌نامه‌های مانی را به شاهزادگان ساسانی نوشته‌است. ممکن است فرد موجود در آن متن و این هرمز یک شخص باشند.
کعبه زرتشت، جایی که سنگ‌نوشته شاپور یکم حک شده‌است
والتر اسکاشگورد

| والتر اسکاشگورد | والتر اسکاشگورد |
| --- | --- |
زادهٔ: ۲۵ اکتبر ۱۹۹۵ ‏(۲۸ سال) سوئد
ملیت: سوئدی
پیشه: هنرپیشه
سال‌های فعالیت: ۲۰۰۳–اکنون
والدین: استلان اسکاشگورد می اسکاشگورد
خانواده: برادران: الکساندر اسکاشگورد گوستاو اسکاشگورد بیل اسکاشگورد
والتر اسکاشگورد (سوئدی: Valter Skarsgård؛ تلفظ سوئدی: [ˈval:tɛr ˈskɑ:ʂɡo:ɖ] ( شنیدن)؛ زادهٔ ۲۵ اکتبر ۱۹۹۵) بازیگر اهل سوئد است. وی از سال ۲۰۰۳ میلادی تاکنون مشغول فعالیت بوده‌است.
از جمله آثار وی می‌توان به موزیک‌ویدئوی متصل… به خودتخریبی متالیکا و همچنین فیلم کشتن یک بچه و سریال کاتلا و قتل‌های ساندهام اشاره نمود.
واش‌مرغ راه‌راه

| واش‌مرغ راه‌راه | واش‌مرغ راه‌راه |
| --- | --- |
واش‌مرغ راه‌راه، Megalurus palustris: واش‌مرغ راه‌راه، Megalurus palustris
وضعیت حفاظت: وضعیت حفاظت
 کمترین نگرانی  (IUCN 3.1):  کمترین نگرانی  (IUCN 3.1)
رده‌بندی علمی: رده‌بندی علمی
فرمانرو:: جانوران
شاخه:: طنابداران
رده:: پرندگان
راسته:: گنجشک‌سانان
تیره:: سسکان ملخی
سرده:: واش‌مرغ‌های نمادین
گونه:: M. palustris
نام دوبخشی: نام دوبخشی
Megalurus palustris : Megalurus palustris 
واش‌مرغ راه‌راه (نام علمی: Megalurus palustris) نام یک گونه از سرده واش‌مرغ‌های نمادین است. این پرنده پیشتر در بین سسکان قرار داشت..
این پرنده در بنگلادش، کامبوج، چین، هند، اندونزی، لائوس، مالزی، میانمار، نپال، پاکستان، فیلیپین، تایلند و ویتنام یافت شده‌است.
والتر اشمور

| اطلاعات شخصی | اطلاعات شخصی | اطلاعات شخصی | اطلاعات شخصی |
| --- | --- | --- | --- |
نام کامل:  Walter William Ashmore
زادروز:  October – دسامبر ۱۸۶۱
زادگاه:  اسمت‌ویک
تاریخ مرگ:  ۱۹۴۰ (۷۸−۷۹ سال)
پست:  دروازه‌بان
باشگاه‌های حرفه‌ای*: باشگاه‌های حرفه‌ای*
| سال‌ها |  باشگاه‌ها |  بازی† |  (گل)† |
| ۱۸۸۸–۱۸۸۹ |  باشگاه فوتبال استون ویلا |  ۱ |  (۰) |
|  |  Aston Unity F.C. |   |   |
 تعداد بازی‌ها و گل‌ها فقط مربوط به بازی‌های لیگ داخلی است. :  تعداد بازی‌ها و گل‌ها فقط مربوط به بازی‌های لیگ داخلی است. 
والتر اشمور (انگلیسی: Walter Ashmore; October – دسامبر ۱۸۶۱ – ۱۹۴۰ (۷۸−۷۹ سال)) بازیکن فوتبال اهل بریتانیا بود.
از باشگاه‌هایی که در آن بازی کرده‌است می‌توان به باشگاه فوتبال استون ویلا اشاره کرد.
نی‌کرک

| نی‌کرک | نی‌کرک |
| --- | --- |
فهرست شهرستان‌های هلند: فهرست شهرستان‌های هلند
Aerial view of Nijkerk: Aerial view of Nijkerk
  پرچمنشان:   پرچمنشان
موقعیت نی‌کرک در نقشه: موقعیت نی‌کرک در نقشه
مختصات: ۵۲°۱۴′ شمالی ۵°۲۹′ شرقی﻿ / ﻿۵۲٫۲۳۳°شمالی ۵٫۴۸۳°شرقی﻿ / 52.233; 5.483: مختصات: ۵۲°۱۴′ شمالی ۵°۲۹′ شرقی﻿ / ﻿۵۲٫۲۳۳°شمالی ۵٫۴۸۳°شرقی﻿ / 52.233; 5.483
کشور: هلند
استان: خلدرلاند
حکومت: حکومت
 • نهاد: Municipal council
 • Mayor: Gerard Renkema (حزب دموکرات مسیحی هلند)
مساحت: مساحت
 • کل: ۷۲٫۰۴ کیلومتر مربع (۲۷٫۸۱ مایل مربع)
 • خشکی: ۶۹٫۳۴ کیلومتر مربع (۲۶٫۷۷ مایل مربع)
 • آب: ۲٫۷۰ کیلومتر مربع (۱٫۰۴ مایل مربع)
ارتفاع: ۱ متر (۳ فوت)
جمعیت (ژانویه 2019): جمعیت (ژانویه 2019)
 • کل: ۴۲٬۹۴۳
 • تراکم: ۶۱۹/کیلومتر مربع (۱۶۰۰/مایل مربع)
اهلیت‌نام: Nijkerker
منطقهٔ زمانی: یوتی‌سی +۱ (زمان)
 • تابستانی (DST): یوتی‌سی +۲ (ساعت تابستانی اروپای مرکزی)
Postcode: ۳۸۶۰–۳۸۷۱
Area code: ۰۳۳
وبگاه: www.nijkerk.eu
نی‌کرک (به هلندی: Nijkerk) یک شهرستان در هلند است که در خلدرلاند واقع شده‌است. نی‌کرک ۱ متر بالاتر از سطح دریا واقع شده‌است.
هاگ پانارو

| هاگ پانارو | هاگ پانارو |
| --- | --- |
زادهٔ: ۱۹ فوریهٔ ۱۹۶۴ ‏(۶۰ سال) فیلادلفیا
ملیت: ایالات متحده آمریکا
پیشه(ها): بازیگر، خوانندگی
آثار برجسته: The Phantom of the Opera
قد: 6’0 (1.83)
هاگ پانارو (انگلیسی: Hugh Panaro؛ زادهٔ ۱۹ فوریهٔ ۱۹۶۴) بازیگر و خواننده اهل ایالات متحده آمریکا است.
والنات کورنر، شهرستان گرین، آرکانزاس

| والنات کورنر، شهرستان گرین، آرکانزاس | والنات کورنر، شهرستان گرین، آرکانزاس |
| --- | --- |
محدوده ثبت‌نشده: محدوده ثبت‌نشده
Walnut Cornerموقعیت والنات کورنر، شهرستان گرین، آرکانزاس در نقشهنمایش نقشه آرکانزاسWalnut CornerWalnut Corner (ایالات متحده آمریکا)نمایش نقشه ایالات متحده آمریکا: Walnut Cornerموقعیت والنات کورنر، شهرستان گرین، آرکانزاس در نقشهنمایش نقشه آرکانزاسWalnut CornerWalnut Corner (ایالات متحده آمریکا)نمایش نقشه ایالات متحده آمریکا
مختصات: ۳۶°۰۲′۲۵″ شمالی ۹۰°۴۶′۳۲″ غربی﻿ / ﻿۳۶٫۰۴۰۲۸°شمالی ۹۰٫۷۷۵۵۶°غربی﻿ / 36.04028; -90.77556: مختصات: ۳۶°۰۲′۲۵″ شمالی ۹۰°۴۶′۳۲″ غربی﻿ / ﻿۳۶٫۰۴۰۲۸°شمالی ۹۰٫۷۷۵۵۶°غربی﻿ / 36.04028; -90.77556
کشور:  ایالات متحده آمریکا
ایالت: آرکانزاس
شهرستان: شهرستان گرین، آرکانزاس
ارتفاع: ۸۰ متر (۲۶۲ فوت)
منطقهٔ زمانی: یوتی‌سی -۶ (منطقه زمانی مرکزی)
 • تابستانی (DST): یوتی‌سی -۵ (CDT)
کد منطقه: 870
شماره GNIS: ۵۷۲۲۸
والنات کورنر (به انگلیسی: Walnut Corner) یک منطقهٔ مسکونی در ایالات متحده آمریکا است که در شهرستان گرین، آرکانزاس واقع شده‌است. والنات کورنر ۷۹٫۸۶ متر بالاتر از سطح دریا واقع شده‌است.
نیو هوپ، شهرستان نیکولاس، ویرجینیای غربی

| نیو هوپ، شهرستان نیکولاس، ویرجینیای غربی | نیو هوپ، شهرستان نیکولاس، ویرجینیای غربی |
| --- | --- |
محدوده ثبت‌نشده: محدوده ثبت‌نشده
نیو هوپ، شهرستان نیکولاس، ویرجینیای غربی: نیو هوپ، شهرستان نیکولاس، ویرجینیای غربی
نام مستعار: Fenwick Mountain: نام مستعار: Fenwick Mountain
نیو هوپ، شهرستان نیکولاس، ویرجینیای غربیLocation within the state of West Virginia: نیو هوپ، شهرستان نیکولاس، ویرجینیای غربیLocation within the state of West Virginia
مختصات: ۳۸°۱۳′۶″ شمالی ۸۰°۳۶′۵۰″ غربی﻿ / ﻿۳۸٫۲۱۸۳۳°شمالی ۸۰٫۶۱۳۸۹°غربی﻿ / 38.21833; -80.61389: مختصات: ۳۸°۱۳′۶″ شمالی ۸۰°۳۶′۵۰″ غربی﻿ / ﻿۳۸٫۲۱۸۳۳°شمالی ۸۰٫۶۱۳۸۹°غربی﻿ / 38.21833; -80.61389
کشور: ایالات متحده آمریکا
ایالت آمریکا: ویرجینیای غربی
شهرستان: شهرستان نیکولاس، ویرجینیای غربی
منطقهٔ زمانی: یوتی‌سی -۵ (منطقه زمانی شرقی)
 • تابستانی (DST): یوتی‌سی -۴ (EDT)
زیپ‌کد: ۲۶۲۶۱
نیو هوپ (به انگلیسی: New Hope) یک منطقهٔ مسکونی در ایالات متحده آمریکا است که در شهرستان نیکولاس، ویرجینیای غربی واقع شده‌است.
فوبوکی وادا

| اطلاعات شخصی | اطلاعات شخصی | اطلاعات شخصی | اطلاعات شخصی |
| --- | --- | --- | --- |
نام کامل:  فوبوکی وادا
زادروز:  ۱۶ ژوئن ۱۹۹۹ ‏(۲۵ سال)
زادگاه:  استان کاناگاوا، ژاپن
پست:  مهاجم
باشگاه‌های حرفه‌ای*: باشگاه‌های حرفه‌ای*
| سال‌ها |  باشگاه‌ها |  بازی† |  (گل)† |
| ۲۰۱۸ |  باشگاه فوتبال فوکوشیما یونایتد |   |   |
 تعداد بازی‌ها و گل‌ها فقط مربوط به بازی‌های لیگ داخلی است. :  تعداد بازی‌ها و گل‌ها فقط مربوط به بازی‌های لیگ داخلی است. 
فوبوکی وادا (ژاپنی: 和田 響稀؛ زادهٔ ۱۶ ژوئن ۱۹۹۹) یک بازیکن فوتبال اهل ژاپن است.
از باشگاه‌هایی که در آن بازی کرده‌است می‌توان به باشگاه فوتبال فوکوشیما یونایتد اشاره کرد.
قطعنامه ۳۲ شورای امنیت

| قطعنامهٔ شمارهٔ ۳۲  (سازمان ملل متحد) | قطعنامهٔ شمارهٔ ۳۲  (سازمان ملل متحد) |
| --- | --- |
تاریخ: ۲۶ اوت {{{year}}}
نوبت جلسه: ۱۹۵
موضوع: مسئلهٔ اندونزی
رأی‌گیری: ۱۰ موافق بدون مخالف ۱ ممتنع
نتیجه: تصویب
اعضای شورای امنیت: اعضای شورای امنیت
اعضای دائم:  جمهوری چین (۱۹۴۹–۱۹۱۲)  فرانسه  بریتانیا  ایالات متحده آمریکا  اتحاد جماهیر شوروی
اعضای غیر دائم:  استرالیا  بلژیک  برزیل  کلمبیا  لهستان  سوریه
قطعنامه ۳۲ شورای امنیت سازمان ملل متحد که در تاریخ ۲۶ اوت ۱۹۴۷ تصویب شد، سندی بین‌المللی دربارهٔ مسئلهٔ اندونزی است. این قطعنامه طی نشست ۱۹۵ام با ۱۰ موافق، ۰ مخالف و ۱ ممتنع تصویب شد.
والنات گراو، شهرستان پاپ، آرکانزاس

| والنات گراو، شهرستان پاپ، آرکانزاس | والنات گراو، شهرستان پاپ، آرکانزاس |
| --- | --- |
محدوده ثبت‌نشده: محدوده ثبت‌نشده
والنات گراو، شهرستان پاپ، آرکانزاسWalnut Grove's position in Arkansas: والنات گراو، شهرستان پاپ، آرکانزاسWalnut Grove's position in Arkansas
مختصات: ۳۵°۲۸′۲۹″ شمالی ۹۲°۵۶′۲۱″ غربی﻿ / ﻿۳۵٫۴۷۴۷۲°شمالی ۹۲٫۹۳۹۱۷°غربی﻿ / 35.47472; -92.93917: مختصات: ۳۵°۲۸′۲۹″ شمالی ۹۲°۵۶′۲۱″ غربی﻿ / ﻿۳۵٫۴۷۴۷۲°شمالی ۹۲٫۹۳۹۱۷°غربی﻿ / 35.47472; -92.93917
کشور:  ایالات متحده آمریکا
ایالت:  آرکانزاس
شهرستان: شهرستان پوپ، آرکانزاس
Township: ناحیه جکسون، شهرستان پوپ، آرکانزاس
ارتفاع: ۲۱۵ متر (۷۰۵ فوت)
منطقهٔ زمانی: یوتی‌سی -۶ (منطقه زمانی مرکزی)
 • تابستانی (DST): یوتی‌سی -۵ (CDT)
زیپ‌کد: ۷۲۸۴۳
کد منطقه: 479
شماره GNIS: ۶۲۰۵۷
سامانه اطلاعات نام‌های جغرافیایی ایالات متحده آمریکا: والنات گراو، شهرستان پاپ، آرکانزاس: سامانه اطلاعات نام‌های جغرافیایی ایالات متحده آمریکا: والنات گراو، شهرستان پاپ، آرکانزاس
والنات گراو (به انگلیسی: Walnut Grove) یک منطقهٔ مسکونی در ایالات متحده آمریکا است که در شهرستان پوپ، آرکانزاس واقع شده‌است. والنات گراو ۲۱۵ متر بالاتر از سطح دریا واقع شده‌است.
هوندا سیویک (نسل پنجم)

Motor vehicle
| هوندا سیویک (نسل پنجم) | هوندا سیویک (نسل پنجم) |
| --- | --- |
دید کلی: دید کلی
شرکت: هوندا
تولید: 1992-1995
مونتاژ: سوزوکا، میه, Japan East Liberty, Ohio, USA (ELAP) الیستون، انتاریو, Canada (HCM) لاهور, Pakistan Hsinchu، تایوان تایلند South Africa نلسون، نیوزلند (Honda New Zealand) Santa Rosa, Laguna، فیلیپین
طراح: Kohichi Hirata (1989)
بدنه و شاسی: بدنه و شاسی
کلاس: کامپکت کوچک
شکل بدنه: 2-door کوپه (EJ1/2) 3-door هاچ‌بک (EG3, EH2/3) 4-door سدان (EG8/9, EH9)
طرح‌بندی: خودروهای موتور جلو-محور جلو خودروهای موتور جلو-چهار چرخ متحرک
خودروهای وابسته: Honda Ballade هوندا سی‌آر-ایکس دل سول Honda Concerto هوندا دومانی هوندا انتگرا
پیشرانه: پیشرانه
موتور: 1.3 L D13B2 I4 1.5 L D15B7 I4 1.5 L D15B2 I4 1.5 L D15B8 I4 1.5 L D15Z1 I4 1.5 L D15Z3 I4 1.6 L D16A8/9 DOHC I4 1.6 LD16Z6 VTEC I4 1.6 L D16Z9 VTEC SOHC I4 1.6 L B16A1/B16A2 VTEC DOHC I4 1.8 L B18C3 I4 (ZA only)
جعبه‌دنده: 4-speed جعبه‌دنده خودکار 5-speed جعبه‌دنده دستی
ابعاد: ابعاد
فاصله بین محورها: ۱۰۱٫۴ اینچ (۲٬۵۷۶ میلیمتر) (hatchback) ۱۰۳٫۲ اینچ (۲٬۶۲۱ میلیمتر) (coupé & sedan)
درازا: ۱۶۰٫۲ اینچ (۴٬۰۶۹ میلیمتر) (hatchback) ۱۷۲٫۸ اینچ (۴٬۳۸۹ میلیمتر) (coupé) ۱۷۳٫۰ اینچ (۴٬۳۹۴ میلیمتر) (sedan)
پهنا: ۶۶٫۹ اینچ (۱٬۶۹۹ میلیمتر)
بلندی: ۵۰٫۷ اینچ (۱٬۲۸۸ میلیمتر) (hatchback) ۵۰٫۹ اینچ (۱٬۲۹۳ میلیمتر) (coupé) ۵۱٫۷ اینچ (۱٬۳۱۳ میلیمتر) (Sedan)
وزن خالص: ۹۲۵–۱٬۱۳۰ کیلوگرم (۲٬۰۳۹–۲٬۴۹۱ پوند)
گاه‌شمار: گاه‌شمار
پیشین: هوندا سیویک (نسل چهارم)
پسین: هوندا سیویک (نسل ششم)
هوندا سیویک (نسل پنجم) (Honda Civic (fifth generation)) خودرویی است که در سال‌های ۱۹۹۲ تا ۱۹۹۵در ژاپن، کانادا، لاهور، پاکستان، تایوان (جزیره)، تایلند، آفریقای جنوبی و نیوزیلند تولید شده‌است.
این خودرو در کلاس خودرو کامپکت کوچک قرار گرفته، طراحی آن خودروهای موتور جلو-محور جلو و خودروهای موتور جلو-چهار چرخ متحرک بوده است. سیستم جعبه‌دندهٔ آن به دو صورت ۵ دنده دستی و 4 دنده خودکار است.
فورسترز بیچ (نیو ساوت ولز)

فورسترز بیچ (به انگلیسی: Forresters Beach) یک حومه شهر در استرالیا است که در City of Gosford واقع شده‌است.
میانگاد، خوود

| میانگاد، خوود Мянгад сум ᠮᠢᠩᠭ᠋ᠠᠳᠰᠤᠮᠤ | میانگاد، خوود Мянгад сум ᠮᠢᠩᠭ᠋ᠠᠳᠰᠤᠮᠤ |
| --- | --- |
شهر: شهر
کشور: مغولستان
استان‌های مغولستان: استان خاود
مساحت: مساحت
 • کل: ۳۲۵۸ کیلومتر مربع (۱۲۵۸ مایل مربع)
منطقهٔ زمانی: یوتی‌سی +۷ (UTC + 7)
میانگاد (به لاتین: Myangad) یک منطقهٔ مسکونی در مغولستان است که در استان خاود واقع شده‌است. میانگاد ۳٬۲۵۸ کیلومتر مربع مساحت دارد.
قطعنامه ۸۶۷ شورای امنیت

| قطعنامهٔ شمارهٔ ۸۶۷  (سازمان ملل متحد) | قطعنامهٔ شمارهٔ ۸۶۷  (سازمان ملل متحد) |
| --- | --- |
تاریخ: ۲۳ سپتامبر {{{year}}}
نوبت جلسه: ۳۲۸۲
کُد: S/RES/867 (سند)
موضوع: هائیتی
رأی‌گیری: ۱۵ موافق بدون مخالف بدون ممتنع
نتیجه: تصویب
اعضای شورای امنیت: اعضای شورای امنیت
اعضای دائم:  چین  فرانسه  روسیه  بریتانیا  ایالات متحده آمریکا
اعضای غیر دائم:  برزیل  کیپ ورد  جیبوتی  مجارستان  ژاپن  مراکش  نیوزیلند  پاکستان  اسپانیا  ونزوئلا
قطعنامه ۸۶۷ شورای امنیت سازمان ملل متحد که در تاریخ ۲۳ سپتامبر ۱۹۹۳ تصویب شد، سندی بین‌المللی دربارهٔ هائیتی است. این قطعنامه طی نشست ۳۲۸۲ام با ۱۵ رای موافق، ۰ مخالف و ۰ ممتنع تصویب شد.
نامه عاشقانه (فیلم ۱۹۸۵)

| 0 | 1 |
| --- | --- |
کارگردان: تاتسومی کوماشیرو
بازیگران: میتسوکو بایشو
تاریخ‌های انتشار:  ۱۹۸۵ (۱۹۸۵)  
کشور: Japan
«نامه عاشقانه» (انگلیسی: Love Letter (1985 film)) یک فیلم است که در سال ۱۹۸۵ منتشر شد. از بازیگران آن می‌توان به میتسوکو بایشو اشاره کرد.
موتور رسول (زاهدان)

| موتور رسول | موتور رسول |
| --- | --- |
روستا: روستا
مختصات: : مختصات: 
کشور: ایران
استان: سیستان و بلوچستان
شهرستان: زاهدان
بخش: کورین
دهستان: کورین
جمعیت: کمتر از ۳ خانوار (سرشماری ۹۵)
موتور رسول روستایی در دهستان کورین بخش کورین شهرستان زاهدان استان سیستان و بلوچستان ایران است.
جمعیت

بر پایه سرشماری عمومی نفوس و مسکن در سال ۱۳۹۵ جمعیت این روستا کمتر از ۳ خانوار بوده‌است.
| جمعیت تاریخی> سال | جمعیت تاریخی> جمعیت | جمعیت تاریخی> ±% |
| --- | --- | --- |
| ۱۳۸۵ | ۵۹ | —     |
| ۱۳۹۰ | ۷۸ | ۳۲٫۲٪+ |
| ۱۳۹۵ | * | —     |