Jump to content

Subsumption lattice: 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 00:4800:48, 9 March 2022 Cewbot talk contribs m 6,408 bytes +12 Fix broken anchor: 2013-08-23 #Lattices_as_posets⇝Lattice (order)#As partially ordered set undo

curprev 16:1516:15, 1 October 2020 Jochen Burghardt talk contribs 6,396 bytes −50 →Properties: use common set operations undo
curprev 16:1116:11, 1 October 2020 Jochen Burghardt talk contribs 6,446 bytes +38 →Properties: wikilink undo

curprev 12:4112:41, 2 September 2020 2001:a18:0:b23::6 talk 6,408 bytes +1 No edit summary undo

curprev 16:1116:11, 1 August 2020 Adavidb talk contribs m 6,407 bytes +45 Adding short description: "Mathematical structure" (Shortdesc helper) undo

curprev 11:4111:41, 25 October 2019 31.33.164.250 talk 6,362 bytes +229 No edit summary undo

curprev 20:4820:48, 29 August 2019 Bender the Bot talk contribs m 6,133 bytes +1 →Properties: HTTP → HTTPS for Carnegie Mellon CS, replaced: http://www.cs.cmu.edu/ → https://www.cs.cmu.edu/ undo Tag: AWB

curprev 09:3809:38, 21 May 2017 86.161.118.28 talk 6,132 bytes +1 →Sublattice of linear terms undo
curprev 08:4808:48, 21 May 2017 86.161.118.28 talk 6,131 bytes −4 →Origin undo

curprev 21:2121:21, 20 April 2017 71.112.35.22 talk 6,135 bytes +12 →Properties: fixed broken link to transysalg.pdf undo

curprev 07:0707:07, 6 April 2015 Jarble talk contribs m 6,123 bytes −16 link automated theorem proving using Find link undo

curprev 21:1821:18, 18 October 2014 Jochen Burghardt talk contribs 6,139 bytes +66 →Definition: def.d 'unifiable' undo
curprev 21:1121:11, 18 October 2014 Jochen Burghardt talk contribs 6,073 bytes +109 →Properties: referred to pic.2 in text undo

curprev 21:4921:49, 12 September 2014 Jochen Burghardt talk contribs 5,964 bytes +40 →Sublattice of linear terms: pic.3...5 undo
curprev 21:4721:47, 12 September 2014 Jochen Burghardt talk contribs 5,924 bytes +13 →Properties: pic.2 undo
curprev 21:4521:45, 12 September 2014 Jochen Burghardt talk contribs 5,911 bytes +11 started numbering pictures undo
curprev 20:4920:49, 12 September 2014 Jochen Burghardt talk contribs 5,900 bytes +501 →Sublattice of linear terms: sublattices without Ω are distributive undo

curprev 16:0516:05, 10 September 2014 Jochen Burghardt talk contribs 5,399 bytes +239 →Properties: suggest to illustrate another property of subs. lattice undo
curprev 12:4612:46, 10 September 2014 Jochen Burghardt talk contribs 5,160 bytes +174 →Sublattice of linear terms: depict examples for M3, N5; conclude non-modularity (and non-distributivity) undo
curprev 11:5311:53, 10 September 2014 Jochen Burghardt talk contribs 4,986 bytes −53 →top: replaced gif by svg undo

curprev 09:4809:48, 9 September 2014 Jochen Burghardt talk contribs 5,039 bytes +79 →Properties: author-link; url undo

curprev 00:2300:23, 29 August 2014 Monkbot talk contribs m 4,960 bytes −6 →Origin: Task 1f: Fix CS1 deprecated date parameter errors undo

curprev 07:1307:13, 21 June 2013 Jochen Burghardt talk contribs 4,966 bytes −23 →Definition: relinked "subst" to main article undo

curprev 10:2810:28, 9 June 2013 Jochen Burghardt talk contribs 4,989 bytes −27 removed orphan tag after referring from" unification (computer science)" undo
curprev 08:1908:19, 9 June 2013 Yobot talk contribs m 5,016 bytes +26 WP:CHECKWIKI error fixes, added orphan tag using AWB (9241) undo

curprev 21:4321:43, 8 June 2013 Jochen Burghardt talk contribs 4,990 bytes +310 →Properties: added ref. undo
curprev 21:3621:36, 8 June 2013 Jochen Burghardt talk contribs m 4,680 bytes −1 →Definition: typo undo
curprev 21:3521:35, 8 June 2013 Jochen Burghardt talk contribs 4,681 bytes +110 →Definition: exm. for "renaming" undo
curprev 21:3121:31, 8 June 2013 Jochen Burghardt talk contribs 4,571 bytes +1,884 added properties undo

curprev 03:3003:30, 7 May 2013 174.53.163.119 talk 2,687 bytes +23 cleanup per WP:MOSMATH undo

curprev 13:2313:23, 4 May 2013 Ruud Koot talk contribs m 2,664 bytes +4 →Origin: lk undo
curprev 13:2113:21, 4 May 2013 Ruud Koot talk contribs m 2,660 bytes 0 Ruud Koot moved page Wikipedia talk:Articles for creation/subsumption lattice to Subsumption lattice undo
curprev 13:2113:21, 4 May 2013 Ruud Koot talk contribs 2,660 bytes −241 copyedit undo

curprev 10:2610:26, 22 August 2012 Thomas85753 talk contribs 2,901 bytes +212 Declining submission: see comment therein (AFCH) undo

Retrieved from "https://en.wikipedia.org/wiki/Subsumption_lattice"