Robot | Path | Permission |
GoogleBot | / | ✔ |
BingBot | / | ✔ |
BaiduSpider | / | ✔ |
YandexBot | / | ✔ |
Title | obua.com - Technical |
Description | If You Build It, They Will Come Technical Reports by Steven Obua February 5, 2023 https://practal.com/press/aair/1 Axioms Are Inference Rules As it turns |
Keywords | N/A |
WebSite | obua.com |
Host IP | 3.125.252.47 |
Location | United States |
Site | Rank |
US$2,327,249
Last updated: 2023-05-18 04:29:37
obua.com has Semrush global rank of 4,547,990. obua.com has an estimated worth of US$ 2,327,249, based on its estimated Ads revenue. obua.com receives approximately 268,529 unique visitors each day. Its web server is located in United States, with IP address 3.125.252.47. According to SiteAdvisor, obua.com is safe to visit. |
Purchase/Sale Value | US$2,327,249 |
Daily Ads Revenue | US$2,149 |
Monthly Ads Revenue | US$64,447 |
Yearly Ads Revenue | US$773,363 |
Daily Unique Visitors | 17,902 |
Note: All traffic and earnings values are estimates. |
Host | Type | TTL | Data |
obua.com. | A | 60 | IP: 3.125.252.47 |
obua.com. | A | 60 | IP: 18.159.128.50 |
obua.com. | NS | 3600 | NS Record: dns1.p06.nsone.net. |
obua.com. | NS | 3600 | NS Record: dns2.p06.nsone.net. |
obua.com. | NS | 3600 | NS Record: dns3.p06.nsone.net. |
obua.com. | NS | 3600 | NS Record: dns4.p06.nsone.net. |
obua.com. | MX | 3600 | MX Record: 10 in1-smtp.messagingengine.com. |
obua.com. | MX | 3600 | MX Record: 20 in2-smtp.messagingengine.com. |
obua.com. | TXT | 3600 | TXT Record: v=spf1 include:spf.messagingengine.com ?all |
If You Build It, They Will Come Technical Reports by Steven Obua February 5, 2023 https://practal.com/press/aair/1 Axioms Are Inference Rules As it turns out, Abstraction Logic’s axioms should be more general than initially thought. Instead of just terms, they should be inference rules. February 4, 2023 https://practal.com/press/aflap/1 A First Look At Practal The first release of Practal as a Visual Studio Code Extension is out! It is an early and experimental release without its most crucial functionality of proving and computing, but it has syntax highlighting and the ability to define your own syntax. It is already possible to state declarations, definitions and axioms, and definitions are properly checked. July 13, 2022 https://arxiv.org/abs/2207.05610 Abstraction Logic: A New Foundation for (Computer) Mathematics This was a submission to the CICM 2022 conference. April 10, 2022 https://doi.org/10.47757/al.crete.1 Video: Abstraction Logic (UNILOG 2022) This is a rerecording of my |
HTTP/1.1 301 Moved Permanently Age: 57832 Cache-Control: public, max-age=0, must-revalidate Content-Length: 32 Content-Type: text/plain Date: Fri, 13 May 2022 17:42:48 GMT Location: https://obua.com/ Server: Netlify X-Nf-Request-Id: 01G30ZD0NEMBCVGGF9BXWGVZG2 HTTP/2 200 age: 1 cache-control: public, max-age=0, must-revalidate content-type: text/html; charset=UTF-8 date: Sat, 14 May 2022 09:46:41 GMT etag: "d600ab409747a7626d4ead3257d85bfb-ssl" server: Netlify strict-transport-security: max-age=31536000 x-nf-request-id: 01G30ZD15WN8CCMWEYAEYP5QKB |
Domain Name: OBUA.COM Registry Domain ID: 79899408_DOMAIN_COM-VRSN Registrar WHOIS Server: whois.namecheap.com Registrar URL: http://www.namecheap.com Updated Date: 2021-10-13T16:27:13Z Creation Date: 2001-11-17T20:18:32Z Registry Expiry Date: 2026-11-17T20:18:32Z Registrar: NameCheap, Inc. Registrar IANA ID: 1068 Registrar Abuse Contact Email: abuse@namecheap.com Registrar Abuse Contact Phone: +1.6613102107 Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited Name Server: DNS1.P06.NSONE.NET Name Server: DNS2.P06.NSONE.NET Name Server: DNS3.P06.NSONE.NET Name Server: DNS4.P06.NSONE.NET DNSSEC: unsigned >>> Last update of whois database: 2022-05-14T12:05:44Z <<< |