atp-0.1.0.0: Interface to automated theorem provers (Index - F)

atp-0.1.0.0: Interface to automated theorem provers

A
B
C
D
E
F
G
H
I
L
M
N
O
P
Q
R
S
T
U
V
X
/
<
=
?
\
|
~
All

Index - F

Falsity	ATP.FOL, ATP
FalsityLiteral	ATP.FOL, ATP
FirstOrder	ATP.FOL, ATP
flattenConjunction	ATP.FOL, ATP
flattenDisjunction	ATP.FOL, ATP
Flattening	ATP.FOL, ATP
Forall	ATP.FOL, ATP
forall	ATP.FOL, ATP
Formula
1 (Data Constructor)	ATP.FOL, ATP
2 (Type/Class)	ATP.FOL, ATP
ForwardDemodulation	ATP.FOL, ATP
free	ATP.FOL, ATP
freeIn	ATP.FOL, ATP
Function
1 (Type/Class)	ATP.FOL, ATP
2 (Data Constructor)	ATP.FOL, ATP
FunctionSymbol
1 (Type/Class)	ATP.FOL, ATP
2 (Data Constructor)	ATP.FOL, ATP