×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [q x fx v g q x fx]
Home >
q x fx v g q x fx
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