Re: Existential Quantification [Re: New RDF model theory]

In danger of making another mistake ....

I didn't quite see how the interpolation lemma worked when the LHS has
anonymous nodes.

How does it get the following entailment


_:x <b> <c> .


entails

_:y <b> <c> .



Sorry if I'm being stupid.

Jeremy

Received on Friday, 17 August 2001 07:41:42 UTC