Pages that link to "Item:Q1314425"

The following pages link to On the duality of abduction and model generation in a framework for model generation with equality (Q1314425):

Displaying 2 items.

• Representing and building models for decidable subclasses of equational clausal logic (Q861367) (← links)
• Minimal model generation with positive unit hyper-resolution tableaux (Q4645233) (← links)