# $Id: etc5.n3,v 1.27 2003/09/29 23:24:22 jderoo Exp $

# PxButton | run web    | java Euler --step 8000000 etc5 |
# PxButton | run local  | java Euler --local --step 8000000 etc5 |
# PxButton | run local2 | ilrun Euler.exe --local --step 8000000 etc5 |
# PxButton | run save   | Euler --local --step 8000000 http://www.agfa.com/w3c/euler/etc5 > etc5-proof.n3 |

@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix e: <http://www.agfa.com/w3c/euler/>.

().log:conjunction => <http://www.agfa.com/w3c/euler/etc1>.log:semantics.
().log:conjunction => <http://www.agfa.com/w3c/euler/etc2>.log:semantics.
().log:conjunction => <http://www.agfa.com/w3c/euler/etc3>.log:semantics.