Qedeq.org
Visit qedeq.org-
4 weeks ago
Last scanned
-
22 years
Domain Age
-
No data
Daily Visitors
-
No data
Global Rank
Qedeq.org
Visit qedeq.org
About Website
Updated:
Hilbert II - Introduction
Verify and document mathematical proofs. This open source project wants to present mathematical knowledge in a formal correct form. It includs a proof verifier which can check a mathematical proof written in a certain formal language. This mathematical knowledge is organized in qedeq BOOKs which could be spread over the whole world wide web. There are converters for generating LaTeX files and html pages.
Network Data
This website is hosted with 1&1 IONOS SE, which reserves the following IP addresses for qedeq.org: 217.160.0.244. Moreover, DNS used with this website include ns1029.ui-dns.de, ns1045.ui-dns.org, ns1078.ui-dns.com, ns1119.ui-dns.biz.
-
4 weeks ago
Last scanned
-
22 years
Domain Age
-
No data
Daily Visitors
-
No data
Global Rank
Network
ADDRESSING DETAILS
-
Hosting Company
-
IPs
-
DNS
ns1029.ui-dns.de
ns1045.ui-dns.org
ns1078.ui-dns.com
ns1119.ui-dns.biz
Whois
OWNERSHIP
-
Created
2002-05-09
-
Expires
2023-05-09
-
Owner
REDACTED FOR PRIVACY (1&1 Internet Limited)
-
Registar
Public Interest Registry
-
Owner Emails
dataprivacyprotected@ionos.de
Domain & Keywords
The registrar of qedeq.org is Public Interest Registry and the name expires on 2023-05-09. According to open source data, you can reach the owner at dataprivacyprotected@ionos.de but please make sure you have a good reason for unsolicited messages. Their country of residence is United Kingdom.
- language
- mathematics
- mathematical
- logical
- foundation
- conclusion
- verifier
- ackermann
- documentation
- predicate
Websites similar to qedeq.org
-
triskelion-ltd.com-
Global rank
N/A
-
Daily Visitors
N/A
-
-
estymath.com-
Global rank
N/A
-
Daily Visitors
N/A
-
-
hws.edu-
Global rank
19.7K
-
Daily Visitors
10.6K
-
-
symmetryperfect.com-
Global rank
N/A
-
Daily Visitors
N/A
-
-
settheory.net-
Global rank
N/A
-
Daily Visitors
534
-