{"entities":{"Q1917814":{"pageid":1928556,"ns":120,"title":"Item:Q1917814","lastrevid":69296400,"modified":"2026-04-13T06:03:40Z","type":"item","id":"Q1917814","labels":{"en":{"language":"en","value":"Simple Ockham algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 903450"}},"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":"Q1917814$A99029DD-7F11-4395-A188-18D3571F6C47","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"753ce3a1b68f2a510b43bf92799f222d31dfd541","datavalue":{"value":{"text":"Simple Ockham algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1917814$77B85F15-B209-495D-A864-718055A1981B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"43c2e1a5601818214b3e931fa635620c9b259080","datavalue":{"value":"0854.06013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1917814$11202181-C94D-429D-8F23-2FD0E973032E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1917814$6E2B65F2-51A4-4334-B1C2-8130EB835B90","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3d97c3955a340bf2fabd1dc725af535482e933f3","datavalue":{"value":{"entity-type":"item","numeric-id":181511,"id":"Q181511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1917814$79F2C1B8-1099-449C-86CB-DFF99F47E4EE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"846c3948b65d14340e25df78828d728925bfe86e","datavalue":{"value":{"time":"+1997-01-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1917814$9E41563C-8FCD-4636-82B7-ECEA5DFD9F99","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3b5df2e6988dab7eb43dd521ffa707d4533ad26a","datavalue":{"value":"It is proved that, for a finite simple Ockham algebra \\((L;f)\\) with \\(n\\) atoms, (1) if \\(L\\) has no fixed points then \\(n\\) is odd and \\(L\\simeq\\mathbf{2}^n\\); (2) if \\(L\\) has two fixed points then \\(n\\) is even and \\(L\\simeq\\mathbf{2}^n\\); (3) if \\(L\\) has a unique fixed point then \\(L\\) contains \\(\\mathbf{2}^n\\overline\\oplus\\text\\textbf{2}^n\\) as a full subalgebra.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1917814$340051F5-9CD7-41E6-BCEC-F01B15340479","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e8c40330eb2379a40e6c9b62fdbcc32287207f24","datavalue":{"value":"06D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1917814$D6032DEF-B9AB-45AE-8D58-6BEEFAE61F54","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4561a7d40e71e974b9181ae7f5485f86b317f372","datavalue":{"value":"903450","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1917814$6842ACF3-1C89-486F-88C8-ED47020727D1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b60f7600365141d43e91ce2310223b2725788dc1","datavalue":{"value":"simple Ockham algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1917814$D7F94900-5EB1-4F75-A362-E327A0EA9E91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9a7b0cf17169865b15e8c9d7014c24bafb8410c","datavalue":{"value":"fixed points","type":"string"},"datatype":"string"},"type":"statement","id":"Q1917814$1D05FAF4-38B9-4C14-A1D8-8F6D1FEBA3F6","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":"Q1917814$5170A4C0-CBD5-4A2C-AD48-F013A3527244","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a505904dfa1e0d0cfe24899e860d01871daabfb0","datavalue":{"value":{"entity-type":"item","numeric-id":1914056,"id":"Q1914056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b82a53fa25595f981905bc64536f4912aa112e7","datavalue":{"value":{"amount":"+0.8369075059890747","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":"Q1917814$1C08461E-C271-4AF0-BA42-FF1298EA1DCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e69ce292dae01a6342fd7eb9a6840ea4d36bfe9d","datavalue":{"value":{"entity-type":"item","numeric-id":4288190,"id":"Q4288190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a30380442a90325920f9c568d64d09068d5a77e","datavalue":{"value":{"amount":"+0.8078679442405701","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":"Q1917814$A32882EA-3A8F-4465-BAA4-639928E01FF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2b96154196d636c9293e492c41e71e744da6c97","datavalue":{"value":{"entity-type":"item","numeric-id":2839875,"id":"Q2839875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b42d10574c7d3028ddf4bb4b8f9803169a0780f","datavalue":{"value":{"amount":"+0.8045105338096619","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":"Q1917814$2E93F2B8-94F0-4476-875A-2B9A3C94F5F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5e28a5b6f23907863f44f47db8d54049c7212c5","datavalue":{"value":{"entity-type":"item","numeric-id":4308745,"id":"Q4308745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6591700fcb3c30dd7e9886229a416ce3621ab02","datavalue":{"value":{"amount":"+0.8041673302650452","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":"Q1917814$AF9FAAEF-00E6-444B-865C-060BAC3901EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"171089b79f786c1d2a1c5fd2c5bb105c0253e9ae","datavalue":{"value":{"entity-type":"item","numeric-id":1119670,"id":"Q1119670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5046d1cd0a46619e42ed5e772e2af9125151cc82","datavalue":{"value":{"amount":"+0.7999512553215027","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":"Q1917814$C4257076-5966-4CA2-BD38-921781937019","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Simple Ockham algebras","badges":[]}}}}}