steamroller inconsistency proof

From: <jos.deroo@agfa.com>
Date: Tue, 9 Aug 2005 02:43:22 +0200
To: www-archive@w3.org
Message-ID: <OF7084288A.E77277B0-ONC1257058.00035486-C1257058.0003F3E1@agfa.com>

bash .euler --prover9 
http://lists.w3.org/Archives/Public/www-archive/2005Aug/att-0001/steamroller.in.n3 
> 
http://lists.w3.org/Archives/Public/www-archive/2005Aug/att-0001/steamroller.out.n3






-- 
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/

Attachments

application/octet-stream attachment: steamroller.in.n3
application/octet-stream attachment: steamroller.out.n3

Received on Tuesday, 9 August 2005 00:43:32 UTC