Edithistory:Equational prover
From EverybodyWiki Bios & Wiki
| oldid | date/time | username | edit summary |
|---|---|---|---|
| 1322609969 | 2025-11-17T04:20:00Z | OAbot | [[Wikipedia:OABOT|Open access bot]]: url-access=subscription updated in citation with #oabot. |
| 1320474924 | 2025-11-04T22:31:56Z | Citation bot | Altered date. | [[:en:WP:UCB|Use this bot]]. [[:en:WP:DBUG|Report bugs]]. | Suggested by Eastmain | #UCB_webform 102/173 |
| 1320380905 | 2025-11-04T10:03:26Z | Kspiers | add simplified proof and source |
| 1320354535 | 2025-11-04T05:03:22Z | Truthnope | Nominated for deletion; see [[:Wikipedia:Articles for deletion/Equational prover]]. |
| 1214181981 | 2024-03-17T11:40:14Z | Widefox | Importing Wikidata [[Wikipedia:Short description|short description]]: "Software program" |
| 1214181724 | 2024-03-17T11:37:49Z | Widefox | Added {{[[Template:Third-party|Third-party]]}} tag |
| 1214181693 | 2024-03-17T11:37:34Z | Widefox | tidy |
| 1042922762 | 2021-09-07T12:51:35Z | Buidhe | Buidhe moved page [[EQP]] to [[Equational prover]]: [[WP:ACROTITLE]]—not the primary topic |
| 929015788 | 2019-12-03T03:20:24Z | InternetArchiveBot | Rescuing 1 sources and tagging 0 as dead.) #IABot (v2.0 |
| 573335070 | 2013-09-17T15:03:46Z | 64.121.30.81 | /* External links */ |
| 371796107 | 2010-07-05T04:57:56Z | RobinK | added hatnote |
| 328995325 | 2009-12-01T08:58:33Z | 193.144.2.249 | |
| 315174585 | 2009-09-20T21:48:45Z | 81.106.196.8 | Removed last sentence since it doesn't provide any useful information and is just cryptic, |
| 314506723 | 2009-09-17T10:26:01Z | Pcap | [[WP:RBK|Reverted]] edits by [[Special:Contributions/81.106.196.8|81.106.196.8]] ([[User talk:81.106.196.8|talk]]) to last version by Lightbot |
| 314479322 | 2009-09-17T05:00:45Z | 81.106.196.8 | |
| 243446632 | 2008-10-06T15:21:18Z | Lightbot | Date links per [[wp:mosnum]]/Other |
| 173682469 | 2007-11-25T14:25:22Z | Cydebot | Robot - Moving category Theorem provers to Theorem proving software systems per [[WP:CFD|CFD]] at [[Wikipedia:Categories for discussion/Log/2007 November 16]]. |
| 146359663 | 2007-07-22T18:38:06Z | Trovatore | dab ba |
| 70227134 | 2006-08-17T14:06:19Z | Jon Awbrey | typo |
| 70227009 | 2006-08-17T14:05:34Z | Jon Awbrey | typo |
| 70226905 | 2006-08-17T14:04:54Z | Jon Awbrey | cleanup |
| 70226289 | 2006-08-17T14:01:10Z | Jon Awbrey | cleanup |
| 62020914 | 2006-07-04T13:59:03Z | Qwertyus | cat, link |
| 62011541 | 2006-07-04T12:31:50Z | Qwertyus | (red) link to Robbins algebra |
| 32575858 | 2005-12-24T07:52:46Z | X42bn6 | /* External links */ URL fix |
| 16063099 | 2004-07-12T11:01:24Z | Kate | External links correction process; see [[User:Lady Lysine Ikinsile/extlinks]] |
| 4579834 | 2004-06-23T21:39:35Z | Michael Hardy | It's not a theorem that proves something called "program"; it's a program that proves theorems. Hence this hyphen. |
| 4245065 | 2003-11-08T05:15:37Z | Wik | |
| 1691418 | 2003-02-01T00:25:20Z | XJaM | EQP |
