aartifact - Automated Assistance for Formal Reasoning
Keywords: Main Page, Aartifact, Algebra of sets, Background, motivation, and discussion, Basic induction over natural numbers, Example, Finite ranges of integers, Formal reasoning interface, Future directions, Induction proofs for functional code, Inference of scheduling transformations
Tags: aartifact, formal, neq, reasoning, automated, assistance, gnu, free, documentation, license, page, context, static, induction, interface, example, discussion, propositional, logic, http, reports, changes, future, special, numbers, natural, functional, ranges, integers, basic, motivation, main, algebra, sets, background, directions, finite, transformations, code, scheduling,
Aartifact.net
|
Content Revalency:
Title: 83.33%
Description: 0.00%
Keywords: 87.10% | Document size: 19,623 bytes
More info: Whois - Trace Route - RBL Check |
|
| AARTIFACT.NET - Site Location | |
| Country/Flag |  United States |
| City/Region/Zip Code | Boston, Massachusetts, 02215 |
| Organization | Boston University |
| Internet Service Provider | Boston University |
| AARTIFACT.NET - Domain Information | |
| Domain | AARTIFACT.NET [ Traceroute RBL/DNSBL lookup ] |
| Registrar | ENOM, INC. ENOM, INC. |
| Registrar URL | http://www.enom.com |
| Whois server | whois.enom.com |
| Created | 22-Dec-2009 |
| Updated | 22-Nov-2016 |
| Expires | 22-Dec-2017 |
| Time Left | 60 days 17 hours 39 minutes |
| Status | clientTransferProhibited https://icann.org/epp#clientTransferProhibited clientTransferProhibited https://www.icann.org/epp#clientTransferProhibited |
| DNS servers | DNS1.REGISTRAR-SERVERS.COM 216.180.235.124 DNS2.REGISTRAR-SERVERS.COM 74.86.167.228 |
| AARTIFACT.NET - DNS Information | |
| IP Address | 128.197.10.134 ~ Whois - Trace Route - RBL Check |
| Domain Name Servers | ns28.domaincontrol.com 208.109.255.14 ns27.domaincontrol.com 216.69.185.14 |
| Mail Exchange | smtp.secureserver.net 72.167.238.29 mailstore1.secureserver.net 68.178.213.243 |
| Site Response Header | |
| Response | HTTP/1.1 302 Moved Temporarily |
| Server | Microsoft-IIS/6.0 |
| Date | Thu, 07 Apr 2011 09:03:26 GMT |
| Content-Type | text/html; charset=utf-8 |