Jump to content

Talk:First-order logic: Revision history

View logs for this page (view filter log)

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 19:4719:47, 24 December 2024 JRSpriggs talk contribs 6,522 bytes −53 →First-order logic with equality IS decidable!: delete this section for lack of content undo
curprev 13:2913:29, 24 December 2024 Lowercase sigmabot III talk contribs m 6,575 bytes −151,308 Archiving 47 discussion(s) to Talk:First-order logic/Archive 4, Talk:First-order logic/Archive 5, Talk:First-order logic/Archive 3, Talk:First-order logic/Archive 6) (bot undo Tag: Replaced

curprev 22:0222:02, 23 December 2024 Wizmut talk contribs 157,883 bytes +234 add archive bot undo

curprev 05:0005:00, 19 June 2024 Jochen Burghardt talk contribs 157,649 bytes +549 →If-then-else: Reply undo Tag: Reply

curprev 19:3119:31, 18 June 2024 Felix QW talk contribs 157,100 bytes +356 →If-then-else: Reply undo Tag: Reply
curprev 15:1915:19, 18 June 2024 Dezaxa talk contribs 156,744 bytes +313 →If-then-else: Reply undo Tag: Reply
curprev 10:3510:35, 18 June 2024 84.15.176.27 talk 156,431 bytes +1,368 →If-then-else: new section undo Tag: New topic

curprev 21:2321:23, 20 April 2024 C7XWiki talk contribs 155,063 bytes +597 →First-Order Sentence definition undo

curprev 00:4000:40, 9 March 2024 Cewbot talk contribs m 154,466 bytes −62 Maintain {{WPBS}}: 4 WikiProject templates. Remove 2 deprecated parameters: field, frequentlyviewed. undo Tag: Talk banner shell conversion

curprev 04:3904:39, 7 January 2024 Cewbot talk contribs m 154,528 bytes −158 Maintain {{WPBS}} and vital articles: 4 WikiProject templates. Merge {{VA}} into {{WPBS}}. Keep majority rating "B" in {{WPBS}}. Remove 4 same ratings as {{WPBS}} in {{WikiProject Philosophy}}, {{WikiProject Mathematics}}, {{WikiProject Statistics}}, {{WikiProject Computer science}}. undo

curprev 08:3808:38, 31 July 2023 Jochen Burghardt talk contribs 154,686 bytes +1,033 →First-Order Sentence definition: Reply undo Tag: Reply
curprev 07:3207:32, 31 July 2023 Dark.Rider85 talk contribs 153,653 bytes +744 →First-Order Sentence definition: new section undo Tag: New topic

curprev 18:4818:48, 28 July 2023 C7XWiki talk contribs 152,909 bytes +134 →Example of definable functions undo

curprev 15:0715:07, 7 July 2023 173.13.91.9 talk 152,775 bytes +514 No edit summary undo

curprev 16:1316:13, 6 July 2023 Jochen Burghardt talk contribs 152,261 bytes +242 →First Example is incorrect: Reply undo Tag: Reply
curprev 15:0415:04, 6 July 2023 173.13.91.9 talk 152,019 bytes +1,716 →First Example is incorrect: new section undo Tag: New topic

curprev 09:5409:54, 31 March 2023 Nuttyskin talk contribs 150,303 bytes +375 →Too technical: Reply undo Tags: Mobile edit Mobile web edit Reply

curprev 17:2817:28, 11 November 2022 K6ka talk contribs m 149,928 bytes +2 Malfunctioning bot, see Wikipedia:Administrators'_noticeboard/Incidents#Vital_articles_and_Cewbot undo Tag: Rollback
curprev 11:1211:12, 11 November 2022 Cewbot talk contribs m 149,926 bytes −2 Maintain {{Vital article}}: The article is listed in the level 5 page: Mathematical logic (32 articles) Configured as topic=Mathematics undo Tag: Reverted

curprev 10:2510:25, 25 September 2022 C7XWiki talk contribs 149,928 bytes +503 →Inconsistency of terminology undo

curprev 21:2121:21, 21 August 2022 JRSpriggs talk contribs 149,425 bytes +15 lead: restore "importance=Top" to math project undo

curprev 23:5023:50, 20 August 2022 Carchasm talk contribs 149,410 bytes +13 Assessment: banner shell, Philosophy (High), Mathematics, Statistics (Rater) undo

curprev 14:2214:22, 31 May 2022 Lewis Goudy talk contribs 149,397 bytes +1,573 →Terms: individual constants: Reply undo Tag: Reply

curprev 04:5604:56, 27 April 2022 C7XWiki talk contribs 147,824 bytes +75 →Example of definable functions undo
curprev 04:5104:51, 27 April 2022 C7XWiki talk contribs 147,749 bytes +53 →Example of definable functions undo
curprev 04:5004:50, 27 April 2022 C7XWiki talk contribs 147,696 bytes +27 →Example of definable functions undo
curprev 04:5004:50, 27 April 2022 C7XWiki talk contribs 147,669 bytes +786 →Example of definable functions: new section undo

curprev 21:3121:31, 29 September 2021 Dezaxa talk contribs 146,883 bytes +1,055 →Inconsistency of terminology: new section undo

curprev 07:3507:35, 5 September 2021 SaturnFogg talk contribs 145,828 bytes −4 reclassified the article to B-class for the Logic project undo

curprev 08:1308:13, 22 August 2021 Cewbot talk contribs m 145,832 bytes +92 Maintain {{Vital article}}: The article is listed in the level 4 page: Discrete mathematics (38 articles) Config the topic of this page undo

curprev 13:4613:46, 13 August 2021 RenatUK talk contribs 145,740 bytes −72 Fixed {{Vital article}}; WP:TALKORDER undo

curprev 08:1008:10, 20 December 2020 Cewbot talk contribs m 145,812 bytes +124 Maintain {{Vital article}}: The article is listed in the level 5 page: Mathematical logic (29 articles) undo

curprev 19:4319:43, 3 May 2020 JRSpriggs talk contribs 145,688 bytes +220 →Precedence order (section 2.2.3 Notational conventions): reasonable undo
curprev 13:2513:25, 3 May 2020 Lasse Hillerøe Petersen talk contribs 145,468 bytes +682 →Precedence order (section 2.2.3 Notational conventions): new section undo

curprev 09:4509:45, 8 November 2019 JRSpriggs talk contribs 144,786 bytes +164 →An error in the definition of formulas: no problem undo
curprev 01:5401:54, 8 November 2019 VictorPorton talk contribs 144,622 bytes +301 →An error in the definition of formulas: new section undo

curprev 17:1217:12, 3 February 2019 Paradoctor talk contribs 144,321 bytes −198 Undid revision 881565426 by Momfzo (talk) plainly irrelevant per WP:TALK#USE undo Tag: Undo
curprev 12:0212:02, 3 February 2019 Momfzo talk contribs 144,519 bytes +198 No edit summary undo Tags: Mobile edit Mobile web edit

curprev 10:1310:13, 19 July 2018 Timrollpickering talk contribs m 144,321 bytes −4 →top: merge to B class per Wikipedia:Categories for discussion/Log/2018 June 30, replaced: Bplus → B using AWB undo

curprev 13:3813:38, 18 July 2018 178.23.225.164 talk 144,325 bytes +53 No edit summary undo

curprev 11:2711:27, 1 April 2018 Eugepros talk contribs 144,272 bytes −598 →Equality and its axioms undo
curprev 10:3910:39, 1 April 2018 Eugepros talk contribs 144,870 bytes +598 No edit summary undo

curprev 15:3415:34, 31 March 2017 Nemo bis talk contribs 144,272 bytes +184 →sentence doesn't belong to introduction IMO: ok undo

curprev 14:2314:23, 24 March 2017 Purgy Purgatorio talk contribs 144,088 bytes +920 →Loving relation: rp to CBM's first cmt undo
curprev 11:5411:54, 24 March 2017 CBM talk contribs 143,168 bytes +719 →Loving relation: c undo
curprev 11:1811:18, 24 March 2017 Jochen Burghardt talk contribs 142,449 bytes +60 →Loving relation: structure / model undo
curprev 11:1511:15, 24 March 2017 Jochen Burghardt talk contribs 142,389 bytes +1,848 →Loving relation undo

curprev 21:0821:08, 23 March 2017 CBM talk contribs 140,541 bytes +638 →Loving relation: new section undo

curprev 04:1804:18, 12 December 2016 DIYeditor talk contribs m 139,903 bytes +5 →Question regarding an edit: missing word undo

curprev 17:4417:44, 11 December 2016 Purgy Purgatorio talk contribs 139,898 bytes +560 →Question regarding an edit: remark undo

Retrieved from "https://en.wikipedia.org/wiki/Talk:First-order_logic"