{"entities":{"Q616624":{"pageid":618400,"ns":120,"title":"Item:Q616624","lastrevid":63082890,"modified":"2026-04-11T10:28:27Z","type":"item","id":"Q616624","labels":{"en":{"language":"en","value":"The poset of closure systems on an infinite poset: detachability and semimodularity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5835008"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616624$9F6179C1-BFE7-43B8-BB21-4497CCBD7843","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c5ed8016e97ab2f43db0b760f21196aab307df74","datavalue":{"value":{"text":"The poset of closure systems on an infinite poset: detachability and semimodularity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q616624$6C72C57E-D647-4ED7-BABC-69DD1488E41E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7715ee625053e0be051ae84bca592e5ecf9f4c17","datavalue":{"value":"1210.06002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q616624$D695742E-FA58-4021-B1FF-89069250455E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"724af9b0a88a755e6035e826e3e0195d0f43a296","datavalue":{"value":"10.4171/PM/1872","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q616624$D2D438B5-1F6D-4DF5-AFE6-D645516AB979","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f0da1cb3a9fbcb78801361ca630307ed2635d6e0","datavalue":{"value":{"entity-type":"item","numeric-id":209011,"id":"Q209011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616624$1BB7807E-5CAE-45B6-9413-9F5A53AFEBA9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"116fa09142602a6e0facf41839050cbb16a96129","datavalue":{"value":{"time":"+2011-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q616624$9A98224F-CEFB-496E-A66B-B4AB36C8D31D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2af590443a595f5f924e11645122d692b190ec6a","datavalue":{"value":"Summary: Closure operators on a poset can be characterized by the corresponding closure systems. It is known that in a directed complete partial order (DCPO), in particular in any finite poset, the collection of all closure systems is closed under arbitrary intersection and has a ``detachability'' or ``anti-matroid'' property, which implies that the collection of all closure systems is a lower semimodular complete lattice (and dually, the closure operators form an upper semimodular complete lattice).  After reviewing the history of the problem, we generalize these results to the case of an infinite poset where closure systems do not necessarily constitute a complete lattice; thus the notions of lower semimodularity and detachability are extended accordingly. We also give several examples showing that many properties of closure systems on a complete lattice do not extend to infinite posets.","type":"string"},"datatype":"string"},"type":"statement","id":"Q616624$175D2F3B-9C3A-4157-B54A-71ACA21863AE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"798cc93af1af672fcddaa0ab93cef1e0a30d7b36","datavalue":{"value":"06A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q616624$83C7EC54-8655-46D3-88B7-EA8935912CB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"47e5c6d08b39e79bdd0bccfaeec11db7eee63b87","datavalue":{"value":"06C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q616624$B5BC5BF4-26B5-400A-9991-282BB6A97969","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"57a581864c661264f79175dd966e52bd4353b9a5","datavalue":{"value":"5835008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q616624$ADCE2429-EC29-4587-B3A7-4BCD905659E1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"762a112ef0429a3655234c3e246a242461dca9bf","datavalue":{"value":"poset","type":"string"},"datatype":"string"},"type":"statement","id":"Q616624$14138F37-3028-40CF-B629-708D70B0EFA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e380a2a6740bc99767f3f0b2622e9050c075ebb2","datavalue":{"value":"closure operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q616624$64DF59B7-633A-49DC-8A0D-99321B12902B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"935c582534315791f137c01bc53f9118690d4156","datavalue":{"value":"closure system","type":"string"},"datatype":"string"},"type":"statement","id":"Q616624$10F52FBF-73DE-4E96-B8D8-E1E8F4B3E60D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ea9c55d751f1fd4e9846847e516ba37c822c0c6","datavalue":{"value":"MLB-closed set","type":"string"},"datatype":"string"},"type":"statement","id":"Q616624$90CE36EE-5314-45D6-B6BA-C30362AF002D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dfb0e83caef889711f16d05fd4710f908caac0f","datavalue":{"value":"detachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q616624$4368328C-6697-46C5-8372-C3830083D1F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35503cc60b4d8fdf179aa01d44535a70cf94eecc","datavalue":{"value":"lower semimodularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q616624$9AC92A6C-DF39-4C5F-A419-6A9BE8051DF0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a57b4c1649001df0eb3109373c2f75db4fb8ea7","datavalue":{"value":{"entity-type":"item","numeric-id":267761,"id":"Q267761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616624$9721A2A2-8095-4BE6-9881-E1D468122836","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616624$69C9C1D3-EDD6-4129-ADE5-A79EA2FFC838","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c122815a11ab4c4d488763cad375e80ad861f631","datavalue":{"value":{"entity-type":"item","numeric-id":771402,"id":"Q771402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616624$93BA2D89-DFA4-4348-B782-2D4B76E222E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0000af6e96a9619ff38094013d865750057e54c","datavalue":{"value":{"entity-type":"item","numeric-id":1775133,"id":"Q1775133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616624$A04D8239-C125-4A0E-9DB5-960ED72FDBF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2188ba40883962c8cf59df05fa314db95c981eab","datavalue":{"value":{"entity-type":"item","numeric-id":2583582,"id":"Q2583582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616624$9B3BAF23-ED13-4698-86E0-37A124FEE393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd3e12a03ecd27f469fd91b07242cf3d7ad54eca","datavalue":{"value":{"entity-type":"item","numeric-id":2741274,"id":"Q2741274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616624$45D0B463-E26E-4676-9759-63D016226A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d3dd34ecac01e8715275f14b2c16024db9846df","datavalue":{"value":{"entity-type":"item","numeric-id":1874537,"id":"Q1874537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616624$C9D1BFA5-C8E9-422F-80A9-5E7ACDEC663D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba4f5628b9493b3dc4e9b69bc068cb07ae68c2f","datavalue":{"value":{"entity-type":"item","numeric-id":4530231,"id":"Q4530231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616624$AD72AEC6-4940-42B1-82B3-56C9A791BF91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d46a661e00605f1d10f624d8a9e7bd2ff025fa9","datavalue":{"value":{"entity-type":"item","numeric-id":3869398,"id":"Q3869398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616624$AA9F0A44-6DC7-4EC7-A4AE-1A4D2FE7FC53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d9ba8c5187ae4f57bc2fea3778e7713b632b6b7","datavalue":{"value":{"entity-type":"item","numeric-id":4029566,"id":"Q4029566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616624$C3DAC2B7-B8BB-4BC5-8871-216DD5516548","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d6ed38c3982353dc7fd1f772d94f3d7b6df24f8","datavalue":{"value":{"entity-type":"item","numeric-id":4510934,"id":"Q4510934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa6e86c7ef1aa1980326316567471eb85ea5faa9","datavalue":{"value":{"amount":"+0.7642176151275635","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q616624$E370FE36-4E9F-4B30-A1A0-C1C30ECC4C17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac970f17982f1fe524adb4dabcec3746f4f44019","datavalue":{"value":{"entity-type":"item","numeric-id":690091,"id":"Q690091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e267de5d7e753435f7239ed778343515c00754b6","datavalue":{"value":{"amount":"+0.7542944550514221","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q616624$B58612A9-EC56-46A3-857A-A266D9CC71B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"131aa159405cbe72076e109fd0ea8a5b786cfae3","datavalue":{"value":{"entity-type":"item","numeric-id":5863859,"id":"Q5863859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e267de5d7e753435f7239ed778343515c00754b6","datavalue":{"value":{"amount":"+0.7542944550514221","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q616624$229113AA-795A-46D8-9424-0A7E873ACBD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53f7409b9870c38bf699cdf658e9c7945d1d4b62","datavalue":{"value":{"entity-type":"item","numeric-id":2350955,"id":"Q2350955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cbed80d37de8859e94d5359e55b30f2ce6b9e46","datavalue":{"value":{"amount":"+0.7318117618560791","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q616624$CCAB0742-CF2B-4635-ACF4-C8D80A2C7D58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"550cb2ebd0373ec528f0222f2ecb5f23354b7cfc","datavalue":{"value":{"entity-type":"item","numeric-id":1874537,"id":"Q1874537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"424544474363999fc20eb560311bb156e86c8acc","datavalue":{"value":{"amount":"+0.7305506467819214","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q616624$E06F339F-3C88-4A91-B932-04AE68B60F0B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The poset of closure systems on an infinite poset: detachability and semimodularity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_poset_of_closure_systems_on_an_infinite_poset:_detachability_and_semimodularity"}}}}}