> > > - every statement has a unique ID generated using a Skolem function > > reify(s, p, o). >> > > A triple is unique. > > We should proof that: > Forall s,p,o Exists t: t is unique [F] > Skolem has found that we can eliminate exists (Most likely) We should prove :: Forall s,p,o Exists a Model M, Exists t: M(t) and t is unique We have to apply Skolem function repeatedly to eliminate all existential quantifiers. --ssarkar@ayushnet.comReceived on Tuesday, 21 November 2000 18:24:18 UTC
This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:07:33 UTC