ACL2 (Chinese Wikipedia)

Analysis of information sources in references of the Wikipedia article "ACL2" in Chinese language version.

Last modified: 13:12:18, 7 August 2026 (UTC)

Ref.Un. Ref.Website

Global rank Chinese rank

44web.archive.org

1^st place

1^st place

868^th place

1,311^th place

1,200^th place

956^th place

299^th place

591^st place

acm.org (Global: 1,200^th place; Chinese: 956^th place)

awards.acm.org

Software System Award. ACM Awards. ACM. [2012]. （原始内容存档于2012-04-02）.

psu.edu (Global: 299^th place; Chinese: 591^st place)

citeseerx.ist.psu.edu

A mechanically checked proof of the correctness of the kernel of the AMD5K86 floating point division algorithm. CiteSeerX: 10.1.1.43.3309.

utexas.edu (Global: 868^th place; Chinese: 1,311^th place)

cs.utexas.edu

Books and Papers about ACL2 and Its Applications. [2014-01-24]. （原始内容存档于2013-11-06）.
The ACL2 Workshop Series. [2014-01-24]. （原始内容存档于2014-02-13）.
有趣的应用（页面存档备份，存于互联网档案馆）

web.archive.org (Global: 1^st place; Chinese: 1^st place)

Software System Award. ACM Awards. ACM. [2012]. （原始内容存档于2012-04-02）.
Books and Papers about ACL2 and Its Applications. [2014-01-24]. （原始内容存档于2013-11-06）.
The ACL2 Workshop Series. [2014-01-24]. （原始内容存档于2014-02-13）.
有趣的应用（页面存档备份，存于互联网档案馆）