www.spass-prover.org checked at 2025-01-20T13:59:46.557Z 180ms 47/47/47 100% R:14
DNSTREE.COM - www.spass-prover.org
Search for IP or hostnames
www.spass-prover.org
MX | u04mx07.mpi-klsb.mpg.de | ||||||
A | 139.19.205.200🇩🇪 DFN Deutsches Forschungsnetz e.V. | ||||||
PTR | u04mx07.mpi-klsb.mpg.de | ||||||
MX | u18mx07.mpi-klsb.mpg.de | ||||||
A | 139.19.86.250🇩🇪 DFN Deutsches Forschungsnetz e.V. | ||||||
PTR | srs.mpi-klsb.mpg.de | ||||||
PTR | u18mx07.mpi-klsb.mpg.de | ||||||
A | 139.19.206.34🇩🇪 DFN Deutsches Forschungsnetz e.V. |
spass-prover.org
NS | dns01.manitu.net | ||||||
NS | dns02.manitu.net | ||||||
NS | dns0.mpi-klsb.mpg.de | ||||||
NS | dns1.mpi-klsb.mpg.de | ||||||
MX | u04mx07.mpi-klsb.mpg.de | ||||||
MX | u18mx07.mpi-klsb.mpg.de | ||||||
A | 139.19.206.34🇩🇪 DFN Deutsches Forschungsnetz e.V. |
AI analysis
The DNS record www.spass-prover.org is configured to resolve to the IP address 139.19.206.34.
The IP numbers are shared between www.spass-prover.org and other host names such as europvi.mpi-inf.mpg.de, rocr.bioinf.mpi-inf.mpg.de, d2.mpi-inf.mpg.de, embodied.mpi-inf.mpg.de, and lists.mpi-sws.org.
Two mail servers, u04mx07.mpi-klsb.mpg.de and u18mx07.mpi-klsb.mpg.de, manage www.spass-prover.org.
Just like the domains www.imprs-sws.mpg.de, wks-14-47.mpi-inf.mpg.de, ecva.net, mpi-sb.mpg.de, and mpii.de, www.spass-prover.org also has the same mail server setup.
u04mx07.mpi-klsb.mpg.de and u18mx07.mpi-klsb.mpg.de both point to single IP addresses: 139.19.205.200 and 139.19.86.250, respectively.
johedugfp 2025-01-20 dbq