Metamath (Serbian Wikipedia)

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

Last modified: 02:05:08, 11 August 2025 (UTC)

Ref.Un. Ref.Website

Global rank Serbian rank

88metamath.org

low place

55planetmath.org

low place

7,425^th place

44web.archive.org

1^st place

2^nd place

33archive.today

28^th place

26^th place

22ru.nl

7,619^th place

9,714^th place

11youtube.com

13^th place

25^th place

11ghostarchive.org

64^th place

242^nd place

11ghilbert-app.appspot.com

low place

archive.today (Global: 28^th place; Serbian: 26^th place)

Liné, Frédéric. „Natural deduction based Metamath system” [Метамат систем заснован на природној дедукцији]. Архивирано из оригинала 2012-12-28. г..
Arpiainen, Juha. „Presentation of Bourbaki” [Презентација Bourbaki-ја]. Архивирано из оригинала 2012-12-28. г..
Hale, William. „Presentation of mmide” [Презентација mmide-а]. Архивирано из оригинала 2012-12-28. г..

ghilbert-app.appspot.com (Global: low place; Serbian: low place)

Levien, Raph. „Ghilbert”. Архивирано из оригинала 03. 08. 2021. г. Приступљено 28. 07. 2025.

ghostarchive.org (Global: 64^th place; Serbian: 242^nd place)

Wheeler, David A.. „Metamath set.mm contributions viewed with Gource through 2019-10-04” [Доприноси Metamath set.mm-у гледани помоћу Gource-а до 4. 10. 2019.]. YouTube. Архивирано из оригинала 2021-12-19. г..

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

us.metamath.org

Megill, Norman; Wheeler, David A. (2019-06-02). Metamath: A Computer Language for Mathematical Proofs [Метамат: рачунарски језик за математичке доказе] (Second изд.). Морисвил, Северна Каролина, САД: Lulu Press. стр. 248. ISBN 978-0-359-70223-7.
Megill, Norman. „What is Metamath?” [Шта је Метамат?]. Metamath Home Page.
Metamath 100.
Megill, Norman. „Known Metamath proof verifiers” [Познати проверачи доказа за Метамат]. Приступљено 8. 10. 2022.
„TOC of Theorem List - Metamath Proof Explorer” [Садржај листе теорема - Metamath Proof Explorer]. us.metamath.org. Приступљено 4. 9. 2023.
Megill, Norman. „How Proofs Work” [Како докази функционишу]. Metamath Proof Explorer Home Page.
Megill, Norman. „Known Metamath proof verifiers” [Познати проверачи доказа за Метамат]. Приступљено 8. 10. 2022.

us2.metamath.org

Megill, Norman. „Reading suggestions” [Предлози за читање]. Metamath. Архивирано из оригинала 27. 06. 2021. г. Приступљено 28. 07. 2025.

planetmath.org (Global: low place; Serbian: 7,425^th place)

wiki.planetmath.org

Liné, Frédéric. „Natural deduction based Metamath system” [Метамат систем заснован на природној дедукцији]. Архивирано из оригинала 2012-12-28. г..
Arpiainen, Juha. „Presentation of Bourbaki” [Презентација Bourbaki-ја]. Архивирано из оригинала 2012-12-28. г..
Klooster, Marnix. „Presentation of Hmm” [Презентација Hmm-а]. Архивирано из оригинала 2012-04-02. г..
O'Cat, Mel. „Presentation of mmj2” [Презентација Mmj2]. Архивирано из оригинала 19. 12. 2013. г..
Hale, William. „Presentation of mmide” [Презентација mmide-а]. Архивирано из оригинала 2012-12-28. г..

ru.nl (Global: 7,619^th place; Serbian: 9,714^th place)

cs.ru.nl

„Formalizing 100 Theorems” [Формализовање 100 теорема].
Wiedijk, Freek. „The Seventeen Provers of the World” [Седамнаест доказивача света] (PDF). стр. 103—105. Приступљено 14. 10. 2023.

web.archive.org (Global: 1^st place; Serbian: 2^nd place)

Megill, Norman. „Reading suggestions” [Предлози за читање]. Metamath. Архивирано из оригинала 27. 06. 2021. г. Приступљено 28. 07. 2025.
Levien, Raph. „Ghilbert”. Архивирано из оригинала 03. 08. 2021. г. Приступљено 28. 07. 2025.
Klooster, Marnix. „Presentation of Hmm” [Презентација Hmm-а]. Архивирано из оригинала 2012-04-02. г..
O'Cat, Mel. „Presentation of mmj2” [Презентација Mmj2]. Архивирано из оригинала 19. 12. 2013. г..

youtube.com (Global: 13^th place; Serbian: 25^th place)

Wheeler, David A.. „Metamath set.mm contributions viewed with Gource through 2019-10-04” [Доприноси Metamath set.mm-у гледани помоћу Gource-а до 4. 10. 2019.]. YouTube. Архивирано из оригинала 2021-12-19. г..

Metamath (Serbian Wikipedia)

archive.today (Global: 28th place; Serbian: 26th place)

ghilbert-app.appspot.com (Global: low place; Serbian: low place)

ghostarchive.org (Global: 64th place; Serbian: 242nd place)

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

us.metamath.org

us2.metamath.org

planetmath.org (Global: low place; Serbian: 7,425th place)

wiki.planetmath.org

ru.nl (Global: 7,619th place; Serbian: 9,714th place)

cs.ru.nl

web.archive.org (Global: 1st place; Serbian: 2nd place)

youtube.com (Global: 13th place; Serbian: 25th place)

archive.today (Global: 28^th place; Serbian: 26^th place)

ghostarchive.org (Global: 64^th place; Serbian: 242^nd place)

planetmath.org (Global: low place; Serbian: 7,425^th place)

ru.nl (Global: 7,619^th place; Serbian: 9,714^th place)

web.archive.org (Global: 1^st place; Serbian: 2^nd place)

youtube.com (Global: 13^th place; Serbian: 25^th place)