formalproofs.com
επισκεφτείτε τον ιστότοποFormalproofs είναι ο #95,629 ιστότοπος στην Ελλάδα. "formal proofs in maths, what is a formal proof, introduction on how to build it, how deep, particul."
Advertisements
95,629
Κατάταξη στην Ελλάδα
35,178,872
Παγκόσμια κατάταξη
| Τομέας | http://www.formalproofs.com |
| Ημερήσιες επισκέψεις | 10 |
| Ημερήσιες προβολές σελίδας | 48 |
| Εκτιμώμενη αξία | 296 € * |
| Εισόδημα ανά επισκέπτη | 2.57 € |
| Εισερχόμενοι σύνδεσμοι | 2 |
| Φράσεις-κλειδιά |
|---|
| formal proof statemens, axioms, laws of logic, theorems |
| Κατάταξη σε χώρες |
|---|
Επισκεψιμότητα ιστότοπου
| Ιστορικό Στατιστικών Δεδομένων 3 μηνών κατά μέσο όρο | ||
|---|---|---|
| Παγκόσμια κατάταξη | 35178872 | +1315690
 |
| Μηνιαίοι επισκέπτες | 270 | -3.74%
|
| Κατάταξη μηνιαίων επισκεπτών | 33,748,975 | +1262212
|
| Μηνιαίες προβολές σελίδας | 1,440 | 1.8%
 |
| Κατάταξη μηνιαίων προβολών σελίδας | 30,986,285 |
-557753
|
| Προβολές σελίδας ανά επισκέπτη | 5.28 | - |
περιεχόμενο
| Επικεφαλίδες για www.formalproofs.com | |
|---|---|
| Ο τομέας έχει καταχωρηθεί πριν από 10 χρόνια 5 μήνες 18 ημέρες. | |
Σχετικοί ιστότοποι
Διακομιστής διαδικτύου
| Πληροφορίες κέντρου δεδομένων | |
|---|---|
|
Lancom AS199081 LANCOM LTD Thessaloniki Thessaloniki Greece 40.6403, 22.9439 |
|
| Ο χρόνος φόρτωσης διακομιστή Web είναι 0.39 δευτερόλεπτα. | |
| Τα ονόματα διακομιστών είναι ns43.name-servers.gr (185.25.20.64), ns44.name-servers.gr (185.25.21.42). Ο αριθμός IP είναι 5.172.194.134 | |
| IP: | 5.172.194.134 |
| Τύπος διακομιστή: | nginx |
| σύνολο χαρακτήρων: | UTF-8 |
| PING www.formalproofs.com (5.172.194.134) Το μέγεθος του πακέτου είναι 34 bytes. | |
|---|---|
| 34 bytes για 5.172.194.134: seq_num=1 TTL=72 | 26.5 ms |
| 34 bytes για 5.172.194.134: seq_num=2 TTL=72 | 26.5 ms |
| 34 bytes για 5.172.194.134: seq_num=3 TTL=72 | 25.2 ms |
| --- www.formalproofs.com αποτελέσματα ping --- | |
| επεξεργάστηκαν 4 ερωτήματα, ελήφθησαν 4 πακέτα, χάθηκαν 0 (0% απώλεια) | |
| Ο μέσος αριθμός ping στο διακομιστή είναι 19.6 ms, και ο χρόνος φόρτωσης της σελίδας είναι 0.39 δευτερόλεπτα. | |
| Διαμόρφωση διακομιστή Web | |
|---|---|
| Έλεγχος Cache: | no-cache |
| Τύπος περιεχομένου: | text/html; charset=utf-8 |
| Ημερομηνία: | Mon, 11 May 2015 13:41:37 GMT |
| Pragma: | no-cache |
| Διακομιστής διαδικτύου: | nginx |
| Με τη χορηγία της X: | PleskLin |
| P3P: | + |
| Ομάδα Cookie: | + |
| Ποικιλία: | - |
| ETag: | - |
| Περιεχόμενο MD5: | - |
| Κωδικοί δημόσιων κλειδιών: | - |
Τα δεδομένα είναι κατά προσέγγιση*
Τα δεδομένα έχουν υποβληθεί σε τροποποίηση: 11.05.2015 23:51:03
Advertisements