stanford-oval/wikipedia huggingface dataset:
جاما

برای مجله انجمن پزشکی آمریکا، جاما (مجله) را ببینید.
| جنبش انقلابی مردم ایران- جنبش انقلابی مردم مسلمان ایران- جنبش آزادی‌بخش مردم ایران جاما | جنبش انقلابی مردم ایران- جنبش انقلابی مردم مسلمان ایران- جنبش آزادی‌بخش مردم ایران جاما |
| --- | --- |
رهبر: نظام‌الدین قهاری
بنیان‌گذاری: ۱۹۶۱؛ ۶۳ سال پیش (۱۹۶۱-خطا: زمان نامعتبر}})
انشعاب از: جاما
پیشین: حزب مردم ایران
مرام سیاسی: سوسیال دموکراسی
وابستگی بین‌المللی: None
مجلس شورای اسلامی: ۰ از ۲۹۰ 
سیاست در ایران حزب‌ها انتخابات: سیاست در ایران حزب‌ها انتخابات
جاما یک حزب سیاسی
سوسیالیست ایرانی بود که در سال ۱۳۴۲ به رهبری کاظم سامی برای مبارزه با حکومت پهلوی تأسیس شد. بنیان این حزب با انشعاب گروهی از اعضای حزب مردم ایران گذاشته شد. سامی و همفکرانش به جناح رادیکال حزب مردم (از حزب‌های عضو جبهه ملی ایران) تعلق داشتند که از نهضت خداپرستان سوسیالیست به حزب مردم ایران پیوسته بودند و اختلاف آنها با بقیه اعضای حزب مردم این بود که معتقد به مبارزه قهرآمیز برای سرنگونی حکومت پهلوی بودند.
حبیب‌الله پیمان، نظام‌الدین قهاری و معین‌الدین مرجایی از دیگر همراهان سامی در جاما بودند. این حزب توانست بسیاری از اعضا و طرفداران حزب مردم را به خود جذب کند و تشکیلات خود را به صورت کاملاً مخفی در هسته‌های مستقل جدا از هم بنا کند. از تابستان ۱۳۴۳ نشریات این گروه تحت عنوان «این است دشمن مردم» و «اکنون چه باید کرد» منتشر شد، و در نشریه سوم تحت عنوان «این است راه پیروزی» مشی مبارزه مسلحانه علیه حاکمیت را به عنوان تنها راه نجات کشور تبلیغ کرد. ساواک به سرعت توانست در یکی از هسته‌های سازمانی جاما در بندر انزلی نفوذ کرده و در ۲۷ مرداد ۱۳۴۴ رهبران آن را دستگیر و روانه زندان کرد. حبیب‌الله پیمان پس از آزادی از زندان موفق شد تا تعدادی از اعضای جاما را دوباره گرد هم آورد و با کمک نیروهای جدید سازمان تازه‌ای را با نام جنبش مسلمانان مبارز تأسیس کند.
دولت موقت

در جریان انقلاب ۱۳۵۷ جاما فعالیت خود را از سر گرفت و کاظم سامی رهبر آن به عنوان وزیر بهداشت دولت موقت مهدی بازرگان انتخاب شد اما اختلافات جاما با دیگر اعضای دولت موقت باعث شد تا کمی بعد سامی از مقام خود استعفا دهد. سامی در این دوران طرحی به نام «طب ملی» را پیشنهاد داده بود که طبق آن خدمات درمانی به کلی رایگان می‌شد. وی در متن استعفایش مواردی چون «بی‌توجهی به نقش سیاست‌های خارجی و عمق مخالفت‌های امپریالیسم با انقلاب ایران»، «عدم همکاری و وجود سانسور در سیستم ارتباط جمعی به ویژه رادیو تلویزیون در معرفی دستاوردهای انقلاب و زمینه‌سازی فرهنگی و انقلابی» و «عدم تجانس در هیئت وزیران و تمایلات گروهی و فرقه‌ای و دسته‌بندی برای کسب قدرت بیشتر» را از جمله علل استعفای خود بیان کرده بود.
انتخابات مجلس خبرگان قانون اساسی

جاما در انتخابات مجلس خبرگان قانون اساسی (۱۳۵۸) با چندین گروه دیگر جناح چپ مذهبی از جمله سازمان مجاهدین خلق و جنبش مسلمانان مبارز ائتلاف کرده و آیت الله طالقانی، حبیب‌الله پیمان، کاظم سامی، مسعود رجوی، ناصر کاتوزیان، عبدالکریم لاهیجی، علی‌اصغر حاج‌سیدجوادی، علی گلزاده غفوری، عزت‌الله سحابی، و طاهره صفارزاده را به عنوان کاندیداهای خود از حوزه انتخابیه استان تهران معرفی کرد که سه تن از این کاندیدا رای کافی برای ورود به این مجلس آوردند. آیت الله طالقانی که سر لیست بوده و در سایر لیست‌ها هم نامشان وجود داشت (اغلب به عنوان سر لیست) به سبب محبوبیت مردمی بالا و حضور در لیست‌های مختلف رای اول تهران شدند، آیت الله دکتر گلزاده غفوری بالاتر ازمحمد حسینی بهشتی (رهبر حزب جمهوری اسلامی) چهارم شدند و مهندس عزت‌الله سحابی ششم شدند. حاج سید جوادی نفر ۱۱ تهران شده و از ورود به مجلس خبرگان قانون اساسی جا ماند. دکتر ناصر کاتوزیان نیز که از نویسندگان پیش نویس قانون اساسی بود نفر بیست و یکم شده و موفق به ورود نشدند، همه اینها در حالی بود که از فهرست ائتلاف گروه‌های اسلامی که بر خود نام [به فرمان امام] گذاشته بودند و خود را نماینده افکار و ایدئولوژی آیت الله خمینی رهبر محبوب انقلاب معرفی می‌کردند حتی علی محمد عرب که کارگری ناشناس بود به عنوان نفر دهم به مجلس خبرگان قانون اساسی راه یافت.
انتخابات ریاست‌جمهوری

جاما در اولین دورهٔ انتخابات ریاست‌جمهوری ایران (۱۳۵۸) نیز شرکت کرده و کاظم سامی را به عنوان نامزد خود معرفی کرد. سامی در این انتخابات تنها ۰٫۶٪ آراء را کسب کرده و در رتبهٔ ششم قرار گرفت.
مجلس اول

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

در آذر ۱۳۶۷ کاظم سامی نخستین دبیرکل جاما در مطب خود به قتل رسید و کمی بعد اعلام شد که قاتل او نیز خودکشی کرده‌است و هیچگاه دلیل واقعی این قتل مشخص نشد.
در حال حاضر نظام الدین قهاری دبیرکلی این حزب را بر عهده دارد.
جاما از گروه‌های تشکیل دهنده ائتلاف ملی مذهبی به رهبری عزت‌الله سحابی بوده و در حال حاضر دبیرکل حزب نظام الدین قهاری نماینده این گروه در شورای ملی-مذهبی است.
جوپشت (رشت)

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

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

| 0 | 1 |
| --- | --- |
 مکان رومرکز زمین‌لرزه بر روی نقشهٔ چین:  مکان رومرکز زمین‌لرزه بر روی نقشهٔ چین
زمان (یوتی‌سی): ؟؟ 
رویداد ISC: 
USGS-ANSS: 
تاریخ محلی: 
زمان محلی: 
بزرگی: ۷٫۲ در مقیاس Mw
ژرفای کانونی: ۱۴٫۱ کیلومتر
مناطق تحت تأثیر: چین
تلفات: کشته‌های لرزش نزدیک به ۱۵۶۲۱ نفر
زمین‌لرزه تونگ‌های  در تاریخ ۰۱۹۷۰−۰۱−۰۴ ۴ ژانویه ۱۹۷۰ میلادی، برابر با ‎۱۴ دی ۱۳۴۸، ساعت ۱۷:۰۰:۴۰ به زمان یوتی‌سی در چین ، منطقه تونگ‌های رخ داد. ژرفای این زلزله ۱۴٫۱ کیلومتر بود. بزرگی آن ۷٫۲ در مقیاس Mw اعلام شده‌است. زمین‌لرزه به وقت محلی در روز دوشنبه، ساعت ۱ روی داده و منطقه زمانی آن یوتی‌سی +۸ بوده‌است .
سازمان زمین‌شناسی آمریکا نیز جای این زمین‌لرزه را در مختصات ۲۴°۰۶′شمالی ۱۰۲°۳۰′شرقی﻿ / ﻿۲۴٫۱°شمالی ۱۰۲٫۵°شرقی﻿ / 24.1; 102.5 و بزرگی آنرا برابر با ۷٫۸ در مقیاس ریشتر اعلام کرده‌است. ژرفای گزارش شده از سوی این سازمان ۳۱ کیلومتر می‌باشد.
شمار کشتگان زلزله حدود ۱۵۶۲۱ نفر بوده‌است.تعداد زخمیان ۲۶۷۸۳ نفر برآورده شده‌است.
جری کلینتون

جری کلینتون (انگلیسی: Jerry Clinton) جروم (جری) رایت کلینتون (۱۹۳۷–۷ نوامبر ۲۰۰۳)، دانشمند فردوسی‌شناس و استاد زبان و ادبیات فارسی در دانشگاه پرینستون بود. استاد کلینتون در سان خوزه کالیفرنیا متولد شد.
وی از دانشگاه استنفورد فارغ‌التحصیل شد و کارشناسی ارشد خود را در زبان انگلیسی و ادبیات آمریکا در دانشگاه پنسیلوانیا دریافت کرد، دو سال در سپاه صلح در ایران به سر برد، و دکترای خود را در ادبیات فارسی و عربی از دانشگاه میشیگان دریافت کرد. او در سال ۱۹۷۰ جایی که او پژوهش پایان‌نامه خود را انجام داد به ایران بازگشت و مدرک خود را در سال ۱۹۷۲ تکمیل نمود.
آثار و فعالیت

پس از تدریس در دانشگاه مینه سوتا و کارگردانی مرکز تهران از مؤسسه آمریکایی مطالعات ایران، او در سال ۱۹۷۴ به سمت استاد فارسی در دانشگاه پرینستون منصوب شد. او برای بیست و هشت سال تا زمان بازنشستگی در سال ۲۰۰۲ در گروه مطالعات خاور نزدیک تدریس کرد.
کلینتون بسیاری از مقالات و آثار خود را در زمینه ادبیات کلاسیک فارسی انجام داد. مقاله در مدائن Mada'en دو قصیده‌ای از خاقانی(۱۹۷۶) و همچنین (II)(۱۹۷۷)، وحدت قصیده فارسی(۱۹۷۹) و جنون و درمان در ۱۰۰۱ شب: داستان شهریار و شهرزاد(۱۹۸۵) و … از جمله آثار او در علاقه به شعر و ادبیات فارسی است.
جری کلینتون یک دانشمند و مترجم از حماسه فارسی بود، ترجمه و روایت شاهنامه (کتاب پادشاهان) بیش از دو دهه یک جزء اصلی از کلاس‌های درس دانشگاه بوده‌است. مهم‌ترین آنها، تراژدی سهراب و رستم(۱۹۸۶)، و بعد گلچینی از شاهکارهای جهان منتشر شد. در سال ۲۰۰۲ تفسیر او از قسمت اسفندیار تحت عنوان در پنجه اژدها منتشر شد و موفق به کسب جایزه ترجمه فارسی لوئیس راث شد. در سال‌های اخیر، تحقیقات جری در رابطه بین متن و تصویر در نسخه‌های خطی مصور از شاهنامه متمرکز بود.
درگذشت

استاد کلینتون روز جمعه ۷ نوامبر ۲۰۰۳ در سن ۶۶ سالگی به دلیل سرطان صفراوی درگذشت. در آگهی درگذشت وی، همکار و دوست نزدیکش استاد احمد کریمی حکاک، مطالبی در بزرگداشت و تقدیر از او نوشت.
درو پاول

| درو پاول | درو پاول |
| --- | --- |
Powell at واندرکان ۲۰۱۷: Powell at واندرکان ۲۰۱۷
زادهٔ: ۱۹ ژانویهٔ ۱۹۷۶ ‏(۴۸ سال) نوبلزویل، ایندیانا
ملیت: ایالات متحده آمریکا
پیشه: هنرپیشه
سال‌های فعالیت: ۲۰۰۰–اکنون
همسر: ورونیکا
فرزندان: ۱ پسر
درو پاول (انگلیسی: Drew Powell؛ زادهٔ ۱۹ ژانویهٔ ۱۹۷۶) هنرپیشه اهل ایالات متحده آمریکا است. وی از سال ۲۰۰۰ میلادی تاکنون مشغول فعالیت بوده‌است.
از فیلم‌ها یا برنامه‌های تلویزیونی که وی در آن نقش داشته‌است می‌توان به ان‌سی‌آی‌اس، دکتر هاوس، ۱۴۰۸، کسل، آناتومی گری، هاوایی فایو-زیرو، پرونده سرد، سگ‌های پوشالی، تفنگدار دریایی، گاتهام، طوفان جهانی، اردوگاه جهنم، تاچ‌بک و پیامی از سوی شاه اشاره کرد.
فراتسچی

| 0 | 1 |
| --- | --- |
نوع: شرکت سهامی خاص
صنعت: کالای لوکس
بنا نهاده: ۱۹۵۸
دفتر مرکزی: ریبرآ پرتو، برزیل
افراد کلیدی: گالیله فراتسکی
محصولات: اسباب‌بازی
تعداد کارکنان: ۵۵۰ نفر
وبگاه: http://www.frateschi.com.br/
فراتسچی (انگلیسی: Frateschi) شرکت اسباب‌بازی برزیلی است، که در سال ۱۹۵۸ توسط گالیله فراتسکی تأسیس شد.
کارل نورمسالو

کارل نورمسالو (استونیایی: Kaarel Nurmsalu؛ زادهٔ ۳۰ آوریل ۱۹۹۱) اسکی‌باز پرش و اسکی نوردیک ترکیبی اهل استونی است.
فراترابری

لوگوی تکنولوژی فراترابری
فراترابری (انگلیسی: HyperTransport) یا هایپرترانسپورت با نام اختصاری (HT - اچ‌تی) که پیش‌تر با نام انتقال داده صاعقه با نام اختصاری (LDT - ال‌دی‌تی) شناخته می‌گردید، یک تکنولوژی معرفی شده در جهت اتصال پردازنده‌های کامپیوتری است. این تکنولوژی دوطرفه سریال/موازی با پهنای باند بالا و زمان تأخیر ناچیز نقطه‌به‌نقطه در تاریخ ۲ آوریل سال ۲۰۰۱ میلادی معرفی گردید.
عمده استفاده و عملکرد تکنولوژی فراترابری ترکیب آن در گذرگاه سیستم معماری پردازنده‌های ای‌ام‌دی و چیپ‌ست مادربورد سری ان‌فورس انودیا می‌باشد. این تکنولوژی همچنین توسط آی‌بی‌ام و اپل (در محصول پاور مک جی۵) به کار گرفته شده است.
خانه توکلی‌زاده (بینالود)

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

| 0 | 1 | 2 | 3 |
| --- | --- | --- | --- |
 :  
اطلاعات شخصی: اطلاعات شخصی
نام کامل:  Oumare Tounkara
زادروز:  ۲۵ مهٔ ۱۹۹۰ ‏(۳۴ سال)
زادگاه:  پاریس
قد:  1.87 m
پست:  مهاجم
اطلاعات باشگاهی: اطلاعات باشگاهی
باشگاه کنونی:  FC Fleury 91
باشگاه‌های حرفه‌ای*: باشگاه‌های حرفه‌ای*
| سال‌ها |  باشگاه‌ها |  بازی† |  (گل)† |
| ۲۰۰۸–۲۰۰۹ |  باشگاه فوتبال سدان |  ۰ |  (۰) |
| ۲۰۰۹–۲۰۱۲ |  باشگاه فوتبال ساندرلند |  ۰ |  (۰) |
| ۲۰۱۰–۲۰۱۱ |  ← باشگاه فوتبال اولدهام اتلتیک (قرضی) |  ۴۴ |  (۷) |
| ۲۰۱۲ |  ← باشگاه فوتبال اولدهام اتلتیک (قرضی) |  ۸ |  (۱) |
| ۲۰۱۲ |  باشگاه فوتبال ستاره سرخ |  ۰ |  (۰) |
| ۲۰۱۳ |  باشگاه فوتبال بریستول راورز |  ۹ |  (۲) |
| ۲۰۱۳–۲۰۱۴ |  باشگاه فوتبال استیونج |  ۱۵ |  (۰) |
| ۲۰۱۴ |  ← باشگاه فوتبال گریمزبی تاون (قرضی) |  ۱۲ |  (۲) |
| ۲۰۱۴–۲۰۱۵ |  Drancy |  ۱۹ |  (۱۱) |
| ۲۰۱۵–۲۰۱۹ |  Châteauroux |  ۱۲۲ |  (۲۸) |
| ۲۰۱۹–۲۰۲۰ |  باشگاه فوتبال آسترا جورجو |  ۱۴ |  (۰) |
| ۲۰۲۰–۲۰۲۱ |  Lyon La Duchère |  ۲۴ |  (۴) |
| ۲۰۲۱– |  FC Fleury 91 |  ۱۰ |  (۰) |
 تعداد بازی‌ها و گل‌ها فقط مربوط به بازی‌های لیگ داخلی است و آمار به روز شده در تاریخ ۰۰:۲۵, ۲ دسامبر ۲۰۲۱ (UTC). :  تعداد بازی‌ها و گل‌ها فقط مربوط به بازی‌های لیگ داخلی است و آمار به روز شده در تاریخ ۰۰:۲۵, ۲ دسامبر ۲۰۲۱ (UTC). 
عمره تونکارا (انگلیسی: Oumare Tounkara؛ زادهٔ ۲۵ مهٔ ۱۹۹۰) بازیکن فوتبال اهل فرانسه است.
از باشگاه‌هایی که در آن بازی کرده‌است می‌توان به باشگاه فوتبال بریستول راورز، باشگاه فوتبال ساندرلند، باشگاه فوتبال آسترا جورجو، باشگاه فوتبال اولدهام اتلتیک، باشگاه فوتبال گریمزبی تاون، باشگاه فوتبال ستاره سرخ، باشگاه فوتبال استیونج، و باشگاه فوتبال سدان اشاره کرد.
عکس لندن

عکس لندن (به انگلیسی: Photo London) یک رویداد عکاسی است که هر ساله در ماه می در خانه سامرست، لندن برگزار می‌شود. گالری‌ها  و ناشران در این رویداد، آثار عکاسان را به نمایش می‌گذارند و به فروش می‌رسانند. همچنین در این رویداد سخنرانی‌هایی نیز انجام می‌شود و جوایزی به عکاسان تعلق می‌گیرد.
این رویداد در سال ۲۰۰۴ تأسیس شد و تا سال ۲۰۰۶ در آکادمی سلطنتی هنر برگزار می‌شد. سپس در Old Billingsgate تا سال ۲۰۰۷ ادامه داشت و سپس متوقف شد.  در سال ۲۰۱۵ دوباره راه‌اندازی شد و از آن زمان در سامرست‌هاوس برگزار می‌شود.
رزولوشن (منطق)

رِزولوشن (به انگلیسی: Resolution) در منطق ریاضی و اثبات قضیه خودکار، یک نوع قاعده استنتاج است. رزلوشن منجر به یک نوع فن اثبات قضیه از نوع باطل‌سازی برای جمله‌ها در منطق گزاره‌ای و منطق مرتبه اول می‌گردد؛ یعنی اگر قاعده رزلوشن را چندین بار و به صورت مناسب اعمال کنیم، می‌توانیم بگوییم که «آیا یک فرمول گزاره‌ای صادق هست»، و یا اثبات کنیم که «یک فرمول مرتبه اول صادق نیست». تلاش برای اثبات آنکه یک فرمول مرتبه‌اول صادق نیست می‌تواند منجر به محاسبات بی‌پایان بشود؛ اما در منطق گزاره‌ای این مشکل وجود ندارد.
قاعده رزلوشن را می‌توان به کارهای دیویس و پاتنم در سال ۱۹۶۰ نسبت داد؛ با این حال، در الگوریتم آن‌ها نیاز بود که «همه» نمونه‌های زمینه‌ای برای فرمول داده شده را آزمایش کرد. این منبع انفجار ترکیب‌ها در سال ۱۹۶۵ و توسط الگوریتم یکسان‌سازی نحوی جان الان رابینسون از بین رفت. در این الگویتم، امکان نمونه‌برداری از فرمول در مدت اثبات «در موقع تقاضا» فراهم بود، این نمونه‌برداری فقط تا آنجا بود که کامل‌بودن باطل‌سازی حفظ شود.
به بند ایجاد شده توسط قاعده رزلوشن، جواب (به انگلیسی: resolvent) هم می‌گویند.
رزلوشن در منطق ریاضی راهی است برای اثبات قضیه خودکار که در حساب گزاره‌ای و منطق مرتبه اول کاربرد دارد.
اهمیت رزولوشن در این است که الگوریتم‌هایش کامل است یعنی با دریافت واقعیت‌هایی از جهان یا مسئله مورد نظر می‌تواند راه حل یا پاسخ را در صورت وجود بیابد.
رزلوشن در منطق گزاره‌ای > قاعده رزلوشن

یک قاعده رزلوشن در منطق گزاره‌ای یک قاعده استنتاج درست و منفرد است که یک بند جدید را، به عنوان پیامد برای دو بند ورودی شامل لیترال‌های مکمل می‌سازد. یک لیترال یک متغیر گزاره‌ای یا نقیض یک متغیر گزاره‌ای است. موقعی دو لیترال مکمل هستند که "یکی نقیض دیگری باشد" (در زیر  \lnot c یک مکمل برای  c در نظر گرفته می‌شود). بند نتیجه‌شده شامل همه لیترال‌هایی است که مکمل ندارند. به صورت صوری:
{\frac {a_{1}\lor a_{2}\lor \cdots \lor c,\quad b_{1}\lor b_{2}\lor \cdots \lor \neg c}{a_{1}\lor a_{2}\lor \cdots \lor b_{1}\lor b_{2}\lor \cdots }}
رزلوشن بالا را می‌توان به صورت زیر هم نوشت:
{\frac {(\neg a_{1}\land \neg a_{2}\land \cdots )\rightarrow c,\quad c\rightarrow (b_{1}\lor b_{2}\lor \cdots )}{(\neg a_{1}\land \neg a_{2}\land \cdots )\rightarrow (b_{1}\lor b_{2}\lor \cdots )}}
به بند تولید شده توسط قاعده رزلوشن، جواب برای دو بند ورودی هم می‌گویند. اصل اجماع به بندها و نه اصطلاح‌ها (term) اعمال می‌گردد.
موقعی که دو بند شامل بیش از یک جفت لیترال مکمل باشند، قاعده رزلوشن را می‌توان (به صورت مستقل) برای هر جفت به کار برد؛ با این حال، نتیجه همیشه همان‌گویی دارد.
وضع مقدم را می‌توان نوع خاصی رزلوشن درنظرگرفت (از یک بند تک لیترالی و یک بند دو لیترالی).
{\frac {p\rightarrow q,\quad p}{q}}
معادل است با:
{\frac {\lnot p\lor q,\quad p}{q}}
رزلوشن در منطق گزاره‌ای > فن رزلوشن

موقعی که رزلوشن با یک الگوریتم جستجوی کامل همراه گردد، قاعده رزلوشن منجر به یک الگوریتم استوار و کامل برای تصمیم‌گیری در مورد صداقت یک فرمول گزاره‌ای می‌شود، و با گسترش آن، اعتبار یک جمله تحت نظر مجموعه‌ای از بنداشت‌ها می‌شود.
این فن رزلوشن از برهان خلف استفاده می‌کند، و بر اساس این واقعیت است که هر جمله در منطق گزاره‌ای را می‌توان به یک جمله معادل در حالت نرمال عطفی تبدیل نمود. گام‌های این فن این‌گونه اند:
همه جملات موجود در پایگاه دانش و نقیض جمله‌ای که باید اثبات شود (حدس) به صورت عطفی (با "و") به هم متصل می‌شوند.
جمله نتیجه شده به فرم نرمال عطفی تبدیل می‌شود، که در آن عطف‌ها به صورت عناصری در یک مجموعه (S ) از بندها دیده می‌شود.
برای مثال،  (A_{1}\lor A_{2})\land (B_{1}\lor B_{2}\lor B_{3})\land (C_{1}) به مجموعه  S=\{A_{1}\lor A_{2},B_{1}\lor B_{2}\lor B_{3},C_{1}\} افزایش می‌یابد.
قاعده رزلوشن به همه جفت بندهای ممکن که شامل لیترال‌های مکمل هستند، اعمال می‌گردد. بعد از هر کاربرد قاعده رزلوشن، جمله نتیجه‌شده با حذف لیترال‌های تکراری ساده‌سازی می‌شود. اگر بند شامل لیترال‌های مکمل باشد، دور ریخته می‌شود (به عنوان همان‌گویی). اگر اینطور نباشد و هنوز هم در مجموعه بند S موجود نباشد، به S اضافه می‌شود، و برای استنتاج‌های رزلوشن بعدی درنظر گفته می‌شود.
اگر بعد از اعمال قاعده رزلوشن، بند خالی به دست آمد، آنوقت فرمول اصلی صادق نیست (یا متناقض است)، و از این رو می‌توان نتیجه گرفت که حدس اولیه از بُنداشت‌ها پیروی می‌کند.
از جهت دیگر، اگر این‌طور نباشد، بند خالی به دست نمی‌آید، و قاعده رزلوشن را نمی‌توان برای به دست آوردن بندهای جدیدتر اعمال نمود، و «حدس» یک «قضیه» برای پایگاه دانش اصلی نیست.
نمونه ای از این الگوریتم، الگوریتم دیویس-پاتنام اصلی است، که بعدها به صورت الگوریتم DPLL تصفیه شد، در این نوع تصفیه‌ای نیاز برای «نمایش صریح جواب‌ها» حذف شده است.
این توصیف فن رزلوشن از یک «مجموعه S»، به عنوان ساختمان داده زیربنایی برای نمایش شاخه‌های رزلوشنی استفاده می‌کند. لیست‌ها، درخت‌ها، و گراف‌های بدون‌دور سودار، دیگر جایگزین‌های معمول و ممکن هستند. نمایش درختی به این واقعیت که قاعده رزلوشن، یک قاعده دودویی است بیشتر وفادار است. همراه با یک نماد ترتیبی برای بندها، یک «نمایش درختی» این موضوع را روشن می‌سازد که «چگونه قاعده رزلوشن به حالت خاصی از "قاعده برش" مرتبط است»، و به فرمول‌های برش اتمی محدود می‌شود. با این حال، نمایش‌های درختی به اندازه نمایش‌های مجموعه‌ای یا لیستی فشرده نیستند، زیرا به صورت صریح زیرشاخه‌های استنتاجی «زاید» برای بندهایی که بیش از یکبار در استنتاج بند خالی استفاده شده‌اند را نمایش می‌دهند. نمایش‌های گرافی می‌توانند از نظر تعداد بندها به اندازه نمایش‌های لیستی فشرده باشند، و آن‌ها همچنین اطلاعات ساختاری دربارهٔ اینکه «کدام بند برای اسنتاج هر جواب حل شده‌است» را ذخیره‌سازی کنند.
رزلوشن در منطق گزاره‌ای > فن رزلوشن > یک مثال ساده

{\frac {a\vee b,\quad \neg a\vee c}{b\vee c}}
در زبان ساده: فرض کنید  a نادرست باشد. برای آنکه فرضیه  a\vee b درست باشد،  b باید درست باشد. از سوی دیگر، فرض کنید که  a درست است. برای آنکه فرضیه  \neg a\vee c درست باشد،  c باید درست باشد؛ بنابراین، صرف‌نظر از نادرستی یا درستی  a، اگر هر دو فرضیه برقرار باشند، آنوقت نتیجه  b\vee c درست است.
رزلوشن در منطق مرتبه اول

قاعده رزلوشن را می‌توان به منطق مرتبه اول تعمیم داد:
{\frac {\Gamma _{1}\cup \left\{L_{1}\right\}\,\,\,\,\Gamma _{2}\cup \left\{L_{2}\right\}}{(\Gamma _{1}\cup \Gamma _{2})\phi }}\phi
که در آن  \phi  عمومی‌ترین یکسان‌ساز برای  L_{1} و  {\overline {L_{2}}}، و  \Gamma _{1} و  \Gamma _{2} هیچ متغیر مشترکی ندارند.
جام خون (بازی ویدئویی ۲۰۰۹)

| جام خون | جام خون |
| --- | --- |
توسعه‌دهنده(ها): Cyanide
ناشر(ها): Focus Home Interactive
کارگردان(ـان): Antoine Villepreux
طراح(ـان): Régis Robin
برنامه‌نویس(ـان): Antoine Villepreux Arnaud Chapalain
هنرمند(ان): Faouzi Hamida Christophe Live Tha Kine Thomas Veauclin
سری: Warhammer Fantasy
موتور: گیمبریو 
سکو(ها): ویندوز، ایکس‌باکس ۳۶۰, پلی‌استیشن همراه، نینتندو دی‌اس، آی‌اواس
تاریخ(های) انتشار: مایکروسافت ویندوزج: ۲۶ ژوئن ۲۰۰۹ (دیجیتال)فرانسه / اسپانیا / آلمان: ۲۶ ژوئن ۲۰۰۹ (خرده‌فروشی)استرالیا: ۲۲ اکتبر ۲۰۰۹ (خرده‌فروشی)ایکس‌باکس ۳۶۰ج: ۲۶ ژانویه ۲۰۱۰آی‌او‌اسج: ۳۰ ژوئیه ۲۰۱۴پلی‌استیشن قابل حملآمریکای شمالی: ۳ آوریل ۲۰۱۰
ژانر(ها): بازی ورزشی، استراتژی هم‌زمان، استراتژی نوبتی
حالت(ها): تک‌نفره، چندنفره
جام خون (به انگلیسی: Blood Bowl) یک بازی ویدئویی بر اساس فوتبال آمریکایی و اقتباس شده از بازی رومیزی با همین نام است که در ۲۶ ژوئن ۲۰۰۹ منتشر شد.
چه خبره (ترانه ماروین گی)

| «چه خبره What's Going On» | «چه خبره What's Going On» |
| --- | --- |
تک‌آهنگ ماروین گی: تک‌آهنگ ماروین گی
از آلبوم چه خبره: از آلبوم چه خبره
ژانر: سول، آر اند بی
زمان: ۳:۴۰
ناشر: موتاون
تهیه‌کننده(ها): Jermaine Dupri، بونو، The Neptunes، موبی
«چه خبره» (به انگلیسی: What's Going On) ترانه‌ای از هنرمند اهل ایالات متحده آمریکا ماروین گی است که سال ۱۹۷۱ منتشر شد.
عنبرسرا

| عنبرسرا | عنبرسرا |
| --- | --- |
روستا: روستا
مختصات: ۳۵°۲۴′۰۰″شمالی ۵۹°۳۴′۲۳″شرقی﻿ / ﻿۳۵٫۴°شمالی ۵۹٫۵۷۳۰۵۶°شرقی﻿ / 35.4; 59.573056: مختصات: ۳۵°۲۴′۰۰″شمالی ۵۹°۳۴′۲۳″شرقی﻿ / ﻿۳۵٫۴°شمالی ۵۹٫۵۷۳۰۵۶°شرقی﻿ / 35.4; 59.573056
کشور: ایران
استان: خراسان رضوی
شهرستان: زاوه
بخش: مرکزی
دهستان: زاوه
جمعیت: ۶۸۴ نفر (سرشماری ۹۵)
عنبرسرا روستایی در دهستان زاوه بخش مرکزی شهرستان زاوه استان خراسان رضوی ایران است. بر پایه سرشماری عمومی نفوس و مسکن در سال ۱۳۹۰ جمعیت این روستا ۸۷۶ نفر (در ۲۳۱ خانوار) بوده است.
| جمعیت تاریخی> سال | جمعیت تاریخی> جمعیت | جمعیت تاریخی> ±% |
| --- | --- | --- |
| ۱۳۸۵ | ۸۱۵ | —     |
| ۱۳۹۰ | ۸۷۶ | ۷٫۵٪+ |
حسن‌آباد گودرز

| حسن‌آباد گودرز | حسن‌آباد گودرز |
| --- | --- |
روستا: روستا
حسن‌آباد گودرزموقعیت در ایراننمایش نقشه ایرانحسن‌آباد گودرزحسن‌آباد گودرز (Iran Kurdistan)نمایش نقشه Iran Kurdistan: حسن‌آباد گودرزموقعیت در ایراننمایش نقشه ایرانحسن‌آباد گودرزحسن‌آباد گودرز (Iran Kurdistan)نمایش نقشه Iran Kurdistan
مختصات: ۳۶°۲۱′ شمالی ۴۶°۳۰′ شرقی﻿ / ﻿۳۶٫۳۵۰°شمالی ۴۶٫۵۰۰°شرقی﻿ / 36.350; 46.500: مختصات: ۳۶°۲۱′ شمالی ۴۶°۳۰′ شرقی﻿ / ﻿۳۶٫۳۵۰°شمالی ۴۶٫۵۰۰°شرقی﻿ / 36.350; 46.500
کشور: ایران
استان: کردستان
شهرستان: سقز
بخش: بخش مرکزی
دهستان: سرا
جمعیت: کمتر از ۳ خانوار (سرشماری ۹۵)
حسن‌آباد گودرز، روستایی از توابع بخش مرکزی شهرستان سقز در استان کردستان ایران است.
جمعیت

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

| عکس گذر | عکس گذر |
| --- | --- |
جماعت: جماعت
کشور:  تاجیکستان
ناحیهٔ حکومتی: ناحیه‌های تابع جمهوری
ناحیه: وحدت
جمعیت: جمعیت
 • کل: ۲۳۱۳۱
منطقهٔ زمانی: یوتی‌سی ۵:۰۰+
عکس گذر  جماعت و شهرکی در کشور تاجیکستان است که در ناحیهٔ وحدت ناحیه‌های تابع جمهوری قرار دارد. جمعیت این جماعت ۲۳۱۳۱ است.
فرانسیسکو بدارو

| فرانسیسکو بدارو | فرانسیسکو بدارو |
| --- | --- |
شهرستان: شهرستان
فرانسیسکو بدارو: فرانسیسکو بدارو
Map of Francisco Badaró in the state of Minas Gerais: Map of Francisco Badaró in the state of Minas Gerais
فرانسیسکو بداروموقعیت فرانسیسکو بدارو در نقشه: فرانسیسکو بداروموقعیت فرانسیسکو بدارو در نقشه
مختصات: ۱۶°۵۹′۴۱″ جنوبی ۴۲°۲۰′۵۸″ غربی﻿ / ﻿۱۶٫۹۹۴۷۲°جنوبی ۴۲٫۳۴۹۴۴°غربی﻿ / -16.99472; -42.34944: مختصات: ۱۶°۵۹′۴۱″ جنوبی ۴۲°۲۰′۵۸″ غربی﻿ / ﻿۱۶٫۹۹۴۷۲°جنوبی ۴۲٫۳۴۹۴۴°غربی﻿ / -16.99472; -42.34944
کشور: برزیل
ایالت: میناز ژرایس
Mesoregion: Jequitinhonha
تأسیس‌شده: ۳۰ دسامبر ۱۹۶۲
مساحت: مساحت
 • کل: ۴۶۳ کیلومتر مربع (۱۷۹ مایل مربع)
ارتفاع[نیازمند منبع]: ۳۷۷ متر (۱۲۳۷ فوت)
جمعیت (2020): جمعیت (2020)
 • کل: ۱۰٬۳۲۱
 • تراکم: ۲۲/کیلومتر مربع (۵۸/مایل مربع)
منطقهٔ زمانی: یوتی‌سی -۰۳:۰۰ (BRT)
 • تابستانی (DST): یوتی‌سی -۰۲:۰۰ (BRST)
Neighbouring municipalities:  Berilo  Jenipapo de Minas  Virgem da Lapa  Chapada do Norte  Araçuaí 
فرانسیسکو بدارو (به پرتغالی: Francisco Badaró) یک منطقهٔ مسکونی در برزیل است، که در میناز ژرایس واقع شده‌است. فرانسیسکو بدارو ۴۶۳ کیلومتر مربع مساحت و ۱۰٬۳۲۱ نفر جمعیت دارد و ۳۷۷ متر بالاتر از سطح دریا واقع شده‌است.
فراوانی طبیعی

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

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