Pages that link to "Item:Q3906484"

The following pages link to Theorem Proving via General Matings (Q3906484):

Displaying 3 items.

• A Prolog technology theorem prover: Implementation by an extended Prolog compiler (Q1114446) (← links)
• Decidability and complexity of simultaneous rigid E-unification with one variable and related results (Q1575636) (← links)
• Automating Leibniz’s Theory of Concepts (Q3454082) (← links)