Skolem Euler Machine test results

From: <jos.deroo@agfa.com>
Date: Sun, 23 Mar 2008 01:24:08 +0100
To: www-archive@w3.org
Message-ID: <OF9CC62531.1BB57147-ONC1257415.000235D6-C1257415.000235F4@agfa.com>

SEM PROVER http://eulersharp.sourceforge.net/2006/02swap/sem.pl
|
SEM CHECKER http://eulersharp.sourceforge.net/2006/02swap/sem_tape.pl
>
http://eulersharp.sourceforge.net/2006/02swap/sem_test.ref
using test script
http://eulersharp.sourceforge.net/2006/02swap/sem_test

Received on Sunday, 23 March 2008 00:24:58 UTC