WikiRank.net
ver. 1.6

Metodo formalak

Quality:

Formal methods - mathematical program specification intended to allow correctness proofs, including algorithmically. Article "Metodo formalak" in Basque Wikipedia has 19.3 points for quality (as of November 1, 2023). The article contains 2 references and 10 sections.

This article has the best quality in Hungarian Wikipedia. However, the most popular language version of this article is English.

Since the creation of article "Metodo formalak", its content was written by 6 registered users of Basque Wikipedia and edited by 384 registered Wikipedia users in all languages.

The article is cited 5 times in Basque Wikipedia and cited 2568 times in all languages.

The highest Authors Interest rank from 2001:

  • Local (Basque): #18 in December 2020
  • Global: #12182 in December 2002

The highest popularity rank from 2008:

  • Local (Basque): #11258 in December 2020
  • Global: #95257 in September 2014

There are 24 language versions for this article in the WikiRank database (of the considered 55 Wikipedia language editions).

The quality and popularity assessment was based on Wikipédia dumps from November 1, 2023 (including revision history and pageviews for previous years).

下表顯示了最高品質的文章的語言版本。

Languages with the highest quality

#LanguageQuality gradeQuality score
1Hungarian (hu)
Formális módszerek
42.1769
2English (en)
Formal methods
40.6138
3Serbian (sr)
Формалне методе
30.5669
4German (de)
Formale Methode
25.2367
5Turkish (tr)
Biçimsel yöntemler
22.9466
6Portuguese (pt)
Métodos formais
22.1454
7Chinese (zh)
形式化方法
20.9392
8Basque (eu)
Metodo formalak
19.2881
9Arabic (ar)
طريقة شكلية
19.2138
10Japanese (ja)
形式手法
18.0576
More...

The following table shows the most popular language versions of the article.

Most popular in all the time

The most popular language versions of the article "Metodo formalak" in all the time
#LanguagePopularity awardRelative popularity
1English (en)
Formal methods
1 203 779
2French (fr)
Méthode formelle (informatique)
217 674
3Japanese (ja)
形式手法
152 931
4Spanish (es)
Método formal
131 040
5Portuguese (pt)
Métodos formais
91 222
6Chinese (zh)
形式化方法
57 951
7Russian (ru)
Формальные методы
54 596
8German (de)
Formale Methode
43 004
9Persian (fa)
روش‌های صوری
33 122
10Polish (pl)
Metody formalne
29 479
More...

The following table shows the language versions of the article with the highest popularity in the last month.

Most popular in October 2023

The most popular language versions of the article "Metodo formalak" in October 2023
#LanguagePopularity awardRelative popularity
1English (en)
Formal methods
5 230
2French (fr)
Méthode formelle (informatique)
821
3Japanese (ja)
形式手法
295
4Chinese (zh)
形式化方法
264
5Spanish (es)
Método formal
195
6Russian (ru)
Формальные методы
194
7Persian (fa)
روش‌های صوری
186
8German (de)
Formale Methode
165
9Portuguese (pt)
Métodos formais
93
10Korean (ko)
정형 기법
69
More...

The following table shows the language versions of the article with the highest Authors’ Interest.

The highest AI

Language versions of the article "Metodo formalak" with the highest Authors Interest (number of authors). Only registered Wikipedia users were taken into account.
#LanguageAI awardRelative AI
1English (en)
Formal methods
120
2French (fr)
Méthode formelle (informatique)
62
3German (de)
Formale Methode
28
4Portuguese (pt)
Métodos formais
22
5Persian (fa)
روش‌های صوری
20
6Japanese (ja)
形式手法
15
7Vietnamese (vi)
Các phương pháp hình thức
15
8Russian (ru)
Формальные методы
11
9Dutch (nl)
Formele methoden
10
10Ukrainian (uk)
Формальні методи
10
More...

The following table shows the language versions of the article with the highest Authors’ Interest in the last month.

The highest AI in October 2023

Language versions of the article "Metodo formalak" with the highest AI in October 2023
#LanguageAI awardRelative AI
1English (en)
Formal methods
2
2Italian (it)
Metodi formali
1
3Arabic (ar)
طريقة شكلية
0
4German (de)
Formale Methode
0
5Spanish (es)
Método formal
0
6Basque (eu)
Metodo formalak
0
7Persian (fa)
روش‌های صوری
0
8French (fr)
Méthode formelle (informatique)
0
9Hungarian (hu)
Formális módszerek
0
10Indonesian (id)
Metode formal
0
More...

The following table shows the language versions of the article with the highest number of citations.

The highest CI

Language versions of the article "Metodo formalak" with the highest Citation Index (CI)
#LanguageCI awardRelative CI
1English (en)
Formal methods
577
2Persian (fa)
روش‌های صوری
284
3Arabic (ar)
طريقة شكلية
273
4Ukrainian (uk)
Формальні методи
237
5French (fr)
Méthode formelle (informatique)
231
6Chinese (zh)
形式化方法
175
7Vietnamese (vi)
Các phương pháp hình thức
158
8Korean (ko)
정형 기법
141
9Turkish (tr)
Biçimsel yöntemler
132
10Japanese (ja)
形式手法
127
More...

Scores

Estimated value for Wikipedia:
Basque:
Global:
Popularity in October 2023:
Basque:
Global:
Popularity in all years:
Basque:
Global:
Authors in October 2023:
Basque:
Global:
Registered authors in all years:
Basque:
Global:
Citations:
Basque:
Global:

Quality measures

Interwikis

#LanguageValue
arArabic
طريقة شكلية
deGerman
Formale Methode
enEnglish
Formal methods
esSpanish
Método formal
euBasque
Metodo formalak
faPersian
روش‌های صوری
frFrench
Méthode formelle (informatique)
huHungarian
Formális módszerek
idIndonesian
Metode formal
itItalian
Metodi formali
jaJapanese
形式手法
koKorean
정형 기법
ltLithuanian
Formalūs metodai
msMalay
Kaedah formal
nlDutch
Formele methoden
plPolish
Metody formalne
ptPortuguese
Métodos formais
ruRussian
Формальные методы
srSerbian
Формалне методе
svSwedish
Formella metoder
trTurkish
Biçimsel yöntemler
ukUkrainian
Формальні методи
viVietnamese
Các phương pháp hình thức
zhChinese
形式化方法

Popularity rank trends

Best Rank Basque:
#11258
12.2020
Global:
#95257
09.2014

AI rank trends

Best Rank Basque:
#18
12.2020
Global:
#12182
12.2002

Local AI rank history

Languages comparison

Important global interconnections

Wikipedia readers most often find their way to information on Formal methods from Wikipedia articles about Formal verification, Computer science, Static program analysis, Operating system and Theoretical computer science. Whereas reading the article about Formal methods people most often go to Wikipedia articles on Formal specification, Z notation, B-Method, Formal verification and Automated theorem proving.

Cumulative results of quality and popularity of the Wikipedia article

List of Wikipedia articles in different languages (starting with the most popular):

News from 14 April 2024

On 14 April 2024 in multilingual Wikipedia, Internet users most often read articles on the following topics: Iran, Bayer 04 Leverkusen, Israel, Fallout, Iron Dome, Xabi Alonso, Max Holloway, Fallout, YouTube, Bundesliga.

In Basque Wikipedia the most popular articles on that day were: Irkus Robles-Arangiz, Carles Puigdemont, Gonzalo Boye, Auritz, Nagore Aranburu, Euskal Herriko kastroak, Mikel Antero, Galicia (L-51), Pello Otxandiano, Ugutz Robles-Arangiz.

About WikiRank

The WikiRank project is intended for automatic relative evaluation of the articles in the various language versions of Wikipedia. At the moment the service allows to compare over 44 million Wikipedia articles in 55 languages. Quality scores of articles are based on Wikipedia dumps from November, 2023. When calculating current popularity and AI of articles data from October 2023 was taken into account. For historical values of popularity and AI WikiRank used data from 2001 to 2023... More information