Թեորեմների ավտոմատացված ապացուցում (Armenian Wikipedia)

Analysis of information sources in references of the Wikipedia article "Թեորեմների ավտոմատացված ապացուցում" in Armenian language version.

refsWebsite

Global rank Armenian rank

513^th place

189^th place

9^th place

26^th place

1wolframscience.com

low place

low place

wolfram.com (Global: 513^th place; Armenian: 189^th place)

mathworld.wolfram.com

Weisstein, Eric W. «Robbins Conjecture». mathworld.wolfram.com (անգլերեն). Վերցված է 2019 թ․ հոկտեմբերի 17-ին.

wolframscience.com (Global: low place; Armenian: low place)

«Note (c) for Implications for Mathematics and Its Foundations: A New Kind of Science | Online by Stephen Wolfram [Page 1157]». www.wolframscience.com (անգլերեն). Վերցված է 2019 թ․ հոկտեմբերի 17-ին.

youtube.com (Global: 9^th place; Armenian: 26^th place)

Prolog Tutorial, Վերցված է 2019-10-17-ին