Automated theorem proving

Статья «Automated theorem proving» в английской Википедии имеет 41.4 баллов за качество (по состоянию на 1 июля 2025 года). Статья содержит, среди прочих показателей, 32 примечаний и 16 разделов. Статья также содержит шаблоны, указывающие на проблемы качества, поэтому её оценка была снижена на 4,6 баллов. В этой языковой версии Википедии данная статья имеет наилучшее качество. Также, статья наиболее популярна в этой языковой версии (английской).

В июне 2025 статья «Automated theorem proving» была редактирована 1 авторами в английской Википедии и исправлялась 3 авторами во всех языковых версиях.

С момента создания статьи «Automated theorem proving» ее содержимое было создано 217 зарегистрированными пользователями английской Википедии и редактировано 452 зарегистрированными пользователями Википедии во всех языковых версиях.

Эта статья цитируется 728 раз в английской Википедии и цитируется 1245 раз во всех языках.

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

• Локальный (Английский): №128 в ноябре 2001 года
• Глобальный: №160 в ноябре 2001 года

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

• Локальный (Английский): №54692 в августе 2008 года
• Глобальный: №76291 в августе 2008 года

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

Данные по состоянию на 1 июля 2025 года.

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

#	Язык	Знак качества	Оценка качества
1	Английский (en) Automated theorem proving		41.4029
2	Португальский (pt) Prova automática de teoremas		34.4439
3	Каталанский (ca) Demostració automàtica de teoremes		27.8085
4	Японский (ja) 自動定理証明		22.7638
5	Итальянский (it) Dimostrazione automatica di teoremi		20.1055
6	Сербский (sr) Automatsko dokazivanje teorema		20.0177
7	Испанский (es) Demostración automática de teoremas		14.0262
8	Армянский (hy) Թեորեմների ավտոմատացված ապացուցում		11.7305
9	Баскский (eu) Teoremen frogapen automatiko		11.422
10	Польский (pl) Automatyczne dowodzenie twierdzeń		10.6074

Больше...

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

Самые популярные языковые версии статьи "Automated theorem proving" за всё время

#	Язык	Знак популярности	Оценка популярности
1	Английский (en) Automated theorem proving		1 064 415
2	Испанский (es) Demostración automática de teoremas		163 216
3	Японский (ja) 自動定理証明		101 163
4	Русский (ru) Автоматическое доказательство		88 443
5	Польский (pl) Automatyczne dowodzenie twierdzeń		65 211
6	Китайский (zh) 自動化定理證明		36 476
7	Французский (fr) Démonstration automatique de théorèmes		30 711
8	Португальский (pt) Prova automática de teoremas		19 771
9	Итальянский (it) Dimostrazione automatica di teoremi		12 611
10	Персидский (fa) اثبات قضیه خودکار		12 053

Больше...

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

Самые популярные языковые версии статьи "Automated theorem proving" в июне 2025

#	Язык	Знак популярности	Оценка популярности
1	Английский (en) Automated theorem proving		5 067
2	Японский (ja) 自動定理証明		351
3	Русский (ru) Автоматическое доказательство		267
4	Французский (fr) Démonstration automatique de théorèmes		232
5	Китайский (zh) 自動化定理證明		173
6	Испанский (es) Demostración automática de teoremas		115
7	Польский (pl) Automatyczne dowodzenie twierdzeń		60
8	Португальский (pt) Prova automática de teoremas		47
9	Итальянский (it) Dimostrazione automatica di teoremi		45
10	Сербский (sr) Automatsko dokazivanje teorema		44

Больше...

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

Языковые версии статьи "Automated theorem proving" с наибольшим интересом авторов (количество авторов). Учитывались только зарегистрированные пользователи Википедии.

#	Язык	Знак	Относительный ИА
1	Английский (en) Automated theorem proving		217
2	Испанский (es) Demostración automática de teoremas		35
3	Французский (fr) Démonstration automatique de théorèmes		28
4	Японский (ja) 自動定理証明		28
5	Польский (pl) Automatyczne dowodzenie twierdzeń		26
6	Русский (ru) Автоматическое доказательство		23
7	Итальянский (it) Dimostrazione automatica di teoremi		20
8	Португальский (pt) Prova automática de teoremas		16
9	Китайский (zh) 自動化定理證明		13
10	Армянский (hy) Թեորեմների ավտոմատացված ապացուցում		10

Больше...

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

Языковые версии статьи "Automated theorem proving" с наибольшим интересом авторов (количество авторов)

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

Больше...

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

Языковые версии статьи "Automated theorem proving" с наибольшим индексом цитирования

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

Больше...

#	Язык	Ценность
az	Азербайджанский Teoremlərin avtomatik sübutu
ca	Каталанский Demostració automàtica de teoremes
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	Русский Автоматическое доказательство
sr	Сербский Automatsko dokazivanje teorema
th	Тайский การพิสูจน์ทฤษฎีบทด้วยคอมพิวเตอร์
tr	Турецкий Otomatik teorem kanıtlama
uk	Украинский Автоматизоване доведення теорем
zh	Китайский 自動化定理證明

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

Английский: №54692 08.2008

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

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

Английский: №128 11.2001

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

12 августа 2025 года В многоязычной Википедии пользователи Интернета чаще всего читали статьи на следующие темы: Криштиану Роналду, Уэнздей, Джорджина Родригес, ChatGPT, Оружие, Дженна Ортега, Список умерших в 2025 году, Тейлор Свифт, Мигель Урибе Турбай, 2025–26 UEFA Champions League.

В английской Википедии в этот день самыми популярными были статьи: Weapons (2025 film), Danielle Spencer (American actress), Cristiano Ronaldo, Deaths in 2025, Taylor Swift, Wednesday (TV series), Superman (2025 film), Georgina Rodríguez, Coolie (2025 film), The Fantastic Four: First Steps.

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