- Einstein’s problem
-
eliminate_algebraic
-
eliminate_builtin
-
eliminate_definition
-
eliminate_definition_func
-
eliminate_definition_pred
-
eliminate_if
-
eliminate_if_fmla
-
eliminate_if_term
-
eliminate_inductive
-
eliminate_let
-
eliminate_let_fmla
-
eliminate_let_term
-
eliminate_literal
-
eliminate_mutual_recursion
|
-
eliminate_recursion
-
else
-
encoding_smt
-
encoding_tptp
-
environment variable
- evaluation order
-
execute
-
exists
-
extract
-
extraction:inline
-
extraction:likely
-
extraction:preserve_single_field
-
extraction:unlikely
|