menu

Return to entry

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

SCL_Simulates_Ground_Resolution.Implicit_Exhaustive_Factorization

HTML Presentation