{"entities":{"Q1904396":{"pageid":1915138,"ns":120,"title":"Item:Q1904396","lastrevid":47378278,"modified":"2026-01-01T13:53:01Z","type":"item","id":"Q1904396","labels":{"en":{"language":"en","value":"Boolean and distributive ordered sets: Characterization and representation by sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 828190"}},"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":"Q1904396$30B7563F-1EAA-4A1E-965E-E297A742A52A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e6fc46cfd2f937cad3db19eb3cf0fce8e4827293","datavalue":{"value":{"text":"Boolean and distributive ordered sets: Characterization and representation by sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1904396$AD2BF39D-D69C-4AE0-8498-90D7B8CE6C3E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"94960e21038386fe66ea0b5cbc9ea43ceef864ab","datavalue":{"value":"0838.06004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1904396$CB4BE613-0AB8-4662-A5DC-CA460FF41221","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a07cea7beae0b8e0f83cc9ba1e2973b76a4d9252","datavalue":{"value":"10.1007/BF01108627","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1904396$2F8CDA49-EE74-4EE5-A881-F4F6D28E382C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e2599ed8061d57585b4363072a1afceea2452436","datavalue":{"value":{"entity-type":"item","numeric-id":172073,"id":"Q172073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904396$B751FD94-7A7C-492D-AB01-78F153168C16","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"818d4e227be848826de7c68bd56964bdf6300a06","datavalue":{"value":{"time":"+1996-06-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1904396$6BB83241-381D-4D3F-B7F3-0EDB56EC421A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"655053c6c8b9ed762f47c29e069ec1ba62d1163f","datavalue":{"value":"Let \\((A,\\leq)\\) be an ordered set and \\(X\\subseteq A\\). Denote by \\(L(X)\\) the lower cone of \\(X\\) in \\(A\\) and by \\(U(X)\\) the upper cone of \\(X\\). An ordered set \\((A, \\leq)\\) is said to be distributive if \\(L(x, U(y,z))= L(U(L (x,y),L(x,z)))\\) for all \\(x,y,z\\in A\\). An element \\(y\\in A\\) is called a complement of \\(x\\) in \\((A,\\leq)\\) if \\(L(x,y)= L(A)\\) and \\(U(x,y)= U(A)\\). A Boolean ordered set is defined as a distributive ordered set of which each element has a complement in \\(A\\). Some well-known theorems such as the Glivenko-Stone theorem and the Stone representation theorem on Boolean algebras and the Birkhoff representation theorem for distributive lattices are generalized to Boolean ordered sets and to distributive ordered sets, respectively.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1904396$35B23400-6BB9-4FC3-9E02-EAD37D8AAF3C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1904396$10C53D5E-4BA0-40CA-912F-CD3CE381CC02","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"748e9d0045b8f1abe471903f864d6d0cb079097f","datavalue":{"value":"828190","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1904396$2EE29AD3-B9FA-4C6C-95FF-8E59D849E089","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e9c5ab03fd2ec16cb078caba1f8466415beeff2","datavalue":{"value":"prime ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1904396$B265C50A-2556-4242-BB08-9014B0512500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c1c6c913bddc092cf968730c52151910e3da835","datavalue":{"value":"maximal ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1904396$FFD16ED1-FF07-44EC-947E-4EA51B1D1B18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a1ae35f240ba50f34fa21d20e7618b23109cd45","datavalue":{"value":"Boolean ordered set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1904396$90C35B51-A527-4418-AA0A-7BA9723500B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a798e344b81a909a1ef7012212566e1282240f3","datavalue":{"value":"distributive ordered set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1904396$3779BBED-F361-4600-876B-28B1DEB0BD60","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"caf11d2ed554a2f7419af546d7ea392fb8619051","datavalue":{"value":{"entity-type":"item","numeric-id":172086,"id":"Q172086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904396$AB7D0013-F35D-4184-875D-1400536C187B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8a4269540e775ce717310028f86928e9eeea39c7","datavalue":{"value":{"entity-type":"item","numeric-id":241780,"id":"Q241780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904396$D6EEBF8C-5028-4A02-A0CD-ED218B68CB84","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":"Q1904396$1F38CDB4-DC8B-4C62-A3A9-917646413B67","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fb25e7a47c49d8c5e956e689b12bc262ecf6609","datavalue":{"value":{"entity-type":"item","numeric-id":3138111,"id":"Q3138111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904396$B2D52CBE-B26D-41CE-BAAF-C12E29809EF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa83c3e733620aadc8a83a35b0f06be1aa95cfef","datavalue":{"value":{"entity-type":"item","numeric-id":1121294,"id":"Q1121294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904396$D94EB4A2-033F-46F5-9DFD-A10C894F5B8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55f63a652455e1835027d5244f543e77acd7fd85","datavalue":{"value":{"entity-type":"item","numeric-id":5826967,"id":"Q5826967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904396$E725E162-A516-4B37-A0C0-333894AE338F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbf93f4ddff657d1aeb02a0bf8aa96d91ae1ebc4","datavalue":{"value":{"entity-type":"item","numeric-id":4298406,"id":"Q4298406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904396$3A7AE57B-C2E8-4CE8-A5A7-7331021655E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391439478e985223dc97e0754cd688fa8336ced4","datavalue":{"value":{"entity-type":"item","numeric-id":3035342,"id":"Q3035342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904396$293CCEF3-8B27-4E75-B339-A45FCFC63F7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a458041f60d1d495fb75ad6b22f6766e7c468cdd","datavalue":{"value":{"entity-type":"item","numeric-id":3982193,"id":"Q3982193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904396$97074CBD-F8FB-4FC6-87C9-58143AB270AB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fcff174762d9b54a31b2b44520552d2afb234b2","datavalue":{"value":{"entity-type":"item","numeric-id":5438764,"id":"Q5438764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b38e1c9788657256d73d3d68c388fcefd1aaa7b","datavalue":{"value":{"amount":"+0.7659627795219421","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":"Q1904396$40292F3C-A533-411D-8EB8-3F9B2E5DF367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9074bb150a11b30693e95ed68752cb586fd225c","datavalue":{"value":{"entity-type":"item","numeric-id":5951889,"id":"Q5951889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac92efc4951e23cb57eaf7a119c5f4ecac38ff9c","datavalue":{"value":{"amount":"+0.7550181150436401","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":"Q1904396$459F415B-7C77-45C3-BC23-5888EE1AD4CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da35a3c8a5c65df718e3c20d2b91a8675807b0b2","datavalue":{"value":{"entity-type":"item","numeric-id":4692885,"id":"Q4692885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0939c4becc2ffe0dbfd6bcff0e1652259b6489b","datavalue":{"value":{"amount":"+0.7397162318229675","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":"Q1904396$360B4318-43E9-4ECB-A3C2-A27C4878CE2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a50d52856589df99a43008ed33b0246956917c74","datavalue":{"value":{"entity-type":"item","numeric-id":4839132,"id":"Q4839132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d6be007790232d51a3628952c8ceec0efd95b0d","datavalue":{"value":{"amount":"+0.7374659776687622","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":"Q1904396$09C63282-87C0-41B2-8F49-4376F3B6CEED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1904396","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1904396"}}}}}