Pages that link to "Item:Q1101242"

The following pages link to Seventy-five problems for testing automatic theorem provers (Q1101242):

Displaying 2 items.

• Generating relevant models (Q809621) (← links)
• Set theory for verification. I: From foundations to functions (Q1319386) (← links)