The Free Dictionary

1,027,736,567 visitors served.

Dictionary/
thesaurus

Medical
dictionary

Legal
dictionary

Financial
dictionary

Acronyms

Idioms

Encyclopedia

Wikipedia
encyclopedia

LOP
(redirected from discerp)

Also found in: Dictionary/thesaurus, Wikipedia

0.15 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)].

?Page tools

Printer friendly

Mentioned in

Encyclopedia browser

Full browser

Disbelief
disc
disc drive
disc fixation
disc jockey
disc jockey equipment
disc-at-once

discerp
disciple
Disciples of Christ
Discipline
disclaimer
disco
disconnect
Discord

Free Tools:	For surfers: Browser extension \| Word of the Day \| Help For webmasters: Free content \| Linking \| Lookup box \| Double-click lookup \| Partner with us

Disclaimer | Privacy policy | Feedback | Copyright © 2008 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.