Automated theorem proving

Démonstration automatique de théorèmes - procédé de démonstration par ordinateur. L'article « Automated theorem proving » sur Wikipédia en anglais a 41.4 points pour la qualité (au 1 juillet 2025). L'article contient 32 références et 16 sections. L’article contient également des modèles signalant des problèmes de qualité, c’est pourquoi sa note a été réduite de 4,6 points.

Dans cette version linguistique de Wikipédia, l'article est de la meilleure qualité. De plus, cet article est le plus populaire dans cette version linguistique (anglais).

En juin 2025 l'article « Automated theorem proving » a été édité par 1 auteurs sur Wikipédia en anglais et écrit par 3 auteurs dans toutes les langues.

Depuis la création de l'article « Automated theorem proving », son contenu a été rédigé par 217 utilisateurs enregistrés de Wikipédia en anglais et édité par 452 utilisateurs Wikipédia enregistrés dans toutes les langues.

L'article est cité 728 fois dans Wikipédia en anglais et cité 1245 fois dans toutes les langues.

Le rang d’intérêt des auteurs le plus élevé depuis 2001:

• Local (anglais): n° 128 en novembre 2001
• Mondial: n° 160 en novembre 2001

Le classement de popularité le plus élevé depuis 2008:

• Local (anglais): n° 54692 en août 2008
• Mondial: n° 76291 en août 2008

Il existe 19 versions linguistiques pour cet article dans la base de données WikiRank (sur les 55 éditions linguistiques Wikipédia considérées).

L'évaluation de la qualité et de la popularité est basée sur les dumps Wikipédia du 1 juillet 2025 (y compris l'historique des révisions et les pages vues des années précédentes).

Le tableau ci-dessous présente les versions linguistiques de l'article de la plus haute qualité.

#	Langue	Niveau de qualité	Score de qualité
1	anglais (en) Automated theorem proving		41.4029
2	portugais (pt) Prova automática de teoremas		34.4439
3	catalan (ca) Demostració automàtica de teoremes		27.8085
4	japonais (ja) 自動定理証明		22.7638
5	italien (it) Dimostrazione automatica di teoremi		20.1055
6	serbe (sr) Automatsko dokazivanje teorema		20.0177
7	espagnol (es) Demostración automática de teoremas		14.0262
8	arménien (hy) Թեորեմների ավտոմատացված ապացուցում		11.7305
9	basque (eu) Teoremen frogapen automatiko		11.422
10	polonais (pl) Automatyczne dowodzenie twierdzeń		10.6074

Plus...

Le tableau suivant présente les versions linguistiques les plus populaires de l'article.

Les versions linguistiques les plus populaires de l'article "Automated theorem proving" dans tout le temps

#	Langue	Prix de popularité	Popularité relative
1	anglais (en) Automated theorem proving		1 064 415
2	espagnol (es) Demostración automática de teoremas		163 216
3	japonais (ja) 自動定理証明		101 163
4	russe (ru) Автоматическое доказательство		88 443
5	polonais (pl) Automatyczne dowodzenie twierdzeń		65 211
6	chinois (zh) 自動化定理證明		36 476
7	français (fr) Démonstration automatique de théorèmes		30 711
8	portugais (pt) Prova automática de teoremas		19 771
9	italien (it) Dimostrazione automatica di teoremi		12 611
10	persan (fa) اثبات قضیه خودکار		12 053

Plus...

Le tableau suivant présente les versions linguistiques de l'article le plus populaire au cours du mois dernier.

Les versions linguistiques les plus populaires de l'article "Automated theorem proving" en juin 2025

#	Langue	Prix de popularité	Popularité relative
1	anglais (en) Automated theorem proving		5 067
2	japonais (ja) 自動定理証明		351
3	russe (ru) Автоматическое доказательство		267
4	français (fr) Démonstration automatique de théorèmes		232
5	chinois (zh) 自動化定理證明		173
6	espagnol (es) Demostración automática de teoremas		115
7	polonais (pl) Automatyczne dowodzenie twierdzeń		60
8	portugais (pt) Prova automática de teoremas		47
9	italien (it) Dimostrazione automatica di teoremi		45
10	serbe (sr) Automatsko dokazivanje teorema		44

Plus...

Le tableau suivant présente les versions linguistiques de l'article présentant le plus grand intérêt des auteurs.

Versions linguistiques de l'article "Automated theorem proving" présentant le plus grand intérêt des auteurs. Seuls les utilisateurs enregistrés de Wikipédia ont été comptés.

#	Langue	Prox de IA	IA relatif
1	anglais (en) Automated theorem proving		217
2	espagnol (es) Demostración automática de teoremas		35
3	français (fr) Démonstration automatique de théorèmes		28
4	japonais (ja) 自動定理証明		28
5	polonais (pl) Automatyczne dowodzenie twierdzeń		26
6	russe (ru) Автоматическое доказательство		23
7	italien (it) Dimostrazione automatica di teoremi		20
8	portugais (pt) Prova automática de teoremas		16
9	chinois (zh) 自動化定理證明		13
10	arménien (hy) Թեորեմների ավտոմատացված ապացուցում		10

Plus...

Le tableau suivant montre les versions linguistiques de l'article ayant suscité le plus grand intérêt des auteurs au cours du mois dernier.

Versions linguistiques de l'article "Automated theorem proving" présentant le plus grand intérêt des auteurs en juin 2025

#	Langue	Prox de IA	IA relatif
1	anglais (en) Automated theorem proving		1
2	japonais (ja) 自動定理証明		1
3	russe (ru) Автоматическое доказательство		1
4	azerbaïdjanais (az) Teoremlərin avtomatik sübutu		0
5	catalan (ca) Demostració automàtica de teoremes		0
6	espagnol (es) Demostración automática de teoremas		0
7	basque (eu) Teoremen frogapen automatiko		0
8	persan (fa) اثبات قضیه خودکار		0
9	français (fr) Démonstration automatique de théorèmes		0
10	arménien (hy) Թեորեմների ավտոմատացված ապացուցում		0

Plus...

Le tableau suivant présente les versions linguistiques de l'article avec le plus grand nombre de citations.

Versions linguistiques de l'article "Automated theorem proving" avec l'indice de citation (IC) le plus élevé

#	Langue	Prix ​​de IC	IC relatif
1	anglais (en) Automated theorem proving		728
2	chinois (zh) 自動化定理證明		81
3	russe (ru) Автоматическое доказательство		68
4	japonais (ja) 自動定理証明		56
5	espagnol (es) Demostración automática de teoremas		53
6	français (fr) Démonstration automatique de théorèmes		53
7	ukrainien (uk) Автоматизоване доведення теорем		38
8	polonais (pl) Automatyczne dowodzenie twierdzeń		36
9	portugais (pt) Prova automática de teoremas		27
10	persan (fa) اثبات قضیه خودکار		26

Plus...

#	Langue	Valeur
az	azerbaïdjanais Teoremlərin avtomatik sübutu
ca	catalan Demostració automàtica de teoremes
en	anglais Automated theorem proving
es	espagnol Demostración automática de teoremas
eu	basque Teoremen frogapen automatiko
fa	persan اثبات قضیه خودکار
fr	français Démonstration automatique de théorèmes
hy	arménien Թեորեմների ավտոմատացված ապացուցում
it	italien Dimostrazione automatica di teoremi
ja	japonais 自動定理証明
ko	coréen 자동 정리 증명
pl	polonais Automatyczne dowodzenie twierdzeń
pt	portugais Prova automática de teoremas
ru	russe Автоматическое доказательство
sr	serbe Automatsko dokazivanje teorema
th	thaï การพิสูจน์ทฤษฎีบทด้วยคอมพิวเตอร์
tr	turc Otomatik teorem kanıtlama
uk	ukrainien Автоматизоване доведення теорем
zh	chinois 自動化定理證明

Meilleur rang

anglais: n° 54692 08.2008

Mondial: n° 76291 08.2008

Meilleur rang

anglais: n° 128 11.2001

Mondial: n° 160 11.2001

Au 13 octobre 2025 sur Wikipédia multilingue, les internautes lisent le plus souvent des articles sur les thèmes suivants: Diane Keaton, Ed Gein, éliminatoires de la Coupe du monde de football 2026, Coupe du monde de football 2026, éliminatoires de la zone Europe de la Coupe du monde de football 2026, Ian Watkins, éliminatoires de la zone Afrique de la Coupe du monde de football 2026, Ilse Koch, Donald Trump, ChatGPT.

Sur Wikipédia en anglais, les articles les plus populaires ce jour-là étaient: Ed Gein, Diane Keaton, Ian Watkins (Lostprophets singer), Google Chrome, Kantara: Chapter 1, Columbus Day, Justin Trudeau, 2026 FIFA World Cup qualification, Dennis Rader, Deaths in 2025.

Le projet est destiné à l'évaluation relative automatique des articles dans les différentes versions linguistiques de Wikipédia. À l'heure actuelle, le service permet de comparer plus de 44 millions d'articles Wikipédia dans 55 langues. Les scores de qualité des articles sont basés sur les dumps Wikipédia de juillet 2025. Lors du calcul de la popularité actuelle et de l’intérêt des auteurs pour les articles, les données de juin 2025 Pour les valeurs historiques de popularité et d’intérêt des auteurs, WikiRank a utilisé des données de 2001 à 2025... Plus d'information