- From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
- Date: Fri, 17 Aug 2001 11:16:46 +0100
- To: <w3c-rdfcore-wg@w3.org>
I wrote: > whereas the interpolation lemma > seems to be false. Oops, no I made a mistake. A smaller graph (in terms of edge count) can entail a larger graph. Rest of the message stands, thanks Jos for the proofs. By the way, I am happy with anonymous nodes as existentially quantified, I just wished to highlight one of the corollaries. Jeremy
Received on Friday, 17 August 2001 06:17:39 UTC