การพิสูจน์ทฤษฎีบทด้วยคอมพิวเตอร์

Démonstration automatique de théorèmes - procédé de démonstration par ordinateur. L'article "การพิสูจน์ทฤษฎีบทด้วยคอมพิวเตอร์" sur Wikipédia en thaï a 3.9 points pour la qualité (au 1 novembre 2023). L'article contient 0 références et 3 sections.

Cet article a la meilleure qualité sur Wikipédia en portugais. Cependant, la version linguistique la plus populaire de cet article est la langue anglais.

Depuis la création de l'article "การพิสูจน์ทฤษฎีบทด้วยคอมพิวเตอร์", son contenu a été rédigé par 4 utilisateurs enregistrés de Wikipédia en thaï et édité par 421 utilisateurs Wikipédia enregistrés dans toutes les langues.

L'article est cité 2 fois dans Wikipédia en thaï et cité 786 fois dans toutes les langues.

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

• Local (thaï): n° 3739 en janvier 2007
• Mondial: n° 159 en novembre 2001

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

• Local (thaï): n° 17406 en novembre 2008
• Mondial: n° 76451 en août 2008

Il existe 17 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 novembre 2023 (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	portugais (pt) Prova automática de teoremas		34.3697
2	anglais (en) Automated theorem proving		33.711
3	japonais (ja) 自動定理証明		22.9089
4	italien (it) Dimostrazione automatica di teoremi		20.6412
5	espagnol (es) Demostración automática de teoremas		14.5303
6	basque (eu) Teoremen frogapen automatiko		11.4951
7	polonais (pl) Automatyczne dowodzenie twierdzeń		10.7179
8	russe (ru) Автоматическое доказательство		8.8301
9	azerbaïdjanais (az) Teoremlərin avtomatik sübutu		8.1057
10	chinois (zh) 自動化定理證明		5.263

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		969 656
2	espagnol (es) Demostración automática de teoremas		160 435
3	japonais (ja) 自動定理証明		94 253
4	russe (ru) Автоматическое доказательство		81 984
5	polonais (pl) Automatyczne dowodzenie twierdzeń		63 187
6	chinois (zh) 自動化定理證明		32 009
7	français (fr) Démonstration automatique de théorèmes		28 548
8	portugais (pt) Prova automática de teoremas		18 872
9	italien (it) Dimostrazione automatica di teoremi		11 350
10	persan (fa) اثبات قضیه خودکار		10 935

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 octobre 2023

#	Langue	Prix de popularité	Popularité relative
1	anglais (en) Automated theorem proving		5 345
2	japonais (ja) 自動定理証明		421
3	russe (ru) Автоматическое доказательство		360
4	espagnol (es) Demostración automática de teoremas		321
5	chinois (zh) 自動化定理證明		178
6	français (fr) Démonstration automatique de théorèmes		107
7	polonais (pl) Automatyczne dowodzenie twierdzeń		102
8	italien (it) Dimostrazione automatica di teoremi		100
9	persan (fa) اثبات قضیه خودکار		54
10	portugais (pt) Prova automática de teoremas		51

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

#	Langue	Prox de IA	IA relatif
1	coréen (ko) 자동 정리 증명		2
2	anglais (en) Automated theorem proving		1
3	italien (it) Dimostrazione automatica di teoremi		1
4	azerbaïdjanais (az) Teoremlərin avtomatik sübutu		0
5	espagnol (es) Demostración automática de teoremas		0
6	basque (eu) Teoremen frogapen automatiko		0
7	persan (fa) اثبات قضیه خودکار		0
8	français (fr) Démonstration automatique de théorèmes		0
9	arménien (hy) Թեորեմների ավտոմատացված ապացուցում		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		375
2	russe (ru) Автоматическое доказательство		68
3	japonais (ja) 自動定理証明		53
4	espagnol (es) Demostración automática de teoremas		50
5	français (fr) Démonstration automatique de théorèmes		47
6	chinois (zh) 自動化定理證明		40
7	ukrainien (uk) Автоматизоване доведення теорем		37
8	polonais (pl) Automatyczne dowodzenie twierdzeń		32
9	portugais (pt) Prova automática de teoremas		26
10	persan (fa) اثبات قضیه خودکار		21

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 Автоматическое доказательство
th	thaï การพิสูจน์ทฤษฎีบทด้วยคอมพิวเตอร์
tr	turc Otomatik teorem kanıtlama
uk	ukrainien Автоматизоване доведення теорем
zh	chinois 自動化定理證明

Meilleur rang

thaï: n° 17406 11.2008

Mondial: n° 76451 08.2008

Meilleur rang

thaï: n° 3739 01.2007

Mondial: n° 159 11.2001

Au 28 avril 2024 sur Wikipédia multilingue, les internautes lisent le plus souvent des articles sur les thèmes suivants: YouTube, Fallout, Facebook, Baby Reindeer, Challengers, championnat d'Angleterre de football, Fallout, décès en 2024, La Reine des larmes, Arsenal FC.

Sur Wikipédia en thaï, les articles les plus populaires ce jour-là étaient: พิเศษ:ค้นหา, ปานปรีย์ พหิทธานุกร, องค์การกระจายเสียงและแพร่ภาพสาธารณะแห่งประเทศไทย, สโมสรฟุตบอลแมนเชสเตอร์ซิตี, สมศักดิ์ เทพสุทิน, ดวงใจเทวพรหม (ละครโทรทัศน์), ภาวะโลกร้อน, สโมสรฟุตบอลอาร์เซนอล, ฟุตซอลชิงแชมป์เอเชีย 2024, อสมท.

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 novembre 2023. Lors du calcul de la popularité actuelle et de l’intérêt des auteurs pour les articles, les données de octobre 2023 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