Meaning of LOP
| Pronunciation: | | lâp
|
| | Sponsored Links: | |
|
| |
 Computing Dictionary |
| |
| | Definition: | | 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)]. |
| |
| Thesaurus Terms |
| |
| | Related Terms: | | abscind, amputate, annihilate, bag, bagging, baggy, ballooning, ban, bar, bob, bounce, bound, cascade, clip, crop, cull, cut, cut away, cut off, cut out, daggle, dangle, depend, dock, drabble, drag, draggle, drape, droop, drooping, droopy, eliminate, enucleate, eradicate, except, excise, exclude, extinguish, extirpate, fall, flap, flop, floppy, flow, hang, hang down, hop, hurdle, isolate, knock off, leap, limp, loll, lollop, loose, lop-eared, loppy, mutilate, nip, nod, nodding, pare, peel, pend, pick out, prune, root out, rule out, sag, sagging, sagging in folds, saggy, set apart, set aside, shave, shear, slump, spring, stamp out, strike off, strip, strip off, swag, swing, take off, take out, trail, trollop, truncate, vault, weep, wipe out |
| |
|
|
|