Revision as of 03:06, 8 May 2024 edit Citation bot (talk \| contribs) Bots 5,873,275 edits Removed parameters. \| Use this bot. Report bugs. \| Suggested by Headbomb \| #UCB_toolbar ← Previous edit		Revision as of 00:44, 12 August 2024 edit undo Vanished user 09a18a8c3ed303b15ad9aa4fe245c66c (talk \| contribs) Extended confirmed users 17,550 edits m Use wikidata to define data once in a single place. Tags: Mobile edit Mobile app edit iOS app edit App full source Next edit →
Line 6: == External links == {{official website}} [http://www.tptp.org/ Web site]. [[Category:Automated theorem proving]]

Thousands of Problems for Theorem Provers: Difference between revisions