System wspomagający dowodzenie twierdzeń

Assistant de preuve - logiciel permettant l'écriture et la vérification de preuves mathématiques. L'article "System wspomagający dowodzenie twierdzeń" sur Wikipédia en polonais a 0.3 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 estonien. Cependant, la version linguistique la plus populaire de cet article est la langue anglais.

Depuis la création de l'article "System wspomagający dowodzenie twierdzeń", son contenu a été rédigé par 11 utilisateurs enregistrés de Wikipédia en polonais et édité par 191 utilisateurs Wikipédia enregistrés dans toutes les langues.

L'article est cité 3 fois dans Wikipédia en polonais et cité 486 fois dans toutes les langues.

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

• Local (polonais): n° 9556 en mai 2006
• Mondial: n° 55595 en octobre 2004

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

• Local (polonais): n° 188886 en octobre 2009
• Mondial: n° 312916 en novembre 2017

Il existe 7 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	estonien (et) Tõestusassistent		32.1143
2	anglais (en) Proof assistant		31.9674
3	français (fr) Assistant de preuve		25.7037
4	ukrainien (uk) Асистент доведення теорем		25.2336
5	russe (ru) Инструмент интерактивного доказательства теорем		16.134
6	espagnol (es) Demostración interactiva de teoremas		1.1771
7	polonais (pl) System wspomagający dowodzenie twierdzeń		0.3428

Plus...

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

Les versions linguistiques les plus populaires de l'article "System wspomagający dowodzenie twierdzeń" dans tout le temps

#	Langue	Prix de popularité	Popularité relative
1	anglais (en) Proof assistant		527 472
2	français (fr) Assistant de preuve		65 850
3	polonais (pl) System wspomagający dowodzenie twierdzeń		12 521
4	espagnol (es) Demostración interactiva de teoremas		8 615
5	russe (ru) Инструмент интерактивного доказательства теорем		4 659
6	estonien (et) Tõestusassistent		160
7	ukrainien (uk) Асистент доведення теорем		112

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 "System wspomagający dowodzenie twierdzeń" en juillet 2024

#	Langue	Prix de popularité	Popularité relative
1	anglais (en) Proof assistant		5 635
2	français (fr) Assistant de preuve		237
3	russe (ru) Инструмент интерактивного доказательства теорем		107
4	polonais (pl) System wspomagający dowodzenie twierdzeń		14
5	espagnol (es) Demostración interactiva de teoremas		13
6	ukrainien (uk) Асистент доведення теорем		8
7	estonien (et) Tõestusassistent		3

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 "System wspomagający dowodzenie twierdzeń" 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) Proof assistant		102
2	français (fr) Assistant de preuve		63
3	polonais (pl) System wspomagający dowodzenie twierdzeń		11
4	russe (ru) Инструмент интерактивного доказательства теорем		5
5	espagnol (es) Demostración interactiva de teoremas		4
6	estonien (et) Tõestusassistent		3
7	ukrainien (uk) Асистент доведення теорем		3

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 "System wspomagający dowodzenie twierdzeń" présentant le plus grand intérêt des auteurs en juillet 2024

#	Langue	Prox de IA	IA relatif
1	anglais (en) Proof assistant		3
2	français (fr) Assistant de preuve		1
3	espagnol (es) Demostración interactiva de teoremas		0
4	estonien (et) Tõestusassistent		0
5	polonais (pl) System wspomagający dowodzenie twierdzeń		0
6	russe (ru) Инструмент интерактивного доказательства теорем		0
7	ukrainien (uk) Асистент доведення теорем		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 "System wspomagający dowodzenie twierdzeń" avec l'indice de citation (IC) le plus élevé

#	Langue	Prix ​​de IC	IC relatif
1	anglais (en) Proof assistant		251
2	français (fr) Assistant de preuve		185
3	espagnol (es) Demostración interactiva de teoremas		20
4	ukrainien (uk) Асистент доведення теорем		13
5	russe (ru) Инструмент интерактивного доказательства теорем		11
6	estonien (et) Tõestusassistent		3
7	polonais (pl) System wspomagający dowodzenie twierdzeń		3

Plus...

#	Langue	Valeur
en	anglais Proof assistant
es	espagnol Demostración interactiva de teoremas
et	estonien Tõestusassistent
fr	français Assistant de preuve
pl	polonais System wspomagający dowodzenie twierdzeń
ru	russe Инструмент интерактивного доказательства теорем
uk	ukrainien Асистент доведення теорем

Meilleur rang

polonais: n° 188886 10.2009

Mondial: n° 312916 11.2017

Meilleur rang

polonais: n° 9556 05.2006

Mondial: n° 55595 10.2004

Au 24 septembre 2024 sur Wikipédia multilingue, les internautes lisent le plus souvent des articles sur les thèmes suivants: Liban, Hezbollah, Lyle et Erik Menéndez, Sean Combs, Monstres : L'histoire de Lyle et Erik Menendez, ChatGPT, décès en 2024, Linkin Park, Thunderbolts*, 24 septembre.

Sur Wikipédia en polonais, les articles les plus populaires ce jour-là étaient: Arkadiusz Skrzypaszek, Antoni Dudek, Sean Combs, Barbara Horawianka, Felicjan Andrzejczak, Jacek Siewiera, Liban, Polska, Wojciech Szczęsny, Powódź w Europie Środkowej (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 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