Sketis.net

Search Preview

Sketis | Website of Dr. Markus "Makarius" Wenzel

www.sketis.net/

Most Used Html Elements

  • <a> : 64
  • <li> : 57
  • <link> : 17
  • <div> : 15
  • <ul> : 9
  • <h1> : 7
  • <aside> : 7
  • <input> : 7
  • <script> : 5
  • <img> : 3
  • <p> : 3
  • <form> : 3
  • <meta> : 3
  • <header> : 2
  • <h3> : 2
  • <span> : 2
  • <label> : 2
  • <abbr> : 2
  • <style> : 2
  • <hr> : 2

Most Used Html Classes

  • "cat-item" : 11
  • "widget" : 7
  • "page_item" : 5
  • "screen-reader-text" : 4
  • "widget-title" : 4
  • "search-form" : 2
  • "search-submit" : 2
  • "search-field" : 2
  • "page" : 2

Where is www.sketis.net hosted?

Country:
Germany
Registrar:
EPAG DOMAINSERVICES GmbH
Latitude:
51.00
Longitude:
9.00
IP address:
46.38.249.95
IP Binary address:
101110001001101111100101011111
IP Octal address:
5611574537
IP Hexadecimal address:
2e26f95f

Context analysis of sketis.net

Number of letters on this page:
1 120
Number of words on this page:
227
Number of sentences on this page:
6
Average words per sentences on this page:
38
Number of syllables on this page:
391

Domain name architecture

Domain name length:
10
Hyphens:
Domain doesn't contain hyphens!
Domain name with Hindi letters:
स क ए ट इ स . ञ ए ट
Domain name with Hebrew letters:
שׂ ק(k) (e) ת (i) שׂ . נ (e) ת
Domain name with Cyrillic letters:
с к e т и с . н e т
Domain name with Arabic letters:
ص ك (e) ت (i) ص . ن (e) ت
Domain name with Greek letters:
σ κ ε τ ι σ . ν ε τ
Domain name with Chinese letters:
艾丝 开 伊 提 艾 艾丝 . 艾娜 伊 提
Domain without Consonants:
skts.nt
Domain without Vowels:
ei.e
Alphabet positions:
s19 k11 e5 t20 i9 s19 . n14 e5 t20
Domain name pattern:
V: Vowel, C: Consonant, N: Number
C C V C V C . C V C

<HEAD> DATA INFORMATION

Encoding:
UTF-8
viewport:
width=device-width
generator:
WordPress 4.8.1

External links in sketis.net

  • http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/w/Wenzel:Markus.html
  • http://www4.in.tum.de/~wenzelm/papers/
  • http://isabelle.in.tum.de
  • http://www.polyml.org
  • http://www.jedit.org
  • http://isabelle.in.tum.de/img/isabelle_jedit.png
  • https://www.newton.ac.uk/event/bpr
  • http://www.turing-gateway.cam.ac.uk/event/ofbw34
  • https://wordpress.org/
  • https://flattr.com/submit/auto?user_id=makarius&popout=1&url=http%3A%2F%2Fsketis.net%2F&language=en_US&category=text&title=Sketis&description=Website+of+Dr.+Markus+%26quot%3BMakarius%26quot%3B+Wenzel&tags=blog

Internal links in sketis.net

  • http://sketis.net/
  • #search-container
  • #content
  • http://sketis.net/desert
  • http://sketis.net/isabelle
  • http://sketis.net/isabelle/isabelle-workshop-2018
  • http://sketis.net/impressum-2
  • mailto:makarius@sketis.net
  • http://sketis.net/2017/release-candidates-for-isabelle2017
  • http://sketis.net/2017/the-isabelle-prover-ide-after-9-years-of-development-and-beyond
  • http://sketis.net/2017/illegale-kriege
  • http://sketis.net/2017/social-networks-in-the-isabelle-and-coq-community
  • http://sketis.net/2017/visual-studio-code-as-prover-ide-for-isabelle
  • http://sketis.net/2017/08
  • http://sketis.net/2017/07
  • http://sketis.net/2017/04
  • http://sketis.net/2017/02
  • http://sketis.net/2017/01
  • http://sketis.net/2016/12
  • http://sketis.net/2016/11
  • http://sketis.net/2016/09
  • http://sketis.net/2016/08
  • http://sketis.net/2016/06
  • http://sketis.net/2016/05
  • http://sketis.net/2016/04
  • http://sketis.net/2016/03
  • http://sketis.net/2016/02
  • http://sketis.net/2016/01
  • http://sketis.net/2015/12
  • http://sketis.net/2015/11
  • http://sketis.net/2015/07
  • http://sketis.net/2015/05
  • http://sketis.net/2015/04
  • http://sketis.net/2015/03
  • http://sketis.net/2015/02
  • http://sketis.net/2015/01
  • http://sketis.net/2014/12
  • http://sketis.net/2014/11
  • http://sketis.net/category/admin
  • http://sketis.net/category/coq
  • http://sketis.net/category/global-financial-system
  • http://sketis.net/category/isabelle
  • http://sketis.net/category/lean-prover
  • http://sketis.net/category/local
  • http://sketis.net/category/media
  • http://sketis.net/category/ml
  • http://sketis.net/category/pide
  • http://sketis.net/category/proposals
  • http://sketis.net/category/science
  • http://sketis.net/wp-login.php
  • http://sketis.net/feed
  • http://sketis.net/comments/feed

Possible email addresses for sketis.net

  • info@sketis.net
  • email@sketis.net
  • support@sketis.net
  • contact@sketis.net
  • admin@sketis.net
  • postmaster@sketis.net
  • hostmaster@sketis.net
  • domain@sketis.net
  • abuse@sketis.net

Possible Domain Typos

www.ketis.net, www.sqketis.net, www.qketis.net, www.swketis.net, www.wketis.net, www.seketis.net, www.eketis.net, www.szketis.net, www.zketis.net, www.sxketis.net, www.xketis.net, www.scketis.net, www.cketis.net, www.setis.net, www.skuetis.net, www.suetis.net, www.skjetis.net, www.sjetis.net, www.skmetis.net, www.smetis.net, www.skletis.net, www.skoetis.net, www.soetis.net, www.sktis.net, www.skewtis.net, www.skwtis.net, www.skestis.net, www.skstis.net, www.skedtis.net, www.skdtis.net, www.skeftis.net, www.skftis.net, www.skertis.net, www.skrtis.net, www.ske3tis.net, www.sk3tis.net, www.ske4tis.net, www.sk4tis.net, www.skeis.net, www.sketris.net, www.skeris.net, www.sketfis.net, www.skefis.net, www.sketgis.net, www.skegis.net, www.skethis.net, www.skehis.net, www.sketyis.net, www.skeyis.net, www.sket5is.net, www.ske5is.net, www.sket6is.net, www.ske6is.net, www.skets.net, www.sketius.net, www.sketus.net, www.sketijs.net, www.sketjs.net, www.sketiks.net, www.sketks.net, www.sketils.net, www.sketls.net, www.sketios.net, www.sketos.net, www.sketi8s.net, www.sket8s.net, www.sketi9s.net, www.sket9s.net, www.sketi*s.net, www.sket*s.net, www.sketi.net, www.sketisq.net, www.sketiq.net, www.sketisw.net, www.sketiw.net, www.sketise.net, www.sketie.net, www.sketisz.net, www.sketiz.net, www.sketisx.net, www.sketix.net, www.sketisc.net, www.sketic.net,

More Sites

MATHTEXTBOOK.ORG
Number of used Technologies: 6
Number of used Javascript files: 6
Server Software: GSE
Server Location: United States / Mountain View - 172.217.22.83
List of used Technologies: Histats, Google Adsense, CSS (Cascading Style Sheets), Google Font API, Html (HyperText Markup Language), Javascript, Php (Hypertext Preprocessor), Google +1 Button
Oliveira Eletricista Instalações Elétricas em Geral
Aumento de carga Light, Reforma de PC, instalações elétricas comerciais e residenciais, manutenção elétrica. Atendendo em diversas localidades do Rio de Janeiro
Number of used Technologies: 2
Number of used Javascript files: 2
Server Software: Pepyaka/1.11.3
Server Location: Ireland / Dublin - 54.171.17.33
List of used Technologies: Wix.com - Free Website Builder, Html (HyperText Markup Language), Html5, Javascript
Garfinkle's Fine Jewelry
Number of used Technologies: 1
Number of used Javascript files: 1
Server Software: Microsoft-IIS/7.5
Server Location: United States / Chicago - 75.149.92.185
List of used Technologies: CSS (Cascading Style Sheets), Html (HyperText Markup Language), Html5, Javascript, jQuery UI
Being Human – Weaving Together Worldy Rhythms Of Different Cultures Through Written & Visual Expressions
Number of used Technologies: 13
Number of used Javascript files: 13
Server Software: cloudflare-nginx
Server Location: United States / Chicago - 144.208.71.113
List of used Technologies: Wordpress CMS, CSS (Cascading Style Sheets), Google Font API, Html (HyperText Markup Language), Html5, Javascript, jQuery, Php (Hypertext Preprocessor), Pingback, SVG (Scalable Vector Graphics)
Cool Springs ENT - Home
Number of used Technologies: 0
Number of used Javascript files: 0
Server Software: Apache
Server Location: United States / Scottsdale - 50.62.125.1
List of used Technologies: CSS (Cascading Style Sheets), Html (HyperText Markup Language), Iframe, Javascript, Swf Object
Meal Go – SSA
Number of used Technologies: 43
Number of used Javascript files: 43
Server Software: Microsoft-IIS/7.5
Server Location: United States / Scottsdale - 50.63.189.244
List of used Technologies: Wordpress CMS, Google Analytics, CSS (Cascading Style Sheets), Flexslider, Google Font API, Html (HyperText Markup Language), Html5, Javascript, jQuery, jQuery Cycle, jQuery Hover Intent, jQuery UI, Php (Hypertext Preprocessor), Pingback, Revslider
stilmedia - portfolio von andré schmidt :::::::::::::.....
André Schmidt - stilphoto.de - Photografien von André Schmidt
Number of used Technologies: 0
Number of used Javascript files: 0
Server Software: Apache
Server Location: Germany / - 217.160.230.164
Madalina Dinu Band - MDB
Madalina Dinu Band este alegerea ideala pentru orice tip de eveniment din viata dumneavoastra. O petrecere reusita incepe cu o muzica buna!
Number of used Technologies: 25
Number of used Javascript files: 25
Server Software: Advanced Hosting by http://www.unixy.net/advanced-hosting/varnish-nginx-cpanel/
Server Location: Romania / - 89.35.6.153
List of used Technologies: Wordpress CMS, Facebook Retargeting, Google Analytics, CSS (Cascading Style Sheets), Google Font API, Html (HyperText Markup Language), Html5, Javascript, jQuery, jQuery Cycle, MediaElement, Php (Hypertext Preprocessor), Pingback, Revslider, Shortcodes, Facebook Box
お得に住宅を建てるコツ｜注文住宅なら国分建設
家を建てる時は暮らしやすくて個性的な住宅を希望する人がほとんどです。それを実現するためには注文住宅になりますが、国分建設ならローコストのデザイナー住宅が可能です。茨城県南部に根付いた家造りをしており、信頼と実績に定評があります。ショールームがあるので予算に合ったプランを選ぶことができます。
Number of used Technologies: 2
Number of used Javascript files: 2
Server Software: Apache/2.2.31 (Unix) mod_ssl/2.2.31 OpenSSL/1.0.1e-fips mod_bwlimited/1.4 PHP/5.4.44
Server Location: Sweden / - 178.73.248.233
List of used Technologies: CSS (Cascading Style Sheets), Font Awesome, Html (HyperText Markup Language), Javascript, Php (Hypertext Preprocessor), BootstrapCDN, Maxcdn
Jill & Gerard - Home
Number of used Technologies: 6
Number of used Javascript files: 6
Server Software: Apache
Server Location: United States / San Francisco - 199.34.228.55
List of used Technologies: Google Analytics, Quantcast Measurement, CSS (Cascading Style Sheets), Html (HyperText Markup Language), Html5, Iframe, Javascript, Php (Hypertext Preprocessor)