W3C home > Mailing lists > Public > www-archive@w3.org > August 2005

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/

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

This archive was generated by hypermail 2.2.0+W3C-0.50 : Wednesday, 7 November 2012 14:17:52 GMT