{"entities":{"Q1185078":{"pageid":1195827,"ns":120,"title":"Item:Q1185078","lastrevid":46252663,"modified":"2025-12-24T10:04:07Z","type":"item","id":"Q1185078","labels":{"en":{"language":"en","value":"Quantifiers on distributive lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 37607"}},"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":"Q1185078$4138BEBF-A8DA-4821-AE82-1567D5719F6C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a15cb4e6e26025e3ae68ee8f48e1d9fee05c0c93","datavalue":{"value":{"text":"Quantifiers on distributive lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1185078$9A7E173B-47E7-4512-9A46-EF858BD727DE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"05b016f1a0bfdebd9df4e244f7388b59b597b935","datavalue":{"value":"0753.06012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185078$05BA3A85-32DC-48E6-8255-677B3F237CE1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"422307540b25db2573aca27457172c48563eedc9","datavalue":{"value":"10.1016/0012-365X(91)90312-P","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185078$EDBAA160-203A-4551-8808-1C7FDD386D39","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"38665fe4ed2b835132254a58832c329597060029","datavalue":{"value":{"entity-type":"item","numeric-id":175483,"id":"Q175483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185078$73B7E234-8EFD-4E2A-9D6A-DE8AA62D6DBC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"120787504bea9565def539fb4bfb19084956028b","datavalue":{"value":{"time":"+1992-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1185078$E8D1A674-E909-4128-83A3-B42FBFC64CAD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"dbf370656f131000f168c0e5dd5da434eeec5ba1","datavalue":{"value":"The author studies (bounded) distributive lattices equipped with (the non-Boolean analogue of) a quantifier in the sense of \\textit{P. R. Halmos} [Compos. Math. 12, 217--249 (1956; Zbl 0087.24505)], that is a closure operator \\(\\nabla\\) which preserves finite joins (including 0) and satisfies the identity \\(\\nabla(a\\land \\nabla b)=\\nabla a\\land \\nabla b\\). He shows that such operators on a given lattice \\(L\\) correspond to equivalence relations on the Priestley space of \\(L\\) satisfying suitable conditions. He also considers the variety of signature \\((2,2,1,0,0)\\) whose members are bounded distributive lattices equipped with a quantifier: he determines the finite subdirectly irreducible algebras in this variety (all of which have the ``simple'' quantifier which maps everything except 0 to 1) and its lattice of subvarieties (which turns out to be a chain of type \\(\\omega+1\\)).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1185078$25E88006-2D69-4A4C-ABD5-1F5793F4FBA5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"73bd1fc3ed7c23ebdff36d52a0d63b14633148e5","datavalue":{"value":"06D99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185078$20EE902B-EDE9-4E1E-BDE0-DB0971632698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185078$CC7E6B57-DEF2-41CE-8E47-7B687ADA64FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185078$C85CF74C-5648-4A47-9544-F445F31DA268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"690760a4cb6e319c27372c2630bc454a6ff79be7","datavalue":{"value":"08B26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185078$499787C0-7771-427D-BFC4-D5C42C9A8D2B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"de1bd0d98a345a4746d36aed30cdf985f00e5828","datavalue":{"value":"37607","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185078$9223B81D-ED4F-47A0-8F27-0E9901239AF5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c03dc680de9dd86856032107170e9e516eaf5403","datavalue":{"value":"non-Boolean analogue of a quantifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q1185078$78571FCB-DB83-4F8A-82E0-0EE12C7BDB10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c7cefb910ae76694268e96ffec22bf413f1ebe4","datavalue":{"value":"Priestley space","type":"string"},"datatype":"string"},"type":"statement","id":"Q1185078$41B687AA-7BED-467D-BF67-D71F3DC6C6DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3c02ec5426e6d0393234b872b20ebe7c5158e71","datavalue":{"value":"variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1185078$BDB15264-A7F1-4E73-8D74-75DFBBD66680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5374d6381d8d140e3843583e0e15bce148c51efb","datavalue":{"value":"bounded distributive lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1185078$25020A20-0DC3-4AAA-9BAA-876D7AFB1F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a918afae689617535801fd2f4a23b8567ac5acab","datavalue":{"value":"subdirectly irreducible algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1185078$FF1F3A96-94CC-4497-833C-B6249ADE90D0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2641d8dcc65ab72e23b1ed55ea64094d58873e5a","datavalue":{"value":{"entity-type":"item","numeric-id":1817693,"id":"Q1817693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185078$BDAC250D-8B5C-42C8-8661-44A3817B175C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"9596d005c29801249c01b9d1288aea39b7db279d","datavalue":{"value":{"entity-type":"item","numeric-id":702196,"id":"Q702196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185078$1111B67A-0D52-44C6-A914-4A6B03CC95D2","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":"Q1185078$B47E0E71-EB02-4BD4-BA5D-3D23CB2E6D92","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ce47aaa57ed062610df59dbf8e315e80f656a8e","datavalue":{"value":{"entity-type":"item","numeric-id":4083730,"id":"Q4083730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185078$1CF99193-31A7-4D65-84F4-6452B38C5F0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185078$75F796B9-4239-4528-A548-D5D327388AE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b035c88926863918580d61cf98cb823f61ae4cb3","datavalue":{"value":{"entity-type":"item","numeric-id":5528678,"id":"Q5528678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185078$635FB323-DAB4-41F6-8F1B-9F13DAE3FDC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d55ceb688c679ae04421f58521735474f069e98","datavalue":{"value":{"entity-type":"item","numeric-id":3259695,"id":"Q3259695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185078$01B22390-F7A6-45BC-8663-A8674798C32E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f06da0733433b72cc38e384260530070cb37219d","datavalue":{"value":{"entity-type":"item","numeric-id":3282928,"id":"Q3282928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185078$215097FC-0798-4C66-9E71-1761E8B021EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11963506ccd70edd95ba4ed810d5400bc11df233","datavalue":{"value":{"entity-type":"item","numeric-id":2523566,"id":"Q2523566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185078$652C67D8-289A-4808-A920-84BCE0FF5DEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"098c7b9e2dd6c549dd632b5623abf3b4fb438f37","datavalue":{"value":{"entity-type":"item","numeric-id":2524059,"id":"Q2524059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185078$85B7FF55-4A03-401D-BE29-70B3FA65A21E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd5fdc5604c99a9049b19ca9b158f4277fcf7ecb","datavalue":{"value":{"entity-type":"item","numeric-id":5554384,"id":"Q5554384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185078$7A3027CF-B7FE-44CB-9D3C-3BE2F6A0343E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99a47daa5100c7328d48373c72d3518c6f0a50ae","datavalue":{"value":{"entity-type":"item","numeric-id":5608747,"id":"Q5608747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185078$6C10BD6C-1236-4BDB-AD74-FC6019917270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac7b94bf0dd76e5d2001b6ea4f317a89a515548e","datavalue":{"value":{"entity-type":"item","numeric-id":4081245,"id":"Q4081245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185078$D49A05FE-6FCB-4430-BF4E-1024FEC5D666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"035ae85679a5dd535bd5737e1552edc7691864e9","datavalue":{"value":{"entity-type":"item","numeric-id":4052119,"id":"Q4052119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185078$2800711F-B535-4230-B7C9-317556B5F901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"640ae1431f6814872c96133ffc10e1116b10305e","datavalue":{"value":{"entity-type":"item","numeric-id":5551428,"id":"Q5551428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185078$03CA01E8-3AAC-44F5-A050-68B5B7EC8499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8215c9ea813557f84401cbeb903587e495f9e945","datavalue":{"value":{"entity-type":"item","numeric-id":4081244,"id":"Q4081244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185078$1AA1AE36-0E23-42BD-B912-405AB4F90A25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9189eb5a8141270a8652d7fb44d99de1825097ae","datavalue":{"value":{"entity-type":"item","numeric-id":1247323,"id":"Q1247323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185078$4B2B876C-9CE5-44C9-80A5-64C8E3A43EBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"351602072904c31fa8fd3beddbcdd7a4d5f47e07","datavalue":{"value":{"entity-type":"item","numeric-id":5791677,"id":"Q5791677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185078$9C6AE54E-66EF-46DC-B1D5-C6EF250023A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9672d1f90f8366b2aa3154bc15fee0e7593092b3","datavalue":{"value":{"entity-type":"item","numeric-id":5598363,"id":"Q5598363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185078$F5421DCE-2B0D-463D-B7C1-F48B93FA672D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d0943e126b844734d0e41e82ee07b2fa3388352","datavalue":{"value":{"entity-type":"item","numeric-id":4085773,"id":"Q4085773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185078$AE293E45-9CC2-443F-B76B-1D06106C3B14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5710c2aba8ef4c542de483ebfca6cf7849ca633","datavalue":{"value":{"entity-type":"item","numeric-id":3222242,"id":"Q3222242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185078$A06C5366-DA05-4A4A-BAAC-B26E305D88DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53156639d8f95f342a76712d38c777bd07c74264","datavalue":{"value":{"entity-type":"item","numeric-id":4083420,"id":"Q4083420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185078$F546B865-E6C1-4D76-83EA-4E1BB7DC2A75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d127d925f145f508d7bc88c720c9be2c6b7444c","datavalue":{"value":{"entity-type":"item","numeric-id":3329516,"id":"Q3329516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185078$992D22D6-833F-4B9F-88CE-FE61DAACB6BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4969b262bc8b4edd8571cb90bb326be1eaeb3878","datavalue":{"value":{"entity-type":"item","numeric-id":1131433,"id":"Q1131433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185078$484F4E42-689E-45B2-AEFB-683F82E9F633","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c264060cbee65a031b285f1f0b2e9cd8de346d81","datavalue":{"value":{"entity-type":"item","numeric-id":1343244,"id":"Q1343244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8751c929bf109c10b5aa461b3e1a84d7c6c303e6","datavalue":{"value":{"amount":"+0.8244147896766663","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":"Q1185078$851F711A-B617-4C17-9F47-8B18AC1B2C55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"365d79908ce8092a79babad819ab39bea5b74b7f","datavalue":{"value":{"entity-type":"item","numeric-id":1377757,"id":"Q1377757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9450778e013463ecab094b66a29311ca5a24f4f1","datavalue":{"value":{"amount":"+0.8007574081420898","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":"Q1185078$D33FBE05-25FC-44FF-AC6A-E76C5D6A5382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72efa42ae02af184ff79c1a8bbc7be93c945b90d","datavalue":{"value":{"entity-type":"item","numeric-id":4273437,"id":"Q4273437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5b4215e9a4d99c864ec561ea12a20a3dd036686","datavalue":{"value":{"amount":"+0.7977544665336609","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":"Q1185078$A764BA41-E6AB-4E8C-9F91-5297E62E3DBA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1185078","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1185078"}}}}}