Otomatik teorem kanıtlama

Статья "Otomatik teorem kanıtlama" в Турецкой Википедии имеет 0.2 баллов за качество (по состоянию на 1 ноября 2023 года). Эта статья имеет наилучшее качество в Португальской Википедии. Однако, наиболее популярной языковой версией статьи является английская.

С момента создания статьи "Otomatik teorem kanıtlama" ее содержимое было создано 1 зарегистрированными пользователями турецкой Википедии и редактировано 421 зарегистрированными пользователями Википедии во всех языковых версиях.

Эта статья цитируется 6 раз в турецкой Википедии и цитируется 786 раз во всех языках.

Наивысший рейтинг по интересам авторов с 2001 года:

• Локальный (Турецкий): №31018 в декабре 2017 года
• Глобальный: №159 в ноябре 2001 года

Самый высокий рейтинг популярности с 2008 года:

• Локальный (Турецкий): №152069 в марте 2019 года
• Глобальный: №76451 в августе 2008 года

Для данной статьи найдено 17 языковых версий в базе ВикиРанк (из рассматриваемых 55 языковых версий Википедии).

Данные по состоянию на 1 ноября 2023 года.

В таблице ниже показаны языковые версии статьи с наилучшим качеством.

#	Язык	Знак качества	Оценка качества
1	Португальский (pt) Prova automática de teoremas		34.3697
2	Английский (en) Automated theorem proving		33.711
3	Японский (ja) 自動定理証明		22.9089
4	Итальянский (it) Dimostrazione automatica di teoremi		20.6412
5	Испанский (es) Demostración automática de teoremas		14.5303
6	Баскский (eu) Teoremen frogapen automatiko		11.4951
7	Польский (pl) Automatyczne dowodzenie twierdzeń		10.7179
8	Русский (ru) Автоматическое доказательство		8.8301
9	Азербайджанский (az) Teoremlərin avtomatik sübutu		8.1057
10	Китайский (zh) 自動化定理證明		5.263

Больше...

В следующей таблице показаны наиболее популярные языковые версии статьи.

Самые популярные языковые версии статьи "Otomatik teorem kanıtlama" за всё время

#	Язык	Знак популярности	Оценка популярности
1	Английский (en) Automated theorem proving		969 656
2	Испанский (es) Demostración automática de teoremas		160 435
3	Японский (ja) 自動定理証明		94 253
4	Русский (ru) Автоматическое доказательство		81 984
5	Польский (pl) Automatyczne dowodzenie twierdzeń		63 187
6	Китайский (zh) 自動化定理證明		32 009
7	Французский (fr) Démonstration automatique de théorèmes		28 548
8	Португальский (pt) Prova automática de teoremas		18 872
9	Итальянский (it) Dimostrazione automatica di teoremi		11 350
10	Персидский (fa) اثبات قضیه خودکار		10 935

Больше...

В следующей таблице показаны статьи с наибольшей популярностью в последний месяц.

Самые популярные языковые версии статьи "Otomatik teorem kanıtlama" в октябре 2023

#	Язык	Знак популярности	Оценка популярности
1	Английский (en) Automated theorem proving		5 345
2	Японский (ja) 自動定理証明		421
3	Русский (ru) Автоматическое доказательство		360
4	Испанский (es) Demostración automática de teoremas		321
5	Китайский (zh) 自動化定理證明		178
6	Французский (fr) Démonstration automatique de théorèmes		107
7	Польский (pl) Automatyczne dowodzenie twierdzeń		102
8	Итальянский (it) Dimostrazione automatica di teoremi		100
9	Персидский (fa) اثبات قضیه خودکار		54
10	Португальский (pt) Prova automática de teoremas		51

Больше...

В следующей таблице показаны статьи с наивысшим интересом авторов.

Языковые версии статьи "Otomatik teorem kanıtlama" с наибольшим интересом авторов (количество авторов). Учитывались только зарегистрированные пользователи Википедии.

#	Язык	Знак	Относительный ИА
1	Английский (en) Automated theorem proving		209
2	Испанский (es) Demostración automática de teoremas		35
3	Французский (fr) Démonstration automatique de théorèmes		26
4	Японский (ja) 自動定理証明		26
5	Польский (pl) Automatyczne dowodzenie twierdzeń		25
6	Русский (ru) Автоматическое доказательство		22
7	Итальянский (it) Dimostrazione automatica di teoremi		18
8	Португальский (pt) Prova automática de teoremas		16
9	Китайский (zh) 自動化定理證明		11
10	Украинский (uk) Автоматизоване доведення теорем		9

Больше...

В следующей таблице показаны статьи с наивысшим интересом авторов за последний месяц.

Языковые версии статьи "Otomatik teorem kanıtlama" с наибольшим интересом авторов (количество авторов)

#	Язык	Знак	Относительный ИА
1	Корейский (ko) 자동 정리 증명		2
2	Английский (en) Automated theorem proving		1
3	Итальянский (it) Dimostrazione automatica di teoremi		1
4	Азербайджанский (az) Teoremlərin avtomatik sübutu		0
5	Испанский (es) Demostración automática de teoremas		0
6	Баскский (eu) Teoremen frogapen automatiko		0
7	Персидский (fa) اثبات قضیه خودکار		0
8	Французский (fr) Démonstration automatique de théorèmes		0
9	Армянский (hy) Թեորեմների ավտոմատացված ապացուցում		0
10	Японский (ja) 自動定理証明		0

Больше...

В следующей таблице показаны языовые версии статьи с наибольшим количеством цитирования.

Языковые версии статьи "Otomatik teorem kanıtlama" с наибольшим индексом цитирования

#	Язык	Награда за ИЦ	Относительный ИЦ
1	Английский (en) Automated theorem proving		375
2	Русский (ru) Автоматическое доказательство		68
3	Японский (ja) 自動定理証明		53
4	Испанский (es) Demostración automática de teoremas		50
5	Французский (fr) Démonstration automatique de théorèmes		47
6	Китайский (zh) 自動化定理證明		40
7	Украинский (uk) Автоматизоване доведення теорем		37
8	Польский (pl) Automatyczne dowodzenie twierdzeń		32
9	Португальский (pt) Prova automática de teoremas		26
10	Персидский (fa) اثبات قضیه خودکار		21

Больше...

#	Язык	Ценность
az	Азербайджанский Teoremlərin avtomatik sübutu
en	Английский Automated theorem proving
es	Испанский Demostración automática de teoremas
eu	Баскский Teoremen frogapen automatiko
fa	Персидский اثبات قضیه خودکار
fr	Французский Démonstration automatique de théorèmes
hy	Армянский Թեորեմների ավտոմատացված ապացուցում
it	Итальянский Dimostrazione automatica di teoremi
ja	Японский 自動定理証明
ko	Корейский 자동 정리 증명
pl	Польский Automatyczne dowodzenie twierdzeń
pt	Португальский Prova automática de teoremas
ru	Русский Автоматическое доказательство
th	Тайский การพิสูจน์ทฤษฎีบทด้วยคอมพิวเตอร์
tr	Турецкий Otomatik teorem kanıtlama
uk	Украинский Автоматизоване доведення теорем
zh	Китайский 自動化定理證明

Лучшая позиция

Турецкий: №152069 03.2019

Глобальный: №76451 08.2008

Лучшая позиция

Турецкий: №31018 12.2017

Глобальный: №159 11.2001

16 мая 2024 года В многоязычной Википедии пользователи Интернета чаще всего читали статьи на следующие темы: Ясукэ, Новая Каледония, Словакия, Роберт Фицо, Бриджертоны, YouTube, ChatGPT, Список умерших в 2024 году, Планета обезьян, 16 мая.

В турецкой Википедии в этот день самыми популярными были статьи: Kobani Olayları, Yeni Kaledonya, 2024 FIVB Voleybol Kadınlar Milletler Ligi, Aziz Yıldırım, Selahattin Demirtaş, FIVB Dünya Sıralaması, Figen Yüksekdağ, Yasin Börü'nün öldürülmesi, Hurûfilik, Süper Lig şampiyonları listesi.

Проект ВикиРанк предназначен для автоматической относительной оценки статей в разных языковых версиях Википедии. В настоящий момент ВикиРанк позволяет сравнивать более 44 миллионов статей Википедии на 55 языках. Показатели качества статей основаны на резервных копиях Википедии по состоянию на ноябрь 2023. При расчёте популярности учитывались статистические данные статей за последний месяц (октябре 2023 года). При расчете текущей популярности и Интереса Авторов (ИА) статей учитывались данные за октябре 2023 года. Для подсчёта исторических значений популярности и ИА использовались данные с 2001 по 2023 гг... Подробнее