You are here: irt.org | FOLDOC | Nqthm
The language used in the Boyer-Moore theorem prover.
["Proving Theorems About LISP Functions", R.S. Boyer et al JACM 22(1):129-144 (Jan 1975)].
Nearby terms: NP time « NP tricky « NQS « Nqthm » nr » NREN » nroff
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