Skolem Euler Machine test results

[jos . deroo]

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