You are here: irt.org | FOLDOC | skolemisation
A means of removing quantifiers from first order logic formulas.
[Details?]
Nearby terms: Skim « SkipJack « SKOL « skolemisation » S-K reduction machine » skrog » SKsh
FOLDOC, Topics, 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, ?, ALL