Backlink stats www.mizar.org

• Linkpop:	347
• Domainpop:	68
• IP-Pop:	56
• ClassC-Pop:	53

Referring Domains Referring Pages Recently Discovered Top Pages Status Codes Anchor Text Reverse IP

CSV

	Domain	IP	Referring Pages	DomainRank
1	xxxx://xxxxx.xxxxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xx.xxx.xx	1	11
2	http://cs.nyu.edu \| Details ► http://cs.nyu.edu/pipermail/fom/2006-January/009615.html	216.165.22.203	12	9
3	xxxx://xxx.xxx.xx.xx ► Please log in first to see full page URL. Create Account!	xxx.xx.xxx.xx	1	9
4	http://www.cs.ru.nl \| Details ► http://www.cs.ru.nl/%7Efreek/digimath/bycategory.html	131.174.9.227	87	8
5	xxxx://xxx.xxxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xx.xxx.xx	3	8

6	http://www.geometry.net \| Details ► http://www.geometry.net/detail/scientists/mostowski_andrzej.html	169.60.163.244	2	8
7	xxxx://xxx.xx.xxxxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xxx.x.xx	2	8
8	http://scienceblogs.de \| Details ► http://scienceblogs.de/mathlog/2009/11/22/lunyi-tsai/	88.99.114.228	1	8
9	xxxx://xxxxxx-xxx-xxxxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xx.xxx.xxx.xxx	1	8
10	http://math-www.uni-paderborn.de \| Details ► http://math-www.uni-paderborn.de/~axel/politics.html	131.234.116.17	1	8
11	xxxx://xxxxxxxx.xxxxxxx.xxxxxxxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xxx.xx	1	8
12	http://pdb.finkproject.org \| Details ► http://pdb.finkproject.org/pdb/package.php/mizar	72.13.188.158	5	7
13	xxxx://xxxxxxxxxxxx.xxxx.xxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xxx.xxx	4	7
14	http://www.alvestrand.no \| Details ► http://www.alvestrand.no/pipermail/ietf-types/2011-July/002467.html	65.21.189.24	3	7
15	xxxx://xxx.xxxxxxxxxxxxxxxxx.xxxx ► Please log in first to see full page URL. Create Account!	xx.xxx.xxx.xxx	3	7
16	http://cage.ugent.be \| Details ► http://cage.ugent.be/~gvernaev/wiskunde.en.html	157.193.53.8	2	7
17	xxxx://xxx.xxxxxxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.x.xxx.xxx	1	7
18	http://mally.stanford.edu \| Details ► http://mally.stanford.edu/alama-cv.html	171.67.193.21	1	7
19	xxxx://xxx.xxxxxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xx.xx	1	7
20	http://www-math.uni-paderborn.de \| Details ► http://www-math.uni-paderborn.de/~axel/politics.html	131.234.116.17	1	7
21	xxxx://xxx.xx.xxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xxx.x.xxx	1	7
22	http://www.istl.org \| Details ► http://www.istl.org/00-fall/internet-c.html	107.180.0.193	1	7
23	xxxx://xx.xx.xx ► Please log in first to see full page URL. Create Account!	xxx.xxx.x.xxx	31	6
24	http://math.uwb.edu.pl \| Details ► http://math.uwb.edu.pl/~bancerek/	212.33.73.194	8	6
25	xxxx://xxxx.xxxxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xx.xxx.xxx	6	6
26	http://www.tptp.org \| Details ► http://www.tptp.org/CASC/24/Design.html	192.31.89.18	3	6
27	xxxx://xxx.xxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xx.xxx.xxx	2	6
28	http://graham.main.nc.us \| Details ► http://graham.main.nc.us/%7Ebhammel/lynx_J.html	162.255.170.201	2	6
29	xxxx://xxx.xxxxx.xxxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xx.xx.xx	2	6
30	http://mat.univie.ac.at \| Details ► http://mat.univie.ac.at/%7Eneum/FMathL/assistant.html	131.130.61.2	2	6
31	xxxx://xxx.xxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xx.xx.xx	2	6
32	http://www.science4all.org \| Details ► http://www.science4all.org/article/type-theory/	213.186.33.87	1	6
33	xxxx://xxxxxxxxxx-xxxxxxxxx.xxxxxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xxx.xxx	1	6
34	http://www.nuprl.org \| Details ► http://www.nuprl.org/FDLproject/morelinks.html	132.236.207.36	1	6
35	xxxx://xxxx.xx.xxxxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xxx.x	1	6
36	http://www.glc.us.es \| Details ► http://www.glc.us.es/~jalonso/vestigium/resena-formalization-of-real-analysis-a-survey-of-proof-assistants-and-libraries/	150.214.140.130	8	5
37	xxxx://xxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xx.xx.xx	4	5
38	http://lists.seas.upenn.edu \| Details ► http://lists.seas.upenn.edu/pipermail/types-list/2005/000623.html	158.130.69.24	3	5
39	xxxx://xxx.xxxxxxxx.xx.xx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xxx.xx	3	5
40	http://hjemmesider.diku.dk \| Details ► http://hjemmesider.diku.dk/~grue/	130.226.14.83	3	5
41	xxxx://xxxxxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xx.xx.xxx.xx	2	5
42	http://mizar.uwb.edu.pl \| Details ► http://mizar.uwb.edu.pl/people/romat/	212.33.73.131	2	5
43	xxxx://xxx-xxxxx.xxxxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xx.xx.xx	2	5
44	http://www.j4.com \| Details ► http://www.j4.com/detail/scientists/mostowski_andrzej.html	169.60.163.244	2	5
45	xxxx://xxxxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xx.xxx.xxx	2	5
46	http://www.988.com \| Details ► http://www.988.com/detail/scientists/mostowski_andrzej.html	169.60.163.244	2	5
47	xxxx://xxxxxx.xxxxx.xxxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xx.xx.x	2	5
48	http://www.elapro.net \| Details ► http://www.elapro.net/math.htm	66.199.174.29	1	5
49	xxxx://xxx.xxxxxxxxx.xx ► Please log in first to see full page URL. Create Account!	xx.xx.xx.xxx	1	5
50	http://alioth.uwb.edu.pl \| Details ► http://alioth.uwb.edu.pl/cgi-bin/adamn/hello.pl	212.33.73.134	16	4