proof-checker.org valuation and analysis
Robots.txt Information
| Robot | Path | Permission |
| GoogleBot | / | ✔ |
| BingBot | / | ✔ |
| BaiduSpider | / | ✔ |
| YandexBot | / | ✔ |
Meta Tags
| Title | Proof |
| Description | Proof Checker Proof Rules Credits Help Admin load unfinished proofs: waiting for server... load repository problems: waiting for server... finished reposi |
| Keywords | N/A |
Server Information
| WebSite | |
| Host IP | 104.21.9.186 |
| Location | United States |
Related Websites
| Site | Rank |
More to Explore
proof-checker.org Valuation
|
US$7,910,499
Last updated: 2023-05-17 03:01:53
proof-checker.org has Semrush global rank of 1,338,007. proof-checker.org has an estimated worth of US$ 7,910,499, based on its estimated Ads revenue. proof-checker.org receives approximately 912,750 unique visitors each day. Its web server is located in United States, with IP address 104.21.9.186. According to SiteAdvisor, proof-checker.org is safe to visit. |
Traffic & Worth Estimates
| Purchase/Sale Value | US$7,910,499 |
| Daily Ads Revenue | US$7,302 |
| Monthly Ads Revenue | US$219,060 |
| Yearly Ads Revenue | US$2,628,720 |
| Daily Unique Visitors | 60,850 |
| Note: All traffic and earnings values are estimates. | |
DNS Records
| Host | Type | TTL | Data |
| proof-checker.org. | A | 300 | IP: 104.21.9.186 |
| proof-checker.org. | A | 300 | IP: 172.67.143.105 |
| proof-checker.org. | AAAA | 300 | IPV6: 2606:4700:3034::ac43:8f69 |
| proof-checker.org. | AAAA | 300 | IPV6: 2606:4700:3036::6815:9ba |
| proof-checker.org. | NS | 86400 | NS Record: ram.ns.cloudflare.com. |
| proof-checker.org. | NS | 86400 | NS Record: emerie.ns.cloudflare.com. |
HtmlToTextCheckTime:2023-05-17 03:01:53
| Proof Checker Proof Rules Credits Help Admin load unfinished proofs: waiting for server... load repository problems: waiting for server... finished repository problems: waiting for server... Check Your Proof: name your proof: Propositional First-Order Premises (separate with “,” or “;”): Conclusion: create problem Proof: Clear & Start a new Proof Using the checker: Notation for logic operators negation: ∼ conjunction: ^ disjunction: v conditional: -> biconditional: <-> universal quantification: Ax or (Ax) existential quantification: Ex or (Ex) Rule names (full and abbreviated) modus ponens ->E modus tollens MT modus tollendo ponens DS double negation DNE addition vI adjunction ^I simplification ^E bicondition I equivalence E repeat Rep conditional derivation ->I reductio ad absurdum RAA universal instantiation AE universal derivation AI existential instantiation EE existential generalization EI identity introduction =I substitution of identicals =E Proof operations × |
HTTP Headers
HTTP/1.1 301 Moved Permanently
Date: Wed, 02 Mar 2022 09:31:13 GMT
Connection: keep-alive
Cache-Control: max-age=3600
Expires: Wed, 02 Mar 2022 10:31:13 GMT
Location: https://proof-checker.org/
Report-To: {"endpoints":[{"url":"https:\/\/a.nel.cloudflare.com\/report\/v3?s=5GwiRd7M6YI8fJOvgZ4HsTjS8Eh8R0MzuNBgATXzxPMJByn9m4lzP1wJw3x3%2Bvq8ivAkRi2a4x5BZiPq0yBGwrujU9iDtvc%2Fq47aXRfaBf0xgKjZ7Gdh2caLNc%2BFHsPYAQp%2FRNHzwdUeossqPZK1lg%3D%3D"}],"group":"cf-nel","max_age":604800}
NEL: {"success_fraction":0,"report_to":"cf-nel","max_age":604800}
Server: cloudflare
CF-RAY: 6e591e43ece19a12-FRA
alt-svc: h3=":443"; ma=86400, h3-29=":443"; ma=86400
HTTP/2 200
date: Wed, 02 Mar 2022 09:31:14 GMT
content-type: text/html
last-modified: Tue, 21 Sep 2021 04:16:31 GMT
cf-cache-status: DYNAMIC
expect-ct: max-age=604800, report-uri="https://report-uri.cloudflare.com/cdn-cgi/beacon/expect-ct"
report-to: {"endpoints":[{"url":"https:\/\/a.nel.cloudflare.com\/report\/v3?s=v6vERbzW2SZqt17bF%2Fh%2BItDMQIF8tGRRt27ZXyWbhrc9owB03YM2SCduGeN3kJC%2Bkptvhn5Sy78L2bLhxGSZMG6OODwXqXXCQdTJiZlFWiM5%2B5xgoxuYF9dz9Rhln6OHMi8se0hvqD7UNeuu888McA%3D%3D"}],"group":"cf-nel","max_age":604800}
nel: {"success_fraction":0,"report_to":"cf-nel","max_age":604800}
server: cloudflare
cf-ray: 6e591e44da6d9031-FRA
alt-svc: h3=":443"; ma=86400, h3-29=":443"; ma=86400
|
proof-checker.org Whois Information
Domain Name: PROOF-CHECKER.ORG Registry Domain ID: D402200000014134460-LROR Registrar WHOIS Server: whois.cloudflare.com Registrar URL: http://www.cloudflare.com Updated Date: 2021-06-16T19:46:49Z Creation Date: 2020-07-16T18:14:27Z Registry Expiry Date: 2022-07-16T18:14:27Z Registrar: CloudFlare, Inc. Registrar IANA ID: 1910 Registrar Abuse Contact Email: registrar-abuse@cloudflare.com Registrar Abuse Contact Phone: +1.6503198930 Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited Registrant Organization: DATA REDACTED Registrant State/Province: CA Registrant Country: US Name Server: RAM.NS.CLOUDFLARE.COM Name Server: EMERIE.NS.CLOUDFLARE.COM DNSSEC: unsigned URL of the ICANN Whois Inaccuracy Complaint Form https://www.icann.org/wicf/) >>> Last update of WHOIS database: 2022-03-02T10:02:22Z <<< |