SLD resolution: Revision history

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 22:4222:42, 29 June 2024 MarkMarkB talk contribs m 10,321 bytes +27 Clarify the programming language used in the example undo

curprev 22:5322:53, 12 November 2023 Taz On The Free Encyclopedia talk contribs m 10,294 bytes +48 No edit summary undo Tags: Mobile edit Mobile app edit iOS app edit

curprev 17:4317:43, 1 October 2023 Bm319 talk contribs 10,246 bytes +46 No edit summary undo

curprev 14:3714:37, 9 November 2022 DavidGries talk contribs 10,200 bytes +21 added link to "Krzysztof R. Apt" undo

curprev 10:0810:08, 22 May 2021 Hooman Mallahzadeh talk contribs m 10,179 bytes +6 →Example undo
curprev 09:2909:29, 22 May 2021 Hooman Mallahzadeh talk contribs m 10,173 bytes −27 No edit summary undo Tag: Visual edit: Switched
curprev 08:3208:32, 22 May 2021 Logperson talk contribs 10,200 bytes −49 replace improved version of SLD by historical version. This is not the place for original research. undo

curprev 18:5018:50, 21 May 2021 Hooman Mallahzadeh talk contribs m 10,249 bytes +2 No edit summary undo Tag: Visual edit
curprev 18:4818:48, 21 May 2021 Hooman Mallahzadeh talk contribs m 10,247 bytes +18 No edit summary undo Tag: Visual edit
curprev 18:4418:44, 21 May 2021 Hooman Mallahzadeh talk contribs m 10,229 bytes +85 →SLD resolution strategies undo Tag: Visual edit

curprev 08:5108:51, 19 May 2021 Hooman Mallahzadeh talk contribs m 10,144 bytes −8 →The origin of the name "SLD" undo Tag: Visual edit

curprev 07:3807:38, 16 May 2021 Logperson talk contribs 9,887 bytes 0 correction: the => any undo

curprev 08:4008:40, 15 May 2021 Hooman Mallahzadeh talk contribs m 9,887 bytes 0 →SLD resolution strategies undo Tag: Visual edit

curprev 19:2819:28, 2 June 2019 Triptropic talk contribs m 9,887 bytes +3 Corrected uni name undo Tag: Visual edit

curprev 16:1916:19, 7 December 2018 Dough34 talk contribs m 9,884 bytes −12 →The origin of the name "SLD": remove bolding undo

curprev 22:4922:49, 14 November 2018 Texvc2LaTeXBot talk contribs m 9,896 bytes +22 Replacing deprecated latex syntax mw:Extension:Math/Roadmap undo

curprev 23:5923:59, 10 July 2017 Jarble talk contribs 9,874 bytes +4 →SLD resolution strategies undo
curprev 23:5723:57, 10 July 2017 Jarble talk contribs 9,870 bytes +8 linking undo

curprev 07:3507:35, 25 March 2016 BG19bot talk contribs m 9,862 bytes −2 Remove blank line(s) between list items per WP:LISTGAP to fix an accessibility issue for users of screen readers. Do WP:GENFIXES and cleanup if needed. Discuss this at Wikipedia talk:WikiProject Accessibility#LISTGAP undo

curprev 22:1722:17, 5 April 2015 Pmcjones talk contribs m 9,864 bytes +52 →SLDNF: Added link to paper in ACM Digital Library undo

curprev 16:3716:37, 3 April 2015 109.149.212.117 talk 9,812 bytes +202 →References undo

curprev 13:4913:49, 4 January 2015 86.129.170.188 talk 9,610 bytes +2 →References: fix broken link undo

curprev 19:5919:59, 6 May 2014 Thenub314 talk contribs 9,608 bytes +8 updating link undo

curprev 20:0920:09, 21 October 2013 Ctxppc talk contribs 9,600 bytes −57 Undid revision 578159743 by Ctxppc (talk) undo
curprev 20:0820:08, 21 October 2013 Ctxppc talk contribs 9,657 bytes +59 Clarified goal clause sentence by adding more terms. undo

curprev 02:5202:52, 17 March 2013 Addbot talk contribs m 9,598 bytes −24 Bot: Migrating 1 interwiki links, now provided by Wikidata on d:q3459697 undo

curprev 13:2313:23, 10 August 2012 91.103.29.52 talk 9,622 bytes −4 →The origin of the name "SLD" undo

curprev 23:0223:02, 10 March 2012 Gregbard talk contribs m 9,626 bytes +18 clean up using AWB undo

curprev 16:5016:50, 2 September 2011 AugPi talk contribs m 9,608 bytes +3 cat: correction undo
curprev 16:5016:50, 2 September 2011 AugPi talk contribs m 9,605 bytes +29 cat++ undo

curprev 04:2704:27, 24 March 2011 Tijfo098 talk contribs 9,576 bytes +236 Give the man some credit, he's giving you a free book after all undo

curprev 19:5419:54, 30 January 2011 188.153.154.153 talk 9,340 bytes +17 Added link to completeness undo

curprev 17:5217:52, 30 June 2010 SmackBot talk contribs m 9,323 bytes +24 Correct cap in header and/or general fixes. undo

curprev 12:2912:29, 26 June 2010 Grafen talk contribs m 9,299 bytes +12 WikiCleaner 0.99 - Repairing link to disambiguation page - You can help! undo

curprev 15:4115:41, 20 June 2010 Carbo1200 talk contribs 9,287 bytes +29 →The non-deterministic nature of SLD resolution: clarify resolution strategies undo

curprev 23:0923:09, 15 April 2010 72.228.177.92 talk 9,258 bytes +39 No edit summary undo

curprev 08:3708:37, 14 January 2010 217.194.34.103 talk 9,219 bytes 0 →Example undo

curprev 14:4614:46, 14 December 2009 Pgr94 talk contribs 9,219 bytes −41 switch to inline references undo

curprev 15:0315:03, 21 November 2009 Albertzeyer talk contribs 9,260 bytes +14 No edit summary undo

curprev 08:1608:16, 24 June 2009 133.11.138.150 talk 9,246 bytes +18 No edit summary undo

curprev 08:3608:36, 15 April 2009 192.54.144.229 talk 9,228 bytes +87 No edit summary undo

curprev 08:2308:23, 27 February 2009 Logperson talk contribs 9,141 bytes +41 implemented correction undo

curprev 11:5111:51, 7 December 2008 Tomaxer talk contribs m 9,100 bytes +16 →The SLD inference rule: Unification link undo

curprev 17:1317:13, 23 August 2008 220.233.205.122 talk 9,084 bytes +2 →The SLD inference rule undo

29 June 2024

12 November 2023

1 October 2023

9 November 2022

22 May 2021

21 May 2021

19 May 2021

18 May 2021

16 May 2021

15 May 2021

2 June 2019

7 December 2018

14 November 2018

10 July 2017

25 March 2016

5 April 2015

3 April 2015

4 January 2015

6 May 2014

21 October 2013

17 March 2013

10 August 2012

10 March 2012

2 September 2011

24 March 2011

30 January 2011

30 June 2010

26 June 2010

20 June 2010

15 April 2010

14 January 2010

14 December 2009

21 November 2009

24 June 2009

15 April 2009

27 February 2009

7 December 2008

23 August 2008