Démonstration automatique de théorèmes

Статья "Démonstration automatique de théorèmes" в Французской Википедии имеет 4.8 баллов за качество (по состоянию на 1 ноября 2023 года). Статья содержит, среди прочих показателей, 0 примечаний и 5 разделов. Эта статья имеет наилучшее качество в Португальской Википедии. Однако, наиболее популярной языковой версией статьи является английская.

С момента создания статьи "Démonstration automatique de théorèmes" ее содержимое было создано 26 зарегистрированными пользователями французской Википедии и редактировано 421 зарегистрированными пользователями Википедии во всех языковых версиях.

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

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

• Локальный (Французский): №12351 в сентябре 2019 года
• Глобальный: №159 в ноябре 2001 года

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

• Локальный (Французский): №210020 в сентябре 2008 года
• Глобальный: №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

Больше...

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

Самые популярные языковые версии статьи "Démonstration automatique de théorèmes" за всё время

#	Язык	Знак популярности	Оценка популярности
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

Больше...

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

Самые популярные языковые версии статьи "Démonstration automatique de théorèmes" в октябре 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

Больше...

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

Языковые версии статьи "Démonstration automatique de théorèmes" с наибольшим интересом авторов (количество авторов). Учитывались только зарегистрированные пользователи Википедии.

#	Язык	Знак	Относительный ИА
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

Больше...

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

Языковые версии статьи "Démonstration automatique de théorèmes" с наибольшим интересом авторов (количество авторов)

#	Язык	Знак	Относительный ИА
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

Больше...

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

Языковые версии статьи "Démonstration automatique de théorèmes" с наибольшим индексом цитирования

#	Язык	Награда за ИЦ	Относительный ИЦ
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	Китайский 自動化定理證明

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

Французский: №210020 09.2008

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

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

Французский: №12351 09.2019

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

30 мая 2024 года В многоязычной Википедии пользователи Интернета чаще всего читали статьи на следующие темы: Праздник Тела и Крови Христовых, YouTube, Венсан Компани, Ханс-Дитер Флик, Лига конференций УЕФА, Список умерших в 2024 году, ChatGPT, Олимпиакос, Фуриоса: Хроники Безумного Макса, Чемпионат Европы по футболу 2024.

В французской Википедии в этот день самыми популярными были статьи: Corentin Moutet, Chloé Paquet, Manon Aubry, Alexander Shevchenko, Sébastien Delogu, Jordan Bardella, Novak Djokovic, Alejandro Davidovich Fokina, Gaël Monfils, Varvara Gracheva.

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