自動化定理證明

Démonstration automatique de théorèmes - procédé de démonstration par ordinateur. L'article "自動化定理證明" sur Wikipédia en chinois a 5 points pour la qualité (au 1 août 2024). L'article contient également un modèle de défauts de qualité, qui réduit le score de qualité.

Cet article a la meilleure qualité sur Wikipédia en anglais. De plus, cet article est le plus populaire dans cette version linguistique.

Depuis la création de l'article "自動化定理證明", son contenu a été rédigé par 13 utilisateurs enregistrés de Wikipédia en chinois et édité par 433 utilisateurs Wikipédia enregistrés dans toutes les langues.

L'article est cité 75 fois dans Wikipédia en chinois et cité 1209 fois dans toutes les langues.

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

• Local (chinois): n° 10004 en mars 2013
• Mondial: n° 159 en novembre 2001

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

• Local (chinois): n° 57400 en octobre 2008
• Mondial: n° 76366 en août 2008

Il existe 18 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 août 2024 (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		39.4863
2	portugais (pt) Prova automática de teoremas		34.3326
3	japonais (ja) 自動定理証明		22.9521
4	italien (it) Dimostrazione automatica di teoremi		20.3953
5	serbe (sr) Automatsko dokazivanje teorema		20.1405
6	espagnol (es) Demostración automática de teoremas		14.509
7	basque (eu) Teoremen frogapen automatiko		11.4527
8	polonais (pl) Automatyczne dowodzenie twierdzeń		10.6672
9	russe (ru) Автоматическое доказательство		8.8433
10	azerbaïdjanais (az) Teoremlərin avtomatik sübutu		8.2056

Plus...

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

Les versions linguistiques les plus populaires de l'article "自動化定理證明" dans tout le temps

#	Langue	Prix de popularité	Popularité relative
1	anglais (en) Automated theorem proving		1 013 140
2	espagnol (es) Demostración automática de teoremas		161 826
3	japonais (ja) 自動定理証明		97 457
4	russe (ru) Автоматическое доказательство		84 998
5	polonais (pl) Automatyczne dowodzenie twierdzeń		64 193
6	chinois (zh) 自動化定理證明		33 880
7	français (fr) Démonstration automatique de théorèmes		29 520
8	portugais (pt) Prova automática de teoremas		19 296
9	italien (it) Dimostrazione automatica di teoremi		11 984
10	persan (fa) اثبات قضیه خودکار		11 542

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 "自動化定理證明" en juillet 2024

#	Langue	Prix de popularité	Popularité relative
1	anglais (en) Automated theorem proving		4 735
2	japonais (ja) 自動定理証明		374
3	russe (ru) Автоматическое доказательство		227
4	chinois (zh) 自動化定理證明		216
5	espagnol (es) Demostración automática de teoremas		118
6	italien (it) Dimostrazione automatica di teoremi		99
7	français (fr) Démonstration automatique de théorèmes		92
8	polonais (pl) Automatyczne dowodzenie twierdzeń		70
9	persan (fa) اثبات قضیه خودکار		58
10	serbe (sr) Automatsko dokazivanje teorema		56

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 "自動化定理證明" 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		214
2	espagnol (es) Demostración automática de teoremas		35
3	français (fr) Démonstration automatique de théorèmes		27
4	japonais (ja) 自動定理証明		27
5	polonais (pl) Automatyczne dowodzenie twierdzeń		25
6	russe (ru) Автоматическое доказательство		22
7	italien (it) Dimostrazione automatica di teoremi		19
8	portugais (pt) Prova automática de teoremas		16
9	chinois (zh) 自動化定理證明		13
10	ukrainien (uk) Автоматизоване доведення теорем		9

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 "自動化定理證明" présentant le plus grand intérêt des auteurs en juillet 2024

#	Langue	Prox de IA	IA relatif
1	serbe (sr) Automatsko dokazivanje teorema		1
2	azerbaïdjanais (az) Teoremlərin avtomatik sübutu		0
3	anglais (en) Automated theorem proving		0
4	espagnol (es) Demostración automática de teoremas		0
5	basque (eu) Teoremen frogapen automatiko		0
6	persan (fa) اثبات قضیه خودکار		0
7	français (fr) Démonstration automatique de théorèmes		0
8	arménien (hy) Թեորեմների ավտոմատացված ապացուցում		0
9	italien (it) Dimostrazione automatica di teoremi		0
10	japonais (ja) 自動定理証明		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 "自動化定理證明" avec l'indice de citation (IC) le plus élevé

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

Plus...

#	Langue	Valeur
az	azerbaïdjanais Teoremlərin avtomatik sübutu
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

chinois: n° 57400 10.2008

Mondial: n° 76366 08.2008

Meilleur rang

chinois: n° 10004 03.2013

Mondial: n° 159 11.2001

Au 6 novembre 2024 sur Wikipédia multilingue, les internautes lisent le plus souvent des articles sur les thèmes suivants: Donald Trump, élection présidentielle américaine de 2024, Kamala Harris, élection présidentielle américaine de 2020, collège électoral des États-Unis, président des États-Unis, élection présidentielle américaine de 2016, Melania Trump, liste des présidents des États-Unis, Joe Biden.

Sur Wikipédia en chinois, les articles les plus populaires ce jour-là étaient: 2024年美國總統選舉, 唐納·川普, 2020年美國總統選舉, 搖擺州, 賀錦麗, 2016年美國總統選舉, 美国总统, 美国总统列表, 選舉人團 (美國), 紅州與藍州.

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 août 2024. Lors du calcul de la popularité actuelle et de l’intérêt des auteurs pour les articles, les données de juillet 2024 Pour les valeurs historiques de popularité et d’intérêt des auteurs, WikiRank a utilisé des données de 2001 à 2023... Plus d'information