Edithistory:Frege's propositional calculus
From EverybodyWiki Bios & Wiki
| oldid | date/time | username | edit summary |
|---|---|---|---|
| 1242874663 | 2024-08-29T06:57:56Z | Thiagovscoelho | |
| 1242874615 | 2024-08-29T06:57:31Z | Thiagovscoelho | Proposed deletion |
| 1024872278 | 2021-05-24T14:27:58Z | 213.119.8.88 | |
| 951188506 | 2020-04-15T23:04:08Z | Matthiaspaul | /* See also */ +links |
| 944666828 | 2020-03-09T05:37:53Z | Happy5214 | Removed {{[[Template:One source|One source]]}} tag from article ([[WP:TW|TW]]) |
| 944666786 | 2020-03-09T05:37:23Z | Happy5214 | /* References */ Adding citation for "standard" axioms (from talk page) |
| 922103852 | 2019-10-19T23:50:09Z | Happy5214 | Added {{[[Template:Original research|Original research]]}} tag (within {{[[Template:multiple issues|multiple issues]]}}) tag to article ([[WP:TW|TW]]) |
| 921865160 | 2019-10-18T11:54:53Z | Happy5214 | /* References */ Adding link to PDF of cited chapter; conference -> book |
| 921862338 | 2019-10-18T11:27:02Z | Happy5214 | Added {{[[Template:One source|One source]]}} and {{[[Template:No footnotes|No footnotes]]}} tags (within {{[[Template:multiple issues|multiple issues]]}}) tag to article ([[WP:TW|TW]]) |
| 911889150 | 2019-08-21T20:30:10Z | Omnipaedista | |
| 829990275 | 2018-03-12T01:35:17Z | Cedar101 | table centering |
| 829989262 | 2018-03-12T01:27:02Z | Cedar101 | /* Theorems */ {{Math theorem}}, table centering |
| 829988086 | 2018-03-12T01:16:53Z | Cedar101 | /* Rules */ and /* Theorems */, wikitable |
| 808509832 | 2017-11-03T08:29:47Z | Orenburg1 | sp |
| 774571120 | 2017-04-09T09:58:08Z | Taneb | Fixed proof for TH-5 |
| 733420077 | 2016-08-07T18:03:35Z | LilHelpa | /* top */General fixes and [[WP:AWB/T|Typo fixing]], [[WP:AWB/T|typo(s) fixed]]: Therefore → Therefore, using [[Project:AWB|AWB]] |
| 695749317 | 2015-12-18T08:41:17Z | Yobot | [[WP:CHECKWIKI]] error fixes using [[Project:AWB|AWB]] (11757) |
| 644643856 | 2015-01-29T02:36:05Z | Vantelimus | fixed sequence numbers on proof of A → ¬¬A |
| 542543131 | 2013-03-07T08:17:34Z | Addbot | [[User:Addbot|Bot:]] Migrating 3 interwiki links, now provided by [[Wikipedia:Wikidata|Wikidata]] on [[d:q714691]] |
| 491607198 | 2012-05-09T14:51:27Z | R'n'B | Fix [[WP:DPL|links]] to [[WP:D|disambiguation]] page [[Converse]] |
| 479208827 | 2012-02-27T23:44:29Z | Gregbard | added [[Category:Propositional calculus]] using [[WP:HC|HotCat]] |
| 433113252 | 2011-06-07T22:57:04Z | 108.36.8.253 | |
| 368266509 | 2010-06-15T22:49:48Z | EmausBot | robot Adding: [[es:Cálculo proposicional de Frege]] |
| 290007353 | 2009-05-15T01:31:11Z | The Tetrast | Section 0 Peirce link tweak |
| 261821031 | 2009-01-04T03:42:24Z | Lightbot | Units/dates/other |
| 195633535 | 2008-03-03T20:45:29Z | 60.234.168.92 | |
| 192902137 | 2008-02-20T22:33:08Z | Gregbard | wff using [[Project:AutoWikiBrowser|AWB]] |
| 180405393 | 2007-12-27T11:25:22Z | DorganBot | robot Modifying: [[zh:弗雷格命题演算]] |
| 137413931 | 2007-06-11T08:26:58Z | Charles Matthews | rm {{Wikify|date=November 2006}} |
| 134587534 | 2007-05-30T15:59:52Z | CBM | Refine category |
| 125500191 | 2007-04-24T13:03:35Z | SmackBot | Date/fix the maintenance tags or gen fixes |
| 99666405 | 2007-01-10T01:01:43Z | Jpbowen | Added category |
| 92522261 | 2006-12-06T19:43:50Z | CBM | Add reference |
| 88047252 | 2006-11-15T20:09:28Z | Rich Farmbrough | Date the maintenance tags using [[WP:AWB|AWB]] |
| 88026519 | 2006-11-15T18:13:38Z | CBM | Add wikify tag - this article is very long, has no sections, has no references, etc |
| 68269819 | 2006-08-07T21:33:08Z | 66.182.219.72 | |
| 68269694 | 2006-08-07T21:32:27Z | 66.182.219.72 | Found a shorter proof for Theorem 3 |
| 59121800 | 2006-06-17T15:57:52Z | Mets501 | clean up using [[Wikipedia:AutoWikiBrowser|AWB]] |
| 52342540 | 2006-05-09T17:40:40Z | Julian Mendez | |
| 52341360 | 2006-05-09T17:32:37Z | Julian Mendez | encoding |
| 51365624 | 2006-05-03T14:01:12Z | Kku | |
| 36862800 | 2006-01-26T23:28:29Z | Cmdrjameson | unicodify (3.8 kB saved) |
| 36617802 | 2006-01-25T08:25:02Z | Mhss | |
| 26677307 | 2005-10-28T03:49:45Z | Mhss | |
| 26664861 | 2005-10-28T00:38:16Z | 128.12.64.7 | fix some symbols |
| 26664810 | 2005-10-28T00:37:15Z | 128.12.64.7 | |
| 26512286 | 2005-10-26T07:53:21Z | Mhss | |
| 25897035 | 2005-10-19T05:56:08Z | Gubbubu | +hu |
| 22008275 | 2005-08-28T04:58:57Z | AugPi | see also |
| 21386294 | 2005-08-19T20:21:12Z | Wclark | |
| 19974814 | 2005-07-31T10:05:00Z | MathMartin | link, style |
| 19974021 | 2005-07-31T09:38:09Z | MathMartin | +[[Category:Mathematical logic]] |
| 17612468 | 2005-06-05T06:25:09Z | AugPi | fmt |
| 14729429 | 2005-06-05T05:48:50Z | AugPi | link to 1879 |
| 14728322 | 2005-06-05T05:47:13Z | AugPi | link to modus ponens |
| 14728268 | 2005-06-05T05:45:30Z | AugPi | Conclusion. |
| 14728199 | 2005-06-05T05:20:04Z | AugPi | ST 1, ST2, ST3 |
| 14727306 | 2005-06-05T04:48:08Z | AugPi | TH20, TH21 |
| 14726129 | 2005-06-05T04:36:40Z | AugPi | TH18, TH19 |
| 14725684 | 2005-06-05T03:53:30Z | AugPi | TH16, TH17 |
| 14724154 | 2005-06-05T03:40:02Z | AugPi | TH15 |
| 14723726 | 2005-06-05T03:17:54Z | AugPi | TH13, TH14 |
| 14723005 | 2005-06-05T03:06:11Z | AugPi | TH1, new TH12 |
| 14722569 | 2005-06-05T00:24:54Z | AugPi | TH12 |
| 14716751 | 2005-06-05T00:13:08Z | AugPi | TH-11 |
| 14716248 | 2005-06-05T00:06:01Z | AugPi | up to TH10 and note |
| 14715953 | 2005-06-04T23:52:13Z | AugPi | TH6, TH7 |
| 14715406 | 2005-06-04T23:43:24Z | AugPi | TH5 |
| 14715051 | 2005-06-04T23:35:39Z | AugPi | TH4 |
| 14714738 | 2005-06-04T23:27:18Z | AugPi | TH2, TH3 |
| 14714422 | 2005-06-04T23:14:38Z | AugPi | new article; rules |
