Information about qedeq.org (Hilbert II - Introduction)

Rating

Last update: 22.11.2016, 04:23 (update every 3 days)

ip-address that hosts the domain: 217.160.231.234. Name qedeq.org refers to 5-character domains. Add your reviews about qedeq.org below in the form of.

Domain name:	qedeq.org
Name:	Hilbert II - Introduction
Description:	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.
Keywords:	Hilbert II, principia mathematica, logic, logical, mathematic, mathematics, mathematical, logic, basic, conclusion, formal, proof, verifier, check, verify, documentation, foundation, correctness, predicate, calculus, first order, language, hilbert, ackermann, whitehead, russell, bernays, michael meyling
DNS-server:	ns18.schlund.de ns17.schlund.de
Provider:	AS8560 Brauerstrasse 48
Organization:	1&1 Internet AG
Country:	Poland, Masovian Voivodeship, Warsaw
How many characters in domain:	5
IP that hosts the domain:	217.160.231.234 (all sites on this IP)