Автоматизоване доведення теорем

Статья «Автоматизоване доведення теорем» в украинской Википедии имеет 3.5 баллов за качество (по состоянию на 1 июля 2025 года). Статья содержит, среди прочих показателей, 0 примечаний и 3 разделов. Эта статья имеет наилучшее качество в английской Википедии. Также, статья наиболее популярна в этой языковой версии (украинской).

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

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

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

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

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

• Локальный (Украинский): №55973 в мае 2013 года
• Глобальный: №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

Больше...

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

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

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

Больше...

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

Самые популярные языковые версии статьи "Автоматизоване доведення теорем" в июне 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

Больше...

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

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

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

Больше...

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

Языковые версии статьи "Автоматизоване доведення теорем" с наибольшим интересом авторов (количество авторов)

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

Больше...

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

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

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

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

Украинский: №55973 05.2013

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

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

Украинский: №1902 05.2013

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

13 октября 2025 года В многоязычной Википедии пользователи Интернета чаще всего читали статьи на следующие темы: Дайан Китон, Эд Гин, Чемпионат мира по футболу 2026, Чемпионат мира по футболу 2026, Чемпионат мира по футболу 2026 (отборочный турнир, УЕФА), Иан Уоткинс, Чемпионат мира по футболу 2026 (отборочный турнир, КАФ), Ильза Кох, Дональд Трамп, ChatGPT.

В украинской Википедии в этот день самыми популярными были статьи: Tomahawk (ракета), Ед Ґейн, Труханов Геннадій Леонідович, Чемпіонат світу з футболу 2026 (кваліфікаційний раунд), Даян Кітон, Чемпіонат світу з футболу 2026 (кваліфікаційний раунд, УЄФА), Чемпіонат світу з футболу 2026, Маліновський Руслан Володимирович, Україна, IMGSRC.RU.

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