Pages that link to "Item:Q5881188"

The following pages link to Inductive theorem proving by consistency for first-order clauses (Q5881188):

Displaying 3 items.

• Superposition for Fixed Domains (Q3540186) (← links)
• On notions of inductive validity for first-order equational clauses (Q5210769) (← links)
• A constructor-based approach for positive/negative-conditional equational specifications (Q5881186) (← links)