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

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 - S

Saturation	ATP.FOL, ATP
scope	ATP.FOL, ATP
Sequent
1 (Type/Class)	ATP.FOL, ATP
2 (Data Constructor)	ATP.FOL, ATP
share	ATP.FOL, ATP
Sign	ATP.FOL, ATP
sign	ATP.FOL, ATP
Signed
1 (Type/Class)	ATP.FOL, ATP
2 (Data Constructor)	ATP.FOL, ATP
signed	ATP.FOL, ATP
signof	ATP.FOL, ATP
Simplify	ATP.FOL, ATP
simplify	ATP.FOL, ATP
SingleClause	ATP.FOL, ATP
singleClause	ATP.FOL, ATP
Skolemisation	ATP.FOL, ATP
Solution	ATP.FOL, ATP
SubsumptionResolution	ATP.FOL, ATP
Superposition	ATP.FOL, ATP