|
|
|
Older revisions
r519
by yves.raimond
on Jul 28, 2008
Diff
New skolem identifier Proof traking (check cache(S,P,O,proof)) sameAs handling sameAs for builtin arguments ...
|
|
|
|
Older revisions
r519
by yves.raimond
on Jul 28, 2008
Diff
New skolem identifier Proof traking (check cache(S,P,O,proof)) sameAs handling sameAs for builtin arguments ...