Backlink stats www.tptp.org

• Linkpop:	385
• Domainpop:	96
• IP-Pop:	74
• ClassC-Pop:	67

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	2	12
2	http://plato.stanford.edu \| Details ► http://plato.stanford.edu/entries/type-theory-church/	171.67.193.20	6	11
3	xxxx://xxx.xx.xxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.x.xx.xx	1	11
4	http://www.mail-archive.com \| Details ► http://www.mail-archive.com/hol-info@lists.sourceforge.net/msg06463.html	72.52.77.8	4	10
5	xxxx://xxxxxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xx.xxx	1	10

6	http://cs.nyu.edu \| Details ► http://cs.nyu.edu/pipermail/fom/2009-April/013516.html	216.165.22.203	11	9
7	xxxx://xxx.xxxxx.xx.xx ► Please log in first to see full page URL. Create Account!	xxx.xx.x.xxx	1	9
8	http://www.labri.fr \| Details ► http://www.labri.fr/perso/lsimon/flog2018/	147.210.8.54	1	9
9	xxxx://xxxx.xx.xx-xxxxxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xx.xxx.xxx	5	8
10	http://www.mpi-inf.mpg.de \| Details ► http://www.mpi-inf.mpg.de/de/departments/automation-of-logic/software/spass-workbench/classic-spass-theorem-prover/download	139.19.86.161	3	8
11	xxxx://xxx.xx.xxx.xxx ► Please log in first to see full page URL. Create Account!	xx.xxx.xx.xx	2	8
12	http://wiki2.org \| Details ► http://wiki2.org/en/Automated_theorem_prover	31.184.250.11	2	8
13	xxxx://xxxxx.xxx.xxxxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xx.xx.xxx	2	8
14	http://www.cs.ru.nl \| Details ► http://www.cs.ru.nl/~urban/	131.174.9.227	2	8
15	xxxx://xxxxxx-xxx-xxxxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xx.xxx.xxx.xxx	1	8
16	http://www.dhbw-stuttgart.de \| Details ► http://www.dhbw-stuttgart.de/artikel/erneuter-erfolg-bei-weltmeisterschaft-fuer-automatische-beweiser/	141.31.111.235	1	8
17	xxxx://xxxx.xx.xx.xx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xx.xxx	1	8
18	http://homepage.cs.uiowa.edu \| Details ► http://homepage.cs.uiowa.edu/%7Eajreynol/	128.255.96.133	20	7
19	xxxx://xxx.xx.xxxxx.xxx ► Please log in first to see full page URL. Create Account!	xx.xx.xx.xx	11	7
20	http://homepage.divms.uiowa.edu \| Details ► http://homepage.divms.uiowa.edu/~ajreynol/	128.255.96.133	10	7
21	xxxx://xxx.xxxxxxxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xx.xx.xxx.xxx	5	7
22	http://www.inf.ufsc.br \| Details ► http://www.inf.ufsc.br/~arthur.buchsbaum/index.php?page=liames/logica&lang=%3C?php=$_GET['lang'];?	150.162.60.21	3	7
23	xxxx://xxx.xxxxxx.xxxxxxx ► Please log in first to see full page URL. Create Account!	xx.x.xx.xx	2	7
24	http://www.semanticweb.org \| Details ► http://www.semanticweb.org/wiki/Talk_A_Semantic_Wiki_for_Mathematical_Knowledge_Management.html	129.13.152.177	2	7
25	xxxx://xxxxxxxx.xx.xxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xx.xx	1	7
26	http://sympa.inria.fr \| Details ► http://sympa.inria.fr/sympa/arc/caml-list/2019-08/msg00055.html	128.93.162.160	18	6
27	xxxx://xxx.xxxxx.xxxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xx.xx.xx	14	6
28	http://archiv.infsec.ethz.ch \| Details ► http://archiv.infsec.ethz.ch//people/mschmalz.html	129.132.207.140	8	6
29	xxxx://xxxxxxxx.xxxx-xxxxxxxxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xx.xxx.xxx	7	6
30	http://attempto.ifi.uzh.ch \| Details ► http://attempto.ifi.uzh.ch/site/docs/ape_webservice.html	130.60.155.161	7	6
31	xxxx://xx.xx.xx ► Please log in first to see full page URL. Create Account!	xxx.xxx.x.xxx	4	6
32	http://ontolog.cim3.net \| Details ► http://ontolog.cim3.net/forum/ontolog-forum/2009-02/msg00007.html	52.9.15.156	3	6
33	xxxx://xxxxxxxxxx-xxxxxxxxx.xxxxxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xxx.xxx	2	6
34	http://www.ontologyportal.org \| Details ► http://www.ontologyportal.org/	13.57.62.184	2	6
35	xxxx://xxx.xxxxxxx.xxxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xx.xxx.xxx.xx	1	6
36	http://ijcar2020.org \| Details ► http://ijcar2020.org/workshops/	208.113.172.84	1	6
37	xxxx://xxxx.xxxx.xxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xx.xxx	1	6
38	http://docentes.fct.unl.pt \| Details ► http://docentes.fct.unl.pt/jj-araujo/software/translator	193.136.126.23	1	6
39	xxxx://xxxx.xxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xx.xxx.x	1	6
40	http://jbiomedsem.biomedcentral.com \| Details ► http://jbiomedsem.biomedcentral.com/articles/10.1186/2041-1480-5-51	151.101.244.95	1	6
41	xxxx://xxx.xx.xxx-xxxxxxxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xx.xxx.xxx	1	6
42	http://complogic.cs.mcgill.ca \| Details ► http://complogic.cs.mcgill.ca/cade22/ws.html	132.206.51.60	1	6
43	xxxx://xxxxxx.xx.xxxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xx.xx	1	6
44	http://www.floc2018.org \| Details ► http://www.floc2018.org/floc-olympic-games/	108.157.229.121	1	6
45	xxxx://xx.xxx.xxxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xx.xxx.xxx	36	5
46	http://www.philipzucker.com \| Details ► http://www.philipzucker.com/category-theory-in-the-e-automated-theorem-prover/	185.199.109.153	14	5
47	xxxx://xxxx.xxxxxx.xx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xxx.xxx	13	5
48	http://seop.illc.uva.nl \| Details ► http://seop.illc.uva.nl/entries//type-theory-church/	159.69.31.223	9	5
49	xxxx://xxx.xxxxxx.xxx ► Please log in first to see full page URL. Create Account!	xxx.xxx.xxx.xxx	7	5
50	http://www.gilith.com \| Details ► http://www.gilith.com/software/metis/	173.230.144.235	7	5