Formale Methode

de

WikiRank.net
ver. 1.6.2

Formale Methode

Quality:

Formal methods - mathematical program specification intended to allow correctness proofs, including algorithmically. Article “Formale Methode” in German Wikipedia has 25.1 points for quality (as of July 1, 2025). The article contains 5 references and 4 sections. The article also contains templates indicating quality issues, therefore its score was reduced by 1.32 points.

This article has the best quality in English Wikipedia. Also, this article is the most popular in that (German) language version.

Since the creation of article “Formale Methode”, its content was written by 28 registered users of German Wikipedia and edited by 405 registered Wikipedia users in all languages.

The article is cited 22 times in German Wikipedia and cited 2801 times in all languages.

The highest Authors Interest rank from 2001:

  • Local (German): #19563 in May 2020
  • Global: #12165 in December 2002

The highest popularity rank from 2008:

  • Local (German): #159713 in February 2009
  • Global: #95119 in September 2014

There are 25 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 July 1, 2025 (including revision history and pageviews for previous years).

The table below shows the language versions of the article with the highest quality.

Languages with the highest quality

#LanguageQuality gradeQuality score
1English (en)
Formal methods
47.7018
2Hungarian (hu)
Formális módszerek
42.0394
3Serbian (sr)
Формалне методе
29.5236
4German (de)
Formale Methode
25.1413
5Turkish (tr)
Biçimsel yöntemler
23.5999
6Azerbaijani (az)
Formal metodlar
23.2443
7Portuguese (pt)
Métodos formais
22.1612
8Chinese (zh)
形式化方法
20.9464
9Arabic (ar)
طريقة شكلية
18.9544
10Basque (eu)
Metodo formalak
18.8906
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 "Formale Methode" in all the time
#LanguagePopularity awardRelative popularity
1English (en)
Formal methods
1 295 231
2French (fr)
Méthode formelle (informatique)
229 601
3Japanese (ja)
形式手法
159 179
4Spanish (es)
Método formal
134 303
5Portuguese (pt)
Métodos formais
93 331
6Chinese (zh)
形式化方法
64 364
7Russian (ru)
Формальные методы
58 322
8German (de)
Formale Methode
45 961
9Persian (fa)
روش‌های صوری
35 274
10Polish (pl)
Metody formalne
30 111
More...

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

Most popular in June 2025

The most popular language versions of the article "Formale Methode" in June 2025
#LanguagePopularity awardRelative popularity
1English (en)
Formal methods
4 380
2French (fr)
Méthode formelle (informatique)
406
3Japanese (ja)
形式手法
329
4Chinese (zh)
形式化方法
224
5Russian (ru)
Формальные методы
106
6Indonesian (id)
Metode formal
98
7German (de)
Formale Methode
92
8Portuguese (pt)
Métodos formais
87
9Spanish (es)
Método formal
81
10Persian (fa)
روش‌های صوری
53
More...

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

The highest AI

Language versions of the article "Formale Methode" with the highest Authors Interest (number of authors). Only registered Wikipedia users were taken into account.
#LanguageAI awardRelative AI
1English (en)
Formal methods
127
2French (fr)
Méthode formelle (informatique)
69
3German (de)
Formale Methode
28
4Portuguese (pt)
Métodos formais
23
5Persian (fa)
روش‌های صوری
20
6Vietnamese (vi)
Các phương pháp hình thức
16
7Japanese (ja)
形式手法
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 June 2025

Language versions of the article "Formale Methode" with the highest AI in June 2025
#LanguageAI awardRelative AI
1English (en)
Formal methods
1
2Persian (fa)
روش‌های صوری
1
3Italian (it)
Metodi formali
1
4Russian (ru)
Формальные методы
1
5Arabic (ar)
طريقة شكلية
0
6Azerbaijani (az)
Formal metodlar
0
7German (de)
Formale Methode
0
8Spanish (es)
Método formal
0
9Basque (eu)
Metodo formalak
0
10French (fr)
Méthode formelle (informatique)
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 "Formale Methode" with the highest Citation Index (CI)
#LanguageCI awardRelative CI
1English (en)
Formal methods
605
2Persian (fa)
روش‌های صوری
288
3Arabic (ar)
طريقة شكلية
280
4French (fr)
Méthode formelle (informatique)
244
5Ukrainian (uk)
Формальні методи
240
6Chinese (zh)
形式化方法
187
7Vietnamese (vi)
Các phương pháp hình thức
159
8Korean (ko)
정형 기법
155
9Turkish (tr)
Biçimsel yöntemler
144
10Japanese (ja)
形式手法
135
More...

Scores

Estimated value for Wikipedia:
German:
Global:
Popularity in June 2025:
German:
Global:
Popularity in all years:
German:
Global:
Authors in June 2025:
German:
Global:
Registered authors in all years:
German:
Global:
Citations:
German:
Global:

Quality measures

Interwikis

#LanguageValue
arArabic
طريقة شكلية
azAzerbaijani
Formal metodlar
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 German:
#159713
02.2009
Global:
#95119
09.2014

AI rank trends

Best Rank German:
#19563
05.2020
Global:
#12165
12.2002

Languages comparison

Important global interconnections (July 2024 – June 2025)

Wikipedia readers most often find their way to information on Formal methods from Wikipedia articles about Formal verification, Theoretical computer science, Computer science, Agile software development and Computer programming. Whereas reading the article about Formal methods people most often go to Wikipedia articles on Formal verification, Formal specification, Z notation, B-Method and Specification language.

Cumulative results of quality and popularity of the Wikipedia article

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

News from 16 March 2026

On 16 March 2026 in multilingual Wikipedia, Internet users most often read articles on the following topics: 98th Academy Awards, Michael B. Jordan, Sinners, Jessie Buckley, Paul Thomas Anderson, Sean Penn, One Battle After Another, Amy Madigan, Hamnet, Timothée Chalamet.

In German Wikipedia the most popular articles on that day were: Oscarverleihung 2026, One Battle After Another, Blood & Sinners, Michael B. Jordan, Jessie Buckley, Jürgen Habermas, Sean Penn, Banksy, Liste der größten Auslegerbrücken, Amy Madigan.

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 July, 2025. When calculating current popularity and AI of articles data from June 2025 was taken into account. For historical values of popularity and AI WikiRank used data from 2001 to 2025... More information