S
C
L
_
S
imulates_
G
round_
R
esolution
Isabelle_2024_Compatibility
Ground_Ordered_Resolution
Lower_Set
HOL_Extra_Extra
The_Optional
Full_Run
Background
ORD_RES
ORD_RES_1
Exhaustive_Factorization
ORD_RES_2
Exhaustive_Resolution
ORD_RES_3
Implicit_Exhaustive_Factorization
ORD_RES_4
ORD_RES_5
ORD_RES_6
ORD_RES_7
Clause_Could_Propagate
ORD_RES_8
ORD_RES_9
ORD_RES_10
ORD_RES_11
Simulation_SCLFOL_ORDRES