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/

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

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

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

This message: [ Message body ]
Next message: jos.deroo@agfa.com: "einstein puzzle ?WHO :eats :fish"
Previous message: Bjoern Hoehrmann: "XAML interface for Validator results"

Mail actions: [ respond to this message ] [ mail a new topic ]
Contemporary messages sorted: [ by date ] [ by thread ] [ by subject ] [ by author ]
Help: [ How to use the archives ] [ Search in the archives ]

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 July 2008 08:09:40 GMT