|
|
Waldmeister - Theorem Prover
Description: The Waldmeister (woodruff) we are talking about here is a highly efficient theorem prover. You might also find some recipes for woodruff, but mainly for the Waldmeister theorem prover.
Keywords: Waldmeister,
Galium odoratum,
woodruff,
theorem prover,
asperula odorata,
theorems,
logic,
logical theorems,
Unfailing Knuth Bendix Completion,
deduction system,
logical inference,
calculus,
MPI,
Max Planck Institute,
Informatik Kaiserslautern,
Uni Kaiserslautern
Tags:
waldmeister,
prover,
theorem,
max,
planck,
informatik,
new,
cygwin,
mac,
kind,
wolfram,
science,
stephen,
notices,
imprint,
institut,
bdp,
casc,
legal,
für,
competition,
woodruff,
theorems,
logical,
talking,
time,
logic,
kaiserslautern,
efficient,
highly,
proof,
knuth,
bendix,
completion,
asperula,
unfailing,
odorata,
Waldmeister.org
Content Revalency:
Title: 100.00%
Description: 30.43%
Keywords: 61.54% | Document size: 9,207 bytes
More info:
Whois -
Trace Route -
RBL Check
| WALDMEISTER.ORG - Site Location |
| Country/Flag |
 Germany |
| City/Region/Zip Code |
Saarbrücken, 09, 66128 |
| Organization |
Max-Planck-Institut fuer Informatik, Saarbruecken |
| Internet Service Provider |
Verein zur Foerderung eines Deutschen Forschungsne |
|
WALDMEISTER.ORG - Domain Information |
| Domain |
WALDMEISTER.ORG
[ Traceroute RBL/DNSBL lookup ] |
| Registrar |
PSI-USA, Inc. dba Domain Robot
|
| Whois server |
whois.pir.org |
| Created |
-- |
| Updated |
-- |
| Expires |
-- |
| Time Left |
0 days 0 hours 0 minutes |
| Status |
clientDeleteProhibited
clientRenewProhibited
clientTransferProhibited
clientUpdateProhibited
|
| DNS servers |
NS.MPI-SB.MPG.DE
NS.MPI-SB.MPG.DE
FRANCOIS.MPI-SB.MPG.DE 139.19.1.2
|
| WALDMEISTER.ORG - DNS Information |
| IP Address |
139.19.1.137 ~ Whois - Trace Route - RBL Check
|
| Domain Name Servers |
ns2.mpi-sb.mpg.de
ns.mpi-sb.mpg.de
|
| Mail Exchange |
mailmx03.mpi-sb.mpg.de
mailmx02.mpi-sb.mpg.de
|
| Site Response Header |
| Response |
HTTP/1.1 200 OK |
| Server |
Apache/2.0 |
| Date |
Mon, 18 Apr 2011 03:43:10 GMT |
| Content-Type |
text/html |
|
