{"entities":{"Q762517":{"pageid":764366,"ns":120,"title":"Item:Q762517","lastrevid":48782737,"modified":"2026-01-05T20:37:01Z","type":"item","id":"Q762517","labels":{"en":{"language":"en","value":"Fixed points in finite De Morgan algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3889603"}},"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":"Q762517$06B0497B-ED31-4C3D-9310-5BE7A007022D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a93fea1ff02291dd659c2ccbabf29101a49a0c7a","datavalue":{"value":{"text":"Fixed points in finite De Morgan algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q762517$DC57427F-75CD-4BF7-92E5-74C41E98FBD5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a43c344d68285c524724164d9dcd117dd4aa0e71","datavalue":{"value":"0558.06015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762517$BBE66C04-FB0F-4024-8913-E4A202791410","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f1d8523a65a4526bee611646b8429bf78464ccbc","datavalue":{"value":"10.1016/0012-365X(85)90147-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762517$7E1131BA-62A7-404D-9C5E-F89B3848315E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eba64a939c95436767b41181d5897fe87d7dbc07","datavalue":{"value":{"entity-type":"item","numeric-id":762516,"id":"Q762516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762517$DBA8E669-D9F9-406D-AE14-6FF175F763F7","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":"Q762517$96B1B3E4-1797-448F-BA89-C670BBA350F4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q762517$B60E0097-AE10-4045-A2CA-D51CA9D8DEBA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c120f574ee22dbbb6923ba10748646c228f14626","datavalue":{"value":"The fixed points of the polarity of a de Morgan algebra are characterized by means of binary partitions on the subset of join-irreducible elements. This characterization is used to compute the number of fixed points in finite distributive lattices every interval of which can be made into a de Morgan algebra, and in the free distributive lattice FD(n) on n generators. Complete results are tabulated for \\(n\\leq 6\\) and every polarity definable on FD(n).","type":"string"},"datatype":"string"},"type":"statement","id":"Q762517$29B94420-CBAC-4B55-B0E1-895844EE3B26","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e8c40330eb2379a40e6c9b62fdbcc32287207f24","datavalue":{"value":"06D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762517$22B8B367-4DB0-4C19-8671-DEC46A377874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6423c5c244d99d8c66252322ac01e977c6ce95aa","datavalue":{"value":"06B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762517$E4429343-A875-424E-BCE8-0E78C0B287DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"be4cd99f0aaa2688661b2002577944d759906919","datavalue":{"value":"54H25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762517$38BFF00A-5D77-4FEB-A9E1-F91E1E6F492F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4d93598e0ab9b27a1f45dbbe41a97c50b5dcbc37","datavalue":{"value":"3889603","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q762517$503911BC-6060-4204-9C57-A02857B05BB4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7cc7ed5f11fd02b4ebbdd5eb4c8b5c2fae98e5ca","datavalue":{"value":"polarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q762517$E9B8B551-BAB8-45DD-93D9-B71DA3B21D54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7cfbbdee39ef48032e03b499e615237ef0f50ece","datavalue":{"value":"De Morgan algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q762517$C7926B4B-48AB-47FE-A8A9-4B10B0E541B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"415175dc56dc89cbe5b5784db3682e7fd46e6070","datavalue":{"value":"join-irreducible elements","type":"string"},"datatype":"string"},"type":"statement","id":"Q762517$4E090F67-13B0-493F-9F51-5D5834252CDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"112800c1091e00e59bf2516545ee9e0cb2ad4eae","datavalue":{"value":"number of fixed points","type":"string"},"datatype":"string"},"type":"statement","id":"Q762517$3E4CAC14-5940-460F-80C5-0C649CCE3D2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"076beb5883c561d34b7647deb1e2796c6e71f0b4","datavalue":{"value":"finite distributive lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q762517$2867A72F-C499-44E4-9F44-C2C79642FD8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"272b610d8dccb5c16b6285431f40eafd59a261d8","datavalue":{"value":"free distributive lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q762517$6EB907BE-7A80-4653-AE8E-E766B6D7F34F","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":"Q762517$C7CD02F8-DD42-4601-A418-06AA826C0F28","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":"Q762517$FDB2CC3C-986F-41BC-82AF-D53CEC402606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7da2436d98dc12bcb7ac4d9c4917143358ed871","datavalue":{"value":{"entity-type":"item","numeric-id":1223328,"id":"Q1223328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762517$D0C7145D-F6F1-4F51-95A0-5116D33BCA74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e04325fec895fa0ea90f616878f1c877552756c","datavalue":{"value":{"entity-type":"item","numeric-id":5736159,"id":"Q5736159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762517$F1D15D98-213A-4FD1-9ABD-0D7D59F734D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e8a31b7959d217c2d0b97c8f0fab5015cb1f355","datavalue":{"value":{"entity-type":"item","numeric-id":5654077,"id":"Q5654077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762517$6E5DDBE7-C52E-4D8A-AD23-879E20558FFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05c7d74f3517e40acd0fd4c6849353aaf50e1809","datavalue":{"value":{"entity-type":"item","numeric-id":1055459,"id":"Q1055459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q762517$B5F97EEB-5B3F-4FC5-9A5A-4EEFBFA153A1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"974eb37385f3d07057492ff72970f2008058f608","datavalue":{"value":{"entity-type":"item","numeric-id":2248023,"id":"Q2248023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2c99fdd6bdb45fd43716df1b5ea75f2ab4714b8","datavalue":{"value":{"amount":"+0.7661159038543701","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":"Q762517$82A3603E-F85A-4087-BD3F-278059DADD81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a4160c829d7fbde08ee76248ca69e85537df89d","datavalue":{"value":{"entity-type":"item","numeric-id":3469145,"id":"Q3469145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"501005f01d3e43fb5f174a850a7b1e2d90dbc2b8","datavalue":{"value":{"amount":"+0.7657568454742432","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":"Q762517$BAA3B455-2474-4E16-8F6F-A69A9985B58A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4109227d90bf00f7b353cdc9f5bac89df5bf47f","datavalue":{"value":{"entity-type":"item","numeric-id":4025006,"id":"Q4025006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c584b5cff4174d72d84a14686660e0d28389917e","datavalue":{"value":{"amount":"+0.7581504583358765","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":"Q762517$67D1FCB0-E2A6-4A95-81D7-C61A1CB6B39B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b756196e25d22294c07adc51df5af34ec2c3f280","datavalue":{"value":{"entity-type":"item","numeric-id":3199464,"id":"Q3199464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb4fbdd10fd3d58a30fe26db17dac83c9d114ee1","datavalue":{"value":{"amount":"+0.756062388420105","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":"Q762517$CD42454A-9C66-4C85-8686-96881EBD1C5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20b6112c8f4b4d568cc11e51e715acbbae6f952a","datavalue":{"value":{"entity-type":"item","numeric-id":2932875,"id":"Q2932875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5c0b7bc936fa49fb174d393e9f1f374a7f88771","datavalue":{"value":{"amount":"+0.7502238154411316","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":"Q762517$07C376E5-696C-4F4C-A9AB-3EB99CF3DFE3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:762517","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:762517"}}}}}