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. zeitwert | Kontrolle über Deine Baustelle
      zeitwert.de
      Hamburg (Germany) - 194.6.194.82
      G Analytics ID: UA-52990711-1
      Server software: nginx
      Technology: CSS, Font Awesome, Google Font API, Html, Html5, Iframe, jQuery, jQuery Cookie, jQuery Validate, Google Analytics
      Number of Javascript: 26
      Number of meta tags: 5
    2. Casasi Studio Immobiliare
      Germany - 217.160.223.165
      Server software: Apache
      Technology: CSS, Html
      Number of meta tags: 1
    3. fototea.ru
      Russian Federation - 141.8.194.202
      Server software: nginx
      Technology: CSS, Flexslider, Html, Html5, Javascript, jQuery, Php, Pingback, Yandex.Metrika, Wordpress
      Number of Javascript: 5
      Number of meta tags: 2
    4. Home | just say spots
      Absecon (United States) - 72.14.184.103
      Server software: Apache/2.2.14 (Ubuntu)
      Technology: CSS, Html, Javascript, jQuery, Swf Object, Drupal
      Number of Javascript: 8
      Number of meta tags: 1
    5. Sigatek Microwave, Sigatek Microwave Communication and Microwave Components
      Sigatek Microwave : - Power Dividers Directional Couplers Bias Tees Microwave Mixers Frequency Doublers Connectors Coaxial Loads Terminations Hybrids 90, 180 Degree Adapters Coaxial New Products I Q Networks Phase Shifters Pin Diode Switches Press Releases Resistive Dividers Microwave and Communication Components
      Scottsdale (United States) - 104.238.125.47
      Server software: Apache/2.2.29 (Unix) mod_ssl/2.2.29 OpenSSL/1.0.1e-fips mod_bwlimited/1.4
      Technology: CSS, Flexslider, Html, Javascript, Php, Google Analytics
      Number of Javascript: 9
      Number of meta tags: 6
    6. Khasiat Temulawak | Manfaat Temulawak
      Jual Kapsul Temu Lawak Untuk Memelihara Kesehatan Hati & Memperbaiki Nafsu Makan, Mengatasi Hepatitis, Sakit Kuning, Perut Kembung, dan Wasir
      Provo (United States) - 69.89.31.157
      Server software: nginx/1.10.1
      Technology: CSS, Html, Html5, Javascript, Php, Pingback, LiveInternet counter, Wordpress
      Number of Javascript: 1
      Number of meta tags: 4
    7. prodriverreport.com
      Tampa (United States) - 192.64.147.176
      Server software: Apache/2.2.3 (CentOS)
      Technology: AJAX Libraries API, Html, Javascript, Php
      Number of Javascript: 1
      Number of meta tags: 2
    8. Morgenjagt
      Hungary - 212.52.180.85
      Server software: Apache/2.2.29 (Unix) mod_ssl/2.2.29 OpenSSL/1.0.1e-fips mod_bwlimited/1.4
      Technology: CSS, Flexslider, Google Font API, Html, Html5, Javascript, jQuery, jQuery Cycle, Php, Pingback, Revslider, Shortcodes, Wordpress
      Number of Javascript: 17
      Number of meta tags: 4
    9. Домен зарегистрирован через «Джино»
      Russian Federation - 81.177.141.15
      Server software: nginx
      Technology: Html, Html5
      Number of Javascript: 1
      Number of meta tags: 1
    10. regentshopkins.org
      Scottsdale (United States) - 50.63.202.55
      Server software: Microsoft-IIS/7.5
      Technology: Html, Html5, Iframe

    Check Other Websites