{"entities":{"Q1430627":{"pageid":1441367,"ns":120,"title":"Item:Q1430627","lastrevid":68684766,"modified":"2026-04-13T01:25:26Z","type":"item","id":"Q1430627","labels":{"en":{"language":"en","value":"Free \\(Q\\)-distributive lattice over an \\(n\\)-element chain"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2067409"}},"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":"Q1430627$CCBB23FD-6324-443D-8457-9CDD4058ADF6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e96df035ddcfdeafc2a7a59fa93ba648c443fb6c","datavalue":{"value":{"text":"Free \\(Q\\)-distributive lattice over an \\(n\\)-element chain","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1430627$CD4876C0-3B1E-4096-9751-8EDD472EE0D9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e25c6ad5bc7e9aafca5f4400351a6426745edf96","datavalue":{"value":"1058.06012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1430627$43B40C00-CA38-457B-B97C-7EB79EBF0F0C","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":"Q1430627$9BA2F9DB-49BC-43D2-AC73-A9371AAAC3D1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ba9d052c1c742a2c2f9206a1b4282a8f44ef61e","datavalue":{"value":{"time":"+2004-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1430627$E390E50D-09B5-469B-BD83-BA0C4A7082F6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3d46edf580a14f47cf8960fecbdd79176699ce7b","datavalue":{"value":"https://eudml.org/doc/51178","type":"string"},"datatype":"url"},"type":"statement","id":"Q1430627$54F6787F-8F6A-4A9B-B52B-EF80B5C2FC32","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6f59c7c48fd02cadaf069478ff4ee66bb33c7f78","datavalue":{"value":"A \\(Q\\)-distributive lattice is an algebra \\((A,\\vee, \\wedge,0,1,\\nabla)\\) such that \\((A,\\vee, \\wedge,0,1)\\) is a bounded distributive lattice and \\(\\nabla\\) is a unary operation satisfying the laws  \\[ \\nabla 0= 0,\\;x\\leq\\nabla x,\\;\\nabla(x\\wedge\\nabla y)= \\nabla x\\wedge\\nabla y,\\;\\nabla(x\\vee y)= \\nabla x\\vee\\nabla y. \\]  The paper provides an explicit construction (different from earlier ones) of the free \\(Q\\)-distributive lattice \\(FQ({\\mathbf n})\\) over an \\(n\\)-element chain. Furthermore, it is proved that \\(FQ({\\mathbf n})\\) can be expanded to a de Morgan algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1430627$9002EF02-2547-4B38-A69B-B209BA1B10B9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"91c81d2a07f17bb7a2ffecb85e0f87749274f55f","datavalue":{"value":{"entity-type":"item","numeric-id":590994,"id":"Q590994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1430627$6B9793E5-1D3C-4A12-9D62-C5B2E6496F05","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e8c40330eb2379a40e6c9b62fdbcc32287207f24","datavalue":{"value":"06D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1430627$B8C65C12-9D81-43DB-AEAF-F20A05384998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c3ec75de9d78727d03193af1b75f5a165ed0668","datavalue":{"value":"08B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1430627$548B717F-5768-4EA5-9CD6-5B6791EA7503","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"790744d0e44d7f9a06370f6e416af9a7c053a4c0","datavalue":{"value":"2067409","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1430627$8AFABD4E-0303-4E89-8A82-4E63754597F1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31b930b0d892c9e354fb457e2af303c56afb1d02","datavalue":{"value":"\\(Q\\)-distributive lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1430627$BBC3A134-E669-493B-AE5F-FE8E3CF38261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef7a5b9572f7afc0df7af17df0fb3cae3340eab","datavalue":{"value":"free algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1430627$344D2BF8-948E-4619-93C5-DBDF3A2B039C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af7c4e57df37a310f9e499b78cb6442b33763f2f","datavalue":{"value":"de Morgan algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1430627$F7A2AA9E-FD75-499A-8B74-DAD149E05916","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a63adcaf215f28dd90524a8b98676537d05918e","datavalue":{"value":{"entity-type":"item","numeric-id":742027,"id":"Q742027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1430627$A8F565EF-F1D0-4889-92CE-60571C5E049B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d3d74a71cc8787f9f84643f0b42b9c050e5341ab","datavalue":{"value":{"entity-type":"item","numeric-id":587967,"id":"Q587967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1430627$6188DF1E-401B-414C-82CE-81613FAF6AAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df402f4bb957412b5b719a6aa63943bcf75a7831","datavalue":{"value":{"entity-type":"item","numeric-id":2426729,"id":"Q2426729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1430627$257CA5C6-458C-42E3-B5B5-9571BD9185FD","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":"Q1430627$366DD1EB-30FE-4A34-9565-B2CCB127BF29","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f05b6f3b2cf181d2ebdd7e8a192bcc3896121e2f","datavalue":{"value":{"entity-type":"item","numeric-id":1586754,"id":"Q1586754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b22bf0e21c5fa09c820b725e4b9378763bc901b5","datavalue":{"value":{"amount":"+0.8844459056854248","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":"Q1430627$3ED694E5-024B-427E-98C2-258DEF4E326C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f465f91bc64a9da4837b983e93d40539135bd11c","datavalue":{"value":{"entity-type":"item","numeric-id":3480103,"id":"Q3480103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05622eaa1719d33ee47be80557456b23cec7f79c","datavalue":{"value":{"amount":"+0.8831935524940491","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":"Q1430627$6E47EAC1-72BA-4171-814C-4F1B0EB424EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcb565c0ce59d3abceb41dc4d9151ba6ddd0a91f","datavalue":{"value":{"entity-type":"item","numeric-id":4391280,"id":"Q4391280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fb052bdfc39a5a5aa96440d14d76bfe42528a42","datavalue":{"value":{"amount":"+0.7745254039764404","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":"Q1430627$13760F56-500E-4A8B-898E-CB1859B8ED7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d45063efa339ebf174794a4ca202635cf86fece4","datavalue":{"value":{"entity-type":"item","numeric-id":2041257,"id":"Q2041257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fb052bdfc39a5a5aa96440d14d76bfe42528a42","datavalue":{"value":{"amount":"+0.7745254039764404","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":"Q1430627$F4E1142D-75A8-4729-8738-EB4ED9D40F33","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":"41de44aee44f12cca440e5f51595606567f2f961","datavalue":{"value":{"amount":"+0.7507360577583313","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":"Q1430627$1D8AD9FB-837C-456C-98D9-D66C2BE9B393","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Free \\(Q\\)-distributive lattice over an \\(n\\)-element chain","badges":[]}}}}}