Backlink stats matita.cs.unibo.it

• Linkpop:	275
• Domainpop:	45
• IP-Pop:	40
• ClassC-Pop:	38

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

CSV

	Domain	IP	Referring Pages	DomainRank
1	xxxx://xxx.xx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xx.xx.xxx	1	12
2	http://www-sop.inria.fr \| Details ► http://www-sop.inria.fr/members/Enrico.Tassi/	138.96.0.40	2	9
3	xxxx://xx.xxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xx.xxx	1	9
4	http://www.tau.ac.il \| Details ► http://www.tau.ac.il/~tsirel/dump/Static/knowino.org/wiki/Links_Proof_assistant.html	132.66.251.11	1	9
5	xxxx://xxx.xxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xx.xx	1	9

6	http://www.cs.ru.nl \| Details ► http://www.cs.ru.nl/%7Efreek/	131.174.9.227	79	8
7	xxxx://xxxxxxxx.xx.xxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xx.xx.xx	1	8
8	http://www.cse.chalmers.se \| Details ► http://www.cse.chalmers.se/research/group/logic/Types/software.html	129.16.221.33	1	8
9	xxxx://xxx.xx.xxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xx.xxx.xx	4	7
10	http://wiki.portal.chalmers.se \| Details ► http://wiki.portal.chalmers.se/agda/Main/HomePage	129.16.227.152	3	7
11	xxxx://xxxxxxx.xx ► Please log in first to see full page URL. Create Account!	xx.xxx.xx.xx	2	7
12	http://libexpat.github.io \| Details ► http://libexpat.github.io/doc/users/	185.199.110.153	1	7
13	xxxx://xxx.xxx.xx.xx ► Please log in first to see full page URL. Create Account!	xxx.xx.xxx.xxx	1	7
14	http://www.cas.mcmaster.ca \| Details ► http://www.cas.mcmaster.ca/research/mathscheme/related-research.html	130.113.68.10	1	7
15	xxxx://xx.xx.xx ► Please log in first to see full page URL. Create Account!	xxx.xxx.x.xxx	26	6
16	http://blends.debian.org \| Details ► http://blends.debian.org/math/tasks/packagelist	149.20.4.15	25	6
17	xxxx://xxxxx.xxxxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xx.xxx.xxx	10	6
18	http://tm.durusau.net \| Details ► http://tm.durusau.net/?cat=411&paged=2	66.96.132.41	4	6
19	xxxx://xxx.xxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xx.xx.xx	4	6
20	http://www.swmath.org \| Details ► http://www.swmath.org/software/6140	141.66.193.30	4	6
21	xxxx://xx-xxxxxx.xxx.xx ► Please log in first to see full page URL. Create Account!	xx.xx.xxx.xxx	2	6
22	http://mat.univie.ac.at \| Details ► http://mat.univie.ac.at/%7Eneum/FMathL.html	131.130.61.2	2	6
23	xxxx://xxxx.xxxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xx.xxx.xxx.xx	1	6
24	http://swmath.org \| Details ► http://swmath.org/software/6140	141.66.193.30	1	6
25	xxxx://xxxxx.xxxx.xxxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xx.xx	7	5
26	http://www.theochem.ru.nl \| Details ► http://www.theochem.ru.nl/~pwormer/Knowino/knowino.org/w/index6d51-2.html?title=Links:Proof_assistant&oldid=8499	131.174.138.39	3	5
27	xxxx://xxxxxxx.xxx.xxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xx.xxx.xxx	2	5
28	http://itp19.cecs.pdx.edu \| Details ► http://itp19.cecs.pdx.edu//history/index.html	131.252.208.114	2	5
29	xxxx://xxxxxxx.xx.xx.xx ► Please log in first to see full page URL. Create Account!	xxx.xxx.x.xxx	2	5
30	http://settheory.net \| Details ► http://settheory.net/world	80.67.160.70	1	5
31	xxxx://xxx.xxxxxxx.xxx.xx ► Please log in first to see full page URL. Create Account!	xx.xxx.xxx.xx	1	5
32	http://itp2013.inria.fr \| Details ► http://itp2013.inria.fr/history.html	131.254.254.107	1	5
33	xxxx://xxxxx.xxxxxxxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xx.xxx.xx	1	5
34	http://itp2016.inria.fr \| Details ► http://itp2016.inria.fr/history/	128.93.162.214	1	5
35	xxxx://xxxxxxx.xxxxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xx.xxx.xxx	1	5
36	http://itp2012.cs.princeton.edu \| Details ► http://itp2012.cs.princeton.edu/History.html	128.112.136.74	1	5
37	xxxx://xxxx.xxxxxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xx.xxx.xxx	36	4
38	http://blends.debian.net \| Details ► http://blends.debian.net/science/tasks/logic	3.126.205.65	23	4
39	xxxx://xxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xx.xx.xx	4	4
40	http://isabelle.systems \| Details ► http://isabelle.systems/zulip-archive/stream/336180-Archive-Mirror.3A-Isabelle-Users-Mailing-List/topic/.5Bisabelle.5D.20Post-Doc.20position.20in.20the.20CerCo.20FET-Open.20EU.20Pro.2E.2E.2E.html	185.199.108.153	3	4
41	xxxx://xxx-xxxxxxxxxx.xxxxxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xxx.xxx	2	4
42	http://logipedia.inria.fr \| Details ► http://logipedia.inria.fr/about/about.php	195.83.213.221	1	4
43	xxxx://xxxxxxxxxxxx.xxxxxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xxx.xxx	1	4
44	http://docs.imandra.ai \| Details ► http://docs.imandra.ai//fix-engine/references/	185.199.110.153	2	3
45	xxxx://xxx.xxxxxxx.xx ► Please log in first to see full page URL. Create Account!	xx.xxx.xxx.xxx	2	1