Occurs check: Revision history

30 October 2024

• curprev 00:3300:33, 30 October 2024 The Anome talk contribs 6,693 bytes +62 Adding local short description: "Algorithm component in computer science", overriding Wikidata description "algorithm in computer science" undo Tag: Shortdesc helper

7 August 2024

• curprev 10:1910:19, 7 August 2024 Jochen Burghardt talk contribs 6,631 bytes +1 →Application in theorem proving: reorder sentence to change emphasis undo

6 August 2024

• curprev 22:2022:20, 6 August 2024 Atomvinter talk contribs m 6,630 bytes −3 →Application in theorem proving undo
• curprev 22:2022:20, 6 August 2024 Atomvinter talk contribs m 6,633 bytes −1 →Application in theorem proving undo

25 July 2023

• curprev 06:4406:44, 25 July 2023 Citation bot talk contribs 6,634 bytes −56 Removed proxy/dead URL that duplicated identifier. | Use this bot. Report bugs. | #UCB_CommandLine undo

5 June 2023

• curprev 14:3614:36, 5 June 2023 Vvrq talk contribs 6,690 bytes +59 →Sound unification: Trealla added undo

20 May 2023

• curprev 13:0613:06, 20 May 2023 Frap talk contribs 6,631 bytes 0 MOS:HEAD undo

29 January 2023

• curprev 07:2007:20, 29 January 2023 OAbot talk contribs m 6,631 bytes +17 Open access bot: doi added to citation with #oabot. undo

3 January 2023

• curprev 09:4809:48, 3 January 2023 Citation bot talk contribs 6,614 bytes −279 Alter: url. URLs might have been anonymized. Add: issue. Removed proxy/dead URL that duplicated identifier. Removed access-date with no URL. Removed parameters. | Use this bot. Report bugs. | Suggested by SemperIocundus | #UCB_webform 462/2500 undo

30 November 2021

• curprev 20:0320:03, 30 November 2021 Kvng talk contribs m 6,893 bytes −11 mv {{FOLDOC}} to talk undo

13 October 2021

• curprev 13:3713:37, 13 October 2021 JCW-CleanerBot talk contribs m 6,904 bytes +11 task, replaced: J. Logic Programming → Journal of Logic Programming undo Tag: AWB

9 September 2021

• curprev 23:0523:05, 9 September 2021 Janburse talk contribs 6,893 bytes −43 Jekejeke Prolog not anymore available, see Dogelog Runtime undo

5 July 2021

• curprev 18:0418:04, 5 July 2021 OAbot talk contribs m 6,936 bytes +17 Open access bot: doi added to citation with #oabot. undo

2 March 2021

• curprev 21:0921:09, 2 March 2021 Vvrq talk contribs 6,919 bytes +73 →Sound Unification: acyclic_term/1 added undo

1 March 2021

• curprev 09:5509:55, 1 March 2021 Vvrq talk contribs 6,846 bytes +58 →Sound Unification: Added Scryer undo

8 February 2021

• curprev 07:2507:25, 8 February 2021 OAbot talk contribs m 6,788 bytes +17 Open access bot: doi added to citation with #oabot. undo

3 February 2021

• curprev 12:1712:17, 3 February 2021 Janburse talk contribs 6,771 bytes +1 No edit summary undo
• curprev 12:0312:03, 3 February 2021 77.57.53.70 talk 6,770 bytes −4 →Rational Tree Unification undo
• curprev 12:0312:03, 3 February 2021 77.57.53.70 talk 6,774 bytes +27 →Prolog implementation undo
• curprev 11:4711:47, 3 February 2021 Janburse talk contribs 6,747 bytes 0 →Prolog implementation undo
• curprev 11:4611:46, 3 February 2021 Janburse talk contribs 6,747 bytes −4 →Prolog implementation undo
• curprev 11:4511:45, 3 February 2021 Janburse talk contribs 6,751 bytes −123 →Prolog implementation undo
• curprev 11:4311:43, 3 February 2021 Janburse talk contribs 6,874 bytes 0 →Prolog implementation undo
• curprev 11:4211:42, 3 February 2021 Janburse talk contribs 6,874 bytes −12 →Prolog implementation undo
• curprev 11:4111:41, 3 February 2021 Janburse talk contribs 6,886 bytes +1 →Prolog implementation undo
• curprev 11:3911:39, 3 February 2021 Janburse talk contribs 6,885 bytes −8 →Prolog implementation undo
• curprev 11:3911:39, 3 February 2021 Janburse talk contribs 6,893 bytes +6 →Prolog implementation undo
• curprev 11:3811:38, 3 February 2021 Janburse talk contribs 6,887 bytes +574 →Prolog implementation undo
• curprev 11:0111:01, 3 February 2021 Janburse talk contribs 6,313 bytes +86 →Prolog implementation undo
• curprev 10:4510:45, 3 February 2021 Janburse talk contribs 6,227 bytes −2 →Prolog implementation undo
• curprev 10:4410:44, 3 February 2021 Janburse talk contribs 6,229 bytes +5 →Prolog implementation undo
• curprev 10:4310:43, 3 February 2021 Janburse talk contribs 6,224 bytes −2 →Prolog implementation undo
• curprev 10:4110:41, 3 February 2021 Janburse talk contribs 6,226 bytes −1 →Prolog implementation undo
• curprev 10:4010:40, 3 February 2021 Janburse talk contribs 6,227 bytes +195 →Prolog implementation undo
• curprev 10:3510:35, 3 February 2021 Janburse talk contribs 6,032 bytes −7 →Prolog implementation undo
• curprev 10:3410:34, 3 February 2021 Janburse talk contribs 6,039 bytes +283 →Prolog implementation undo
• curprev 10:3010:30, 3 February 2021 Janburse talk contribs 5,756 bytes +111 →Prolog implementation undo

17 December 2020

• curprev 04:0904:09, 17 December 2020 Monkbot talk contribs m 5,645 bytes −26 Task 18 (cosmetic): eval 7 templates: del empty params (3×); hyphenate params (1×); undo Tag: AWB

23 November 2020

• curprev 02:0002:00, 23 November 2020 Tom.Reding talk contribs m 5,671 bytes −15 Category:CS1 errors: empty unknown parameters; WP:GenFixes on undo Tag: AWB

17 June 2020

• curprev 11:1511:15, 17 June 2020 There is a T101 in your kitchen talk contribs m 5,686 bytes +32 Slight cleanup of citation of "Semantics for Logic Programs without Occur Check" undo

22 April 2020

• curprev 21:3221:32, 22 April 2020 InternetArchiveBot talk contribs 5,654 bytes +196 Rescuing 1 sources and tagging 0 as dead.) #IABot (v2.0 undo

13 April 2020

• curprev 23:1423:14, 13 April 2020 OAbot talk contribs m 5,458 bytes +17 Open access bot: doi added to citation with #oabot. undo

19 March 2019

• curprev 21:3721:37, 19 March 2019 Headbomb talk contribs 5,441 bytes +7 Theoretical Computer Science undo

7 November 2018

• curprev 22:5222:52, 7 November 2018 81.203.176.227 talk 5,434 bytes +37 Added other implementations that offer sound unification via flag undo

13 November 2017

• curprev 13:0313:03, 13 November 2017 Vvrq talk contribs 5,397 bytes +14 No edit summary undo

19 May 2017

• curprev 06:2006:20, 19 May 2017 Jochen Burghardt talk contribs 5,383 bytes +30 →Prolog implementation: author-link undo

14 January 2017

• curprev 15:4915:49, 14 January 2017 62.44.100.59 talk 5,353 bytes +27 Strawberry Prolog always does sound unification undo

4 June 2016

• curprev 17:0717:07, 4 June 2016 Dcirovic talk contribs m 5,326 bytes +57 →Prolog implementation: refs using AWB undo

8 May 2016

• curprev 22:4522:45, 8 May 2016 Dymaio talk contribs 5,269 bytes 0 in particular, the frequent case → in the particular, frequent case undo

25 October 2015

• curprev 06:4306:43, 25 October 2015 BG19bot talk contribs m 5,269 bytes 0 →Prolog implementation: WP:CHECKWIKI error fix for #61. Punctuation goes before References. Do general fixes if a problem exists. - using AWB (11700) undo