Printer Friendly
Dictionary, Encyclopedia and Thesaurus - The Free Dictionary
1,514,721,429 visitors served.
forum mailing list For webmasters
?
New: Language forums
Dictionary/
thesaurus
Medical
dictionary
Legal
dictionary
Financial
dictionary
Acronyms
 
Idioms
Encyclopedia
Wikipedia
encyclopedia
?

LOP

   Also found in: Dictionary/thesaurus, Medical, Acronyms, Idioms, Wikipedia, Hutchinson 0.06 sec.
LOP - A language based on first-order logic.

["SETHEO - A High-Perormance Theorem Prover for First-Order Logic", Reinhold Letz et al, J Automated Reasoning 8(2):183-212 (1992)].


How to thank TFD for its existence? Tell a friend about us, add a link to this page, add the site to iGoogle, or visit webmaster's page for free fun content.
?Page tools
Printer friendly
Cite / link
Email
Feedback
? Mentioned in ? References in classic literature
 
Mrs Varden's chief aider and abettor, and at the same time her principal victim and object of wrath, was her single domestic servant, one Miss Miggs; or as she was called, in conformity with those prejudices of society which lop and top from poor hand- maidens all such genteel excrescences--Miggs.
You are such a solitary tree, Umslopogaas, but the topmost branches of him whom I serve are thicker than your trunk, and beneath his shadow live many woodcutters, who go out to lop those that would grow too high.
Tomorrow ere fresh Morning streak the East With first approach of light, we must be ris'n, And at our pleasant labour, to reform Yon flourie Arbors, yonder Allies green, Our walks at noon, with branches overgrown, That mock our scant manuring, and require More hands then ours to lop thir wanton growth: Those Blossoms also, and those dropping Gumms, That lie bestrowne unsightly and unsmooth, Ask riddance, if we mean to tread with ease; Mean while, as Nature wills, Night bids us rest.
 
Encyclopedia browser? ? Full browser
 
 
Encyclopedia
?

Disclaimer | Privacy policy | Feedback | Copyright © 2009 Farlex, Inc.
All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional. Terms of Use.