stanford-oval/wikipedia huggingface dataset:
قضیه
واژه‌شناسی

تعدادی از واژه‌های مختلف برای عبارات ریاضی وجود دارد که این واژه‌ها گزاره‌ها را بیان می‌کنند. استفاده از بعضی لغات ممکن است به صورت قرار دادی باشد و گاهی معانی لغات تکامل می‌یابد.[نیازمند منبع]
اصل یا اصل موضوع گزاره‌ای است که بدون اثبات پذیرفته می‌شود و به عنوان اساسی برای موضوع است. از لحاظ تاریخی این به عنوان «بدیهی» در نظر گرفته شده‌است، اما اخیراً آن‌ها فرضی در نظر گرفته می‌شوند که موضوع مطالعه را مشخص می‌کند. در هندسه کلاسیک، اصول موضوعه بیانیه‌های عمومی هستند در حالی که اصول موضوعه اظهاراتی در مورد اشیاء هندسی می‌باشد.[نیازمند منبع]
گزاره(پیشنهاد) یک اصطلاح عمومی است برای قضایایی که از اهمیت کمتری برخوردارند. این واژه گاهی اوقات یک بیانیه متضمن با یک اثبات ساده است در حالی که واژه قضیه هنگامی استفاده می‌شود که نتیجه مهم یا اثبات دشوارتری در کار باشد.
لم یک کمک قضیه است. یک گزاره با کاربرد کمی که بخشی از یک اثبات طولانی را تشکیل می‌دهد. در برخی موارد که اهمیت نسبی بعضی قضایا روشن شد و گزاره‌ای که در گذشته لم نامیده می‌شد قضیه نام گرفت اما واژه لم هم چنان باقی ماند.
نتیجه فرعی یا استنباط گزاره‌ای است بدون اثبات یا با اثباتی کم که از قضیه دیگر یا یک تعریف نتیجه‌گیری شده‌است.
عکس قضیه گزاره‌ای است که با معکوس کردن یک قضیه و اثبات آن بدست می‌آید.
همچنین لغاتی وجود دارند که کمتر استفاده می‌شوند که به‌طور معمول به اظهارات اثبات شده متصل اند:
تطابق، که برای قضایایی که برای بیان برابری دو عبارت ریاضی است مورد استفاده قرار می‌گیرد.
حکم که برای قضایایی که با فرمول منتشر می‌شود مورد استفاده قرار می‌گیرد؛ و هم چنین کلماتی دیگر از جمله قانون و قاعده و ...[نیازمند منبع]
ترتیب و طرح بندی (مراحل)

یک قضیه و اثبات آن به‌طور معمول به صورت زیر دارای ترتیب هستند:
قضیه (اسم شخص اثبات‌کننده و سال کشف، اثبات یا نشر آن)
جملات یک قضیه (معمولاً گزاره گفته می‌شود)
اثبات
توضیح اثبات
نشان خاتمه
انتهای اثبات ممکن است با حروف Q.E.D.(quod erat demonstrandum) علامت‌گذاری شود یا با یکی از علامات "□" یا "∎" به معنی پایان اثبات می‌باشد که به وسیله پائول هالموس به دنبال موارد استفاده آن‌ها در مقالات مجلات معرفی شد.
سبک دقیق بستگی به نویسنده یا انتشارات دارد. بسیاری از انتشارات، ساختارها یا ماکروهایی برای حروف چینی در سبک‌های خانگی فراهم می‌کنند.
در یک قضیه معمول آن است که به وسیلهٔ تعاریفی، مفهوم دقیق شرایط و اصطلاحات استفاده شده در قضیه را شرح می‌دهند، مقدم بشوند. همچنین معمول است که یک قضیه به وسیلهٔ تعداد گزاره‌ها یا لم‌ها که در اثبات استفاده شده‌اند، مقدم بشوند. هر چند، لم‌ها معمولاً در اثبات قضیه جا داده می‌شوند، چه همراه با اثبات‌های تودرتو یا چه همراه با اثبات‌های ارائه شده بعد از اثبات اصلی قضیه.[نیازمند منبع]
استنباط‌ها یا نتایج یک قضیه یا بین قضیه و اثبات مطرح می‌شود یا مستقیماً بعد از اثبات. بعضی اوقات، استنباط‌ها اثبات‌هایی برای خودشان دارند که توضیح می‌دهند چرا در اثبات قضیه استفاده شده‌اند.[نیازمند منبع]
ترتیب و طرح بندی (مراحل) > تاریخچه

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

منطق، به ویژه در زمینه اثبات قضیه، قضایا را همانند جملات و گزاره‌های یک زبان رسمی به حساب می‌آورد (که به آن فرمول گفته می‌شود). گزاره‌های یک زبان رشته‌های نمادها هستند و ممکن است به‌طور گسترده به حرف‌های پوچ و فرمول‌های خوش فرم تقسیم شوند. مجموعه‌ای از قوانین قیاس، که قانون تبدیل و دگرگونی یا قانون استنتاج نیز گفته می‌شود، باید فراهم گردد. این قوانین دقیقاً بیان می‌کند که چه هنگام یک فرمول می‌تواند از مجموعه‌ای از فرضیات قبلی مشتق شود. مجموعه فرمول‌های خوش فرم ممکن است به‌طور گسترده به قضایا و غیرقضایا تقسیم شوند. هر چند، با توجه به هافستادتر، یک سیستم صوری، اغلب به‌طور خیلی ساده فرمول‌های خوش فرم را مانند قضایا تعریف می‌کند.
مجموعه‌های متفاوت قوانین استنتاج به تفاسیر گوناگونی از آن چیزی ختم می‌شود که به معنای بیانی یک قضیه است.[نیازمند منبع]
بعضی از قوانین استنتاج و زبان‌های صوری بر آن شده بودند که استدلال ریاضیاتی به دست آورند؛ رایج‌ترین مثال مورد استفاده منطق مرتبه اول می‌باشد. سایر روش‌های استنتاجی مدت و شرایط بازنویسی را توضیح می‌دهد. مانند قوانین کاهش برای حساب لاندا.[نیازمند منبع]
تعریف قضیه‌ها به عنوان عناصر زبان صوری نتایج اثبات قضیه را قادر می‌سازد که ساختار اثبات‌های صوری و فرمول‌های قابل اثبات را مورد مطالعه و بررسی قرار دهد. معروف‌ترین دست‌آورد، قضیه ناتمامیت گودل می‌باشد؛ با نشان دادن قضایا دربارهٔ تئوری اعداد اساسی به عنوان بیانی در زبان صوری، و سپس نشان دادن این زبان همراه باخود نظریه اعداد، گودل مثال‌هایی از گزاره‌هایی پدید آورد که با توجه به اصل موضوعه نظریه اعداد نه قابل اثبات هستند نه غیرقابل اثبات.
یک قضیه ممکن است در زبان صوری بیان شود. یک قضیه صوری، به‌طور محض، نظیر صوری قضیه است. در کل، یک قضیه صوری نوعی از فرمول خوش فرم هست که شرایط نحوی و معین منطقی را راضی می‌کند. مفهوم  \vdash   Sاغلب استفاده می‌شود برای آنکه نشان بدهد  S یک قضیه است.
قضایای صوری از فرمول‌های زبان صوری و قوانین ترکیب روش صوری تشکیل شده‌است. به خصوص، یک قضیه صوری همیشه آخرین فرمول یک استنتاج در بعضی روش‌های صوری است که هر کدام از فرمول‌ها یک گزاره منطقی است از فرمول‌هایی که قبلاً در استنتاج آمده‌اند. به فرمول‌های پذیرفته شده اولیه در استنتاج، اصل موضوعه آن می‌گویند و بر پایه‌ای هستند که قضیه استنتاج شده‌است. به مجموعه‌ای از قضایا، نظریه می‌گویند.
آنچه که قضایا را مفید و جالب ساخته آن است که آن‌ها می‌توانند به عنوان یک گزاره حقیقی مطرح بشوند و مشتقات (استنتاج‌های) آن‌ها ممکن است به عنوان اثبات درستی گزاره پایانی باشد. مجموعه‌ای از قضایای صوری ممکن است به عنوان نظریه صوری ارجاع داده شوند. قضیه‌ای که تفسیر آن گزاره‌ای درست دربارهٔ روش (سیستم) صوری است را قضیه متا می‌گویند.[نیازمند منبع]
قضایا در منطق > صرف و نحو

مقالات اصلی: صرف (منطق) و معناشناسی صوری (منطق)
مفهوم قضیه صوری اساساً نحوی است و در تضاد با مفهوم گزاره حقیقی است که معناشناسی را معرفی می‌کند. روش‌های استقرایی متفاوت می‌تواند سایر تفاسیر و تعابیر را با توجه به فرضیات قوانین استنتاج ثمر ببخشد (باور، توجیه و سایر شروط). خوش فکری یک روش صوری بستگی به این دارد که تمامی قضایای آن اعتبار دارد یا خیر. اعتبار فرمولی است که تحت هر تفسیر درست می‌باشد؛ مثلاً در گزاره‌های کلاسیک منطق، اعتبارها حشو و زائد هستند. یک روش (سیستم) صوری هنگامی به صورت معنایی کامل به حساب می‌آید که تمام حشوهای آن، خود نیز قضایایی هستند.[نیازمند منبع]
استنتاج یک قضیه

مقاله اصلی: اثبات صوری
مفهوم قضیه به اثبات صوری آن، به‌طور خیلی نزدیک به آن مربوط شده‌است (استنتاج نیز می‌نامند). برای اینکه نشان بدهند استنتاج‌ها چگونه انجام می‌شوند، ما در یک روش (سیستم) صوری بسیار ساده شده عمل خواهیم کرد. فرض کنیم که حروف  {\mathcal {FS}} از دو نماد A و B تشکیل شده‌است و قانون ترکیب آن برای فرمول برابر است با:
«هر رشته از نماد  {\mathcal {FS}} که حداقل طول آن رشته سه است و دارای طول بینهایت نمی‌باشد»، یک فرمول است. هیچ چیز دیگری فرمول نیست.[نیازمند منبع]
تنها اصل موضوعه {\mathcal {FS}} برابر است با: ABBA
تنها قاعده استنتاج (قانون دگرگونی یا تبدیل) برای  {\mathcal {FS}} برابر است با: هر رخداد A در قضیه، ممکن اس با رخداد رشته AB جایگزین شود و پی آمد آن یک قضیه می‌باشد.
قضایا در  {\mathcal {FS}} طوری تعریف شده‌اند که با توجه به ان قواعد، یک پایانِ استنتاجی همراه با آن قاعده داشته باشند. برای مثال:
ABBA (به عنوان اصل موضوعه)
ABBBA (با اعمال قانون دگرگونی یا تبدیل)
ABBBAB (با اعمال قانون دگرگونی یا تبدیل)
یک استناج است؛ بنابراین "ABBBAB" یک قضیه  {\mathcal {FS}} است. مفهوم حقیقت و درستی (یا نادرستی) نمی‌تواند به قاعده و فرمول "ABBBAB" اعمال شود مگر اینکه یک تفسیر و تعبیر برای نمادهای آن تعریف شود. در نتیجه در این مثال، قاعده و فرمول هنوز یک گزاره را ارائه و مطرح نمی‌کند اما صرفاً یک انتزاع پوچ می‌باشد.
دو اشتراک موجود در قضایای  {\mathcal {FS}} عبارتند از:
هر قضیه با A شروع می‌شود
هر قضیه دقیقاً دارای دو A می‌باشد.[نیازمند منبع]
سعیدالدین کازرونی

سعیدالدین بلیانی کازرونی بزرگترین سیره‌نویس پیامبر اسلام در کازرون متولد شد. اثر مشهور وی سیر کازرونی نام دارد.
سلیمان زلدنراست

سلیمان زلدنراست (انگلیسی: Salomon Zeldenrust; ۱۷ فوریهٔ ۱۸۸۴ – ۲۰ ژوئیهٔ ۱۹۵۸) ورزشکار شمشیربازی اهل پادشاهی هلند بود.
وی در مسابقات کشوری و بین‌المللی در مجموع برندهٔ ۱ مدال برنز شده‌است.
ساما (بانوا)

| ساما Sama | ساما Sama |
| --- | --- |
کشور:  بورکینافاسو
منطقه: منطقه بوکله دو موهان
استان: استان بانوا
شهرستان: شهرستان کوکا
جمعیت (2005): جمعیت (2005)
 • کل: ۳٬۸۵۳
منطقهٔ زمانی: یوتی‌سی +۰ (GMT 0)
ساما شهری در شهرستان کوکا در استان بانوا در بورکینافاسوی غربی است و جمعیت آن ۳,۸۵۳ نفر است.
سقانفار ریکنده

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

| ستوپچویچی | ستوپچویچی |
| --- | --- |
روستا: روستا
ستوپچویچیموقعیت ستوپچویچی در نقشه: ستوپچویچیموقعیت ستوپچویچی در نقشه
مختصات: ۴۳°۴۲′ شمالی ۲۰°۰۶′ شرقی﻿ / ﻿۴۳٫۷۰۰°شمالی ۲۰٫۱۰۰°شرقی﻿ / 43.700; 20.100: مختصات: ۴۳°۴۲′ شمالی ۲۰°۰۶′ شرقی﻿ / ﻿۴۳٫۷۰۰°شمالی ۲۰٫۱۰۰°شرقی﻿ / 43.700; 20.100
کشور:  صربستان
ناحیه: Šumadija
شهر: آرییه
مساحت: مساحت
 • کل: ۱۳٫۲۰ کیلومتر مربع (۵٫۱۰ مایل مربع)
ارتفاع: ۳۹۲ متر (۱۲۸۶ فوت)
جمعیت (۲۰۱۱): جمعیت (۲۰۱۱)
 • کل: ۹۶۸
 • تراکم: ۷۳/کیلومتر مربع (۱۹۰/مایل مربع)
منطقهٔ زمانی: یوتی‌سی +۱ (زمان)
 • تابستانی (DST): یوتی‌سی +۲ (ساعت تابستانی اروپای مرکزی)
ستوپچویچی (به صربی: Stupčevići) یک منطقهٔ مسکونی در صربستان است که در آرییه واقع شده‌است. ستوپچویچی ۱۳٫۲۰ کیلومتر مربع مساحت و ۹۶۸ نفر جمعیت دارد و ۳۹۲ متر بالاتر از سطح دریا واقع شده‌است.
ستیدیل

| 0 | 1 |
| --- | --- |
داده‌های بالینی: داده‌های بالینی
کد ATC: C04AX26 
شناسه‌ها: شناسه‌ها
 نام آیوپاک 2-(azepan-1-yl)ethyl 2-cyclohexyl-2-(thiophen-3-yl)acetate :  نام آیوپاک 2-(azepan-1-yl)ethyl 2-cyclohexyl-2-(thiophen-3-yl)acetate 
شمارهٔ سی‌ای‌اس: 14176-10-4 Y
پاب‌کم CID: 66384
کم‌اسپایدر: 59759 N
UNII: 621RT200TO
ChEMBL: ChEMBL419380 N
CompTox Dashboard (EPA): DTXSID70864474 
ECHA InfoCard: 100.034.556 
داده‌های فیزیکی و شیمیایی: داده‌های فیزیکی و شیمیایی
فرمول شیمیایی: C20H31NO2S
جرم مولی: 349.53064 g·mol−1
مدل سه بعدی (جی‌مول): Interactive image
 SMILES O=C(OCCN1CCCCCC1)C(c2ccsc2)C3CCCCC3 :  SMILES O=C(OCCN1CCCCCC1)C(c2ccsc2)C3CCCCC3 
 InChI InChI=1S/C20H31NO2S/c22-20(23-14-13-21-11-6-1-2-7-12-21)19(18-10-15-24-16-18)17-8-4-3-5-9-17/h10,15-17,19H,1-9,11-14H2 N Key:MMNICIJVQJJHHF-UHFFFAOYSA-N N :  InChI InChI=1S/C20H31NO2S/c22-20(23-14-13-21-11-6-1-2-7-12-21)19(18-10-15-24-16-18)17-8-4-3-5-9-17/h10,15-17,19H,1-9,11-14H2 N Key:MMNICIJVQJJHHF-UHFFFAOYSA-N N 
 NY (این چیست؟)  (صحت‌سنجی):  NY (این چیست؟)  (صحت‌سنجی)
ستیدیل (انگلیسی: Cetiedil) یک گشاد کنندهٔ عروق و یک عامل ضد داسی است.
روبرتو سوارز (بازیکن فوتبال)

| اطلاعات شخصی | اطلاعات شخصی | اطلاعات شخصی | اطلاعات شخصی |
| --- | --- | --- | --- |
نام کامل:  Roberto Suárez Álvarez
زادروز:  ۷ آوریل ۱۹۷۴ ‏(۵۰ سال)
زادگاه:  گرادو، آستوریاس
قد:  1.76 m
پست:  هافبک
باشگاه‌های حرفه‌ای*: باشگاه‌های حرفه‌ای*
| سال‌ها |  باشگاه‌ها |  بازی† |  (گل)† |
| ۱۹۹۲–۱۹۹۳ |  باشگاه فوتبال رئال مادرید سی |   |   |
| ۱۹۹۳–۱۹۹۷ |  باشگاه فوتبال رئال اویدو |  ۱۰۶ |  (۱) |
| ۱۹۹۷–۱۹۹۸ |  باشگاه فوتبال لوانته |  ۱۷ |  (۰) |
| ۱۹۹۸–۲۰۰۰ |  Toledo |  ۷۱ |  (۰) |
| ۲۰۰۰–۲۰۰۲ |  Lleida |  ۴۹ |  (۰) |
| ۲۰۰۲–۲۰۰۶ |  باشگاه فوتبال کادیس |  ۱۲۷ |  (۱) |
| ۲۰۰۶–۲۰۰۸ |  Racing Portuense |  ۶۱ |  (۰) |
| ۲۰۱۵–۲۰۱۶ |  Marino |  ۱۶ |  (۰) |
| مجموع |   |  ۴۴۷ |  (۲) |
دوران مربیگری: دوران مربیگری
:  Marino (assistant)
 تعداد بازی‌ها و گل‌ها فقط مربوط به بازی‌های لیگ داخلی است. :  تعداد بازی‌ها و گل‌ها فقط مربوط به بازی‌های لیگ داخلی است. 
روبرتو سوارز (انگلیسی: Roberto Suárez؛ زادهٔ ۷ آوریل ۱۹۷۴) بازیکن فوتبال اهل اسپانیا است.
از باشگاه‌هایی که در آن بازی کرده‌است می‌توان به باشگاه فوتبال لوانته اشاره کرد.
دوست دختر (آهنگ چارلی پوث)

دوست دختر (انگلیسی: Girlfriend) تک آهنگ خواننده آمریکایی چارلی پوث که ۲۵ ژوئن ۲۰۲۰ منتشر شد.
قورباغه زگیل‌دار بزرگ

| قورباغه زگیل‌دار بزرگ> وضعیت حفاظت | قورباغه زگیل‌دار بزرگ> وضعیت حفاظت |
| --- | --- |
 کمترین نگرانی  (IUCN 3.1):  کمترین نگرانی  (IUCN 3.1)
رده‌بندی علمی: رده‌بندی علمی
فرمانرو:: جانوران
شاخه:: طنابداران
رده:: دوزیستان
راسته:: قورباغه
تیره:: قورباغه‌های بوته‌زار
سرده:: قورباغه‌های زگیل‌دار درختی
قورباغه زگیل‌دار بزرگ (نام علمی: Theloderma gordoni) نام یک گونه از سرده قورباغه‌های زگیل‌دار درختی است.
زابرنگیتسا

| زابرنگیتسا | زابرنگیتسا |
| --- | --- |
روستا: روستا
زابرنگیتساموقعیت زابرنگیتسا در نقشه: زابرنگیتساموقعیت زابرنگیتسا در نقشه
مختصات: ۴۳°۳۱′ شمالی ۱۹°۲۲′ شرقی﻿ / ﻿۴۳٫۵۱۷°شمالی ۱۹٫۳۶۷°شرقی﻿ / 43.517; 19.367: مختصات: ۴۳°۳۱′ شمالی ۱۹°۲۲′ شرقی﻿ / ﻿۴۳٫۵۱۷°شمالی ۱۹٫۳۶۷°شرقی﻿ / 43.517; 19.367
کشور:  صربستان
ناحیه: ناحیه زلاتیبور
شهر: پریبوی
جمعیت (۲۰۰۲): جمعیت (۲۰۰۲)
 • کل: ۲۰۵
منطقهٔ زمانی: یوتی‌سی +۱ (زمان)
 • تابستانی (DST): یوتی‌سی +۲ (ساعت تابستانی اروپای مرکزی)
زابرنگیتسا (به صربی: Zabrnjica) یک منطقهٔ مسکونی در صربستان است که در پریبوی واقع شده‌است. زابرنگیتسا ۲۰۵ نفر جمعیت دارد.
رویداد بزرگ اکسیژنی

پیدایش گاز اکسیژن در جو زمین. رنگ‌های سبز و قرمز نشانگر گمانه‌های کم و بیش بودن اکسیژن در هواکره و واحد زمان بیلیون سال پیش است.
این تخته سنگ ۲۱۰۰ میلیون ساله که از سنگ رسوبی سیاه و رگه‌های آهن درست شده از سنگ‌های معادن آمریکای شمالی است و در موزهُ ملی زمین‌شناسی و معدن شهر درسدن آلمان نگهداری می‌شود. وزن این سنگ با ابعاد ۳×۲×۱ متر ۸٫۵ تن است.
رویداد بزرگ اکسیژنی (به انگلیسی: Great Oxygenation Event) یا انقلاب اکسیژنی (به انگلیسی: Oxygen Revolution) پدیدهٔ پیدایش گاز اکسیژن در جو زمین در اثر عوامل زیستی است. پژوهش‌های زمین‌شناسی، شیمیایی و ایزوتوپی، تاریخ این دگرگونی بزرگ را نزدیک به دو میلیارد و سیصد میلیون (۲٬۳۰۰ میلیون) سال پیش نشان می‌دهند.
در آن زمان از پیدایش سیانوباکترها حدود ۲۰۰ میلیون سال می‌گذشت و آن‌ها از راه فروغ آمایی یا فتوسنتز سرگرم آزاد سازی اکسیژن بودند ولی تا پیش از آغاز این رویداد بزرگ همهُ اکسیژن آزاد شده از راه مواد آلی و آهن محلول در محیط و شاید هم توسط هیدروژن موجود در هواکره دوباره جذب می‌شد.
اشباع این ظرفیت‌ها رفته رفته باعث ورود روزافزون و آغاز انباشته شدن اکسیژن در جو زمین و شروع این رویداد بزرگ شد.
اکسیژن می‌تواند برای اندامگان بی‌هوازی و بی‌هوازی اجباری مسموم‌کننده یا حتی کشنده باشد. این رویداد باعث محو بی‌هوازی‌ها شد و بنابراین از یک نگاه می‌توان گفت که سیانوباکترها مسوول یکی از بزرگ‌ترین انقراضها در تاریخ زمین بوده‌اند. از سوی دیگر، اکسیژن آزاد در هوا در برخورد با گاز متان که یک گاز گلخانه‌ای است باعث یخبندان هورونی شد که شاید بزرگ‌ترین یخبندان در تاریخ زمین باشد.
در نهایت این فسفرگیری اکسایشی و اندامگان هوازی بودند که با فرگشت خود و مصرف اکسیژن حالت تعادلی را که تا امروز ادامه دارد به وجود آوردند.
این پدیده افزون بر سایر پدیده‌های زیستی حیرت دوچندان دانشمندان در مورد پیدایش این سیاره خاکی را به همراه داشته است.
شواهد از دیدگاه زمین‌شناسی > شاخص‌های قاره‌ای

پالئوسول‌ها، دانه‌های دیتریتی و لایه‌های بستر سرخ، همه گواه وجود اکسیژن در سطحی پایین هستند. پالئوسول‌های قدیمی‌تر از ۲٫۴ بیلیون سال دارای غلظت آهن کمتری هستند که نشان‌دهندهٔ کمبود اکسیژن است.دانه‌های دتریتوس مسن‌تر از ۲٫۴ بیلیون نیز دارای ماده‌ای هستند که تنها در شرایط اکسیژن کم پایدار هستند
و بنابراین وجود آنها به‌عنوان کانی‌های آواری در رسوبات رودخانه‌ای و دلتایی به‌طور گسترده به عنوان شواهدی از یک جو بدون اکسیژن تفسیر می‌شود. در مقابل کانی‌های آواری حساس به ردوکس، بسترهای قرمز، ماسه‌سنگ‌های قرمز رنگ هستند که با هماتیت پوشیده شده‌اند. وجود تخت‌های قرمز نشان می‌دهد که اکسیژن کافی برای اکسید کردن آهن به حالت آهنی آن وجود دارد و نشان‌دهندهٔ تضاد مشخصی با ماسه‌سنگ‌های رسوب‌شده در شرایط بدون اکسیژن است که اغلب به رنگ‌های بژ، سفید، خاکستری یا سبز هستند.
شواهد از دیدگاه زمین‌شناسی > فسیل‌ها و نشانگرهای زیستی

مقالهٔ اصلی: نشانگر زیستی
سعیدخانلو

| سعیدخانلو(داش کریق یا کریق کوچک) | سعیدخانلو(داش کریق یا کریق کوچک) |
| --- | --- |
روستا: روستا
سعیدخانلو(داش کریق یا کریق کوچک): سعیدخانلو(داش کریق یا کریق کوچک)
مختصات: ۳۷°۵۴′۲۹″ شمالی ۴۸°۰۴′۰۱″ شرقی﻿ / ﻿۳۷٫۹۰۸۰۶°شمالی ۴۸٫۰۶۶۹۴°شرقی﻿ / 37.90806; 48.06694: مختصات: ۳۷°۵۴′۲۹″ شمالی ۴۸°۰۴′۰۱″ شرقی﻿ / ﻿۳۷٫۹۰۸۰۶°شمالی ۴۸٫۰۶۶۹۴°شرقی﻿ / 37.90806; 48.06694
کشور:  ایران
استان: استان اردبیل
شهرستان: شهرستان نیر
بخش: بخش کوراییم
دهستان: دهستان یورتچی غربی
جمعیت (۲۰۲۳): جمعیت (۲۰۲۳)
 • کل: ۱۴۵
منطقهٔ زمانی: یوتی‌سی +۳:۳۰ (ساعت رسمی ایران)
 • تابستانی (DST): یوتی‌سی +۴:۳۰ (ساعت رسمی ایران)
سعیدخانلو در زبان ساکنین به علت نزدیکی به روستای کریق بزرگ به نام داش کریق یا کریق کوچک نیز خوانده میشود یک روستا در ایران است که در دهستان یورتچی غربی واقع شده‌است. سعیدخانلو ۱۴۵ نفر جمعیت دارد.
از محصولات مورد کشت محصول و درست کردن لبنیات  مرغوب این روستا میتوان به کره حیوانی پور حسن، پنیر پور حسن، عسل،کشت: عدس ،نخود، جو و گندم اشاره کرد.
ساندرا داگلاس

ساندرا داگلاس (انگلیسی: Sandra Douglas؛ زادهٔ ۲۲ آوریل ۱۹۶۷) ورزشکار دو و میدانی اهل بریتانیا است.
ارواین ثورنلی

| اطلاعات شخصی | اطلاعات شخصی | اطلاعات شخصی | اطلاعات شخصی |
| --- | --- | --- | --- |
نام کامل:  Irvine Thornley
زادروز:  ۱۱ اکتبر ۱۸۸۳
زادگاه:  Whitfield, انگلستان
تاریخ مرگ:  ۲۴ آوریل ۱۹۵۵ (۷۱ سال)
محل مرگ:  ساوت شیلدز، انگلستان
قد:  ۵ فوت ۹ اینچ (۱٫۷۵ متر)
پست:  مهاجم
باشگاه‌های حرفه‌ای*: باشگاه‌های حرفه‌ای*
| سال‌ها |  باشگاه‌ها |  بازی† |  (گل)† |
|  |  Glossop Villa |   |   |
|  |  Glossop St James |   |   |
| ۱۹۰۱–۱۹۰۴ |  باشگاه فوتبال گلوسوپ نورث اند |  ۷۹ |  (۴۲) |
| ۱۹۰۴–۱۹۱۲ |  باشگاه فوتبال منچستر سیتی |  ۱۹۵ |  (۹۲) |
| ۱۹۱۲–۱۹۱۵ |  South Shields Adelaide |   |   |
| ۱۹۱۷–۱۹۱۸ |  Clydebank |  ۳ |  (۱) |
| ۱۹۱۹–۱۹۲۰ |  باشگاه فوتبال همیلتون آکادمیکال |  ۲۷ |  (۱۶) |
|  |  Houghton |   |   |
تیم ملی: تیم ملی
| ۱۹۰۷ |  تیم ملی فوتبال انگلستان |  ۱ |  (۰) |
|  |  Football League XI |  ۲ |   |
 تعداد بازی‌ها و گل‌ها فقط مربوط به بازی‌های لیگ داخلی است.:  تعداد بازی‌ها و گل‌ها فقط مربوط به بازی‌های لیگ داخلی است.
ارواین ثورنلی (به انگلیسی: Irvine Thornley) زادهٔ ۰۱۸۸۳ ۱۸۸۳ بازیکن فوتبال اهل انگلستان بود که سابقهٔ بازی در تیم ملی فوتبال انگلستان را در کارنامهٔ خود دارد. وی در تاریخ ۰۱۹۰۷−۰۳−۱۸ ۱۸ مارس ۱۹۰۷ تنها بازی ملی خود را در مقابل تیم ملی فوتبال ولز انجام داد.
استان‌های یونان

آتیک
اژهٔ جنوبی
اژهٔ شمالی
اپیروس
پلِپونِز
تسالی
جزایر ایونی
کرت
مقدونیه
مقدونیه غربی
مقدونیه شرقی و تراکیه
مقدونیه مرکزی
یونان غربی
یونان مرکزی
ادگار جی. کافمن

| ادگار جی>  کافمن | ادگار جی>  کافمن |
| --- | --- |
نام هنگام تولد: Edgar Jonas Kaufmann
زادهٔ: ۱ نوامبر ۱۸۸۵ پیتسبرگ
درگذشت: ۱۵ آوریل ۱۹۵۵ (۶۹ سال)
ملیت: ایالات متحده آمریکا
تحصیلات: Shady Side Academy
محل تحصیل: دانشگاه ییل
پیشه: اهالی کسب‌وکار
شناخته‌شده برای: Owner of Kaufmann's and commissioner of خانه آبشار
همسر(ها): Liliane S. Kaufmann  (ا. ۱۹۰۹–۱۹۵۲) Grace A. Stoops  (ا. ۱۹۵۴)
فرزندان: ادگار کافمن جونیور
والدین: Morris Kaufmann Betty Kaufmann (Wolf)
ادگار جی. گافمن
ادگار جی. کافمن (انگلیسی: Edgar J. Kaufmann; ۱ نوامبر ۱۸۸۵ – ۱۵ آوریل ۱۹۵۵) کارآفرین یهودی آلمانی اهل ایالات متحده آمریکا بود. او کارفرمای دو اثر فرانک لوید رایت، خانه آبشار و خانه کافمن بود.
ده امیر

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

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

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

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

| اطلاعات شخصی | اطلاعات شخصی | اطلاعات شخصی | اطلاعات شخصی |
| --- | --- | --- | --- |
نام کامل:  Edwin Raymond Bowden
زادروز:  ۱۳ سپتامبر ۱۹۰۹
زادگاه:  لو, England
تاریخ مرگ:  ۲۳ سپتامبر ۱۹۹۸ (۸۹ سال)
محل مرگ:  پلیموث, England
پست:  Inside forward
باشگاه‌های حرفه‌ای*: باشگاه‌های حرفه‌ای*
| سال‌ها |  باشگاه‌ها |  بازی† |  (گل)† |
|  |  Looe |  ? |  (?) |
| ۱۹۲۶–۱۹۳۳ |  Plymouth Argyle |  ۱۴۵ |  (۸۲) |
| ۱۹۳۳–۱۹۳۷ |  باشگاه فوتبال آرسنال |  ۱۲۳ |  (۴۲) |
| ۱۹۳۷–۱۹۳۹ |  باشگاه فوتبال نیوکاسل یونایتد |  ۴۸ |  (۶) |
تیم ملی: تیم ملی
| ۱۹۳۴–۱۹۳۶ |  تیم ملی فوتبال انگلستان |  ۶ |  (۱) |
 تعداد بازی‌ها و گل‌ها فقط مربوط به بازی‌های لیگ داخلی است.:  تعداد بازی‌ها و گل‌ها فقط مربوط به بازی‌های لیگ داخلی است.
ری بوودن (به انگلیسی: Ray Bowden) بازیکن فوتبال زادهٔ ۰۱۹۰۹−۰۹−۱۳ ۱۳ سپتامبر ۱۹۰۹ اهل کشور انگلستان که سابقهٔ بازی در تیم ملی فوتبال انگلستان را در کارنامهٔ خود دارد. وی در تاریخ ۰۱۹۳۴−۰۹−۲۹ ۲۹ سپتامبر ۱۹۳۴ نخستین بازی ملی خود را در مقابل تیم ملی فوتبال ولز انجام داد و با حضور در ۶ بازی ملی، در تاریخ ۰۱۹۳۶−۱۲−۰۲ ۲ دسامبر ۱۹۳۶ واپسین بازی ملی‌اش را در برابر تیم ملی فوتبال مجارستان برگزار کرد.
این بازیکن توانسته در بازی‌های ملی، ۱ گل به ثمر برساند.
زامارسکی

| زامارسکی | زامارسکی |
| --- | --- |
روستا: روستا
Saint Roch wooden church: Saint Roch wooden church
  نشان:   نشان
زامارسکی: زامارسکی
مختصات: ۴۹°۴۶′۵۶٫۳۴″ شمالی ۱۸°۴۰′۱۶٫۱۰″ شرقی﻿ / ﻿۴۹٫۷۸۲۳۱۶۷°شمالی ۱۸٫۶۷۱۱۳۸۹°شرقی﻿ / 49.7823167; 18.6711389: مختصات: ۴۹°۴۶′۵۶٫۳۴″ شمالی ۱۸°۴۰′۱۶٫۱۰″ شرقی﻿ / ﻿۴۹٫۷۸۲۳۱۶۷°شمالی ۱۸٫۶۷۱۱۳۸۹°شرقی﻿ / 49.7823167; 18.6711389
کشور: لهستان
Voivodeship: استان سیلسیان
فهرست شهرستان‌های لهستان: شهرستان چیشن
گمینا: گمینا خاژلاخ
اولین معرفی: ۱۲۲۳
حکومت: حکومت
 • شهردار: Iwona Boruta
مساحت: مساحت
 • کل: ۸٫۶۴ کیلومتر مربع (۳٫۳۴ مایل مربع)
ارتفاع: ۳۸۸ متر (۱۲۷۳ فوت)
جمعیت (۲۰۰۸): جمعیت (۲۰۰۸)
 • کل: ۱۲۸۶
 • تراکم: ۱۵۰/کیلومتر مربع (۳۹۰/مایل مربع)
منطقهٔ زمانی: یوتی‌سی +۱ (زمان)
 • تابستانی (DST): یوتی‌سی +۲ (ساعت تابستانی اروپای مرکزی)
کد پستی: ۴۳–۴۱۹
Car plates: SCI
زامارسکی (به لهستانی:  Zamarski) یک روستا در لهستان است که در گمینا خاژلاخ واقع شده‌است. زامارسکی ۸٫۶۴ کیلومتر مربع مساحت و ۱٬۲۸۶ نفر جمعیت دارد و ۳۸۸ متر بالاتر از سطح دریا واقع شده‌است.
ریتا کراکت

ریتا کراکت (انگلیسی: Rita Crockett) (متولد ۲ نوامبر ۱۹۵۷ در سن آنتونیو، تگزاس) بازیکن سابق والیبال تیم ملی زنان آمریکا و برنده مدال نقره المپیک است.
زبان اشاره بلژیکی فرانسوی

| زبان اشاره بلژیکی فرانسوی | زبان اشاره بلژیکی فرانسوی |
| --- | --- |
Langue des signes de Belgique francophone (LSFB): Langue des signes de Belgique francophone (LSFB)
زبان بومی در: بلژیک
شمار گویشوران: ۴٬۰۰۰  (۲۰۱۴)
تبار: اشاره جعلی؟ اشاره فرانسوی؟  Belgian Sign Languageزبان اشاره بلژیکی فرانسوی
کدهای زبان: کدهای زبان
ایزو ۳–۶۳۹: sfb
گلاتولوگ: lang1248
زبان اشاره بلژیکی فرانسوی زبان اشاره‌ای است که توسط ناشنوایان و کم شنوایان در بلژیک استفاده می‌شود. این زبان و زبان اشاره فلاندری بسیار به هم نزدیک هستند اما زبان‌های متمایزی به‌شمار می‌روند.
ری تاناکا

بسته ای که روی آن نام ری تاناکا به ژاپنی (به کانجی/ 田中 理恵) نوشته شده است
ری تاناکا (انگلیسی: Rie Tanaka؛ زادهٔ ۳ ژانویهٔ ۱۹۷۹) موسیقی‌دان اهل ژاپن است. وی از سال ۱۹۹۷ میلادی تاکنون مشغول فعالیت بوده‌است.