Robot | Path | Permission |
GoogleBot | / | ✔ |
BingBot | / | ✔ |
BaiduSpider | / | ✔ |
YandexBot | / | ✔ |
Title | Logictools |
Description | Solve a predicate logic reasoning task: Online logic |
Keywords | logic, solvers, reasoning, propositions, dpll, resolution |
WebSite | logictools.org |
Host IP | 138.68.128.116 |
Location | United States |
Site | Rank |
US$3,456,276
Last updated: 2023-05-11 05:01:24
logictools.org has Semrush global rank of 3,062,344. logictools.org has an estimated worth of US$ 3,456,276, based on its estimated Ads revenue. logictools.org receives approximately 398,801 unique visitors each day. Its web server is located in United States, with IP address 138.68.128.116. According to SiteAdvisor, logictools.org is safe to visit. |
Purchase/Sale Value | US$3,456,276 |
Daily Ads Revenue | US$3,191 |
Monthly Ads Revenue | US$95,713 |
Yearly Ads Revenue | US$1,148,547 |
Daily Unique Visitors | 26,587 |
Note: All traffic and earnings values are estimates. |
Host | Type | TTL | Data |
logictools.org. | A | 600 | IP: 138.68.128.116 |
logictools.org. | NS | 3600 | NS Record: ns08.domaincontrol.com. |
logictools.org. | NS | 3600 | NS Record: ns07.domaincontrol.com. |
Logictools Predicate logic Propositional logic Json Predicate logic --> Download About Solve a predicate logic reasoning task: help % a simple example: using two facts and two rules, find a grandson of john father(john,pete). father(pete,mark). (father(X,Y) & father(Y,Z)) => grandfather(X,Z). grandfather(X,Y) => grandson(Y,X). grandson(X,john) => $ans(X). Prove simple examples basics answers rules or-answers more rules functions equality multiple answers algebra unprovable hard blocks world complex examples characters TPTP FOF language simple FOF language strategy arithmetic lists distinct symbols -- from TPTP -- natural language organization theory boolean algebra medicine Dreadbury Mansion group theory set theory or Browse Advanced Clear result Clear input ? Seconds print level minimal + strategy + runs + statistics + given + derived + details + datastructures format simple json tptp show derived off on Convert to json tptp simple clauses json clauses tptp clauses ? |
HTTP/1.1 301 Moved Permanently Date: Thu, 04 Nov 2021 03:05:35 GMT Server: Apache/2.4.41 (Ubuntu) Location: https://logictools.org/ Content-Type: text/html; charset=iso-8859-1 HTTP/1.1 200 OK Date: Thu, 04 Nov 2021 03:05:35 GMT Server: Apache/2.4.41 (Ubuntu) Last-Modified: Sat, 04 Sep 2021 14:59:25 GMT ETag: "1fdc5-5cb2ca9781db8" Accept-Ranges: bytes Content-Length: 130501 Vary: Accept-Encoding Content-Type: text/html |
Domain Name: LOGICTOOLS.ORG Registry Domain ID: D175779942-LROR Registrar WHOIS Server: whois.godaddy Registrar URL: http://www.whois.godaddy.com Updated Date: 2021-09-04T16:07:42Z Creation Date: 2015-03-24T09:00:26Z Registry Expiry Date: 2022-03-24T09:00:26Z Registrar: GoDaddy.com, LLC Registrar IANA ID: 146 Registrar Abuse Contact Email: abuse@godaddy.com Registrar Abuse Contact Phone: +1.4806242505 Domain Status: clientDeleteProhibited https://icann.org/epp#clientDeleteProhibited Domain Status: clientRenewProhibited https://icann.org/epp#clientRenewProhibited Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited Domain Status: clientUpdateProhibited https://icann.org/epp#clientUpdateProhibited Registrant Organization: OY Claudis Invest Registrant State/Province: Harjumaa Registrant Country: EE Name Server: NS07.DOMAINCONTROL.COM Name Server: NS08.DOMAINCONTROL.COM DNSSEC: unsigned URL of the ICANN Whois Inaccuracy Complaint Form https://www.icann.org/wicf/) >>> Last update of WHOIS database: 2021-10-18T08:21:08Z <<< |