|
Information about pmii.org (Hilbert II - Introduction)
ip-address that hosts the domain: 217.160.231.234. Name pmii.org refers to 4-character domains. Add your reviews about pmii.org below in the form of. |
Domain name: |
pmii.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: |
ns17.schlund.de ns18.schlund.de |
Provider: |
AS8560 Brauerstrasse 48 |
Organization: |
1&1 Internet AG |
Country: |
Poland, Masovian Voivodeship, Warsaw |
How many characters in domain: |
4 |
IP that hosts the domain: |
217.160.231.234 (all sites on this IP) |
Analysis pmii.org
Indexed pages in Google: |
show |
Links to site in Google: |
show |
Indexed pages in Bing: |
show |
SimilarWeb profile: |
show |
Recently watched
cardmember.org
searched
now
minerali.org
searched
now
pgumcnc.org
searched
now
plombiersaintdidieraumontdor.org
searched
now
gpacarts.org
searched
1 second ago
humansrock.org
searched
1 second ago
nosmallmatter.org
searched
1 second ago
pdalpd13.org
searched
1 second ago
turfait.org
searched
1 second ago
alfouztrust.org
searched
2 seconds ago
catholicbiblestudymap.org
searched
2 seconds ago
digitalfashionfactory.org
searched
2 seconds ago
gusiieducation.org
searched
2 seconds ago
healthypima.org
searched
2 seconds ago
bestmihomeinsurance.org
searched
3 seconds ago
harleysforheroes.org
searched
3 seconds ago
jetsportsboatingclub.org
searched
3 seconds ago
jointinstitute.org
searched
3 seconds ago
rnconsultant.org
searched
3 seconds ago
selfish-brain.org
searched
3 seconds ago
|