obua.com valuation and analysis

Robots.txt Information
Robot Path Permission
GoogleBot /
BingBot /
BaiduSpider /
YandexBot /
Meta Tags
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
Server Information
WebSite obua faviconobua.com
Host IP 3.125.252.47
Location United States
Related Websites
Site Rank
More to Explore
obua.com Valuation
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.

Traffic & Worth Estimates
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.
DNS Records
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
HtmlToTextCheckTime:2023-05-18 04:29:37
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 Headers
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
obua.com Whois Information
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 <<<