Feedback
Please sign in to view more complete and fresh data.

isa-afp.org

No screenshot available
14 / 100
DomainScore
48 / 100
Ahrefs Domain Rating
Most common dofollow anchors
AFP
〈http://www.isa-afp.org/entries/Isabelle_Meta_Mode ...
Archive of Formal Proofs
Most common country
de country flag
Most common TLD
.de
49
Unique Backlinks
17
Unique Domains
3
Backlinks Lost

High 6%

Mid 10%

Low 84%

Quality Distribution

Backlinks

Most common dofollow anchors

Anchor No. Domains
AFP 2
〈http://www.isa-afp.org/entries/Isabelle_Meta_Mode ... 2
Archive of Formal Proofs 1
Paper (open access) 1
Info 1
Web page 1
Url 1
Isabelle/Circus 1
https://www.isa-afp.org/entries/Probabilistic_Whil ... 1
Archive of Formal Proofs 1
The Stern-Brocot Tree 1
Daniel's thesis 1
A Constructive Proof for FLP 1

Most common countries

IP Country No. Domains
de country flag 5
us country flag 2
nl country flag 2
fr country flag 1

Most common TLD's

Domain TLD No. Domains
.de 8
.fr 2
.com 2
.org 2
.ch 1
.net 1
1
Lost Backlinks
1
Unique Sources
Domainscore From To Time checked
3/100 http://www.andreas-lochbihler.de/ isa-afp.org/entries/Monomorphic_Monad.shtml 24 Jan 2019

IP info

Updated 07 Jun 2019
131.159.47.3
IP

Historic IP numbers

IP Time Checked
131.159.46.8506 Oct 2018
131.159.46.8506 Oct 2018
131.159.46.8506 Oct 2018

Crawl Information

Updated 16 Jun 2019
0.13s
Time to fetch
200
HTTP code

https://www.isa-afp.org/

Final URL

Title

Archive of Formal Proofs

h1

Archive of Formal Proofs

Favicon

favicon

Word count

5194

Dofollow links on the home page

External: 432
Internal: 485

SEO Metrics from third parties

Updated 21 Mar 2019
48
ahrefs Domain Rating

Old SEO Metrics

Updated 25 Oct 2018
967766
Global Rank

Pages

88
No. pages
Title and URL Backlinks First H1 No. of Words Internal Links External Links Time Crawled
[not crawled]
https://www.isa-afp.org/entries/Signature_Groebner...
3
[not crawled]
https://www.isa-afp.org/entries/Signature_Groebner...
3
Archive of Formal Proofs
https://www.isa-afp.org/
3 Archive of Formal Proofs 5194 485 432 16 Jun 2019
[not crawled]
https://www.isa-afp.org/entries/Signature_Groebner...
2
[not crawled]
https://www.isa-afp.org/entries/Signature_Groebner...
2
[not crawled]
https://www.isa-afp.org/entries/Signature_Groebner...
2
[not crawled]
https://www.isa-afp.org/entries/Signature_Groebner...
2
[not crawled]
https://www.isa-afp.org/entries/Signature_Groebner...
1
[not crawled]
https://www.isa-afp.org/entries/Signature_Groebner...
1
[not crawled]
https://www.isa-afp.org/entries/Signature_Groebner...
1
[not crawled]
https://www.isa-afp.org/entries/Signature_Groebner...
1
[not crawled]
https://www.isa-afp.org/entries/Signature_Groebner...
1
[not crawled]
https://www.isa-afp.org/entries/Signature_Groebner...
1
[not crawled]
https://www.isa-afp.org/entries/Signature_Groebner...
1
[not crawled]
https://www.isa-afp.org/entries/Signature_Groebner...
1
[not crawled]
https://www.isa-afp.org/entries/Signature_Groebner...
1
[not crawled]
https://www.isa-afp.org/entries/Signature_Groebner...
1
[not crawled]
https://www.isa-afp.org/entries/Signature_Groebner...
1
[not crawled]
https://www.isa-afp.org/entries/Signature_Groebner...
1
[not crawled]
https://www.isa-afp.org/entries/Signature_Groebner...
1
[not crawled]
https://www.isa-afp.org/entries/Signature_Groebner...
1
[not crawled]
https://www.isa-afp.org/entries/Signature_Groebner...
1
[not crawled]
https://www.isa-afp.org/entries/Signature_Groebner...
1
[not crawled]
https://www.isa-afp.org/entries/Signature_Groebner...
1
[not crawled]
https://www.isa-afp.org/entries/Signature_Groebner...
1
[not crawled]
https://www.isa-afp.org/entries/Signature_Groebner...
1
[not crawled]
https://www.isa-afp.org/entries/Signature_Groebner...
1
[not crawled]
https://www.isa-afp.org/entries/Signature_Groebner...
1
[not crawled]
https://www.isa-afp.org/entries/Signature_Groebner...
1
[not crawled]
https://www.isa-afp.org/entries/Signature_Groebner...
1
Formalisation and Evaluation of Alan Gewirth's Proof for the Principle of Generic Consistency in Isabelle/HOL - Archive of Formal Proofs
https://www.isa-afp.org/entries/GewirthPGCProof.ht...
1 Formalisation and Evaluation of Alan Gewirth's Proof for the Principle of Gen 192 15 2 16 Jun 2019
[not crawled]
https://www.isa-afp.org/entries/Signature_Groebner...
1
[not crawled]
https://www.isa-afp.org/entries/Signature_Groebner...
1
[not crawled]
https://www.isa-afp.org/entries/Signature_Groebner...
1
[not crawled]
https://www.isa-afp.org/entries/Signature_Groebner...
1
[not crawled]
https://www.isa-afp.org/entries/Signature_Groebner...
1
[not crawled]
https://www.isa-afp.org/entries/Signature_Groebner...
1
[not crawled]
https://www.isa-afp.org/entries/Signature_Groebner...
1
[not crawled]
https://www.isa-afp.org/entries/Signature_Groebner...
1
Archive of Formal Proofs
https://www.isa-afp.org/about.html
0 Archive of Formal Proofs 316 12 14 16 Jun 2019
Archive of Formal Proofs
https://www.isa-afp.org/citing.html
0 Citing Entries 98 10 1 16 Jun 2019
Archive of Formal Proofs
https://www.isa-afp.org/download.html
0 Download the Archive 66 11 3 16 Jun 2019
Auto2 Prover - Archive of Formal Proofs
https://www.isa-afp.org/entries/Auto2_HOL.html
0 Auto2 Prover 121 16 2 16 Jun 2019
Verifying Imperative Programs using Auto2 - Archive of Formal Proofs
https://www.isa-afp.org/entries/Auto2_Imperative_H...
0 Verifying Imperative Programs using Auto2 183 16 2 16 Jun 2019
A General Theory of Syntax with Bindings - Archive of Formal Proofs
https://www.isa-afp.org/entries/Binding_Syntax_The...
0 A General Theory of Syntax with Bindings 208 15 1 16 Jun 2019
Formalization of Concurrent Revisions - Archive of Formal Proofs
https://www.isa-afp.org/entries/Concurrent_Revisio...
0 Formalization of Concurrent Revisions 166 15 1 16 Jun 2019
Constructive Cryptography in HOL - Archive of Formal Proofs
https://www.isa-afp.org/entries/Constructive_Crypt...
0 Constructive Cryptography in HOL 184 17 2 16 Jun 2019
A Formal Model of the Document Object Model - Archive of Formal Proofs
https://www.isa-afp.org/entries/Core_DOM.html
0 A Formal Model of the Document Object Model 249 15 3 16 Jun 2019
Epistemic Logic - Archive of Formal Proofs
https://www.isa-afp.org/entries/Epistemic_Logic.ht...
0 Epistemic Logic 122 15 2 16 Jun 2019
Upper Bounding Diameters of State Spaces of Factored Transition Systems - Archive of Formal Proofs
https://www.isa-afp.org/entries/Factored_Transitio...
0 Upper Bounding Diameters of State Spaces of Factored Transition Systems 286 15 2 16 Jun 2019
Farkas' Lemma and Motzkin's Transposition Theorem - Archive of Formal Proofs
https://www.isa-afp.org/entries/Farkas.html
0 Farkas' Lemma and Motzkin's Transposition Theorem 186 17 4 16 Jun 2019
A Verified Functional Implementation of Bachmair and Ganzinger's Ordered Resolution Prover - Archive of Formal Proofs
https://www.isa-afp.org/entries/Functional_Ordered...
0 A Verified Functional Implementation of Bachmair and Ganzinger's Ordered Resolution Prover 179 20 2 16 Jun 2019
Deriving generic class instances for datatypes - Archive of Formal Proofs
https://www.isa-afp.org/entries/Generic_Deriving.h...
0 Deriving generic class instances for datatypes 214 17 2 16 Jun 2019
Graph Saturation - Archive of Formal Proofs
https://www.isa-afp.org/entries/Graph_Saturation.h...
0 Graph Saturation 155 15 2 16 Jun 2019
HOL-CSP Version 2.0 - Archive of Formal Proofs
https://www.isa-afp.org/entries/HOL-CSP.html
0 HOL-CSP Version 2.0 236 15 1 16 Jun 2019
An Algebra for Higher-Order Terms - Archive of Formal Proofs
https://www.isa-afp.org/entries/Higher_Order_Terms...
0 An Algebra for Higher-Order Terms 179 19 3 16 Jun 2019
IMP2 – Simple Program Verification in Isabelle/HOL - Archive of Formal Proofs
https://www.isa-afp.org/entries/IMP2.html
0 IMP2 – Simple Program Verification in Isabelle/HOL 257 16 3 16 Jun 2019
Binary Heaps for IMP2 - Archive of Formal Proofs
https://www.isa-afp.org/entries/IMP2_Binary_Heap.h...
0 Binary Heaps for IMP2 173 15 1 16 Jun 2019
Multidimensional Binary Search Trees - Archive of Formal Proofs
https://www.isa-afp.org/entries/KD_Tree.html
0 Multidimensional Binary Search Trees 144 16 3 16 Jun 2019
Kruskal's Algorithm for Minimum Spanning Forest - Archive of Formal Proofs
https://www.isa-afp.org/entries/Kruskal.html
0 Kruskal's Algorithm for Minimum Spanning Forest 189 19 3 16 Jun 2019
A Compositional and Unified Translation of LTL into ω-Automata - Archive of Formal Proofs
https://www.isa-afp.org/entries/LTL_Master_Theorem...
0 A Compositional and Unified Translation of LTL into ω-Automata 250 17 1 16 Jun 2019
Formalization of Generic Authenticated Data Structures - Archive of Formal Proofs
https://www.isa-afp.org/entries/LambdaAuth.html
0 Formalization of Generic Authenticated Data Structures 210 16 4 16 Jun 2019
Formalization of the Embedding Path Order for Lambda-Free Higher-Order Terms - Archive of Formal Proofs
https://www.isa-afp.org/entries/Lambda_Free_EPO.ht...
0 Formalization of the Embedding Path Order for Lambda-Free Higher-Order Terms 160 16 1 16 Jun 2019
The Inversions of a List - Archive of Formal Proofs
https://www.isa-afp.org/entries/List_Inversions.ht...
0 The Inversions of a List 126 15 2 16 Jun 2019
Matroids - Archive of Formal Proofs
https://www.isa-afp.org/entries/Matroids.html
0 Matroids 124 16 2 16 Jun 2019
Multi-Party Computation - Archive of Formal Proofs
https://www.isa-afp.org/entries/Multi_Party_Comput...
0 Multi-Party Computation 218 16 2 16 Jun 2019
Properties of Orderings and Lattices - Archive of Formal Proofs
https://www.isa-afp.org/entries/Order_Lattice_Prop...
0 Properties of Orderings and Lattices 159 17 2 16 Jun 2019
The Transcendence of π - Archive of Formal Proofs
https://www.isa-afp.org/entries/Pi_Transcendental....
0 The Transcendence of π 137 17 2 16 Jun 2019
Elementary Facts About the Distribution of Primes - Archive of Formal Proofs
https://www.isa-afp.org/entries/Prime_Distribution...
0 Elementary Facts About the Distribution of Primes 199 17 3 16 Jun 2019
Probabilistic Primality Testing - Archive of Formal Proofs
https://www.isa-afp.org/entries/Probabilistic_Prim...
0 Probabilistic Primality Testing 171 15 2 16 Jun 2019
Quantum Hoare Logic - Archive of Formal Proofs
https://www.isa-afp.org/entries/QHLProver.html
0 Quantum Hoare Logic 179 17 2 16 Jun 2019
Quantales - Archive of Formal Proofs
https://www.isa-afp.org/entries/Quantales.html
0 Quantales 100 18 2 16 Jun 2019
Randomised Binary Search Trees - Archive of Formal Proofs
https://www.isa-afp.org/entries/Randomised_BSTs.ht...
0 Randomised Binary Search Trees 150 17 2 16 Jun 2019
Safe OCL - Archive of Formal Proofs
https://www.isa-afp.org/entries/Safe_OCL.html
0 Safe OCL 294 16 3 16 Jun 2019
Signature-Based Gröbner Basis Algorithms - Archive of Formal Proofs
https://www.isa-afp.org/entries/Signature_Groebner...
0 Signature-Based Gröbner Basis Algorithms 226 16 2 16 Jun 2019
Smooth Manifolds - Archive of Formal Proofs
https://www.isa-afp.org/entries/Smooth_Manifolds.h...
0 Smooth Manifolds 142 15 3 16 Jun 2019
A Reduction Theorem for Store Buffers - Archive of Formal Proofs
https://www.isa-afp.org/entries/Store_Buffer_Reduc...
0 A Reduction Theorem for Store Buffers 347 15 1 16 Jun 2019
Symmetric Polynomials - Archive of Formal Proofs
https://www.isa-afp.org/entries/Symmetric_Polynomi...
0 Symmetric Polynomials 272 17 2 16 Jun 2019
The Transcendence of Certain Infinite Series - Archive of Formal Proofs
https://www.isa-afp.org/entries/Transcendence_Seri...
0 The Transcendence of Certain Infinite Series 159 16 3 16 Jun 2019
Transformer Semantics - Archive of Formal Proofs
https://www.isa-afp.org/entries/Transformer_Semant...
0 Transformer Semantics 166 17 2 16 Jun 2019
Isabelle/UTP: Mechanised Theory Engineering for Unifying Theories of Programming - Archive of Formal Proofs
https://www.isa-afp.org/entries/UTP.html
0 Isabelle/UTP: Mechanised Theory Engineering for Unifying Theories of Programming 244 16 2 16 Jun 2019
Universal Turing Machine - Archive of Formal Proofs
https://www.isa-afp.org/entries/Universal_Turing_M...
0 Universal Turing Machine 140 15 2 16 Jun 2019
Archive of Formal Proofs
https://www.isa-afp.org/search.html
0 Search the Archive 59 9 2 16 Jun 2019
Archive of Formal Proofs
https://www.isa-afp.org/statistics.html
0 Statistics 65 20 1 16 Jun 2019
Archive of Formal Proofs
https://www.isa-afp.org/submitting.html
0 Submission Guidelines 429 11 5 16 Jun 2019
Archive of Formal Proofs
https://www.isa-afp.org/topics.html
0 Index by Topic 658 590 1 16 Jun 2019
Archive of Formal Proofs
https://www.isa-afp.org/updating.html
0 Updating Entries 449 12 4 16 Jun 2019
Archive of Formal Proofs
https://www.isa-afp.org/using.html
0 Referring to AFP Entries 158 11 1 16 Jun 2019
60
Domains Found

.de 30%

.edu 15%

.at 8%

other 28%

TLD Distribution
DomainIPAnalyticsAdsense
data61.csiro.au 150.229.21.237 UA-51486545 (16)
cl.cam.ac.uk 128.232.0.20 UA-47341509
cs.cornell.edu 128.84.96.10 UA-42834021
omg.org 50.225.177.228 UA-38630599 (4)
cs.cmu.edu 128.2.42.95 UA-33466045 (3)
ualberta.ca 18.215.127.138 UA-21628058
cs.purdue.edu 128.10.19.120 UA-8625393
philpapers.org 129.100.74.150 UA-6029851 (3)
andrius.velykis.lt 79.98.24.10 UA-1402675
unirioja.es 193.144.2.30 UA-542327
fceia.unr.edu.ar 200.3.123.187
brucker.ch 195.114.98.34
renyi.hu 193.224.79.13
risc.jku.at 193.170.37.79
tbrk.org 185.199.109.153
sjcjoosten.nl 185.182.56.168
liftm.de 178.254.55.220
theory.stanford.edu 171.64.78.10
homes.soic.indiana.edu 156.56.83.20
loria.fr 152.81.144.153
dmi.unict.it 151.97.240.10
cs.bham.ac.uk 147.188.192.42
dcs.shef.ac.uk 143.167.8.2
irit.fr 141.115.28.2
pp.info.uni-karlsruhe.de 141.3.44.232
pp.ipd.kit.edu 141.3.44.232
peteg.org 139.162.60.196
cl-informatik.uibk.ac.at 138.232.66.201
uibk.ac.at 138.232.17.233
nm.wu.ac.at 137.208.116.24
linta.de 136.243.71.142
dblp.uni-trier.de 136.199.55.186
react.uni-saarland.de 134.96.7.186
cosc.canterbury.ac.nz 132.181.17.3
www7.in.tum.de 131.159.47.174
www21.in.tum.de 131.159.46.227
isabelle.in.tum.de 131.159.46.82
dss.in.tum.de 131.159.41.126
net.in.tum.de 131.159.15.24
home.in.tum.de 131.159.0.47
lists.cam.ac.uk 131.111.8.15
users.abo.fi 130.232.212.44
itu.dk 130.226.142.6
people.compute.dtu.dk 130.225.68.6
logic.las.tu-berlin.de 130.149.7.135
tum.de 129.187.255.151
in.tum.de 129.187.254.81
people.inf.ethz.ch 129.132.85.12
cse.unsw.edu.au 129.94.242.19
lig-membres.imag.fr 129.88.12.18
membres-lig.imag.fr 129.88.12.18
lara.epfl.ch 128.178.154.129
cs.uni-muenster.de 128.176.6.240
logic.at 128.130.175.116
andrew.cmu.edu 128.2.42.9
christoph-benzmueller.de 89.31.143.1
hoefner-online.de 81.169.145.148
andreas-lochbihler.de 80.237.132.136
kcl.academia.edu 54.247.118.82
kestrel.edu 50.196.138.179