Pages that link to "Item:Q580998"

The following pages link to An experimental logic based on the fundamental deduction principle (Q580998):

Displaying 2 items.

• MUSCADET: An automatic theorem proving system using knowledge and metaknowledge in mathematics (Q1118426) (← links)
• Automated theorem proving in mathematics. (Q1353941) (← links)