Quality:
ACL2 - software system consisting of a programming language, an extensible theory in a first-order logic, and an automated theorem prover. This programming language is the 509th most popular in the global Wikipedia ranking of programming languages and the 285th most popular programming language in Chinese Wikipedia. Article “ACL2” in Chinese Wikipedia has 21.7 points for quality (as of July 1, 2025).
The article contains 5 references and 4 sections.
This article has the best quality in English Wikipedia. Also, this article is the most popular in that (Chinese) language version.
Achievements in all the time:
Chinese Wikipedia:
Global Wikipedia:
Since the creation of article “ACL2”, its content was written by 7 registered users of Chinese Wikipedia and edited by 60 registered Wikipedia users in all languages.
ACL2 is on the 285th place in local ranking of programming languages in Chinese Wikipedia
and on the 509th place in global ranking of programming languages in all the time.
The article is cited 5 times in Chinese Wikipedia and cited 94 times in all languages.
The highest Authors Interest rank from 2001:
- Local (Chinese): #54807 in July 2014
- Global: #23684 in January 2003
The highest popularity rank from 2008:
- Local (Chinese): #87789 in February 2024
- Global: #765739 in April 2010
There are 3 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.
