Metamath (Russian Wikipedia)

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

Last modified: 09:09:00, 18 July 2025 (UTC)

Ref.Un. Ref.Website

Global rank Russian rank

1^st place

low place

380^th place

292^nd place

github.com (Global: 380^th place; Russian: 292^nd place)

Home Page - Metamath . Дата обращения: 14 декабря 2020. Архивировано 24 ноября 2020 года.
Megill, Norman. Metamath: A Computer Language for Mathematical Proofs / Norman Megill, David A. Wheeler. — Second. — Morrisville, North Carolina, US : Lulul Press, 2019-06-02. — P. 248. — ISBN 978-0-359-70223-7. Архивная копия от 24 ноября 2020 на Wayback Machine Источник . Дата обращения: 14 декабря 2020. Архивировано 24 ноября 2020 года.
Megill, Norman. What is Metamath? Metamath Home Page. Дата обращения: 14 декабря 2020. Архивировано 24 ноября 2020 года.
Home Page - Metamath . Дата обращения: 25 декабря 2020. Архивировано 9 ноября 2020 года.
Metamath 100. Дата обращения: 14 декабря 2020. Архивировано 4 февраля 2021 года.
Known Metamath proof verifiers . Дата обращения: 14 июля 2019. Архивировано 11 ноября 2020 года.

TOC of Theorem List - Metamath Proof Explorer . Дата обращения: 28 февраля 2021. Архивировано 27 июня 2021 года.

Home Page - Metamath . Дата обращения: 14 декабря 2020. Архивировано 24 ноября 2020 года.
Megill, Norman. Metamath: A Computer Language for Mathematical Proofs / Norman Megill, David A. Wheeler. — Second. — Morrisville, North Carolina, US : Lulul Press, 2019-06-02. — P. 248. — ISBN 978-0-359-70223-7. Архивная копия от 24 ноября 2020 на Wayback Machine Источник . Дата обращения: 14 декабря 2020. Архивировано 24 ноября 2020 года.
Megill, Norman. What is Metamath? Metamath Home Page. Дата обращения: 14 декабря 2020. Архивировано 24 ноября 2020 года.
TOC of Theorem List - Metamath Proof Explorer . Дата обращения: 28 февраля 2021. Архивировано 27 июня 2021 года.
Home Page - Metamath . Дата обращения: 25 декабря 2020. Архивировано 9 ноября 2020 года.
Metamath 100. Дата обращения: 14 декабря 2020. Архивировано 4 февраля 2021 года.
Known Metamath proof verifiers . Дата обращения: 14 июля 2019. Архивировано 11 ноября 2020 года.