Pages that link to "Item:Q5881279"

The following pages link to Completion procedures as semidecision procedures (Q5881279):

Displaying 2 items.

• On the modelling of search in theorem proving -- towards a theory of strategy analysis (Q1281504) (← links)
• A rewriting approach to satisfiability procedures. (Q1401930) (← links)