LinkedIn Tag
Próximo Webinar: Preguntas y Respuestas con un QSA - PCI DSS 6.4.3 y 11.6.1 (cside x MegaplanIT)

isa-afp.org

Jul 20th 2026 04:35 PM

united-domains GmbH

unsigned

Sí

Aug 3rd 2025 09:13 AM

Isa-afp.org appears to be a domain related to international sports, possibly affiliated with the International Sports Association for the Physically Disabled. It's registered with United-domains GmbH since 2014, but its transfer is currently restricted.

Copiar Resumen
Copiar Enlace
Útil
No Útil
Información WHOIS
Registrador united-domains GmbH
Registro: July 20th, 2015
Vence: July 20th, 2026
Actualizado: August 3rd, 2025
Servidores de Nombres
ns.udag.net. 185.132.33.253
ns.udag.org. 185.132.34.253
ns.udag.de. 217.160.80.253
Etiquetas Meta
generator
Hugo 0.142.0
viewport
width=device-width, initial-scale=1
description
A collection of proof libraries, examples, and larger scientific developments, mechanically checked in the theorem prover Isabelle.
og:description
A collection of proof libraries, examples, and larger scientific developments, mechanically checked in the theorem prover Isabelle.
og:title
Archive of Formal Proofs
og:url
https://isa-afp.org/
og:image
https://isa-afp.org/images/afp.png
og:type
website
Certificado SSL
Estado:

Deshabilitado

Vence: May 25th, 2025
Emisor: Let's Encrypt
Registros DNS
Nombre de Host Tipo TTL Prioridad Contenido
isa-afp.org SOA 86400
ns.udag.de. hostmaster.united-domains.de. 2020122905 10800 3600 604800 3600
isa-afp.org A 3600
131.159.47.3
isa-afp.org TXT 600
"v=spf1 -all"
isa-afp.org MX 3600 10
mx00.udag.de.
isa-afp.org MX 3600 20
mx01.udag.de.
isa-afp.org NS 86400
ns.udag.net.
isa-afp.org NS 86400
ns.udag.org.
isa-afp.org NS 86400
ns.udag.de.
Reservar una demo