×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [hx x fx v x hx]
Home >
hx x fx v x hx
Resolution Strategies One common strategy for applying resolution is called level saturation. Here you try to resolve every pair of clauses from the original.
220 views