|
|
|
|
|
|
|
|
|
|
|
|
|
|
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 |
@prefix
log: <http://www.w3.org/2000/10/swap/log#>.
|
|
|
l |
@prefix
: <http://www.agfa.com/w3c/euler/authen#>.
|
|
|
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 |
#
Proof found for http://www.agfa.com/w3c/euler/authen.lemma.n3 in 3
|
|
steps
(232 steps/sec)
|
|