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

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

Claim	ATP.FOL, ATP
Clause
1 (Data Constructor)	ATP.FOL, ATP
2 (Type/Class)	ATP.FOL, ATP
clause	ATP.FOL, ATP
Clauses
1 (Type/Class)	ATP.FOL, ATP
2 (Data Constructor)	ATP.FOL, ATP
clauses	ATP.FOL, ATP
Clausification	ATP.FOL, ATP
close	ATP.FOL, ATP
closed	ATP.FOL, ATP
Conjecture	ATP.FOL, ATP
conjecture	ATP.FOL, ATP
Conjunction
1 (Type/Class)	ATP.FOL, ATP
2 (Data Constructor)	ATP.FOL, ATP
conjunction	ATP.FOL, ATP
Connected	ATP.FOL, ATP
Connective	ATP.FOL, ATP
consequent	ATP.FOL, ATP
Constant
1 (Type/Class)	ATP.FOL, ATP
2 (Data Constructor)	ATP.FOL, ATP
Contradiction
1 (Type/Class)	ATP.FOL, ATP
2 (Data Constructor)	ATP.FOL, ATP