Automated theorem proving: Revision history

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

9 August 2024

  • curprev 23:0823:08, 9 August 2024imported>CattenWithGunm 29,294 bytes +29,294 Changed wording of very few sentences such as "impetus" to "motivating factor" Also added a link to Thoralf Skolem where it wasn't given.