F-logic: Revision history

11 April 2024

• curprev 16:0516:05, 11 April 2024‎ MaD70 talk contribs‎ 7,017 bytes +46‎ →‎F-logic based languages: Updated link to FLORID and added expanded meaning of the acronym undo

16 July 2023

• curprev 01:2801:28, 16 July 2023‎ Jlwoodwa talk contribs‎ m 6,971 bytes +11‎ upd link undo

5 April 2023

• curprev 01:0301:03, 5 April 2023‎ Jarble talk contribs‎ 6,960 bytes +22‎ adding Template:Ontology languages undo

23 December 2022

• curprev 10:1810:18, 23 December 2022‎ Vladimir Alexiev talk contribs‎ 6,938 bytes +5‎ →‎F-logic syntax undo
• curprev 10:1710:17, 23 December 2022‎ Vladimir Alexiev talk contribs‎ 6,933 bytes +176‎ →‎F-logic syntax: the rule "if X is the son of Y then X is a person and Y is the father of X" is wrong undo

10 November 2022

• curprev 15:3115:31, 10 November 2022‎ AManWithNoPlan talk contribs‎ 6,757 bytes −91‎ fix dead links undo

19 August 2022

• curprev 00:5000:50, 19 August 2022‎ Cedar101 talk contribs‎ m 6,848 bytes +28‎ →‎F-logic syntax: {{sxhl}} undo

8 June 2022

• curprev 18:4518:45, 8 June 2022‎ Citation bot talk contribs‎ 6,820 bytes +15‎ Add: s2cid. | Use this bot. Report bugs. | Suggested by Abductive | Category:Knowledge representation | #UCB_Category 57/198 undo

18 August 2021

• curprev 06:0206:02, 18 August 2021‎ 2a01:c22:d4a3:ad00:fd3d:2e29:52ff:8c47 talk‎ 6,805 bytes +133‎ No edit summary undo

20 July 2021

• curprev 20:2320:23, 20 July 2021‎ 186.86.52.147 talk‎ 6,672 bytes +1‎ No edit summary undo

4 January 2021

• curprev 06:1006:10, 4 January 2021‎ Monkbot talk contribs‎ m 6,671 bytes +1‎ Task 18 (cosmetic): eval 3 templates: hyphenate params (1×); undo Tag: AWB

26 June 2020

• curprev 11:2911:29, 26 June 2020‎ Ira Leviton talk contribs‎ m 6,670 bytes 0‎ Replaced an outdated html code with a wikicode. undo

3 April 2020

• curprev 00:1500:15, 3 April 2020‎ Citation bot talk contribs‎ 6,670 bytes +2‎ Alter: issue. Add: date. Removed parameters. Formatted dashes. Some additions/deletions were actually parameter name changes. | You can use this bot yourself. Report bugs here. | Activated by Zppix | Category:Knowledge representation‎ | via #UCB_Category undo

30 March 2019

• curprev 16:0216:02, 30 March 2019‎ Biogeographist talk contribs‎ 6,668 bytes +358‎ removed red links; no external links in article body per WP:EL; no space before ref tags; punctuation generally goes before ref tags undo

17 January 2019

• curprev 16:4116:41, 17 January 2019‎ 134.76.81.30 talk‎ 6,310 bytes +20‎ →‎Overview undo
• curprev 16:4016:40, 17 January 2019‎ 134.76.81.30 talk‎ 6,290 bytes +12‎ →‎Overview undo

12 December 2017

• curprev 20:3820:38, 12 December 2017‎ Omnipaedista talk contribs‎ 6,278 bytes 0‎ per MOS:CAPS undo
• curprev 20:3820:38, 12 December 2017‎ Omnipaedista talk contribs‎ 6,278 bytes −1‎ →‎F-logic syntax undo
• curprev 20:3720:37, 12 December 2017‎ Omnipaedista talk contribs‎ 6,279 bytes 0‎ per MOS:CAPS undo
• curprev 20:3720:37, 12 December 2017‎ Omnipaedista talk contribs‎ 6,279 bytes +14‎ resectioning per WP:LEAD undo

3 June 2017

• curprev 20:5520:55, 3 June 2017‎ 24.47.143.105 talk‎ 6,265 bytes +467‎ added more about the Flora-2 syntax undo
• curprev 20:4020:40, 3 June 2017‎ 24.47.143.105 talk‎ 5,798 bytes +39‎ small changes undo

28 October 2016

• curprev 04:4304:43, 28 October 2016‎ Bender the Bot talk contribs‎ m 5,759 bytes +1‎ →‎top: http→https for Google Books and Google News using AWB undo

25 June 2016

• curprev 23:0023:00, 25 June 2016‎ 88.71.168.212 talk‎ 5,758 bytes +1‎ Edited wrong word undo

12 January 2016

• curprev 11:4111:41, 12 January 2016‎ Laurenced talk contribs‎ m 5,757 bytes −2‎ →‎F-logic syntax undo

7 November 2015

• curprev 22:3222:32, 7 November 2015‎ There is a T101 in your kitchen talk contribs‎ 5,759 bytes +219‎ Added a link to the re-issued paper of 1997 where the PDF is not paywalled undo

3 August 2015

• curprev 08:4008:40, 3 August 2015‎ 84.206.24.242 talk‎ 5,540 bytes +8‎ link corrections :-) undo
• curprev 08:3908:39, 3 August 2015‎ 84.206.24.242 talk‎ 5,532 bytes +146‎ successor language link undo

4 June 2015

• curprev 15:5815:58, 4 June 2015‎ John of Reading talk contribs‎ m 5,386 bytes 0‎ Typo/general fixing, replaced: followup paper → follow-up paper using AWB undo

21 May 2014

• curprev 18:1418:14, 21 May 2014‎ AnomieBOT talk contribs‎ m 5,386 bytes +14‎ Dating maintenance tags: {{Citation needed}} undo
• curprev 16:1316:13, 21 May 2014‎ Bernardofbbraga talk contribs‎ 5,372 bytes +19‎ No edit summary undo
• curprev 15:4215:42, 21 May 2014‎ Bernardofbbraga talk contribs‎ m 5,353 bytes +1‎ Moved information about the language that was in the syntax section. The two paragraphs moved are general information about F-Logic and have nothing to do with syntax. undo

6 February 2014

• curprev 05:5305:53, 6 February 2014‎ BG19bot talk contribs‎ m 5,352 bytes −1‎ →‎F-logic syntax: WP:CHECKWIKI error fix for #61. Punctuation goes before References. Do general fixes if a problem exists. - using AWB (9916) undo

5 February 2014

• curprev 23:1523:15, 5 February 2014‎ Someone not using his real name talk contribs‎ 5,353 bytes +18‎ tweak undo
• curprev 23:1423:14, 5 February 2014‎ Someone not using his real name talk contribs‎ 5,335 bytes +78‎ seems important enough to mention undo
• curprev 23:0423:04, 5 February 2014‎ Someone not using his real name talk contribs‎ 5,257 bytes +245‎ cite + tweak; hopefully not too wrong undo
• curprev 22:4522:45, 5 February 2014‎ Someone not using his real name talk contribs‎ 5,012 bytes −6‎ given that Kifer and Boley are the editors of the RIF standard, this seems plausible undo
• curprev 22:4122:41, 5 February 2014‎ Someone not using his real name talk contribs‎ 5,018 bytes +6‎ could be true but the RIF page makes no mention of F-logic undo

29 January 2014

• curprev 20:5120:51, 29 January 2014‎ Michaelkifer talk contribs‎ 5,012 bytes +1‎ →‎F-logic syntax undo

10 September 2013

• curprev 22:4022:40, 10 September 2013‎ Michaelkifer talk contribs‎ 5,011 bytes +88‎ No edit summary undo
• curprev 21:2121:21, 10 September 2013‎ Yobot talk contribs‎ m 4,923 bytes −1‎ →‎F-logic syntax: WP:CHECKWIKI error fixes using AWB (9475) undo

2 September 2013

• curprev 04:4304:43, 2 September 2013‎ Michaelkifer talk contribs‎ 4,924 bytes +407‎ No edit summary undo
• curprev 04:3404:34, 2 September 2013‎ Michaelkifer talk contribs‎ 4,517 bytes +28‎ No edit summary undo
• curprev 04:3304:33, 2 September 2013‎ Michaelkifer talk contribs‎ 4,489 bytes +830‎ No edit summary undo

17 August 2013

• curprev 04:3004:30, 17 August 2013‎ Michaelkifer talk contribs‎ m 3,659 bytes 0‎ Fixing typo raised by BracketBot undo
• curprev 04:1704:17, 17 August 2013‎ Michaelkifer talk contribs‎ 3,659 bytes −28‎ →‎F-logic based Languages undo

16 August 2013

• curprev 05:1605:16, 16 August 2013‎ Michaelkifer talk contribs‎ 3,687 bytes 0‎ No edit summary undo
• curprev 05:1405:14, 16 August 2013‎ Michaelkifer talk contribs‎ 3,687 bytes +141‎ No edit summary undo

21 June 2013

• curprev 18:2218:22, 21 June 2013‎ 24.207.14.178 talk‎ 3,546 bytes +1‎ →‎F-logic syntax: Fixed a small typo in the FORALL example. undo

15 March 2013

• curprev 12:2812:28, 15 March 2013‎ Addbot talk contribs‎ m 3,545 bytes −16‎ Bot: Migrating 1 interwiki links, now provided by Wikidata on d:q1266004 undo