Metamath (Chinese Wikipedia)

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

Last modified: 23:23:48, 7 February 2021 (UTC)

Ref.Un. Ref.Website

Global rank Chinese rank

22web.archive.org

1^st place

1^st place

low place

low place

380^th place

277^th place

github.com (Global: 380^th place; Chinese: 277^th place)

Release 0.198. 2021年8月8日 [2022年7月27日].

metamath.org (Global: low place; Chinese: low place)

us.metamath.org

Megill, Norman. What is Metamath?. Metamath Home Page. [2015-04-19]. （原始内容存档于2020-11-24）.

us2.metamath.org

Megill, Norman. Most recent proofs. Metamath Proof Explorer. [2015-04-19]. （原始内容存档于2020-02-03）.

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

Megill, Norman. What is Metamath?. Metamath Home Page. [2015-04-19]. （原始内容存档于2020-11-24）.
Megill, Norman. Most recent proofs. Metamath Proof Explorer. [2015-04-19]. （原始内容存档于2020-02-03）.