FO(.): Revision history

19 June 2024

• curprev 07:4407:44, 19 June 2024 Jerryobject talk contribs m 4,626 bytes −26 →External links: Template:Official website add. WP:NAVBOX update. undo

13 May 2024

• curprev 04:5304:53, 13 May 2024 Sillyslonker64 talk contribs 4,652 bytes +77 #suggestededit-add-desc 1.0 undo Tags: Mobile edit Mobile app edit Android app edit

24 August 2023

• curprev 12:5712:57, 24 August 2023 Citation bot talk contribs 4,575 bytes +34 Alter: title, template type. Add: chapter-url, chapter, bibcode. Removed or converted URL. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by Headbomb | Linked from Wikipedia:WikiProject_Academic_Journals/Journals_cited_by_Wikipedia/Sandbox3 | #UCB_webform_linked 557/1947 undo

5 April 2023

• curprev 01:3801:38, 5 April 2023 Jarble talk contribs 4,541 bytes +43 adding Template:Knowledge representation and reasoning undo

20 February 2023

• curprev 13:5813:58, 20 February 2023 Citation bot talk contribs 4,498 bytes −37 Removed proxy/dead URL that duplicated identifier. | Use this bot. Report bugs. | Suggested by AManWithNoPlan | #UCB_CommandLine undo

2 January 2023

• curprev 03:1103:11, 2 January 2023 Citation bot talk contribs 4,535 bytes +111 Alter: pages. Add: url, s2cid, isbn, arxiv. Formatted dashes. | Use this bot. Report bugs. | Suggested by Abductive | #UCB_webform 3586/3850 undo

22 October 2022

• curprev 10:5310:53, 22 October 2022 2a02:a03f:65d0:5e00:33b2:1d38:f519:6c21 talk 4,424 bytes −28 rmv frame language undo

24 June 2022

• curprev 11:4111:41, 24 June 2022 Pcarbonn talk contribs 4,452 bytes +38 →Example: clarify prescriptive undo

7 June 2022

• curprev 11:0811:08, 7 June 2022 WikiCleanerBot talk contribs m 4,414 bytes 0 v2.04b - Bot T20 CW#61 - Fix errors for CW project (Reference before punctuation) undo Tag: WPCleaner

5 June 2022

• curprev 18:2618:26, 5 June 2022 MewTheEditor talk contribs 4,414 bytes +233 Cleaned up the lead section, and added some examples for inference in IDP. undo

12 March 2022

• curprev 20:4120:41, 12 March 2022 Beland talk contribs m 4,181 bytes +39 convert special characters found by Wikipedia:Typo Team/moss (via WP:JWB) undo

8 February 2022

• curprev 16:5816:58, 8 February 2022 Jac16888 talk contribs 4,142 bytes −34 move coi template to talk page undo
• curprev 03:3203:32, 8 February 2022 Cedar101 talk contribs 4,176 bytes +12 →Example: fix syntaxhighlight error undo

7 February 2022

• curprev 10:0610:06, 7 February 2022 VadeveSi talk contribs m 4,164 bytes +26 Add info on Integer domain + slight reformat undo

4 February 2022

• curprev 07:3207:32, 4 February 2022 Cewbot talk contribs m 4,138 bytes +22 Normalize {{Multiple issues}}: Create {{Multiple issues}} with 4 maintenance template(s): External links, COI, Connected contributor, Notability undo

1 February 2022

• curprev 18:5918:59, 1 February 2022 Pcarbonn talk contribs 4,116 bytes +6 + type declaration undo
• curprev 17:4217:42, 1 February 2022 Jochen Burghardt talk contribs 4,110 bytes +28 →top: there is another article discussing KR languages, viz. frame language; unfortunately "Knowledge representation language" seems to be about informal languages (including Klingon) only undo
• curprev 13:0813:08, 1 February 2022 VadeveSi talk contribs m 4,082 bytes −4 Update link text undo
• curprev 10:4110:41, 1 February 2022 AnomieBOT talk contribs m 4,086 bytes +38 Dating maintenance tags: {{Notability}} {{COI}} undo
• curprev 10:2110:21, 1 February 2022 Frap talk contribs 4,048 bytes +15 Questioned notability undo
• curprev 10:1810:18, 1 February 2022 Frap talk contribs 4,033 bytes +8 Add COI template undo
• curprev 10:1410:14, 1 February 2022 Frap talk contribs 4,025 bytes +40 No edit summary undo
• curprev 09:2309:23, 1 February 2022 Pcarbonn talk contribs 3,985 bytes +27 align comments undo
• curprev 09:1809:18, 1 February 2022 Jochen Burghardt talk contribs 3,958 bytes +95 →Example: suggest to align comments; suggest to mention <, >= (as examples of built-in predicates - guessed); fix missing ")" undo
• curprev 09:1709:17, 1 February 2022 Pcarbonn talk contribs 3,863 bytes +202 FO(.) paper undo
• curprev 09:1009:10, 1 February 2022 Jochen Burghardt talk contribs 3,661 bytes +23 →top: keep lead-sentence source; rm redundant url (same page as doi) undo
• curprev 09:0209:02, 1 February 2022 Pcarbonn talk contribs 3,638 bytes +304 more links fix undo
• curprev 08:5908:59, 1 February 2022 Pcarbonn talk contribs 3,334 bytes +370 3 links undo

31 January 2022

• curprev 15:3315:33, 31 January 2022 John B123 talk contribs 2,964 bytes +38 Added tags to the page using Page Curation (external links) undo Tag: PageTriage
• curprev 14:3514:35, 31 January 2022 Pcarbonn talk contribs 2,926 bytes +189 improve example undo
• curprev 12:4312:43, 31 January 2022 Jochen Burghardt talk contribs 2,737 bytes +218 →Example: copy edit; align comments; guessed explanation of symbols; unfixed: should be "if you are *at least* 18", what about "age()->Nat", "<= : Nat*Nat -> Bool", "18 <= age()..." ? undo
• curprev 12:2912:29, 31 January 2022 Jochen Burghardt talk contribs 2,519 bytes +54 →top: copy-edit; guess context; distinguish algorithms from the tasks they achieve undo
• curprev 09:5409:54, 31 January 2022 193.191.150.3 talk 2,465 bytes +427 Add reference to FO(.) undo
• curprev 09:3209:32, 31 January 2022 88.97.100.7 talk 2,038 bytes +82 →Reference undo
• curprev 09:2009:20, 31 January 2022 Pcarbonn talk contribs 1,956 bytes +134 extensions undo
• curprev 09:1209:12, 31 January 2022 Pcarbonn talk contribs 1,822 bytes +92 links undo
• curprev 09:0909:09, 31 January 2022 Pcarbonn talk contribs 1,730 bytes +1,730 creation