# $Id: etc5.n3,v 1.103 2005/04/10 20:43:27 amdus Exp $

# PxButton | run web    | java -Xmx800m euler.EulerRunner --step 8000000 etc5.n3
# PxButton | run local  | java -Xmx800m euler.EulerRunner --local --step 8000000 etc5.n3
# PxButton | run web#   | Euler --step 8000000 etc5.n3
# PxButton | run local# | Euler --local --step 8000000 etc5.n3
# PxButton | run output | java -Xmx800m euler.EulerRunner --local --step 8000000 http://www.agfa.com/w3c/euler/etc5.n3 > etc5-proof.n3

@prefix log: <http://www.w3.org/2000/10/swap/log#>.

()!log:conjunction => <http://eulersharp.sourceforge.net/2003/03swap/etc1>!log:semantics.
()!log:conjunction => <http://eulersharp.sourceforge.net/2003/03swap/etc2>!log:semantics.
()!log:conjunction => <http://eulersharp.sourceforge.net/2003/03swap/etc3>!log:semantics.