Pages that link to "Item:Q1322772"

The following pages link to Consolution as a framework for comparing calculi (Q1322772):

Displaying 4 items.

• Semantically-guided goal-sensitive reasoning: model representation (Q287333) (← links)
• Computing answers with model elimination (Q1402748) (← links)
• Linear and unit-resulting refutations for Horn theories (Q1923821) (← links)
• Towards a unified model of search in theorem-proving: subgoal-reduction strategies (Q2456542) (← links)