Re: updated draft of model theory

Dan Connolly wrote:
[...]> 
> again, I used larch's finite set gizmo for such as set of triples.
> Is it fair to assume that the set-of-triples we're interested in are
> finite?

There may be implementations that compute statements on demand.  The set
of statements that could be computed may not be finite.

Brian

Received on Tuesday, 31 July 2001 17:21:32 UTC