stanford-oval/wikipedia huggingface dataset:
بولوویتسه

| بولوویتسه | بولوویتسه |
| --- | --- |
روستا: روستا
  نشان:   نشان
بولوویتسه: بولوویتسه
مختصات: ۴۹°۵۰′ شمالی ۱۹°۱۵′ شرقی﻿ / ﻿۴۹٫۸۳۳°شمالی ۱۹٫۲۵۰°شرقی﻿ / 49.833; 19.250: مختصات: ۴۹°۵۰′ شمالی ۱۹°۱۵′ شرقی﻿ / ﻿۴۹٫۸۳۳°شمالی ۱۹٫۲۵۰°شرقی﻿ / 49.833; 19.250
کشور:  لهستان
استان: استان لهستان کوچک‌تر
شهرستان: شهرستان اوشوینچیم
گمینا: گمینا کنته
اولین معرفی: ۱۳۷۷
جمعیت: جمعیت
 • کل: ۴۶۶۴
وبگاه: http://bulowice.webpark.pl/zabytki.htm
بولوویتسه (به لهستانی:  Bulowice) یک روستا در لهستان است که در گمینا کنته واقع شده‌است. بولوویتسه ۴٬۶۶۴ نفر جمعیت دارد.
جاده ای۱۸۲

|  A182 road> اطلاعات مسیر |  A182 road> اطلاعات مسیر |
| --- | --- |
طول: ۱۷٫۵ مایل (۲۸٫۲ کیلومتر)
تقاطع‌های بزرگ: تقاطع‌های بزرگ
از: واشینگتن
به: گیتس‌هد
شبکه جاده‌ای: شبکه جاده‌ای
 راه‌ها در بریتانیا آزادراه‌ها  ای و بی جاده‌های مناطق :  راه‌ها در بریتانیا آزادراه‌ها  ای و بی جاده‌های مناطق 
جاده ای۱۸۲ (انگلیسی: A182 road) یکی از جاده‌های کشور انگلستان است.
این جاده از شهرک واشینگتن شروع و در شهرک گیتس‌هد به پایان می‌رسد، طول این جاده ۲۶.۷ کیلومتر است.
ایان هالم

ایان هالم (انگلیسی: Ian Hallam؛ زادهٔ ۲۴ نوامبر ۱۹۴۸) دوچرخه‌سوار اهل بریتانیا است.
وی در مسابقات کشوری و بین‌المللی در مجموع برندهٔ ۲ مدال برنز شده‌است.
آبگشت مدوئی

| آبگشنه مدوئی دالان آبگشنه | آبگشنه مدوئی دالان آبگشنه |
| --- | --- |
روستا: روستا
خطای لوآ در پودمان:Location_map در خط 421: Malformed coordinates value.: خطای لوآ در پودمان:Location_map در خط 421: Malformed coordinates value.
مختصات: : مختصات: 
کشور: ایران
استان: فارس
شهرستان: ممسنی
بخش: بخش مرکزی
دهستان: جاوید
جمعیت: ۴۶۴ نفر
آبگشنه مدوئی، روستایی از توابع بخش مرکزی شهرستان ممسنی در استان فارس ایران است.
جمعیت

این روستا در دهستان بکش یک قرار دارد و براساس سرشماری مرکز آمار ایران در سال ۱۳۸۵، جمعیت آن ۴۶۴ نفر (۱۰۴خانوار) بوده‌است.
سپهری (سرده)

| سپهری (سرده) | سپهری (سرده) |
| --- | --- |
سپهری، Mulgedium: سپهری، Mulgedium
رده‌بندی علمی: رده‌بندی علمی
فرمانرو:: گیاهان
راسته:: میناسانان
تیره:: کاسنیان
سرده:: Mulgedium
سپهری (نام علمی: Mulgedium) نام یک سرده از تیره کاسنیان است.
بخش فوربش-بوله-موزل

| Forbach-Boulay-Moselle | Forbach-Boulay-Moselle |
| --- | --- |
بخش‌های فرانسه: بخش‌های فرانسه
کشور: فرانسه
ناحیه: گرانت است
دپارتمان: موزل
کمون: ۱۶۹
Subprefecture: فوربک
مساحت¹: مساحت¹
 • کل: ۱۲۸۳ کیلومتر مربع (۴۹۵ مایل مربع)
جمعیت (۲۰۱۳): جمعیت (۲۰۱۳)
 • کل: ۲۴۶۶۲۹
 • تراکم: ۱۹۰/کیلومتر مربع (۵۰۰/مایل مربع)
¹ French Land Register data, which exclude lakes, ponds, and glaciers larger than 1 km² as well as the estuaries of rivers.: ¹ French Land Register data, which exclude lakes, ponds, and glaciers larger than 1 km² as well as the estuaries of rivers.
بخش فوربش-بوله-موزل (به فرانسوی: Arrondissement de Forbach-Boulay-Moselle) یک بخش در فرانسه است که در موزل واقع شده‌است.
بیوه سیاه (فیلم ۱۹۸۷)

برای گونهٔ عنکبوت، عنکبوت بیوه سیاه را ببینید.
| 0 | 1 |
| --- | --- |
کارگردان: باب رافلسون
تهیه‌کننده: لاورنس مارک هارولد کی. اشنایدر
نویسنده: رانالد بس
فیلمنامه‌نویس: رانالد بس
بازیگران: دبرا وینگر تریسا راسل سامی فری دنیس هاپر
موسیقی: مایکل اسمال
فیلم‌بردار: کنراد هال
تدوین‌گر: جان بلوم
توزیع‌کننده: فاکس قرن بیستم
تاریخ‌های انتشار:  ۶ فوریه ۱۹۸۷ (۱۹۸۷-۰۲-۰۶)  
مدت زمان: ۱۰۲ دقیقه
کشور: آمریکا
زبان: انگلیسی 
فروش گیشه: $۲۵٬۲۰۵٬۴۶۰
بیوه سیاه (انگلیسی: Black Widow) فیلمی در ژانر جنایی به کارگردانی باب رافلسون است که در سال ۱۹۸۷ منتشر شد.
خلاصه فیلم

یک مامور فدرال در تعقیب زنی است که همسران خود را به قتل رسانده و دارایی‌های آن‌ها را تصاحب می‌کند...
بازیگران

دبرا وینگر
تریسا راسل
سامی فری
دنیس هاپر
روتانیا آلدا
تری اوکوئین
نیکول ویلیامسون
لوئیس اسمیت
داین لد
جیمز هنگ
دی دبلیو موفت
لئو روسی
مری وارناف
جاده ای۱۷۸

|  A178 road> اطلاعات مسیر |  A178 road> اطلاعات مسیر |
| --- | --- |
طول: ۹٫۵ مایل (۱۵٫۳ کیلومتر)
تقاطع‌های بزرگ: تقاطع‌های بزرگ
انتهای جنوبی: هارتل‌پول
انتهای شمالی: میدلزبورو
شبکه جاده‌ای: شبکه جاده‌ای
 راه‌ها در بریتانیا آزادراه‌ها  ای و بی جاده‌های مناطق :  راه‌ها در بریتانیا آزادراه‌ها  ای و بی جاده‌های مناطق 
جاده ای۱۷۸ (انگلیسی: A178 road) یکی از جاده‌های کشور انگلستان است.
این جاده از شهرک هارتل‌پول شروع و در شهر میدلزبورو به پایان می‌رسد، طول این جاده ۱۵ کیلومتر است.
اجرای نمادین

اجرای نمادین (به انگلیسی: symbolic execution) یا ارزیابی نمادین یا symbex در علوم رایانه، راهی برای تحلیل یک برنامه است که در نتیجه آن تعیین می‌شود که کدام «ورودی» ها منجر به اجرای هر «بخش» از برنامه می‌شود. مفسرهای اجرای نمادین موقع دنبال‌کردن برنامه، به جای مقادیر واقعی برای اجرای نرمال برنامه، «مقادیر نمادین» را برای ورودی‌ها فرض می‌کنند. این اجرا به عبارات به صورت «نمادهایی برای عبارات و متغیرهای موجود در برنامه» برخورد می‌کند، و نیز به محدودیت‌ها در قالب آن «نمادهایی برای نتایج ممکنه هر شاخه شرطی» برخورد می‌کند.
گرایش شبیه‌سازی نمادین همین مفهوم را به سخت‌افزار اعمال می‌کند. گرایش محاسبات نمادین همین مفهوم را به تحلیل عبارات ریاضیاتی اعمال می‌کند.
مثال

برنامه زیر را درنظر بگیرید، این برنامه یک مقدار ورودی را می‌خواند و اگر ورودی ۶ باشد، مقدار «شکست» را برمی‌گرداند.
int f() {
  ...
  y = read();
  z = y * 2;
  if (z == 12) {
    fail();
  } else {
    printf("OK");
  }
}
در مدت اجرای نرمال (یا اجرای واقعی)، برنامه یک مقدار ورودی واقعی (مثل 5) را می‌خواند و آن را به y انتساب می‌دهد. سپس اجرا با یک ضرب و شاخه شرطی ادامه می‌یابد، که به مقدار شکست ارزیابی شده و OK را چاپ می‌کند.
در مدت اجرای نمادین، برنامه یک مقدار نمادین (مثل λ) را می‌خواند و آن را به y انتساب می‌دهد. سپس برنامه با ضرب ادامه می‌یابد و مقدار λ * 2 را به z انتساب می‌دهد. موقعی که به بیانیه if می‌رسد، عبارت λ * 2 == 12 را ارزیابی می‌کند. در این نقطه از برنامه، λ هر مقداری را می‌تواند اخذ کند، و اجرای نمادین می‌تواند در امتداد هر دو شاخه ادامه پیدا کند، این کار با انشعاب‌دهی (fork کردن) به دو مسیر انجام می‌شود. در هر دستورالعمل شاخه‌گزینی به هر مسیر یک «کپی از وضعیت برنامه» و نیز یک «محدودیت مسیری» انتساب داده می‌شود. در این مثال، محدودیت مسیری برای شاخه then همان λ * 2 != 12 و برای شاخه else همان λ * 2 == 12 است. در اینجا هر دو مسیر به صورت مستقل قابل اجرای نمادین هستند. موقعی که مسیر خاتمه پیدا کند (مثلاً به عنوان نتیجه اجرای fail() یا با خارج‌شدن ساده)، اجرای نمادین یک مقدار غیرانتزاعی، برای λ محاسبه می‌کند، این کار با حل کردن محدودیت‌های مسیری انباشه‌شده در هر مسیر انجام می‌شود. این مقادیر غیرانتزاعی را می‌توان به عنوان آزمایه‌های غیرانتزاعی درنظر گرفت، که این مزیت را دارند که مثلاً می‌توانند به توسعه‌دهندگان در ایجاد مجدد اشکال‌های نرم‌افزاری کمک کنند. در این مثال، حل‌کننده محدودیت تعیین می‌کند که برای آنکه به بیانیه fail() برسیم، نیاز است که λ برابر 6 شود.
محدودیت‌ها > انفجار مسیری

اجرای نمادین همه مسیرهای ممکن برنامه، قابل مقیاس‌دهی به برنامه‌های بزرگ نیست. اگر سایز برنامه افزایش یابد، تعداد مسیرهای ممکن در یک برنامه به صورت نمایی افزایش می‌یابد، و حتی در حالت برنامه‌هایی که تکرارهای حلقه‌ای غیرمحدود دارند، تعداد مسیرها می‌تواند بینهایت باشد. راه‌حل‌ها برای مسئله «انفجار مسیری» معمولاً یا از هیوریستیک‌هایی برای یافتن مسیر برای افزایش پوشاندن کد استفاده می‌کند، که زمان اجرا را موازی‌سازی کرده، و مسیرهای مستقل کاهش را می‌دهد، یا از ادغام مسیرهای مشابه استفاده می‌کنند.
محدودیت‌ها > کارایی وابسته به برنامه

از اجرای نمادین برای استنتاج‌هایی در مورد یک برنامه به صورت «مسیر-به-مسیر» استفاده می‌شود، که این موضوع یک مزیت نسبت به استنتاج در مورد برنامه به صورت «ورودی-به-ورودی» (که دیگر الگوهای آزمون، مثل تحلیل پویای برنامه، از آن استفاده می‌کنند) است. با این حال، اگر تعداد کمی از ورودی‌ها در طول برنامه، یک مسیر مشابه را بگیرند، نسبت به حالت آزمون هر ورودی به صورت مجزا، بهبود زیادی حاصل نشده‌است.
محدودیت‌ها > دگرنامی به حافظه

اگر محل حافظه مشابه توسط نام‌های متفاوتی دستیابی شوند (که به این کار الیاس یا دگرنامی می‌گویند)، اجرای نمادین سخت‌تر شده‌است. همیشه نمی‌توان دگرنام‌ها را به صورت ایستا تشخیص داد، از این رو موتور اجرای نمادین نمی‌تواند تشخیص دهد که اگر مقدار یک متغیر را تغییر بدهیم، دیگری هم تغییر خواهد کرد.
محدودیت‌ها > آرایه‌ها

به دلیل آنکه یک آرایه گردآوردی از تعداد زیادی از مقادیر متمایز است، اجرای نمادین می‌تواند به کل آرایه به عنوان یک مقدار برخورد کند یا اینکه با هر عنصر آرایه به صورت یک محل مجزا برخورد کند. اینجا مشکلی که در مورد برخورد با هر عنصر آرایه به صورت مجزا وجود دارد آن است که یک ارجاع مثل "A[i]" را موقعی که یک مقدار واقعی برای i به آن داده‌ایم، فقط به صورت پویا می‌توان تعیین نمود.
محدودیت‌ها > تعامل‌های محیطی

برنامه‌ها با انجام تماس سامانه‌ای، گرفتن سیگنال، و غیره با محیط خود تعامل دارند. و مشکلات سازگاری می‌تواند موقعی بروز می‌کند که اجرا به مولفه‌هایی برسد که تحت کنترل ابزار اجرای نمادین نیست (مثل هسته یا کتابخانه). مثال زیر را درنظر بگیرید:
int main()
{
  FILE *fp = fopen("doc.txt");
  ...
  if (condition) {
    fputs("some data", fp);
  } else {
    fputs("some other data", fp);
  }
  ...
  data = fgets(..., fp);
}
این برنامه یک فایل را باز می‌کند، سپس بر اساس یک شرط، مقادیر متفاوتی از داده را به فایل می‌نویسد. سپس داده نوشته‌شده را بازخوانی می‌کند. از لحاظ نظری، اجرای نمادین دو مسیر را در خط ۵ انشعاب داده است، و هر مسیر از آنجا کپی فایل خاص خود را خواهد داشت. بیانیه موجود در خط ۱۱، مقدار داده‌ای را بازمی‌گرداند که با مقدار «شرط» موجود در خط ۵ سازگار است. در عمل، عملیات فایل به صورت تماس سامانه‌ای در هسته پیاده‌سازی می‌شود، و از کنترل ابزار اجرای نمادین خارج است. دیدگاه‌های اصلی برای رسیدگی به این چالش‌ها از این قرار هستند:
به صورت مستقیم تماس با محیط را اجراکنیم. مزیت این دیدگاه آن است که پیاده‌سازی‌اش ساده است. اما ایرادش آن است که اثرجانبی این تماس‌ها به همه حالت‌های مدیریت شده توسط موتور اجرای نمادین ضربه وارد می‌کند. در مثال بالا، بر اساس ترتیب دنباله‌ای حالت‌ها، دستورالعمل خط ۱۱، مقدار "some datasome other data" یا "some other datasomedata" را برخواهد گرداند.
مدل‌سازی محیط. در این حالت، موتور، تماس سامانه‌ای را با یک «مدل» ابزارسازی می‌کند که این مدل تاثیراتش را شبیه‌سازی کرده، و همه اثرات جانبی‌اش را در ذخیره هر-وضعیتی نگهداری می‌کند. مزیت این کار آن است که موقعی به نتایج درست می‌رسیم که برنامه‌هایی که با محیط تعامل دارند را به صورت نمادین اجرا کنیم. ایرادش آن است که باید مدل‌های بالقوه پیچیده زیادی را برای تماس سامانه‌ای پیاده‌سازی و نگهداری کنیم. ابزارهایی مثل مثل KLEE, Cloud9 و Otter, از این دیدگاه استفاده کرده‌اند، یعنی آن‌ها مدل‌هایی را برای عملیات سیستم فایل، سوکت‌ها و IPC و غیره پیاده‌سازی کرده‌اند.
انشعاب کل حالت سامانه. ابزارهای اجرای نمادین براساس ماشین مجازی، مسئله محیط را با انشعاب کل حالت VM حل می‌کند. برای مثال، در S2E هر حالت یک برگرفت مستقل VM است، که قابلیت اجرای جداگانه دارد. این دیدگاه نیاز برای نوشتن و نگهداری مدل‌های پیچیده را کاهش می‌دهد، و همچنین امکان اجرای نمادین مجازی هر برنامه‌ای را می‌دهد. اما این روش، سربار استفاده از حافظه بالاتری دارد (برگرفت‌های VM می‌تواند بزرگ باشند).
ابزارها

| ابزار | هدف | URL | همه می‌توانند اتسفاده کنند/ متن باز/ قابل دانلود |
| --- | --- | --- | --- |
| angr | libVEX based (supporting x86, x86-64, ARM, AARCH64, MIPS, MIPS64, PPC, PPC64, and Java) | http://angr.io/ | yes |
| BE-PUM | x86 | https://github.com/NMHai/BE-PUM | yes |
| BINSEC | x86, ARM, RISC-V (32 bits) | http://binsec.github.io | yes |
| ExpoSE | JavaScript | https://github.com/ExpoSEJS/ExpoSE | yes |
| FuzzBALL | VineIL / Native | http://bitblaze.cs.berkeley.edu/fuzzball.html | yes |
| Jalangi2 | JavaScript | https://github.com/Samsung/jalangi2 | yes |
| janala2 | Java | https://github.com/ksen007/janala2 | yes |
| JaVerT | JavaScript | https://www.doc.ic.ac.uk/~pg/publications/FragosoSantos2019JaVerT.pdf | yes |
| JBSE | Java | https://github.com/pietrobraione/jbse | yes |
| jCUTE | Java | https://github.com/osl/jcute | yes |
| JPF | Java | http://babelfish.arc.nasa.gov/trac/jpf بایگانی‌شده  در ۲۰۱۱-۱۰-۱۷ توسط Wayback Machine | yes |
| KeY | Java | http://www.key-project.org/ | yes |
| Kite | LLVM | http://www.cs.ubc.ca/labs/isd/Projects/Kite/ | yes |
| KLEE | LLVM | https://klee.github.io/ | yes |
| Kudzu | JavaScript | http://webblaze.cs.berkeley.edu/2010/kudzu/kudzu.pdf | no |
| MPro | Ethereum Virtual Machine (EVM) / Native | https://sites.google.com/view/smartcontract-analysis/home | yes |
| Manticore | x86-64, ARMv7, Ethereum Virtual Machine (EVM) / Native | https://github.com/trailofbits/manticore/ | yes |
| Mayhem | Binary | http://forallsecure.com | no |
| Mythril-Classic | Ethereum Virtual Machine (EVM) / Native | https://github.com/ConsenSys/mythril-classic | yes |
| Otter | C | https://bitbucket.org/khooyp/otter/overview | yes |
| Oyente-NG | Ethereum Virtual Machine (EVM) / Native | http://www.comp.ita.br/labsca/waiaf/papers/RafaelShigemura_paper_16.pdf | no |
| Pathgrind | Native 32-bit Valgrind-based | https://github.com/codelion/pathgrind | yes |
| Pex | .NET Framework | http://research.microsoft.com/en-us/projects/pex/ | no |
| pysymemu | x86-64 / Native | https://github.com/feliam/pysymemu/ | yes |
| Rosette | Dialect of Racket | https://emina.github.io/rosette/ | yes |
| Rubyx | Ruby | http://www.cs.umd.edu/~avik/papers/ssarorwa.pdf | no |
| S2E | x86, x86-64, ARM / User and kernel-mode binaries | http://s2e.systems/ | yes |
| Symbolic PathFinder (SPF) | Java Bytecode | https://github.com/SymbolicPathFinder | yes |
| SymDroid | Dalvik bytecode | http://www.cs.umd.edu/~jfoster/papers/symdroid.pdf | no |
| SymJS | JavaScript | http://www.cs.utah.edu/~ligd/publications/SymJS-FSE14.pdf بایگانی‌شده  در ۲۲ سپتامبر ۲۰۱۷ توسط Wayback Machine | no |
| Triton | x86 and x86-64 | https://triton.quarkslab.com | yes |
| Verifast | C, Java | https://people.cs.kuleuven.be/~bart.jacobs/verifast | yes |
:
نسخه‌های اولیه ابزارها

EXE یک نسخه اولیه برای KLEE است. مقاله EXE را می‌توان در اینجا یافت.
تاریخچه

مفهوم اجرای نمادین به صورت دانشگاهی با توصیف این موارد معرفی شد: سامانه Select، سامانه EFFIGY، سامانه DISSECT، و سامانه Clarke's. کتابشناسی را برای مقاله‌های فنی‌تر منتشر شده دربارهٔ اجرای نمادین ببینید.
جایزه بزرگ استرالیا

| 0 | 1 |
| --- | --- |
جایزه بزرگ ملبورن: جایزه بزرگ ملبورن
اطلاعات مسابقه: اطلاعات مسابقه
دور: ۵۸
مسافت یک دور: ۵٫۳۰۳ کیلومتر (۳٫۲۹۵ مایل)
مسافت مسابقه: ۳۰۷٫۵۷۴ کیلومتر (۱۹۱٫۰۷۱ مایل)
رقابت‌های انجام شده: ۷۹
اولین رقابت: ۱۹۲۸
بیشترین پیروزی (راننده‌ها):  لکس داویسون (۴)  میشائل شوماخر (۴)
بیشترین پیروزی (سازنده‌ها):  مک‌لارن (۱۲)
آخرین رقابت (2019): آخرین رقابت (2019)
خط یک: خط یک
 لوئیز همیلتون Mercedes 01:20:486:  لوئیز همیلتون Mercedes 01:20:486
سکو: سکو
 ۱-  والتری بوتاس Mercedes 01:25:27.325  ۲-  لوئیز همیلتون Mercedes +20.886s  ۳-  ماکس فرستاپن تیم مسابقه رد بول +22.52s :  ۱-  والتری بوتاس Mercedes 01:25:27.325  ۲-  لوئیز همیلتون Mercedes +20.886s  ۳-  ماکس فرستاپن تیم مسابقه رد بول +22.52s 
سریع‌ترین دور: سریع‌ترین دور
 والتری بوتاس Mercedes 01:25.580:  والتری بوتاس Mercedes 01:25.580
 :  
جایزه بزرگ استرالیا مسابقه رالی است که سالیانه در استرالیا برگزار می‌شود.
جایزه بزرگ استرالیا قدیمی‌ترین مسابقه رالی باقی‌مانده در استرالیا است که تا کنون ۷۹ بار از اولین دوره آن در جزیره فلیپ در سال ۱۹۲۸ برگزار شده‌است.
از سال ۱۹۸۵ این مسابقه تبدیل به رقابت‌های جهانی فرمول یک شده‌است.
برندگان > برندگان چندگانه (راننده‌ها)

| تعداد پیروزی‌ها | راننده | سال‌های پیروزی | سال‌های پیروزی |
| --- | --- | --- | --- |
| ۴ |  لکس داویسون | ۱۹۵۴, ۱۹۵۷, ۱۹۵۸, ۱۹۶۱ |  |
| ۴ |  میشائل شوماخر | ۲۰۰۰, ۲۰۰۱, ۲۰۰۲, ۲۰۰۴ |  |
| ۳ |  بیل تامپسون | ۱۹۳۰, ۱۹۳۲, ۱۹۳۳ |  |
| ۳ |  داگ ویتفورد | ۱۹۵۰, ۱۹۵۲, ۱۹۵۳ |  |
| ۳ |  جک برابام | ۱۹۵۵, ۱۹۶۳, ۱۹۶۴ |  |
| ۳ |  گراهام مک‌ری | ۱۹۷۲, ۱۹۷۳, ۱۹۷۸ |  |
| ۳ |  روبرتو مورنو | ۱۹۸۱, ۱۹۸۳, ۱۹۸۴ |  |
| ۳ |  آلن پروست | ۱۹۸۲, ۱۹۸۶, ۱۹۸۸ |  |
| ۳ |  جنسون باتن | ۲۰۰۹, ۲۰۱۰, ۲۰۱۲ |  |
| ۲ |  لس مورفی | ۱۹۳۵, ۱۹۳۷ |  |
| ۲ |  بروس مک‌لارن | ۱۹۶۲, ۱۹۶۵ |  |
| ۲ |  فرانک ماتیش | ۱۹۷۰, ۱۹۷۱ |  |
| ۲ |  مکس استوارت | ۱۹۷۴, ۱۹۷۵ |  |
| ۲ |  گرهارد برگر | ۱۹۸۷, ۱۹۹۲ |  |
| ۲ |  آیرتون سنا | ۱۹۹۱, ۱۹۹۳ |  |
| ۲ |  دیمون هیل | ۱۹۹۵, ۱۹۹۶ |  |
| ۲ |  دیوید کولتارد | ۱۹۹۷, ۲۰۰۳ |  |
| ۲ |  کیمی رایکونن | ۲۰۰۷, ۲۰۱۳ |  |
برندگان > برندگان چندگانه (سازنده‌ها)

| تعداد پیروزی‌ها | سازنده | سال‌های پیروزی |
| --- | --- | --- |
| ۱۲ |  مک‌لارن | ۱۹۷۰, ۱۹۸۶, ۱۹۸۸, ۱۹۹۱, ۱۹۹۲, ۱۹۹۳, ۱۹۹۷, ۱۹۹۸, ۲۰۰۳, ۲۰۰۸, ۲۰۱۰, ۲۰۱۲ |
| ۱۰ |  فراری | ۱۹۵۷, ۱۹۵۸, ۱۹۶۹, ۱۹۸۷, ۱۹۹۹, ۲۰۰۰, ۲۰۰۱, ۲۰۰۲, ۲۰۰۴, ۲۰۰۷ |
| ۶ |  Williams | ۱۹۸۰, ۱۹۸۵, ۱۹۸۹, ۱۹۹۴, ۱۹۹۵, ۱۹۹۶ |
| ۵ |  Cooper | ۱۹۵۵, ۱۹۶۰, ۱۹۶۱, ۱۹۶۲, ۱۹۶۵ |
| ۴ |  بوگاتی | ۱۹۲۹, ۱۹۳۰, ۱۹۳۱, ۱۹۳۲ |
| ۴ |  ام‌جی | ۱۹۳۵, ۱۹۳۷, ۱۹۳۹, ۱۹۴۷ |
| ۴ |  Lola | ۱۹۷۴, ۱۹۷۵, ۱۹۷۷, ۱۹۷۹ |
| ۴ |  Ralt | ۱۹۸۱, ۱۹۸۲, ۱۹۸۳, ۱۹۸۴ |
| ۲ |  Talbot-Lago | ۱۹۵۲, ۱۹۵۳ |
| ۲ |  مازراتی | ۱۹۵۶, ۱۹۵۹ |
| ۲ |  برابام | ۱۹۶۳, ۱۹۶۴ |
| ۲ |  BRM | ۱۹۶۶, ۱۹۶۷ |
| ۲ |  Matich | ۱۹۷۱, ۱۹۷۶ |
| ۲ |  McRae | ۱۹۷۳, ۱۹۷۸ |
| ۲ |  رنو | ۲۰۰۵, ۲۰۰۶ |
سرچال (مارگون)

| سرچال | سرچال |
| --- | --- |
روستا: روستا
مختصات: ۳۱°۱′۱۴″ شمالی ۵۱°۱′۳۳″ شرقی﻿ / ﻿۳۱٫۰۲۰۵۶°شمالی ۵۱٫۰۲۵۸۳°شرقی﻿ / 31.02056; 51.02583: مختصات: ۳۱°۱′۱۴″ شمالی ۵۱°۱′۳۳″ شرقی﻿ / ﻿۳۱٫۰۲۰۵۶°شمالی ۵۱٫۰۲۵۸۳°شرقی﻿ / 31.02056; 51.02583
کشور: ایران
استان: کهگیلویه و بویراحمد
شهرستان: مارگون
بخش: بخش مرکزی شهرستان مارگون
دهستان: مارگون
جمعیت: ۵۵ نفر (سرشماری ۹۵)
سرچال، روستایی از توابع بخش مرکزی شهرستان مارگون شهرستان مارگون در استان کهگیلویه و بویراحمد ایران است.
جمعیت

این روستا در دهستان مارگون قرار دارد و بر اساس سرشماری مرکز آمار ایران در سال ۱۳۸۵، جمعیت آن ۱۰۵ نفر (۲۰خانوار) بوده‌است.
تاکسیارکیس

| تاکسیارکیس Ταξιάρχης | تاکسیارکیس Ταξιάρχης |
| --- | --- |
روستا: روستا
Small street in Taxiarchis: Small street in Taxiarchis
تاکسیارکیس: تاکسیارکیس
مختصات: ۴۰°۲۵′۳۰″شمالی ۲۳°۳۱′۱۸″شرقی﻿ / ﻿۴۰٫۴۲۵۰۰۰°شمالی ۲۳٫۵۲۱۶۶۷°شرقی﻿ / 40.425000; 23.521667: مختصات: ۴۰°۲۵′۳۰″شمالی ۲۳°۳۱′۱۸″شرقی﻿ / ﻿۴۰٫۴۲۵۰۰۰°شمالی ۲۳٫۵۲۱۶۶۷°شرقی﻿ / 40.425000; 23.521667
کشور: یونان
ناحیه‌های یونان: مقدونیه مرکزی
واحدهای استانی یونان: خالکیدیکه
شهرک: پلیگیروس
وبگاه: http://www.taksiarxis.gr/xorio.php
تاکسیارکیس (به لاتین: Taxiarchis) یک منطقهٔ مسکونی در یونان است.
سودو گوجوسان

| 0 | 1 |
| --- | --- |
سودو گوجوسان: سودو گوجوسان
هانگول: 수도왕
هانجا: 修道王
لاتین‌نویسی اصلاح‌شده: Sudo Wang
مک‌کیون–ریشاور: Sudo Wang
پادشاه سودو بیست و دومین پادشاه گوجوسان بود. او از ۶۳۴ تا ۶۱۵ قبل از میلاد سلطنت کرد. نام واقعی او یانگ (هانگول: 양، هانجا: 襄) بود. بعد از او هوییانگ به سلطنت رسید.
بخش فوا

| Foix | Foix |
| --- | --- |
بخش‌های فرانسه: بخش‌های فرانسه
کشور: فرانسه
ناحیه: اکسیتنی
دپارتمان: آرییژ
کمون: ۱۱۹
Prefecture: فوآ
مساحت¹: مساحت¹
 • کل: ۱۸۱۹ کیلومتر مربع (۷۰۲ مایل مربع)
جمعیت (۲۰۱۴): جمعیت (۲۰۱۴)
 • کل: ۵۱۴۷۳
 • تراکم: ۲۸/کیلومتر مربع (۷۳/مایل مربع)
¹ French Land Register data, which exclude lakes, ponds, and glaciers larger than 1 km² as well as the estuaries of rivers.: ¹ French Land Register data, which exclude lakes, ponds, and glaciers larger than 1 km² as well as the estuaries of rivers.
بخش فوا (به فرانسوی: Arrondissement de Foix) یک بخش در فرانسه است که در آرییژ واقع شده‌است.
آرتور آرنولد بارت

| آرتور آرنولد بارت | آرتور آرنولد بارت |
| --- | --- |
زاده: ۳ ژوئن ۱۸۵۷&#۱۶۰;(۱۸۵۷-۰۶-۰۳) کارشالتون
درگذشته: ۲۰ اکتبر ۱۹۲۶ (۶۹ سال) شارنبروک
وفاداری:  بریتانیا
شاخه نظامی: ارتش هند انگلیس
سال‌های خدمت: ۱۸۷۵–۱۹۲۰
درجه: فیلد مارشال
جنگ‌ها و عملیات‌ها: جنگ دوم افغان و انگلیس جنگ جهانی اول جنگ سوم افغان و انگلیس
نشان‌ها: نشان امپراتوری بریتانیا نشان سلطنتی ویکتوریایی
آرتور آرنولد بارت (انگلیسی: Arthur Barrett; ۳ june ۱۸۵۷&#۱۶۰;(۱۸۵۷-۰۶-۰۳) – ۲۰ اکتبر ۱۹۲۶) فرد نظامی اهل پادشاهی متحد بریتانیای کبیر و ایرلند بود. وی همچنین برندهٔ جوایزی همچون نشان امپراتوری بریتانیا و نشان سلطنتی ویکتوریایی شده‌است.
سنگچی (بابل)

| سنگچی- | سنگچی- |
| --- | --- |
روستا: روستا
مختصات: ۳۶°۳۱′۱۵″ شمالی ۵۲°۳۱′۳۹″ شرقی﻿ / ﻿۳۶٫۵۲۰۸۳°شمالی ۵۲٫۵۲۷۵۰°شرقی﻿ / 36.52083; 52.52750: مختصات: ۳۶°۳۱′۱۵″ شمالی ۵۲°۳۱′۳۹″ شرقی﻿ / ﻿۳۶٫۵۲۰۸۳°شمالی ۵۲٫۵۲۷۵۰°شرقی﻿ / 36.52083; 52.52750
کشور: ایران
استان: مازندران
شهرستان: بابل
بخش: لاله آباد
دهستان: کاری‌پی
جمعیت: ۲۳۱ نفر (سرشماری ۹۵)
سنگچی، روستایی است از توابع بخش لاله‌آباد شهرستان بابل در استان مازندران ایران.
جمعیت

این روستا در دهستان کاری‌پی قرار دارد و براساس سرشماری مرکز آمار ایران در سال ۱۳۸۵، جمعیت آن ۲۵۰ نفر (۶۲خانوار) بوده‌است.
سه‌چرخه

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

استفاده از سه‌چرخه از سده نوزدهم رواج یافت و نخستین کاربرد آن در ۱۸۲۸ به‌عنوان یک گاری سه‌چرخه با اسب ثبت شده‌است.
گونه‌ها > سه‌چرخه‌های رکابی

سه‌چرخه‌های رکابی سه‌چرخه‌هایی هستند که با رکاب زدن و نیروی انسانی یا برقی(با سامانه‌ای شبیه به دوچرخه) به حرکت درمی‌آیند. سه‌چرخه‌ها برای کارهای گوناگونی ساخته شده‌اند برای نمونه برای ترابری انسان، ترابری بار، برای گردشگران و تفریح و برخی نیز برای انجام مسابقات به‌کار می‌روند.
نمونه‌هایی از سه‌چرخه‌های رکابی:
خودروی رکابی (velomobile یا bicycle car)
سه‌چرخهٔ باری (Freight trikes)
ریکشای رکابی (Trike rickshaws)
گونه‌ها > سه‌چرخه‌های موتوری

همانند موتور سیکلت‌ها برخی از سه‌چرخه‌ها نیز موتوری هستند.
نمونه‌هایی از سه‌چرخه‌های موتوری:
اتوریکشا (Auto rickshaws)
گونه‌ها > سه‌چرخه‌های محیط زیستی

سه‌چرخه‌های محیط زیستی، سه‌چرخه‌هایی هستند که هیچ سروصدا یا منواکسیدکربنی فراوری نمی‌کنند و محیط‌زیست را آلوده نمی‌کنند.
نمونه‌هایی از سه‌چرخه‌های محیط زیستی:
سه‌چرخهٔ بایان (Trikebayan)
سپهر شکوه

سپهر شکوه (۱۳ اکتبر ۱۶۴۴ تا ۳ ژوئیه ۱۷۰۸) یک شاهپور تیموری هند و چهارمین پسر داراشکوه از همسرش نادره بانو بیگم بود.
مرگ

او در سال ۱۷۰۸ میلادی در دهلی درگذشت و جسدش به دستور امپراتور بهادرشاه در آگرا به خاک سپرده شد.
تانیبه

| تانیبه | تانیبه |
| --- | --- |
تانیبهLocation in Madagascar: تانیبهLocation in Madagascar
مختصات: ۱۶°۲۴′ جنوبی ۴۹°۲۵′ شرقی﻿ / ﻿۱۶٫۴۰۰°جنوبی ۴۹٫۴۱۷°شرقی﻿ / -16.400; 49.417: مختصات: ۱۶°۲۴′ جنوبی ۴۹°۲۵′ شرقی﻿ / ﻿۱۶٫۴۰۰°جنوبی ۴۹٫۴۱۷°شرقی﻿ / -16.400; 49.417
کشور:  ماداگاسکار
فهرست منطقه‌های ماداگاسکار: آنالانجیروفو
بخش‌های ماداگاسکار: مانانارا شمالی
ارتفاع: ۵۷۱ متر (۱۸۷۳ فوت)
جمعیت (۲۰۰۱): جمعیت (۲۰۰۱)
 • کل: ۱۰۰۰۰
منطقهٔ زمانی: یوتی‌سی ۳ (زمان شرق آفریقا)
تانیبه (به لاتین: Tanibe) یک منطقهٔ مسکونی در ماداگاسکار است که در مانانارا شمالی واقع شده‌است. تانیبه ۱۰٬۰۰۰ نفر جمعیت دارد و ۵۷۱ متر بالاتر از سطح دریا واقع شده‌است.
ایان هنمور

| ایان هنمور | ایان هنمور |
| --- | --- |
ایان هنمور در سال ۲۰۱۴: ایان هنمور در سال ۲۰۱۴
زادهٔ: ۲۴ مارس ۱۹۴۵ ‏(۷۹ سال) ادینبرا، اسکاتلند
ملیت: بریتانیایی
پیشه: هنرپیشه
سال‌های فعالیت: ۱۹۹۶–اکنون
ایان هنمور (انگلیسی: Ian Hanmore؛ زادهٔ ۲۴ مارس ۱۹۴۵) یک هنرپیشه اهل بریتانیا است. وی از سال ۱۹۹۶ میلادی تاکنون مشغول فعالیت بوده‌است.
از فیلم‌ها یا برنامه‌های تلویزیونی که وی در آن نقش داشته‌است می‌توان به شبح هرنهال، ماری یکم اسکاتلند، خواهران مگدالن، خانم هندرسون تقدیم می‌کند، بیداری، ارگ، ماری یکم اسکاتلند و کالبدگشایی اشاره کرد.
اصول کنفدراسیون

| اصول کنفدراسیون | اصول کنفدراسیون |
| --- | --- |
صفحه I اصول کنفدراسیون: صفحه I اصول کنفدراسیون
تاریخ ایجاد: ۱۵ نوامبر ۱۷۷۷
تاریخ تصویب: ۱ مارس ۱۷۸۱
جای ایجاد سند: دفتر ملی بایگانی و مدارک آمریکا
نویسنده(گان): کنگره قاره‌ای
امضاء‌کننده(گان): کنگره قاره‌ای
آرمان: نخستین قانون اساسی آمریکا که در ۱۳ سپتامبر ۱۷۸۸ قانون اساسی ایالات متحده آمریکا جایگزین آن شد
اصول کنفدراسیون (انگلیسی: Articles of Confederation) سندی بود که توسط سیزده مستعمره اولی که ایالات متحدهٔ آمریکا را به عنوان کنفدراسیونی از ایالات دارای اقتدار ملی تشکیل دادند امضا شد و اولین قانون اساسی آن بود. تهیهٔ آن از سال ۱۷۷۶ شروع شد و تا اوایل سال ۱۷۸۱ همهٔ ایالات آن را به تصویب رساندند. ضعف دولت مرکزی در این قانون اساسی مایهٔ نگرانی ملی گرایان شاخص شد. در ۴ مارس ۱۷۸۹ دولت مرکزی تحت این اصول، با دولت فدرال تحت قانون اساسی ایالات متحده جایگزین شد. قانون اساسی جدید دولت فدرال قدرتمندتری به همراه آورد که یک مسئول اجرایی ارشد (رئیس‌جمهور)، دادگاه‌ها و قدرت‌های مالیات‌گیری داشت.
آب‌انبار توده منشوریه

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

| اس> ای. چاندراسکار | اس> ای. چاندراسکار |
| --- | --- |
SA Chandrasekhar at Kanithan Audio Launch: SA Chandrasekhar at Kanithan Audio Launch
زادهٔ: ۱۹۴۵
ملیت: هند
پیشه(ها): بازیگر، کارگردان فیلم
سال‌های فعالیت: ۱۹۷۸-اکنون
شناخته‌شده برای: کارگردان فیلم‌های سینما تامیل
همسر: Shoba Chandrasekhar
فرزندان: ۲ (شامل ویجای)
اس. ای. چاندراسکار (انگلیسی: S. A. Chandrasekhar؛ زاده ۱۹۴۵) کارگردان فیلم، فیلم‌نامه‌نویس، تهیه‌کننده و بازیگر اهل هند بود. او بیش از ۷۰ فیلم به تمام زبان‌های هند جنوبی کارگردانی کرده‌است و به دلیل ساخت فیلم‌هایی با محوریت مسائل اجتماعی شناخته میشود.
وی کارگردان فیلم‌هایی همچون برده یک کشور آزاد، خانواده و قربانی بوده‌است.
ایستگاه موئکاماچی

ایستگاه موئکاماچی (به ژاپنی: 六日町駅 Muikamachi-eki) یک ایستگاه قطار واقع در می‌نامی‌اوئونوما، نیگاتا در ژاپن است. این ایستگاه در ۱۸ نوامبر ۱۹۲۳ افتتاح شده است.