VDict mobile



A means of removing quantifiers from first order logic
formulas.
[Details?]