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

isa-afp.org

No screenshot available
10 / 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
2/100 http://www.andreas-lochbihler.de/ isa-afp.org/entries/Monomorphic_Monad.shtml 24 Jan 2019

IP info

Updated 07 Apr 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 04 Apr 2019
0.12s
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

5112

Dofollow links on the home page

External: 437
Internal: 478

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/Minsky_Machines.ht...
3
[not crawled]
https://www.isa-afp.org/entries/Minsky_Machines.ht...
3
Archive of Formal Proofs
https://www.isa-afp.org/
3 Archive of Formal Proofs 5112 478 437 04 Apr 2019
[not crawled]
https://www.isa-afp.org/entries/Minsky_Machines.ht...
2
[not crawled]
https://www.isa-afp.org/entries/Minsky_Machines.ht...
2
[not crawled]
https://www.isa-afp.org/entries/Minsky_Machines.ht...
2
[not crawled]
https://www.isa-afp.org/entries/Minsky_Machines.ht...
2
[not crawled]
https://www.isa-afp.org/entries/Minsky_Machines.ht...
1
[not crawled]
https://www.isa-afp.org/entries/Minsky_Machines.ht...
1
[not crawled]
https://www.isa-afp.org/entries/Minsky_Machines.ht...
1
[not crawled]
https://www.isa-afp.org/entries/Minsky_Machines.ht...
1
[not crawled]
https://www.isa-afp.org/entries/Minsky_Machines.ht...
1
[not crawled]
https://www.isa-afp.org/entries/Minsky_Machines.ht...
1
[not crawled]
https://www.isa-afp.org/entries/Minsky_Machines.ht...
1
[not crawled]
https://www.isa-afp.org/entries/Minsky_Machines.ht...
1
[not crawled]
https://www.isa-afp.org/entries/Minsky_Machines.ht...
1
[not crawled]
https://www.isa-afp.org/entries/Minsky_Machines.ht...
1
[not crawled]
https://www.isa-afp.org/entries/Minsky_Machines.ht...
1
[not crawled]
https://www.isa-afp.org/entries/Minsky_Machines.ht...
1
[not crawled]
https://www.isa-afp.org/entries/Minsky_Machines.ht...
1
[not crawled]
https://www.isa-afp.org/entries/Minsky_Machines.ht...
1
[not crawled]
https://www.isa-afp.org/entries/Minsky_Machines.ht...
1
[not crawled]
https://www.isa-afp.org/entries/Minsky_Machines.ht...
1
[not crawled]
https://www.isa-afp.org/entries/Minsky_Machines.ht...
1
[not crawled]
https://www.isa-afp.org/entries/Minsky_Machines.ht...
1
[not crawled]
https://www.isa-afp.org/entries/Minsky_Machines.ht...
1
[not crawled]
https://www.isa-afp.org/entries/Minsky_Machines.ht...
1
[not crawled]
https://www.isa-afp.org/entries/Minsky_Machines.ht...
1
[not crawled]
https://www.isa-afp.org/entries/Minsky_Machines.ht...
1
[not crawled]
https://www.isa-afp.org/entries/Minsky_Machines.ht...
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 161 14 2 04 Apr 2019
[not crawled]
https://www.isa-afp.org/entries/Minsky_Machines.ht...
1
[not crawled]
https://www.isa-afp.org/entries/Minsky_Machines.ht...
1
[not crawled]
https://www.isa-afp.org/entries/Minsky_Machines.ht...
1
[not crawled]
https://www.isa-afp.org/entries/Minsky_Machines.ht...
1
[not crawled]
https://www.isa-afp.org/entries/Minsky_Machines.ht...
1
[not crawled]
https://www.isa-afp.org/entries/Minsky_Machines.ht...
1
[not crawled]
https://www.isa-afp.org/entries/Minsky_Machines.ht...
1
[not crawled]
https://www.isa-afp.org/entries/Minsky_Machines.ht...
1
Archive of Formal Proofs
https://www.isa-afp.org/about.html
0 Archive of Formal Proofs 313 12 14 04 Apr 2019
Archive of Formal Proofs
https://www.isa-afp.org/citing.html
0 Citing Entries 96 10 1 04 Apr 2019
Archive of Formal Proofs
https://www.isa-afp.org/download.html
0 Download the Archive 64 11 3 04 Apr 2019
Aggregation Algebras - Archive of Formal Proofs
https://www.isa-afp.org/entries/Aggregation_Algebr...
0 Aggregation Algebras 117 15 2 04 Apr 2019
Auto2 Prover - Archive of Formal Proofs
https://www.isa-afp.org/entries/Auto2_HOL.html
0 Auto2 Prover 113 15 2 04 Apr 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 173 15 2 04 Apr 2019
The Budan-Fourier Theorem and Counting Real Roots with Multiplicity - Archive of Formal Proofs
https://www.isa-afp.org/entries/Budan_Fourier.html
0 The Budan-Fourier Theorem and Counting Real Roots with Multiplicity 232 15 2 04 Apr 2019
Formalization of Concurrent Revisions - Archive of Formal Proofs
https://www.isa-afp.org/entries/Concurrent_Revisio...
0 Formalization of Concurrent Revisions 157 14 1 04 Apr 2019
Constructive Cryptography in HOL - Archive of Formal Proofs
https://www.isa-afp.org/entries/Constructive_Crypt...
0 Constructive Cryptography in HOL 170 15 2 04 Apr 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 239 14 3 04 Apr 2019
Epistemic Logic - Archive of Formal Proofs
https://www.isa-afp.org/entries/Epistemic_Logic.ht...
0 Epistemic Logic 115 14 2 04 Apr 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 273 14 2 04 Apr 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 174 15 4 04 Apr 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 172 19 1 04 Apr 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 208 16 2 04 Apr 2019
Graph Saturation - Archive of Formal Proofs
https://www.isa-afp.org/entries/Graph_Saturation.h...
0 Graph Saturation 148 14 2 04 Apr 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 168 19 3 04 Apr 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 244 14 3 04 Apr 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 178 18 3 04 Apr 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 147 15 1 04 Apr 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 116 14 2 04 Apr 2019
Matroids - Archive of Formal Proofs
https://www.isa-afp.org/entries/Matroids.html
0 Matroids 117 15 2 04 Apr 2019
Minsky Machines - Archive of Formal Proofs
https://www.isa-afp.org/entries/Minsky_Machines.ht...
0 Minsky Machines 202 17 1 04 Apr 2019
Octonions - Archive of Formal Proofs
https://www.isa-afp.org/entries/Octonions.html
0 Octonions 147 14 2 04 Apr 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 150 16 2 04 Apr 2019
The Transcendence of π - Archive of Formal Proofs
https://www.isa-afp.org/entries/Pi_Transcendental....
0 The Transcendence of π 129 16 2 04 Apr 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 187 16 3 04 Apr 2019
The Prime Number Theorem - Archive of Formal Proofs
https://www.isa-afp.org/entries/Prime_Number_Theor...
0 The Prime Number Theorem 348 18 3 04 Apr 2019
Probabilistic Primality Testing - Archive of Formal Proofs
https://www.isa-afp.org/entries/Probabilistic_Prim...
0 Probabilistic Primality Testing 163 14 2 04 Apr 2019
Quantum Hoare Logic - Archive of Formal Proofs
https://www.isa-afp.org/entries/QHLProver.html
0 Quantum Hoare Logic 170 16 2 04 Apr 2019
Quantales - Archive of Formal Proofs
https://www.isa-afp.org/entries/Quantales.html
0 Quantales 93 17 2 04 Apr 2019
Quaternions - Archive of Formal Proofs
https://www.isa-afp.org/entries/Quaternions.html
0 Quaternions 155 14 2 04 Apr 2019
Randomised Binary Search Trees - Archive of Formal Proofs
https://www.isa-afp.org/entries/Randomised_BSTs.ht...
0 Randomised Binary Search Trees 140 16 2 04 Apr 2019
Safe OCL - Archive of Formal Proofs
https://www.isa-afp.org/entries/Safe_OCL.html
0 Safe OCL 287 15 3 04 Apr 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 216 15 2 04 Apr 2019
An Incremental Simplex Algorithm with Unsatisfiable Core Generation - Archive of Formal Proofs
https://www.isa-afp.org/entries/Simplex.html
0 An Incremental Simplex Algorithm with Unsatisfiable Core Generation 196 15 2 04 Apr 2019
Smooth Manifolds - Archive of Formal Proofs
https://www.isa-afp.org/entries/Smooth_Manifolds.h...
0 Smooth Manifolds 135 14 3 04 Apr 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 338 14 1 04 Apr 2019
Symmetric Polynomials - Archive of Formal Proofs
https://www.isa-afp.org/entries/Symmetric_Polynomi...
0 Symmetric Polynomials 254 16 2 04 Apr 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 148 15 3 04 Apr 2019
Transformer Semantics - Archive of Formal Proofs
https://www.isa-afp.org/entries/Transformer_Semant...
0 Transformer Semantics 158 16 2 04 Apr 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 226 15 2 04 Apr 2019
Universal Turing Machine - Archive of Formal Proofs
https://www.isa-afp.org/entries/Universal_Turing_M...
0 Universal Turing Machine 132 14 2 04 Apr 2019
Archive of Formal Proofs
https://www.isa-afp.org/search.html
0 Search the Archive 57 9 2 04 Apr 2019
Archive of Formal Proofs
https://www.isa-afp.org/statistics.html
0 Statistics 63 24 1 04 Apr 2019
Archive of Formal Proofs
https://www.isa-afp.org/submitting.html
0 Submission Guidelines 403 11 5 04 Apr 2019
Archive of Formal Proofs
https://www.isa-afp.org/topics.html
0 Index by Topic 637 573 1 04 Apr 2019
Archive of Formal Proofs
https://www.isa-afp.org/updating.html
0 Updating Entries 447 12 4 04 Apr 2019
Archive of Formal Proofs
https://www.isa-afp.org/using.html
0 Referring to AFP Entries 155 11 1 04 Apr 2019
59
Domains Found

.de 29%

.edu 15%

.uk 8%

other 28%

TLD Distribution
DomainIPAnalyticsAdsense
data61.csiro.au 150.229.69.237 UA-51486545 (15)
cl.cam.ac.uk 128.232.0.20 UA-47341509
cs.cornell.edu 128.84.96.12 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.191.152 UA-21628058
cs.purdue.edu 128.10.19.120 UA-8625393
philpapers.org 129.100.74.150 UA-6029851 (3)
fceia.unr.edu.ar 200.3.123.187 UA-4126279 (6)
andrius.velykis.lt 79.98.24.10 UA-1402675
unirioja.es 193.144.2.30 UA-542327
brucker.ch 195.114.98.34
renyi.hu 193.224.79.4
risc.jku.at 193.170.37.79
tbrk.org 185.199.111.153
sjcjoosten.nl 185.182.56.168
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
cs.st-andrews.ac.uk 138.251.206.76
cl-informatik.uibk.ac.at 138.232.66.201
uibk.ac.at 138.232.17.233
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
www4.in.tum.de 131.159.46.188
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
tum.de 129.187.255.228
in.tum.de 129.187.254.81
lri.fr 129.175.15.11
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