l# Generated with
http://www.agfa.com/w3c/euler/#28.061 on Sat Dec 01 02:19:27 GMT+01:00 2001
l# for query
http://www.agfa.com/w3c/euler/authen.lemma.n3
l# given
[http://www.agfa.com/w3c/euler/authen.axiom.n3]
l
l@prefix log:
<http://www.w3.org/2000/10/swap/log#>.
l@prefix :
<http://www.agfa.com/w3c/euler/authen#>.
l
l {<mailto:jos.deroo.jd@belgium.agfa.com> :member <http://www.agfa.com>.
l
<http://www.agfa.com> :w3cmember <http://www.w3.org>.
l
<http://www.agfa.com> :subscribed
<mailto:w3c-ac-forum@w3.org/>} log:implies
l{<mailto:jos.deroo.jd@belgium.agfa.com>
:authenticated <mailto:w3c-ac-forum@w3.org/>}.
l
l# Proof found for
http://www.agfa.com/w3c/euler/authen.lemma.n3 in 3 steps (232 steps/sec)
l
l