Otomatik teorem kanıtlama

Démonstration automatique de théorèmes - procédé de démonstration par ordinateur. L'article "Otomatik teorem kanıtlama" sur Wikipédia en turc a 0.2 points pour la qualité (au 1 août 2024).

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 "Otomatik teorem kanıtlama", son contenu a été rédigé par 1 utilisateurs enregistrés de Wikipédia en turc et édité par 433 utilisateurs Wikipédia enregistrés dans toutes les langues.

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

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

• Local (turc): n° 30920 en décembre 2017
• Mondial: n° 159 en novembre 2001

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

• Local (turc): n° 151685 en mars 2019
• 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 "Otomatik teorem kanıtlama" 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 "Otomatik teorem kanıtlama" 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 "Otomatik teorem kanıtlama" 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 "Otomatik teorem kanıtlama" 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 "Otomatik teorem kanıtlama" 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

turc: n° 151685 03.2019

Mondial: n° 76366 08.2008

Meilleur rang

turc: n° 30920 12.2017

Mondial: n° 159 11.2001

Au 8 décembre 2024 sur Wikipédia multilingue, les internautes lisent le plus souvent des articles sur les thèmes suivants: Bachar el-Assad, Syrie, guerre civile syrienne, Hafez el-Assad, Asma el-Assad, Hayat Tahrir al-Cham, Abou Mohammed Al-Joulani, alaouites, drapeau de la Syrie, Ayrton Senna.

Sur Wikipédia en turc, les articles les plus populaires ce jour-là étaient: Beşşar Esad, Suriye İç Savaşı, Suriye, Esma Esad, Ebu Muhammed el-Cevlani, Suriye bayrağı, Esad ailesi, Hey'etu Tahrîri'ş-Şâm, 1935 Türkiye genel seçimleri, Mahir Esad.

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