Pages that link to "Item:Q1215411"

The following pages link to A relaxation approach to splitting in an automatic theorem prover (Q1215411):

Displaying 4 items.

• Plane geometry theorem proving using forward chaining (Q1215410) (← links)
• Non-resolution theorem proving (Q1238434) (← links)
• Automatic theorem proving in set theory (Q1245007) (← links)
• \({\mathcal Z}\)-match: An inference rule for incrementally elaborating set instantiations (Q1319387) (← links)