x
MegaLexica
Computer Dictionary of Information Technology
law dictionary
legal abbreviations
legal dictionary
medical dictionary
Tech Glossary
~
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
Disclaimer
Terms of Use
Privacy Policy
Contact Us
skolemisation
A means of removing
quantifiers
from first order
logic
formulas
.
[Details?]