1. Home
2. Questions
3. Tags
5. Users
6. Unanswered
Teams

Now available on Stack Overflow for Teams! AI features where you work: search, IDE, and chat.
Learn more Explore Teams
Teams
Ask questions, find answers and collaborate at work with Stack Overflow for Teams. Explore Teams

Return to the automated-theorem-proving wiki

Add reference: The TPTP Problem Library for Automated Theorem Proving

Source Link

edit approved Mar 3, 2022 at 15:10

2.8k
1
12
38

References:

Wikipedia
Overview of Automated Theorem Proving by Geoff Sutcliffe (link)
The TPTP Problem Library for Automated Theorem Proving (link)

added 212 characters in body

Source Link

edit approved Feb 17, 2022 at 19:43

2.8k
1
12
38

References:

Wikipedia
Overview of Automated Theorem Proving by Geoff Sutcliffe (link)

Link

created Feb 17, 2022 at 18:43

1