Re: NP completeness & rdf entailment, graph identity, MT etc.

Anyone who can say (on the SUO list) "A little brisk canter through the 
foothills of Birkhoff and McLain might be good mental exercise" has GOT 
to be a reasonable man!  [Particularly since most of the SUO group seem 
to be taking a brisk canter through Roberts' Rules of Order!]

--Frank

Pat Hayes wrote:

> Model theory not useful!??! Humph!!
> 
> Good job I'm a reasonable man, Jeremy.
> 


-- 
Frank Manola                   The MITRE Corporation
202 Burlington Road, MS A345   Bedford, MA 01730-1420
mailto:fmanola@mitre.org       voice: 781-271-8147   FAX: 781-271-875

Received on Monday, 8 October 2001 18:40:11 UTC