Leancop.de

Search Preview

leanCoP: Lean Connection-Based Theorem Proving

www.leancop.de/

Most Used Html Elements

  • <font> : 37
  • <td> : 25
  • <a> : 22
  • <tr> : 13
  • <b> : 12
  • <li> : 11
  • <br> : 10
  • <tbody> : 8
  • <table> : 8
  • <img> : 6
  • <p> : 4
  • <div> : 4
  • <ul> : 2
  • <link> : 2

Where is www.leancop.de hosted?

Country:
Germany
Registrar:
DENIC eG
Latitude:
51.00
Longitude:
9.00
IP address:
194.117.254.54
IP Binary address:
11000010011101011111111000110110
IP Octal address:
30235377066
IP Hexadecimal address:
c275fe36

Context analysis of leancop.de

Number of letters on this page:
1 417
Number of words on this page:
304
Number of sentences on this page:
21
Average words per sentences on this page:
14
Number of syllables on this page:
486
Number of Bold texts:
12

Domain name architecture

Domain name length:
10
Hyphens:
Domain doesn't contain hyphens!
Domain name with Hindi letters:
ल ए अ ञ च ओ प . द ए
Domain name with Hebrew letters:
ל (e) (a) נ ק(c) (ο) פּ . ד (e)
Domain name with Cyrillic letters:
л e a н ц о п . д e
Domain name with Arabic letters:
ل (e) ا ن (c) (o) (p) . د (e)
Domain name with Greek letters:
λ ε α ν χ ο π . δ ε
Domain name with Chinese letters:
艾勒 伊 诶 艾娜 西 哦 屁 . 迪 伊
Domain without Consonants:
lncp.d
Domain without Vowels:
eao.e
Alphabet positions:
l12 e5 a1 n14 c3 o15 p16 . d4 e5
Domain name pattern:
V: Vowel, C: Consonant, N: Number
C V V C C V C . C V

<HEAD> DATA INFORMATION

Encoding:
iso-8859-1

External links in leancop.de

  • http://www.tu-darmstadt.de/index.en.html
  • http://www.uio.no
  • http://www.tptp.org/CASC/J5/
  • http://www.uni-potsdam.de/pressmitt/2010/pm205_10.htm
  • http://www.tptp.org/CASC/22/
  • http://www.ontologyportal.org/reasoning.html
  • http://www.tptp.org/CASC/J4/
  • http://www.tptp.org/CASC/21/
  • http://www.jens-otten.de
  • http://www.mn.uio.no/ifi/english/
  • http://www.uio.no/english/
  • http://www.visitoslo.com

Internal links in leancop.de

  • index.html
  • leancopS.html
  • leancopD.html
  • ileancop/index.html
  • mleancop/index.html
  • index.html#Contact

Possible email addresses for leancop.de

  • info@leancop.de
  • email@leancop.de
  • support@leancop.de
  • contact@leancop.de
  • admin@leancop.de
  • postmaster@leancop.de
  • hostmaster@leancop.de
  • domain@leancop.de
  • abuse@leancop.de

Possible Domain Typos

www.eancop.de, www.lpeancop.de, www.peancop.de, www.loeancop.de, www.oeancop.de, www.lieancop.de, www.ieancop.de, www.lkeancop.de, www.keancop.de, www.lmeancop.de, www.meancop.de, www.l.eancop.de, www..eancop.de, www.lancop.de, www.lewancop.de, www.lwancop.de, www.lesancop.de, www.lsancop.de, www.ledancop.de, www.ldancop.de, www.lefancop.de, www.lfancop.de, www.lerancop.de, www.lrancop.de, www.le3ancop.de, www.l3ancop.de, www.le4ancop.de, www.l4ancop.de, www.lencop.de, www.leaqncop.de, www.leqncop.de, www.leawncop.de, www.lewncop.de, www.leazncop.de, www.lezncop.de, www.leaxncop.de, www.lexncop.de, www.leasncop.de, www.lesncop.de, www.leacop.de, www.leanbcop.de, www.leabcop.de, www.leangcop.de, www.leagcop.de, www.leanhcop.de, www.leahcop.de, www.leanjcop.de, www.leajcop.de, www.leanmcop.de, www.leamcop.de, www.lean cop.de, www.lea cop.de, www.leanop.de, www.leancxop.de, www.leanxop.de, www.leancsop.de, www.leansop.de, www.leancdop.de, www.leandop.de, www.leancfop.de, www.leanfop.de, www.leancvop.de, www.leanvop.de, www.leanc op.de, www.lean op.de, www.leancp.de, www.leancoip.de, www.leancip.de, www.leancokp.de, www.leanckp.de, www.leancolp.de, www.leanclp.de, www.leancopp.de, www.leancpp.de, www.leanco9p.de, www.leanc9p.de, www.leanco0p.de, www.leanc0p.de, www.leanco.de, www.leancopo.de, www.leancoo.de, www.leancopl.de, www.leancol.de, www.leancop0.de, www.leanco0.de, www.leancop-.de, www.leanco-.de, www.leancop_.de, www.leanco_.de,

More Sites

Consumer Advocates has one goal--to protect America's workers, consumers and investors. Our mission is to help people who have been hurt to fight back.
Number of used Technologies: 2
Number of used Javascript files: 2
Server Software: Pepyaka/1.11.3
Server Location: United States / Houston - 34.205.138.49
List of used Technologies: Wix.com - Free Website Builder, Html (HyperText Markup Language), Html5, Javascript
We provide world class printers and and accessories at affordable rate
Number of used Technologies: 4
Number of used Javascript files: 4
Server Software: Apache/2.4.25
Server Location: United States / Scottsdale - 160.153.131.140
List of used Technologies: CSS (Cascading Style Sheets), Font Awesome, Html (HyperText Markup Language), Html5, Javascript, Php (Hypertext Preprocessor)
Number of used Technologies: 16
Number of used Javascript files: 16
Server Software: Apache
Server Location: United States / Scottsdale - 184.168.138.128
List of used Technologies: Wordpress CMS, CSS (Cascading Style Sheets), Cufon, Fancybox, Google Font API, Gravatar, Html (HyperText Markup Language), Javascript, jQuery, Php (Hypertext Preprocessor), Pingback, Shortcodes, SuperFish, Swf Object
Goldsmith, Goldsmith & Dews Law Firm of Marion, NC provides legal council with personal attention for Auto Accidents, Worker's Compensation, Civil & Criminal Trials or Real Estate & Estates, with no attorney's fee unless we win in Accident, Workers Compensation Injury and Disability Cases.
Number of used Technologies: 1
Number of used Javascript files: 1
Server Software: Apache
Server Location: United States / Asheville - 72.250.252.7
List of used Technologies: CSS (Cascading Style Sheets), Html (HyperText Markup Language)
Number of used Technologies: 2
Number of used Javascript files: 2
Server Software: nginx
Server Location: Ireland / Dublin - 54.72.9.115
List of used Technologies: Google Analytics, Google Adsense, CSS (Cascading Style Sheets), Html (HyperText Markup Language), Html5, Javascript, Php (Hypertext Preprocessor), CloudFront
Number of used Technologies: 2
Number of used Javascript files: 2
Server Software: nginx
Server Location: Ireland / Dublin - 52.213.71.193
List of used Technologies: Google Analytics, Google Adsense, CSS (Cascading Style Sheets), Html (HyperText Markup Language), Html5, Javascript, Php (Hypertext Preprocessor), CloudFront
Number of used Technologies: 15
Number of used Javascript files: 15
Server Software: Apache/2.4.10 (Debian)
Server Location: Germany / - 88.198.231.10
List of used Technologies: CSS (Cascading Style Sheets), Html (HyperText Markup Language), Html5, Javascript, jQuery
Technical tidbits that fell out of my head...
Number of used Technologies: 69
Number of used Javascript files: 69
Server Software: Apache/2.4.25
Server Location: United States / Scottsdale - 107.180.26.160
List of used Technologies: Wordpress CMS, Google Adsense, CSS (Cascading Style Sheets), Google Font API, Gravatar, Html (HyperText Markup Language), Html5, Iframe, Javascript, jQuery, jQuery Colorbox, JW Player, MediaElement, Php (Hypertext Preprocessor), Pingback, Spin.js, SVG (Scalable Vector Graphics)
Vanguard Immigration is a Canadian immigration consultancy firm providing a wide range of immigration services in an efficient and cost effective manner. The firm specializes in the Federal Skilled Worker Class, Business Immigration, Canadian Experience Class, Provincial Nominee Program, Work and Study Permits, Family Sponsorship, Live-In Caregiver Program and Humanitarian & Compassionate Class.
Number of used Technologies: 0
Number of used Javascript files: 0
Server Software: Apache/2.4.25
Server Location: United States / Scottsdale - 107.180.3.91
List of used Technologies: CSS (Cascading Style Sheets), Html (HyperText Markup Language)
Florida Keys,FL city guide with visitor information, online hotel reservations, hotel reviews, restaurants, real estate, arts and entertainment, things to do.
Number of used Technologies: 13
Number of used Javascript files: 13
Server Software: cloudflare-nginx
Server Location: United States / San Francisco - 104.28.31.32
List of used Technologies: Google Analytics, New Relic, CSS (Cascading Style Sheets), Font Awesome, Html (HyperText Markup Language), Html5, Iframe, Javascript, jQuery, jQuery UI, Php (Hypertext Preprocessor), SVG (Scalable Vector Graphics), Maxcdn, OSS CDN