Loading...
Statistics
Advertisement

Hilbert II - Introduction
www.qedeq.org/
Verify and document mathematical proofs. This open source project wants to present mathematical knowledge in a formal correct form. It includs a proof ...

Qedeq.org

Advertisement
Conversion Technology Metas Server
Qedeq.org is hosted in Germany . Qedeq.org doesn't use HTTPS protocol. Number of used technologies: 4. First technologies: CSS, Html, Javascript, Number of used javascripts: 0. Number of used analytics tools: 0. Its server type is: Apache.

Technologies in use by Qedeq.org

Technology

Number of occurences: 4
  • CSS
  • Html
  • Javascript
  • Php

Advertisement

Server Type

  • Apache

Conversion rate optimization
visitors Clickable call number Not founded!
visitors Conversion form (contact form, subcriber) Not founded!
visitors Clickable email Founded!
visitors CTA (call to action) button Not founded!
visitors List Not founded!
visitors Image Not founded!
visitors Enhancement Not founded!
visitors Responsive website Not founded!
visitors Facebook sharing Not founded!
visitors Google+ sharing Not founded!
visitors Twitter sharing Not founded!
visitors Linkedin sharing Not founded!
visitors Blog on the webiste Not founded!

HTTPS (SSL) - Qedeq.org

Missing HTTPS protocol.

    Meta - Qedeq.org

    Number of occurences: 9
    • Name: language
      Content: us
    • Name: author
      Content: Michael Meyling - mime@qedeq.org
    • Name: description
      Content: 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.
    • Name: keywords
      Content: 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
    • Name: generator
      Content: org.qedeq.web.PageGenerator
    • Name: date
      Content: 2016-03-28T01:29:57+0200
    • Name: revision
      Content: $Revision: 1.28 $
    • Name: rating
      Content: mathematics
    • Name:
      Content: text/html; charset=us-ascii

    Server / Hosting

    • IP: 217.160.231.234
    • Latitude: 51.30
    • Longitude: 9.49
    • Country: Germany

    Rname

    • ns17.schlund.de
    • ns18.schlund.de
    • mx00.schlund.de
    • mx01.schlund.de

    Target

    • hostmaster.schlund.de

    HTTP Header Response

    HTTP/1.1 200 OK Date: Sat, 07 May 2016 11:10:48 GMT Server: Apache Last-Modified: Sun, 27 Mar 2016 23:30:21 GMT ETag: "a0d177b9-232a-52f102e076f20" Accept-Ranges: bytes Content-Length: 9002 Content-Type: text/html X-Cache: MISS from s_xt40 X-Cache-Lookup: MISS from s_xt40:80 Via: 1.1 s_xt40 (squid/3.5.14) Connection: keep-alive

    DNS

    host: qedeq.org
    1. class: IN
    2. ttl: 3600
    3. type: A
    4. ip: 217.160.231.234
    host: qedeq.org
    1. class: IN
    2. ttl: 172800
    3. type: NS
    4. target: ns17.schlund.de
    host: qedeq.org
    1. class: IN
    2. ttl: 172800
    3. type: NS
    4. target: ns18.schlund.de
    host: qedeq.org
    1. class: IN
    2. ttl: 86400
    3. type: SOA
    4. mname: ns17.schlund.de
    5. rname: hostmaster.schlund.de
    6. serial: 2016042700
    7. refresh: 28800
    8. retry: 7200
    9. expire: 604800
    10. minimum-ttl: 600
    host: qedeq.org
    1. class: IN
    2. ttl: 3600
    3. type: MX
    4. pri: 10
    5. target: mx00.schlund.de
    host: qedeq.org
    1. class: IN
    2. ttl: 3600
    3. type: MX
    4. pri: 10
    5. target: mx01.schlund.de

    Common Typos/Mistakes

    This list shows You some spelling mistakes at internet search for this domain.

    www.edeq.org, www.qeedeq.org, www.eedeq.org, www.qredeq.org, www.redeq.org, www.qvedeq.org, www.vedeq.org, www.qbedeq.org, www.bedeq.org, www.qnedeq.org, www.nedeq.org, www.qfedeq.org, www.fedeq.org, www.qgedeq.org, www.gedeq.org, www.qhedeq.org, www.hedeq.org, www.qyedeq.org, www.yedeq.org, www.qdeq.org, www.qexdeq.org, www.qxdeq.org, www.qesdeq.org, www.qsdeq.org, www.qewdeq.org, www.qwdeq.org, www.qerdeq.org, www.qrdeq.org, www.qefdeq.org, www.qfdeq.org, www.qevdeq.org, www.qvdeq.org, www.qecdeq.org, www.qcdeq.org, www.qeqdeq.org, www.qqdeq.org, www.qeadeq.org, www.qadeq.org, www.qeydeq.org, www.qydeq.org, www.qeeq.org, www.qedteq.org, www.qeteq.org, www.qedgeq.org, www.qegeq.org, www.qedbeq.org, www.qebeq.org, www.qedxeq.org, www.qexeq.org, www.qedseq.org, www.qeseq.org, www.qedfeq.org, www.qefeq.org, www.qedveq.org, www.qeveq.org, www.qedyeq.org, www.qeyeq.org, www.qedzeq.org, www.qezeq.org, www.qedaeq.org, www.qeaeq.org, www.qedeeq.org, www.qeeeq.org, www.qedreq.org, www.qereq.org, www.qedq.org, www.qedexq.org, www.qedxq.org, www.qedesq.org, www.qedsq.org, www.qedewq.org, www.qedwq.org, www.qederq.org, www.qedrq.org, www.qedefq.org, www.qedfq.org, www.qedevq.org, www.qedvq.org, www.qedecq.org, www.qedcq.org, www.qedeqq.org, www.qedqq.org, www.qedeaq.org, www.qedaq.org, www.qedeyq.org, www.qedyq.org, www.qede.org, www.qedeqe.org, www.qedee.org, www.qedeqr.org, www.qeder.org, www.qedeqv.org, www.qedev.org, www.qedeqb.org, www.qedeb.org, www.qedeqn.org, www.qeden.org, www.qedeqf.org, www.qedef.org, www.qedeqg.org, www.qedeg.org, www.qedeqh.org, www.qedeh.org, www.qedeqy.org, www.qedey.org,

    Other websites we recently analyzed

    1. Digital Marketing That Works
      Digital marketing that really works every time. Go from beginner to expert
      Provo (United States) - 69.89.31.241
      Server software: nginx/1.8.1
      Technology: CSS, Google Font API, Html, Html5, Javascript, jQuery, Php, Pingback, Shortcodes, Google Analytics, Wordpress
      Number of Javascript: 10
      Number of meta tags: 5
    2. ABD EMPIRE
      Scottsdale (United States) - 173.201.63.128
      Server software: Apache
      Technology: CSS, Html, Php
      Number of meta tags: 1
    3. Добро пожаловать на www.voronesh.xyz! Hostinger хостинг с PHP и MySQL.
      United Kingdom - 31.220.16.110
      Server software: Apache
      Technology: CSS, Html, Php
      Number of meta tags: 1
    4. BELECTRIC +++ Ground-mounted Solar Power Plants and PV Roof Systems +++: Home
      BELECTRIC +++ Ground-mounted Solar Power Plants and PV Roof Systems +++
      Germany - 212.185.165.77
      Server software: Apache
      Technology: AJAX Libraries API, CSS, Html, Javascript, jQuery UI, Php, Google Analytics
      Number of Javascript: 14
      Number of meta tags: 5
    5. jazzmedia.ca
      Calgary (Canada) - 64.141.114.32
      Server software: Microsoft-IIS/8.0
      Technology: CSS, Cufon, Html, Html5, Javascript, Php, SuperFish
      Number of Javascript: 10
      Number of meta tags: 1
    6. movision entertainment Metrosol | movision entertainment | Home
      United States - 209.210.19.217
      Server software:
      Technology: CSS, Html, Iframe, Javascript, jQuery UI
      Number of Javascript: 7
      Number of meta tags: 1
    7. Çѱ¹´Ù¹®È­¼¾ÅÍ
      Korea, Republic of - 66.232.145.236
      Server software: Microsoft-IIS/5.0
      Technology: Html, Php
      Number of meta tags: 1
    8. Интернет-магазин мебель в Санкт-Петербурге
      Wilmington (United States) - 52.45.231.155
      Server software:
      Technology: CSS, Html, Html5, Javascript, Wix
      Number of Javascript: 2
      Number of meta tags: 6
    9. Администрация муниципального образования Старопольское сельское поселение Сланцевского муниципального района Ленинградской области
      Russian Federation - 213.189.197.2
      Server software: nginx/Zenon version
      Technology: CSS, Html, Javascript, Php, Swf Object
      Number of Javascript: 2
      Number of meta tags: 1
    10. downesmediation.com
      Ashburn (United States) - 174.129.234.29
      Server software: WebServices
      Technology: CSS, Html, Javascript, Php
      Number of meta tags: 1

    Check Other Websites