stanford-oval/wikipedia huggingface dataset:
قبیله افرایم

تقسیم اراضی اسرائیل بین اسباط.
قبیله افرایم (عبری: אֶפְרָיִם) یکی از قبائل دوازده گانه اسرائیل (اسباط اسرائیل) بود. قبیله افرایم به همراه قبیله مناسه بیت یوسف را تشکیل میدهند. یوسف دارای دو پسر به نامهای مناسه و افرایم بود که هر یک یکی از اسباط اسرائیل را به دلیل مورد آمرزش گرفتن توسط یعقوب تشکیل دادند با اینکه تمامی پسران دیگر یعقوب تنها یک قبیله تشکیل دادند. بعد از تسخیر ارض مقدس توسط یوشع بن نون که خود نیز از نسل افرایم بود تا سال ۱۰۵۰ قبل از میلاد قبائل اسرائیل دولت مرکزی مشخصی نداشتند. در زمان بروز مشکل مردم به حاکمان محلی به نام قاضیان رجوع میکردند. با گسترش خطر فلسطین قبائل اسرائیل تحت حکومت شائول (طالوت) متحد شدند. بعد از مرگ شائول تمامی قبائل اسرائیل به غیر از یهودا به بیت شائول پایبند ماندند و بعد از مرگ ایش - بوشت پسر شائول قبیله افرایم به بقیه قبائل اسرائیل ملحق شد و داوود را به عنوان پادشاه قبول کرد. بعد از به قدرت رسیدن رهبعام نوه داوود قبائل شمالی اسرائیلی جدا شده و پادشاهی شمالی اسرائیل را تشکیل دادند. قبیله افرایم نیز جزئی از این قبایل بود. قبیله افرایم به زندگی خود در پادشاهی شمالی اسرائیل ادامه داد تا اینکه سرانجام به همراه بقیه ده قبیله گمشده در سال ۷۲۳ از ارض مقدس به وسیله آشوریان اخراج شد و سرنوشت آن از این زمان به بعد نامشخص است. بعضی اعتقاد دارند که بعضی آیات کتاب مقدس بیانگر اختلاف بین قبیله یهودا و قبیله افرایم است. قبیله افرایم نماینده اصلی قبائل شمالی اسرائیل است و نسل پادشاهی شمالی اسرائیل در زمینهای این قبیله بود.
گریت والتهم

منطقه مسکونی در انگلستان
| گریت والتهم | گریت والتهم |
| --- | --- |
 Great Waltham Guildhall:  Great Waltham Guildhall
گریت والتهمگریت والتهم نمایش داده شده در  the بریتانیا: گریت والتهمگریت والتهم نمایش داده شده در  the بریتانیا
مرجع شبکه OS: TL6960213455 
محله مدنی: Great Waltham
منطقه: چلمزفورد
Shire county: اسکس
کشور: انگلستان
کشور مستقل: بریتانیا
پست شهر: CHELMSFORD
کدپستی منطقه: CM3
کد تلفن: ۰۱۲۴۵
 فهرست مکان‌‌ها بریتانیا انگلستان  ۵۱°۴۷′۳۷″شمالی ۰°۲۷′۲۷″شرقی﻿ / ﻿۵۱٫۷۹۳۵۹۸°شمالی ۰٫۴۵۷۳۸۰۰۰°شرقی﻿ / 51.793598; 0.45738000:  فهرست مکان‌‌ها بریتانیا انگلستان  ۵۱°۴۷′۳۷″شمالی ۰°۲۷′۲۷″شرقی﻿ / ﻿۵۱٫۷۹۳۵۹۸°شمالی ۰٫۴۵۷۳۸۰۰۰°شرقی﻿ / 51.793598; 0.45738000
گریت والتهم (به انگلیسی: Great Waltham) یک روستا و محله مدنی در بریتانیا است که در چلمزفورد واقع شده‌است.
رونا (بوسنی و هرزگوین)

| رونا (بوسنی و هرزگوین) | رونا (بوسنی و هرزگوین) |
| --- | --- |
روستا: روستا
کشور:  بوسنی و هرزگوین
Municipality: ماگلای
منطقهٔ زمانی: یوتی‌سی +۱ (زمان)
 • تابستانی (DST): یوتی‌سی +۲ (ساعت تابستانی اروپای مرکزی)
رونا (به لاتین: Ravna) یک منطقهٔ مسکونی در بوسنی و هرزگوین است که در ماگلای واقع شده‌است.
روش‌های صوری

در علوم رایانه و مهندسی نرم‌افزار، روش‌های صوری یا روش‌ها رسمی (به انگلیسی Formal methods) نوع خاصی از شگردهای ریاضی-پایه برای توصیف، تخصیص، ایجاد، توسعه، و تولید برنامه سامانه‌های سخت‌افزاری و نرم‌افزاری هستند. استفاده از روش‌های صوری برای طراحی سخت‌افزار و نرم‌افزار تحت تأثیر خواسته‌ها و انتظارات قرار می‌گیرد.

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

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

برای توسعه سامانه در هر سطح مطلوب، از تعریف‌های روش‌های صوری می‌توان استفاده کرد. این تعریف رایج می‌تواند جهت هدایت فعالیت‌های توسعه استفاده شود علاوه بر این می‌تواند مشخص کند که نیازهای سامانه به‌طور کامل و دقیق تشخیص داده شده‌اند.
نیاز برای ویژگی‌ها سامانه‌های صوری (رسمی) برای سالهاست که مشخص شده‌است.
در راس الغول(زبان برنامه‌نویسی الگول)  ۶۰ گزارش، John Backus یک نماد صوری (رسمی) ای در دستور این زبان برنامه‌نویسی ارائه کرده‌است (که بعداً شکل نرمال Backus یا Backus-Naur form نامیده شد.
Backus همچنین یک نیاز به یک نماد برای توصیف معناشناسی این زبان توصیف کرد.
گزارش معهود که یک نماد جدید بود، همانند BNF در آینده نزدیک ظاهر خواهد شد، یا ظاهر نخواهد شد.
تکامل

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

اگر ویژگی‌های صوری (رسمی) در یک عملیات معنایی است، رفتار مشاهده شدهٔ سامانه مجزا می‌تواند با رفتار ویژگی‌ها مقایسه شود (که خودش باید قابل اجرا یا قابل شبیه‌سازی باشد) به علاوه، دستورهای عملیاتی ویژگی‌ها ممکن است که به کد قابل اجرا از طریق انتقال مستقیم، تبدیل شدنی باشد.
اگر ویژگی‌های صوری (رسمی) در یک معناشناسی بدیهی باشد، شرایط قبلی و شرایط بعدی ویژگی‌ها ممکن است که به ادعاهایی در کد قابل اجرا تبدیل شوند.
اثبات

هر بار که یک ویژگی‌ها صوری (رسمی) توسعه می‌یابد، ویژگی‌ها ممکن است که به عنوان پایه‌هایی برای
خواص اثباتِ ویژگی‌ها استفاده شود (و امیدوارانه با استنتاج سامانه پیشرفته).
اثبات > اثبات انسانی

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

در مقابل، علاقهٔ زیادی به استفاده از اثبات‌های خودکار برای اثبات درستی چنین سامانه‌هایی وجود دارد.
اثبات‌های خودکار به دو دسته تقسیم می‌شوند: 
# اثبات قضیهٔ اتومات شده،
بررسی نمونه،
انتقادها

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

نمایشنامه رادیویی "کشمکش بر سر سایه خر” به زبان آلمانی Der Prozeß um des Esels Schatten اثری است از نمایشنامه نویس سویسی فردریش دورنمات. این اثر در سال ۱۹۵۸ برای اولین بار منتشر شد. این اثر را مهران تیزکار   به زبان فارسی ترجمه کرد و در سال ۱۳۹۸ توسط انشارات مروارید منتشر شد.
خلاصه اثر

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

| Seminole County | Seminole County |
| --- | --- |
شهرستان: شهرستان
Seminole County Courthouse: Seminole County Courthouse
  مهر:   مهر
موقعیت درون ایالت فلوریدا، ایالات متحده: موقعیت درون ایالت فلوریدا، ایالات متحده
موقعیت فلوریدا در ایالات متحده: موقعیت فلوریدا در ایالات متحده
مختصات: ۲۸°۴۳′شمالی ۸۱°۱۴′غربی﻿ / ﻿۲۸٫۷۱°شمالی ۸۱٫۲۳°غربی﻿ / 28.71; -81.23: مختصات: ۲۸°۴۳′شمالی ۸۱°۱۴′غربی﻿ / ﻿۲۸٫۷۱°شمالی ۸۱٫۲۳°غربی﻿ / 28.71; -81.23
کشور:  ایالات متحده آمریکا
ایالت:  فلوریدا
پایه‌گذاری: April 25 ۱۹۱۳
همنام: Seminole people
مرکز: Sanford
بزرگ‌ترین شهر: Sanford
مساحت: مساحت
 • کل: ۳۴۵ مایل مربع (۸۹۰ کیلومتر مربع)
 • خشکی: ۳۰۹ مایل مربع (۸۰۰ کیلومتر مربع)
 • آب: ۳۶ مایل مربع (۹۰ کیلومتر مربع)  ۱۰٫۴%
جمعیت (۲۰۱۰): جمعیت (۲۰۱۰)
 • کل: ۴۲۲۷۱۸
 • تراکم: ۱۳۷۲٫۰/مایل مربع (۵۲۹٫۷۲/کیلومتر مربع)
منطقهٔ زمانی: یوتی‌سی −۵ (شرقی)
 • تابستانی (DST): یوتی‌سی −۴ (ئی‌دی‌تی)
حوزه‌های کنگره: پنجم، هفتم
وبگاه: www.seminolecountyfl.gov
شهرستان سمینول، فلوریدا (به انگلیسی: Seminole County, Florida) یک سکونتگاه مسکونی در ایالات متحده آمریکا است که در فلوریدا واقع شده‌است.
خصوصیات

شهرستان سمینول ۸۹۳٫۵۵ کیلومترمربع مساحت دارد.
سن لوئیس، انکاش

| سن لوئیس | سن لوئیس |
| --- | --- |
Town: Town
Church of San Luis: Church of San Luis
کشور:  پرو
منطقه: منطقه انکاش
استان: استان کارلوس فرمین فیتزکارالد
District: San Luis
حکومت: حکومت
 • شهردار: Wilder Carlos Fitzcarrald Bravo
ارتفاع: ۳۱۳۱ متر (۱۰۲۷۲ فوت)
سن لوئیس (به اسپانیایی: San Luis) یک شهرک در پرو است که در استان کارلوس فرمین فیتزکارالد واقع شده‌است. سن لوئیس ۳٬۱۳۱ متر بالاتر از سطح دریا واقع شده‌است.
سوفیا ان کاروسو

| سوفیا ان کاروسو | سوفیا ان کاروسو |
| --- | --- |
زادهٔ: ۱۱ ژوئیهٔ ۲۰۰۱ ‏(۲۳ سال) اسپوکن
ملیت: ایالات متحده آمریکا
پیشه(ها): بازیگر، خوانندگی، رقص
سال‌های فعالیت: ۲۰۱۱–اکنون
سوفیا ان کاروسو (انگلیسی: Sophia Anne Caruso؛ زادهٔ ۱۱ ژوئیهٔ ۲۰۰۱) بازیگر، خواننده و رقاص اهل ایالات متحده آمریکا است. وی از سال ۲۰۱۱ میلادی تاکنون مشغول فعالیت بوده‌است.
و تا الان در فیلم مدرسه خیر و شر که اولین فیلم سینمایی او بوده بازیگر نقش اول هست.
سومایلا تاسمبدو

| اطلاعات شخصی | اطلاعات شخصی | اطلاعات شخصی | اطلاعات شخصی |
| --- | --- | --- | --- |
نام کامل:  Soumaila Tassembedo
زادروز:  ۲۷ نوامبر ۱۹۸۳ ‏(۴۰ سال)
قد:  ۱٫۸۵ متر (۶ فوت ۱ اینچ)
پست:  مدافع
باشگاه‌های جوانان: باشگاه‌های جوانان
۱۹۹۷–۱۹۹۹:  Etoile Filante Ouagadougou
باشگاه‌های حرفه‌ای*: باشگاه‌های حرفه‌ای*
| سال‌ها |  باشگاه‌ها |  بازی† |  (گل)† |
| ۲۰۰۰–۲۰۰۴ |  Etoile Filante Ouagadougou |  ۲۳ |  (۱) |
| ۲۰۰۴–۲۰۰۸ |  باشگاه فوتبال شریف تیراسپول |  ۴۴ |  (۱) |
| ۲۰۰۹–۲۰۱۳ |  Etoile Filante Ouagadougou |   |   |
تیم ملی: تیم ملی
| ۲۰۰۲–۲۰۰۸ |  تیم ملی فوتبال بورکینافاسو |  ۲۲ |  (۰) |
 تعداد بازی‌ها و گل‌ها فقط مربوط به بازی‌های لیگ داخلی است. :  تعداد بازی‌ها و گل‌ها فقط مربوط به بازی‌های لیگ داخلی است. 
سومایلا تاسمبدو (انگلیسی: Soumaila Tassembedo؛ زادهٔ ۲۷ نوامبر ۱۹۸۳) بازیکن فوتبال اهل بورکینافاسو است.
از باشگاه‌هایی که در آن بازی کرده است می‌توان به باشگاه فوتبال شریف تیراسپول اشاره کرد.
وی همچنین در تیم ملی فوتبال بورکینافاسو بازی کرده است.
سوخویه اوزرو

| سوخویه اوزرو Сухое Озеро | سوخویه اوزرو Сухое Озеро |
| --- | --- |
روستا: روستا
سوخویه اوزرونمایش نقشه باشقیرستانسوخویه اوزرونمایش نقشه روسیه: سوخویه اوزرونمایش نقشه باشقیرستانسوخویه اوزرونمایش نقشه روسیه
مختصات: ۵۳°۰۸′ شمالی ۵۸°۵۲′ شرقی﻿ / ﻿۵۳٫۱۳۳°شمالی ۵۸٫۸۶۷°شرقی﻿ / 53.133; 58.867: مختصات: ۵۳°۰۸′ شمالی ۵۸°۵۲′ شرقی﻿ / ﻿۵۳٫۱۳۳°شمالی ۵۸٫۸۶۷°شرقی﻿ / 53.133; 58.867
کشور: روسیه
ناحیه‌های فدرال روسیه: باشقیرستان
شهر: شهرستان آبزلیلوفسکی
منطقهٔ زمانی: یوتی‌سی +۵:۰۰
سوخویه اوزرو (به لاتین: Sukhoye Ozero) یک منطقهٔ مسکونی در روسیه است که در باشقیرستان واقع شده‌است.
فهرست برخی گراف‌های خاص

این مقاله به معرفی و بیان خواص برخی گراف‌های خاص می‌پردازد. این گراف‌ها شامل گراف هی وود، گراف پترسن، گراف کنزر، گراف‌های  n-بعدی و ماز همپتون می‌باشند.
گراف هی وود

گراف هی وود یک گراف  بدون جهت با14 رأس و 21 یال است  .
گراف هی وود ۳-منتظم است و این یعنی از هر راس آن سه یال بیرون آمده است، و همهٔ دورها در آن حداقل 6 و حد اکثر 14 یال دارد . عدد تقاطع گراف 3 است و کوچکترین گراف منتظم با این عدد تقاطع است. این گراف به نام پرسی جان هی وود نامگذاری شده‌است.
این گراف  را هم به صورت دایره مانند می‌توان مشاهده نمود و هم به صورت بیضی مانند، در درون این گراف هر جفت از رأس‌هایش که به هم متصل اند در میانشان چهار راس وجود دارد و به تعداد راس‌هایش در داخل خود مثلث به وجود آورده‌است .
گراف پترسن

گراف پترسن یک گراف بدون جهت با ۱۰ رأس و ۱۵ یال است. گرافی کوچک که مثال و مثال نقض مفیدی برای خیلی از مسائل در نظریه گراف است. این گراف به جولیوس پترسن نسبت داده شده ولی در حقیقت برای اولین بار، ۱۲ سال زودتر در سال ۱۸۸۶ به وجود آمده بود.
نامگذاری به نام: جولیوس پترسن 
 تعداد رأس‌ها:10 
 تعداد یال‌ها: 15 
 قطر:2 
 مینیمم طول دور:5 
 عدد رنگی:۳ 
 اندیس رنگی:۴ 
 منتظم 
 غیرمسطح
عدد تقاطع گراف پترسن 2 است.
گراف پترسن در صفحه می‌تواند به گونه‌ای رسم شود که طول هر یال برابر واحد باشد
گراف پترسن شبه هامیلتونی است.
عدد رنگی گراف پترسن 3 است. یک نمونه رنگ آمیزی با 3 رنگ.
گراف پترسن > ساخت

گراف پترسن، گراف مکمل گراف خط  K_{5} است. همچنین گراف کنزر  KG_{5,2} است به این معنا که اگر برای هر کدام از زیرمجموعه‌های دو عضوی یک مجموعهٔ ۵ عضوی یک رأس در نظر بگیریم و بین هر دو رأسی که زیرمجموعه‌ها ی نظیرشان ناسازگار باشند یک یال وصل کنیم، گراف پترسن ساخته می‌شود. 

گراف پترسن هم با گراف کامل  K_{5} و هم با گراف دوبخشی کامل  K_{3,3} همومورف است. 

متداول‌ترین شیوهٔ رسم گراف پترسن در یک صفحه، یک پنج ضلعی با یک ستارهٔ پنج رأسی درون آن است که هر یک از رأس‌های ستاره به رأس‌های پنج ضلعی با یک یال وصل می‌شود.این شیوهٔ نمایش متقارن است. در این شکل یال‌ها در ۵ نقطه یکدیگر را قطع می‌کنند.(شکل۱) این روش ترسیم بهترین روش برای مینیمم کردن تعداد تقاطع‌ها نیست. روشی دیگر برای کشیدن گراف پترسن با دو نقطهٔ تقاطع وجود دارد که در شکل۲ نشان داده شده‌است. بنابراین عدد تقاطع گراف پترسن ۲ است. 

گراف پترسن همچنین می‌تواند در صفحه به گونه‌ای رسم شود که همهٔ یال‌ها طول یکسان برابر واحد داشته باشند.(شکل۳)
گراف پترسن > مسیرها و دورهای همیلتونی

گراف پترسن مسیر هامیلتونی دارد ولی دور هامیلتونی ندارد.
گراف پترسن کوچکترین گراف شبه هامیلتونی است یعنی اگرچه دور هامیلتونی ندارد، هر کدام از رأس‌هایش که حذف شوند می‌توان یک دور هامیلتونی در آن پیدا کرد.(شکل۴)
گراف نسر(Kneser)

در نظریه گراف گراف نسر، KG_{n,k}، گرافی است که رأس‌های آن نظیر زیرمجموعه‌های k عضوی از یک مجموعه ی n عضوی است. بین دو رأس یک یال وجود دارد اگر و تنها اگر زیرمجموعه‌های نظیر رأس‌ها ناسازگار باشند(اشتراکشان تهی باشد). این گراف‌ها به نام مارتین کنزر نامگذاری شده‌اند که برای اولین بار آن‌ها را در سال ۱۹۵۵ بررسی کرد.
گراف نسر(Kneser) > مثال‌ها

گراف کامل n رأسی گراف نسر  KG_{n,1} است.
گراف  KG_{5,2} با گراف پترسن ایزومورف است.
گراف نسر(Kneser) > خصوصیات

در گراف نسر هر رأس با انتخاب k از n-k رأس دیگر مجاور است.
همانگونه که نسر حدس زد عدد رنگی گراف  KG_{n,k} دقیقاً برابر n-۲k+۲ است. Lovasz در سال ۱۹۷۸ و Joshua در سال ۲۰۰۲ برای این فرمول اثبات‌هایی توپولوژیکی ارائه دادند. در سال ۲۰۰۴ Matoušek اثباتی کاملاً ترکیبیاتی برای آن پیدا کرد.
وقتی n بزرگتر مساوی ۳k باشد گراف نسر همیشه دور هامیلتونی خواهد داشت (چن ۲۰۰۰). محاسبات نشان داده‌اند که همهٔ گراف‌های همبند کنزر با n‌های کوچکتر مساوی ۲۷ به جز گراف پترسن، همیلتونی هستند.
اگر n کوچکتر از ۳k باشد گراف نسر هیچ مثلثی نخواهد داشت.
گراف‌های n- بعدی

مکعب‌ها با ابعاد مختلف می‌توانند گراف در نظر گرفته شوند. مکعب با بعد n را با  Q_{n} نشان می‌دهیم. کد گری کدی است که هر کد با کد قبلی فقط در یک بیت تفاوت دارد و کد آخر با کد اول نیز در یک بیت متفاوت است. می‌توانیم این مسئله را با استفاده از  Q_{n} حل کنیم. هر کدگری دور هامیلتونی در  Q_{n} است. می‌توانیم  Q_{n} را از روی  Q_{n-1} بسازیم. ابتدا یک کپی از  Q_{n-1} رسم می‌کنیم( P_{n-1}). ابتدای بیت‌های  Q_{n-1}، صفر و ابتدای بیت‌های 
  P_{n-1}، یک می‌گذاریم. سپس رأس‌های متناظر  Q_{n-1} و  P_{n-1} را به هم وصل می‌کنیم.
سفیروت

درخت زندگی سمبل اصلی آئین کابالا است. در شکل رأس‌ها، ۱۰ سفیروت (مظهر خدایی) را نمایش می‌دهند(به عقیدهٔ Zohar، جهان در ده کلمه خلق شده‌است). ۲۲ یال(برابر ۲۲ تا حرف عبری کانال‌هایی هستند که نیروهای یزدانی از نیان آن‌ها عبور می‌کنند.)
این شکل به‌طور عمده بدنهٔ جهان یا نقشه خلقت را نشان می‌دهد.
ماز همپتون

هر مازی نظیر یک گراف است. رأس‌ها را محل‌های تقاطع راه‌ها، و یال‌ها را معادل مسیرها در نظر می‌گیریم.
قدیمی‌ترین ماز باقی مانده در بریتانیا در قصر همپتون قرار دارد. قابلیت عبور از مازها یک زمانی مسئلهٔ مهمی بود. سؤال این است که آیا الگوریتمی وجود دارد که کسی بتواند بدون آنکه از قبل ساختار ماز را بداند، از ماز عبور کند و از هر مسیر دو بار در جهت مخالف عبور کند؟
اولین الگوریتم برای عبور از یک ماز به C.Wiener نسبت داده شده‌است. Tremaux الگوریتمی بهینه تر در سال ۱۸۸۲ ارائه داد. ساده‌ترین و بهترین الگوریتم را Tarry در سال ۱۸۹۵ پیشنهاد داد.
نامگذاری به نام: پرسی جان هیوود 
 تعداد رأس‌ها:۱۴ 
 تعداد یال‌ها:۲۱
 عدد رنگی:۲ 
اندیس رنگی:۳ 
 مینیمم طول دور:۶
منتظم
این گراف با گراف پترسن ایزومورف است.
گراف 4 بعدی
درخت زندگی آئین کابالا
گراف معادل ماز همپتون
سنت ورین، نیومکزیکو

| سنت ورین، نیومکزیکو | سنت ورین، نیومکزیکو |
| --- | --- |
محدوده ثبت‌نشده: محدوده ثبت‌نشده
سنت ورین، نیومکزیکو: سنت ورین، نیومکزیکو
سنت ورین، نیومکزیکوLocation within the state of New Mexicoنمایش نقشه نیومکزیکوسنت ورین، نیومکزیکوسنت ورین، نیومکزیکو (ایالات متحده آمریکا)نمایش نقشه ایالات متحده آمریکا: سنت ورین، نیومکزیکوLocation within the state of New Mexicoنمایش نقشه نیومکزیکوسنت ورین، نیومکزیکوسنت ورین، نیومکزیکو (ایالات متحده آمریکا)نمایش نقشه ایالات متحده آمریکا
مختصات: ۳۴°۲۴′۵۸″ شمالی ۱۰۳°۲۹′۲۳″ غربی﻿ / ﻿۳۴٫۴۱۶۱۱°شمالی ۱۰۳٫۴۸۹۷۲°غربی﻿ / 34.41611; -103.48972: مختصات: ۳۴°۲۴′۵۸″ شمالی ۱۰۳°۲۹′۲۳″ غربی﻿ / ﻿۳۴٫۴۱۶۱۱°شمالی ۱۰۳٫۴۸۹۷۲°غربی﻿ / 34.41611; -103.48972
کشور: ایالات متحده آمریکا
ایالت آمریکا: نیومکزیکو
شهرستان: شهرستان کری، نیومکزیکو
ارتفاع: ۴۴۰۰ فوت (۱۳۰۰ متر)
منطقهٔ زمانی: یوتی‌سی -۷ (Mountain (MST))
 • تابستانی (DST): یوتی‌سی -۶ (MDT)
زیپ‌کد: ۸۸۱۳۳
کد منطقه: 575
شماره GNIS: ۹۱۵۸۹۲
سنت ورین (به انگلیسی: St. Vrain) یک منطقهٔ مسکونی در ایالات متحده آمریکا است که در نیومکزیکو واقع شده‌است. سنت ورین ۱٬۳۴۱٫۱۴ متر بالاتر از سطح دریا واقع شده‌است.
کمیسیون خدمات عمومی پاکستان

| 0 | 1 |
| --- | --- |
FPSC: FPSC
دید کلی سازمان: دید کلی سازمان
بنیان‌گذاری: 1926 (first established in  British India ) 1964 (later established in پاکستان)
حوزهٔ قدرت: Government of Pakistan
ستاد: اسلام‌آباد،  Pakistan
سازمان‌های اجرایی: Haseeb Athar، رئیس هیئت مدیره Ameer Tariq Zaman، Secretary
سازمان بالادست: Civil Service of Pakistan
وبگاه: www.fpsc.gov.pk
کمیسیون خدمات عمومی فدرال (FPSC) یک نهاد فدرال در پاکستان است که مسئولیت خدمات شهری و بروکراسی در حکومت پاکستان را بر عهده دارد.
تاریخچه

این کمیسیون نخستین بار توسط دولت استعماری بریتانیا در ۱۹۲۶ تأسیس شد. پس از استقلال پاکستان در ۱۹۴۷ کمیسیون بر مأموریت خود ابقا شد.
سنگ نگاره‌های دره کنده‌ها

| سنگ نگاره‌های دره کنده‌ها | سنگ نگاره‌های دره کنده‌ها |
| --- | --- |
نام: سنگ نگاره‌های دره کنده‌ها
کشور: ایران
استان: استان مرکزی
شهرستان: شهرستان خمین
اطلاعات اثر: اطلاعات اثر
کاربری: سنگ‌نگاره
دیرینگی: دوران‌های تاریخی پس از اسلام
دورهٔ ساخت اثر: دوران‌های تاریخی پس از اسلام
اطلاعات ثبتی: اطلاعات ثبتی
شمارهٔ ثبت: ۱۸۰۱۸
تاریخ ثبت ملی: ۲۰ اسفند ۱۳۸۵
سنگ نگاره‌های دره کنده‌ها مربوط به دوران پیش از تاریخ ایران باستان - دوران‌های تاریخی پس از اسلام است و در شهرستان خمین، بخش مرکزی، دهستان آشناخور، روستای آشناخور واقع شده و این اثر در تاریخ ۲۰ اسفند ۱۳۸۵ با شمارهٔ ثبت ۱۸۰۱۸ به‌عنوان یکی از آثار ملی ایران به ثبت رسیده است.
سوخینیچی

شهر سوخینیچی (به روسی: Сухиничи) در کشور روسیه و در اوبلاست کالوگا واقع شده‌است.
سنگ نگاره‌های دیوین دسته ۱

| سنگ نگاره‌های دیوین دسته ۱ | سنگ نگاره‌های دیوین دسته ۱ |
| --- | --- |
نام: سنگ نگاره‌های دیوین دسته ۱
کشور: ایران
استان: استان همدان
شهرستان: شهرستان همدان
اطلاعات اثر: اطلاعات اثر
کاربری: سنگ‌نگاره
اطلاعات ثبتی: اطلاعات ثبتی
شمارهٔ ثبت: ۲۴۳۱۱
تاریخ ثبت ملی: ۱۵ دی ۱۳۸۷
سنگ نگاره‌های دیوین دسته ۱ مربوط به هزاره ۶ تا ۳ قبل از میلاد است و در شهرستان همدان، بخش مرکزی، دهستان ابرو، روستای دیویجین، دره دیوین واقع شده و این اثر در تاریخ ۱۵ دی ۱۳۸۷ با شمارهٔ ثبت ۲۴۳۱۱ به‌عنوان یکی از آثار ملی ایران به ثبت رسیده است.
شایوایوانکا

| شایوایوانکا | شایوایوانکا |
| --- | --- |
روستا: روستا
کشور:  مجارستان
منطقه: مجارستان شمالی
استان: بورشود-آبااوی-زمپلن
منطقهٔ زمانی: یوتی‌سی +۱ (زمان)
 • تابستانی (DST): یوتی‌سی +۲ (ساعت تابستانی اروپای مرکزی)
شایوایوانکا (به مجاری:  Sajóivánka) یک منطقهٔ مسکونی در مجارستان است که در ناحیه کازینتس‌بارتسیکا واقع شده‌است.
سنگ نگاره‌های جوباده

| سنگ نگاره‌های جوباده | سنگ نگاره‌های جوباده |
| --- | --- |
نام: سنگ نگاره‌های جوباده
کشور: ایران
استان: استان مرکزی
شهرستان: شهرستان خمین
اطلاعات اثر: اطلاعات اثر
کاربری: سنگ‌نگاره
دیرینگی: دوران‌های تاریخی پس از اسلام
دورهٔ ساخت اثر: دوران‌های تاریخی پس از اسلام
اطلاعات ثبتی: اطلاعات ثبتی
شمارهٔ ثبت: ۲۵۰۴۸
تاریخ ثبت ملی: ۱۸ اسفند ۱۳۸۷
سنگ نگاره‌های جوباده مربوط به دوران‌های تاریخی پس از اسلام است و در شهرستان خمین، بخش کمره، دهستان حمزه لو، روستای جوباده واقع شده و این اثر در تاریخ ۱۸ اسفند ۱۳۸۷ با شمارهٔ ثبت ۲۵۰۴۸ به‌عنوان یکی از آثار ملی ایران به ثبت رسیده است.
کلیسای کاتولیک کلدانی

| 0 | 1 |
| --- | --- |
کاتدرائیة القدیس یوسف، عنکاوا: کاتدرائیة القدیس یوسف، عنکاوا
بنیانگذار: ریشه‌های نهایی را دنبال می‌کند توما، در چت و ماری; در سال ۱۸۳۰ از کلیسای شرق پدید آمد
استقلال: دوران حواری
به رسمیت شناخته‌شدن: کلیسای کاتولیک، کلیسای کاتولیک شرقی
کشیش راشد: لوئیس رافائل ساکو
مقر: بغداد، عراق
قلمرو: عراق، ایران، ترکیه، سوریه، لبنان، اردن، اسرائیل، [نیازمند منبع] مصر، ایالات متحده آمریکا، کانادا، استرالیا، نیوزیلند، اتریش، بلژیک، فرانسه، یونان، هلند، دانمارک، آلمان، گرجستان، سوئد، بریتانیا
زبان:  آسوری  زبان سریانی،  زبان آرامی  زبان عربی 
اعضا: 500,000
وبگاه: Patriarchate of Babylon
کلیسای کاتولیک کلدانی (سریانی کلاسیک: ܥܕܬܐ ܟܠܕܝܬܐ ܩܬܘܠܝܩܝܬܐ) از کلیساهای وابستهٔ سریانی شرقی کلیسای کاتولیک شرقی تحت سریر مقدس جاثلیق-پاتریارک بابل، است و کمونیون کامل را با پاپ بقیه کلیسای کاتولیک حفظ می‌کند. هم‌اکنون کلیسای کاتولیک کلدانی از حدود ۵۰۰٬۰۰۰ در شمال عراق، و مناطق مجاور در جنوب غربی ترکیه و شمال غربی ایران تشکیل می‌شود.
سنگ نگاره‌های تپه شاه فیروز

| سنگ نگاره‌های تپه شاه فیروز | سنگ نگاره‌های تپه شاه فیروز |
| --- | --- |
نام: سنگ نگاره‌های تپه شاه فیروز
کشور: ایران
اطلاعات اثر: اطلاعات اثر
کاربری: تپه، سنگ‌نگاره
دیرینگی: دوران پیش از تاریخ ایران باستان
دورهٔ ساخت اثر: دوران پیش از تاریخ ایران باستان
اطلاعات ثبتی: اطلاعات ثبتی
شمارهٔ ثبت: ۲۵۰۷
تاریخ ثبت ملی: ۱ آذر ۱۳۷۸
سنگ نگاره‌های تپه شاه فیروز مربوط به دوران پیش از تاریخ ایران باستان است و در ۱۴ کیلومتری جنوب شرقی سیرجان واقع شده و این اثر در تاریخ ۱ آذر ۱۳۷۸ با شمارهٔ ثبت ۲۵۰۷ به‌عنوان یکی از آثار ملی ایران به ثبت رسیده است.
شنا لمبرت

| شنا لمبرت | شنا لمبرت |
| --- | --- |
زاده: ونکوور
پیشه: نویسنده
ملیت: کانادایی
کار(های) برجسته: The falling Woman، درخشندگی، وای، عزیزم،
همسر(ها): «باب پنر»
وبگاه: www.shaenalambert.com
شنا لمبرت (انگلیسی: Shaena Lambert) رمان‌نویس و نویسنده داستان کوتاه کانادایی است.
شنا، متولد سال ۱۹۵۹ در شهر ونکوور است. وی همچنین در شهرهای تورنتو، نیویورک و اوکانوگان زندگی کرده‌است. شنا، اکنون با همسرش «باب پنر»، مشاور سیاسی در ونکوور کانادا زندگی می‌کند. آن‌ها صاحب دو فرزند هستند.
آثار لمبرت در نشریات معتبری چون Ploughshares ,Zoetrope: All-Story ,Toronto Life و The Walrus به چاپ رسیده است. داستان‌های او سه مرتبه نامزد «بهترین داستان‌های کانادایی» شده و به وسیله انتشارات اوبرون چاپ شده‌اند. این داستانها همچنین به وسیله انتشارات The Journey Prize Anthology گردآوری شده‌اند. نخستین کتاب شنا به نام The falling Woman مجموعه ای از داستانهای کوتاه اوست که انتقادات زیادی به آن شده‌است. منتقد نشریه همیلتون دربارهٔ کتاب The falling Woman می‌نویسد: «در آثار شنا لمبرت، دو لایه تجربه وجود دارد که یکی دیگری را به نقد می‌کشد، نویسنده ای که درک و فهم آلیس مونرو از درون انسان‌ها را دارد و نبوغ یان مارتل برای استفاده از شخصیت‌های کاملاً متفاوت همراه اوست». The falling Woman برنده جایزه دانوتا گلید بود و به عنوان جایزه بهترین کتاب روزنامه گلوب اند میل در سال ۲۰۰۲ انتخاب شد.
رمان دیگر لمبرت به نام درخشندگی نیز در سال ۲۰۰۷ به وسیله انتشارات رندم هوس کانادا و انتشارات ویراگو در انگلستان چاپ و مورد توجه منتقدین قرار گرفته‌است. این اثر بار دیگر نیز با نویسندگان کانادایی مانند آلیس مونرو و کارول شیلدز مورد مقایسه قرار گرفت. درخشندگی، داستان زندگی بازمانده ای از شهر هیروشیما به نام Keito Kitiwaga را نقل می‌کند که بعد از جنگ جهانی دوم به آمریکا سفر کرده و درگیر رابطه پیچیده‌ای با همسرش در لانگ آیلند می‌شود. درخشندگی، در سال ۲۰۰۷ نامزد جایزه Rogers Writers' Trust Fiction Prize و در سال ۲۰۰۸ نیز به عنوان بهترین کتاب گلوب اند میل شناخته شده‌است.
کتاب داستان‌های شنا لمبرت به نام وای، عزیزم(انگلیسی: Oh, My Darling) نیز به وسیله انتشارات هارپر کالینز در کانادا در سال ۲۰۱۳ به چاپ رسیده است.
آثار

وای، عزیزم
درخشندگی
زن مغلوب
سیارک ۹۵۸۹

| کشف | کشف |
| --- | --- |
تاریخ کشف: نوامبر ۲۱, ۱۹۹۰
ویژگی‌های مداری: ویژگی‌های مداری
مبدأ مه ۱۴, ۲۰۰۸: مبدأ مه ۱۴, ۲۰۰۸
اوج: ۲.۷۴۵۸۳۲۹
حضیض: ۲.۴۴۲۷۳۱۹
خروج از مرکز مداری: ۰.۰۵۸۴۱۷۱
تناوب مداری: ۱۵۲۶.۲۴۵۱۸۵۰
آنومالی متوسط: ۱۷.۴۱۵۷۹
انحراف: ۴.۱۵۸۲۴
 :  
سیارک ۹۵۸۹ (به انگلیسی: 9589 Deridder، نامگذاری:1990WU5) نه هزار و پانصد و هشتاد و نهمین سیارک کشف شده‌است که در ۲۱ نوامبر ۱۹۹۰ کشف شد.
قدر مطلق سیارک برابر ۱۸.۶ است.
سپیه

شهر سپیه  در بخش نیودرسیمانتل در ایالت برن در کشور سوئیس واقع شده‌است که ۱۲٬۰۰۰ نفر جمعیت دارد.