Formal proof

Статья «Formal proof» в английской Википедии имеет 23.4 баллов за качество (по состоянию на 1 июля 2025 года). Статья содержит, среди прочих показателей, 4 примечаний и 8 разделов. В этой языковой версии Википедии данная статья имеет наилучшее качество. Также, статья наиболее популярна в этой языковой версии (английской).

С момента создания статьи «Formal proof» ее содержимое было создано 45 зарегистрированными пользователями английской Википедии и редактировано 133 зарегистрированными пользователями Википедии во всех языковых версиях.

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

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

• Локальный (Английский): №94328 в октябре 2014 года
• Глобальный: №76657 в июне 2005 года

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

• Локальный (Английский): №236598 в октябре 2009 года
• Глобальный: №192492 в июне 2010 года

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

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

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

#	Язык	Знак качества	Оценка качества
1	Английский (en) Formal proof		23.4117
2	Итальянский (it) Dimostrazione		21.3369
3	Португальский (pt) Derivação formal		15.827
4	Испанский (es) Prueba formal		13.1105
5	Арабский (ar) برهان فلسفي		10.7861
6	Французский (fr) Démonstration formelle		9.4139
7	Украинский (uk) Формальне доведення		6.1398
8	Нидерландский (nl) Formeel bewijs		1.8326

Больше...

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

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

#	Язык	Знак популярности	Оценка популярности
1	Английский (en) Formal proof		506 323
2	Арабский (ar) برهان فلسفي		159 790
3	Итальянский (it) Dimostrazione		108 497
4	Португальский (pt) Derivação formal		26 872
5	Испанский (es) Prueba formal		14 027
6	Французский (fr) Démonstration formelle		5 991
7	Нидерландский (nl) Formeel bewijs		5 385
8	Украинский (uk) Формальне доведення		5 187

Больше...

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

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

#	Язык	Знак популярности	Оценка популярности
1	Английский (en) Formal proof		2 385
2	Итальянский (it) Dimostrazione		128
3	Португальский (pt) Derivação formal		114
4	Арабский (ar) برهان فلسفي		85
5	Французский (fr) Démonstration formelle		69
6	Испанский (es) Prueba formal		33
7	Нидерландский (nl) Formeel bewijs		13
8	Украинский (uk) Формальне доведення		6

Больше...

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

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

#	Язык	Знак	Относительный ИА
1	Английский (en) Formal proof		45
2	Итальянский (it) Dimostrazione		38
3	Арабский (ar) برهان فلسفي		14
4	Португальский (pt) Derivação formal		11
5	Украинский (uk) Формальне доведення		11
6	Нидерландский (nl) Formeel bewijs		6
7	Французский (fr) Démonstration formelle		5
8	Испанский (es) Prueba formal		3

Больше...

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

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

#	Язык	Знак	Относительный ИА
1	Арабский (ar) برهان فلسفي		0
2	Английский (en) Formal proof		0
3	Испанский (es) Prueba formal		0
4	Французский (fr) Démonstration formelle		0
5	Итальянский (it) Dimostrazione		0
6	Нидерландский (nl) Formeel bewijs		0
7	Португальский (pt) Derivação formal		0
8	Украинский (uk) Формальне доведення		0

Больше...

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

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

#	Язык	Награда за ИЦ	Относительный ИЦ
1	Английский (en) Formal proof		476
2	Украинский (uk) Формальне доведення		213
3	Португальский (pt) Derivação formal		175
4	Итальянский (it) Dimostrazione		138
5	Арабский (ar) برهان فلسفي		134
6	Французский (fr) Démonstration formelle		19
7	Испанский (es) Prueba formal		17
8	Нидерландский (nl) Formeel bewijs		9

Больше...

#	Язык	Ценность
ar	Арабский برهان فلسفي
en	Английский Formal proof
es	Испанский Prueba formal
fr	Французский Démonstration formelle
it	Итальянский Dimostrazione
nl	Нидерландский Formeel bewijs
pt	Португальский Derivação formal
uk	Украинский Формальне доведення

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

Английский: №236598 10.2009

Глобальный: №192492 06.2010

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

Английский: №94328 10.2014

Глобальный: №76657 06.2005

28 января 2026 года В многоязычной Википедии пользователи Интернета чаще всего читали статьи на следующие темы: 2025–26 UEFA Champions League, Nipah virus, Часы Судного дня, Лига чемпионов УЕФА, Елена Андреевна Рыбакина, Дональд Трамп, Чемпионат Европы по гандболу среди мужчин 2026, killing of Alex Pretti, Кристи Ноэм, список умерших в 2026 году.

В английской Википедии в этот день самыми популярными были статьи: Ajit Pawar, Border 2, Sharad Pawar, Killing of Alex Pretti, Ilhan Omar, Sunetra Pawar, Todd Monken, Kristi Noem, Wonder Man (miniseries), Gregory Bovino.

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