Prototype Verification System

en

WikiRank.net
ver. 1.6

Prototype Verification System

Quality:

Prototype Verification System - specification language integrated with support tools and an automated theorem prover. This programming language is the 778th most popular in the global Wikipedia ranking of programming languages and the 729th most popular programming language in English Wikipedia. Article "Prototype Verification System" in English Wikipedia has 8 points for quality (as of November 1, 2023). The article contains 0 references and 3 sections.

In this language version of Wikipedia the article has the best quality. Also, this article is the most popular in that language version.

Achievements in all the time:
English Wikipedia:
Global Wikipedia:
The 778th most popular in programming languages.

Since the creation of article "Prototype Verification System", its content was written by 21 registered users of English Wikipedia and edited by 26 registered Wikipedia users in all languages.

Prototype Verification System is on the 729th place in local ranking of programming languages in English Wikipedia and on the 778th place in global ranking of programming languages in all the time.

The article is cited 31 times in English Wikipedia and cited 41 times in all languages.

The highest Authors Interest rank from 2001:

  • Local (English): #61653 in May 2005
  • Global: #133437 in May 2005

The highest popularity rank from 2008:

  • Local (English): #675678 in November 2014
  • Global: #1121198 in November 2014

There are 2 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
1English (en)
Prototype Verification System
7.9647
2French (fr)
Prototype Verification System
0.809
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 "Prototype Verification System" in all the time
#LanguagePopularity awardRelative popularity
1English (en)
Prototype Verification System
63 041
2French (fr)
Prototype Verification System
8 732
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 "Prototype Verification System" in October 2023
#LanguagePopularity awardRelative popularity
1English (en)
Prototype Verification System
269
2French (fr)
Prototype Verification System
12
More...

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

The highest AI

Language versions of the article "Prototype Verification System" with the highest Authors Interest (number of authors). Only registered Wikipedia users were taken into account.
#LanguageAI awardRelative AI
1English (en)
Prototype Verification System
21
2French (fr)
Prototype Verification System
5
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 "Prototype Verification System" with the highest AI in October 2023
#LanguageAI awardRelative AI
1English (en)
Prototype Verification System
0
2French (fr)
Prototype Verification System
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 "Prototype Verification System" with the highest Citation Index (CI)
#LanguageCI awardRelative CI
1English (en)
Prototype Verification System
31
2French (fr)
Prototype Verification System
10
More...

Scores

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

Quality measures

Interwikis

#LanguageValue
enEnglish
Prototype Verification System
frFrench
Prototype Verification System

Popularity rank trends

Best Rank English:
#675678
11.2014
Global:
#1121198
11.2014

AI rank trends

Best Rank English:
#61653
05.2005
Global:
#133437
05.2005

Languages comparison

Important global interconnections

Wikipedia readers most often find their way to information on Prototype Verification System from Wikipedia articles about Proof assistant, PVS, Automated theorem proving, Dependent type and Common Lisp. Whereas reading the article about Prototype Verification System people most often go to Wikipedia articles on Formal methods, Specification language, Proof assistant, Automated theorem proving and SRI International.

Cumulative results of quality and popularity of the Wikipedia article

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

News from 30 May 2024

On 30 May 2024 in multilingual Wikipedia, Internet users most often read articles on the following topics: Feast of Corpus Christi, YouTube, Vincent Kompany, Hansi Flick, UEFA Europa Conference League, deaths in 2024, ChatGPT, Olympiacos F.C., Furiosa: A Mad Max Saga, UEFA Euro 2024.

In English Wikipedia the most popular articles on that day were: Donald Trump, Deaths in 2024, 2024 South African general election, Furiosa (film), YouTube, Next Indian general election, Willie Nelson, Giles Corey, Murder of Reena Virk, Project 2025.

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