{"entities":{"Q793767":{"pageid":795615,"ns":120,"title":"Item:Q793767","lastrevid":64460991,"modified":"2026-04-11T20:01:36Z","type":"item","id":"Q793767","labels":{"en":{"language":"en","value":"Topological duality for distributive Ockham algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3857185"}},"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":"Q793767$39A4895C-1DBF-41A1-A9CB-4800A2A61013","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"51364917f435a03c0e74f9eada1aebaddb2edcd7","datavalue":{"value":{"text":"Topological duality for distributive Ockham algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q793767$BCF03AA1-0FBE-4B4A-9CA8-AA51A0846ACF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"917eefd5b1bd23aa0de94049d663dc647fafeebe","datavalue":{"value":"0539.06014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793767$D65F42B3-6E60-45CF-BFB8-081E00C2C3E2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d7799a6f7731ac166227140a4732b8c7504e8aaa","datavalue":{"value":"10.1007/BF01418756","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793767$092178C4-6316-4EFE-86D4-3C3467522F37","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"80f221c0f5c12f460e4e65da8aedab9f6783606f","datavalue":{"value":{"entity-type":"item","numeric-id":791554,"id":"Q791554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793767$56C884F5-7C0E-4337-9909-D3D3362BBFEC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793767$DC13CF6B-2E0D-4FE7-9BB6-2072C0CE9C4E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q793767$6A316B2B-84A4-4028-A214-A792B9011266","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"82e89d590fd4057ea3c86609d5e160eaa2a02cb5","datavalue":{"value":"A bounded distributive lattice D with a dual lattice homomorphism is called an Ockham algebra. An Ockham space is the Priestley dual of D augmented by an order reversing continuous map. As an application of a general theorem of \\textit{P. Freyd} [Colloq. Math. 14, 89-106 (1966; Zbl 0144.010)], the author represents such algebras and spaces via natural hom-functors. The powerset of the set N of natural numbers plays as an algebra as well as a space an important role throughout the paper.","type":"string"},"datatype":"string"},"type":"statement","id":"Q793767$A86A32D5-1767-47C0-ACE7-1F01492240EC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e8c40330eb2379a40e6c9b62fdbcc32287207f24","datavalue":{"value":"06D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793767$D2F3C2F2-7E74-4789-8EAC-34B1909B56D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ce5b74470053f031a57488d42a2b289573daad5a","datavalue":{"value":"06D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793767$5BEA2134-0CF9-4FC4-8C9B-4CBB4337B1E6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"95c03a956dacd6aa780e6f673dd752245bfd84af","datavalue":{"value":"3857185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793767$6995AB64-653B-4CCC-845B-FF4947847892","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bcdbcc6be172b684399bf611ebb4f465992a864","datavalue":{"value":"bounded distributive lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q793767$1E9AAB8B-8AE5-4275-AEE4-86E82EFB6A16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"298f6f198fe992f7ee975eca529306eb40a507bd","datavalue":{"value":"Ockham algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q793767$55D6F09C-887C-4D21-BBD7-945AAB5BBF2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c161d494ea43c504848c99d3e683657494fc5125","datavalue":{"value":"Ockham space","type":"string"},"datatype":"string"},"type":"statement","id":"Q793767$10FF7238-A7E3-4F18-9A98-CBD61379F11F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85e4b1a4d6814556e4b4cec599918c08e879bf32","datavalue":{"value":"Priestley dual","type":"string"},"datatype":"string"},"type":"statement","id":"Q793767$9439467A-2414-4AFE-9E0E-4D3B9C7CEF8F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c2f4ec303ca6ec9b0d4f9ef1248968aff4d1e0d0","datavalue":{"value":{"entity-type":"item","numeric-id":289022,"id":"Q289022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793767$8DEA8CEC-AABA-4859-A39C-B3F8F4DE4157","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":"Q793767$00AF7F2F-C83C-4EA1-821F-2074594FD1FE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f4004e8049c9137d9b5b6e94f4dec378ad15a2a","datavalue":{"value":{"entity-type":"item","numeric-id":1252874,"id":"Q1252874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793767$CA236D00-AAF2-44EF-9566-425C19DADA7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0ff4e412bf8854d9903378f7760ad489d0d0572","datavalue":{"value":{"entity-type":"item","numeric-id":4081295,"id":"Q4081295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793767$A62D4531-C501-45C1-9C8D-59E43A5AAA47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9648832a5f4f5f615b575f39686e65941502f438","datavalue":{"value":{"entity-type":"item","numeric-id":3932856,"id":"Q3932856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793767$F581552A-EC9D-4E34-9D0F-D8D4C5D01224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bf8e44b78b1e18f0fd54fe2eba1d60693fb6cc6","datavalue":{"value":{"entity-type":"item","numeric-id":3659832,"id":"Q3659832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793767$ACA3DCE2-3F69-4BCC-BCFB-B92A50654AB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56fbe8eda433fc66e93fb2621e5107f8cb3e77eb","datavalue":{"value":{"entity-type":"item","numeric-id":5519923,"id":"Q5519923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793767$8BC3F5E6-7CAE-42AE-BF0F-E8179002595B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0db01924dbc3b218c8931c45bfec98f1f294aa7","datavalue":{"value":{"entity-type":"item","numeric-id":3932848,"id":"Q3932848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793767$E9A4396D-9D69-4649-A50B-439AE04AE018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7052864b59d904edf4e1370110e59472fa2ae5f","datavalue":{"value":{"entity-type":"item","numeric-id":3898693,"id":"Q3898693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793767$2BEB67ED-51C7-4E51-AF54-A77B34EF90C8","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":"Q793767$781F8816-2E14-4E0F-90D4-314237228097","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":"Q793767$5C61CDB1-0883-4641-A547-A361174A89F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a54b9e308c7141029e5e3f531ea2cf0f5ed21631","datavalue":{"value":{"entity-type":"item","numeric-id":1214924,"id":"Q1214924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793767$2FAF6CAE-EBAB-49D2-A3AB-006692EF6CE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76f73b0702bccea98217d247cc7e16403a655933","datavalue":{"value":{"entity-type":"item","numeric-id":1135295,"id":"Q1135295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793767$4EF9F6CF-FBC9-4EEB-9FA9-5BDBF14A3635","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a89a6d361ef9eaaea0785010b5a84e8898538d36","datavalue":{"value":"https://doi.org/10.1007/bf01418756","type":"string"},"datatype":"url"},"type":"statement","id":"Q793767$85E46857-5A71-440D-958B-21EBDAC796AF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"368d4192997cc9173898f08ab8e04d3fcc7a36bd","datavalue":{"value":"W1991194953","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793767$577B8C33-70F8-4527-B825-4EB6C42B1190","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffc4ffdf49fbd072bb2f3e2e1302dfa8d3802758","datavalue":{"value":{"entity-type":"item","numeric-id":2476161,"id":"Q2476161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b88b6d45f4e87f91da5b44bcd456afae1f304ae","datavalue":{"value":{"amount":"+0.9129702","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q793767$7107F1A9-1A1E-461F-BCD7-EDA8AF379EDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"798602ad2f175eed71f5170a9e0fde75e2800f74","datavalue":{"value":{"entity-type":"item","numeric-id":1109030,"id":"Q1109030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa50390d8ce0e7273fc9a91f07ac9726f0688778","datavalue":{"value":{"amount":"+0.90689075","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q793767$504B2DB0-EF02-4CD5-9CBB-AF7AF0C68712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81f48f0f8c42ad9cfbbd62abcabfa056460d3e01","datavalue":{"value":{"entity-type":"item","numeric-id":4679513,"id":"Q4679513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdcdc5e346ca68fc6ed1e0d777202b09efcf6858","datavalue":{"value":{"amount":"+0.90350056","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q793767$17B680FE-E13D-46E1-9429-9B7AC8B0F657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a312a84024d585c77bf415bacecc2a2b0cb858d1","datavalue":{"value":{"entity-type":"item","numeric-id":634749,"id":"Q634749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99e9f0a01809d36134b2195effc93c0ff5a32c79","datavalue":{"value":{"amount":"+0.90019953","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q793767$6132D04D-717E-4127-AC3B-D1F8F1553CF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c179e6d80d6715cb6411e5398dd972da9e05058","datavalue":{"value":{"entity-type":"item","numeric-id":5212298,"id":"Q5212298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15e2773cb82a6b0c56f788bcc6e6a4408abb7ab8","datavalue":{"value":{"amount":"+0.8976051","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q793767$D8A6F3E0-EFD4-40BA-B916-9278F884A0BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c76d23558eaeddda91e54252e71960c968725da0","datavalue":{"value":{"entity-type":"item","numeric-id":4900112,"id":"Q4900112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c714a296a102ee853b7e0ee6614419acab3ea8ed","datavalue":{"value":{"amount":"+0.89652336","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q793767$2AA379A5-4518-4F76-8EEF-EEF9C44A123C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9be3ffb307a16a8a516825a71d18479104476143","datavalue":{"value":{"entity-type":"item","numeric-id":2847354,"id":"Q2847354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e9f27757a1068a99a2f418a4c9ca9da685b1c95","datavalue":{"value":{"amount":"+0.8913959","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q793767$92B82485-0242-44F5-8FD3-AB1DD973240A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd14415b79fe00b023d76d1d0f1d2d9a8dc2ba81","datavalue":{"value":{"entity-type":"item","numeric-id":1936112,"id":"Q1936112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb3e47690640721dc5c9e3972e056bad0743b0cc","datavalue":{"value":{"amount":"+0.89100534","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q793767$DE50F3EF-FA4C-4AA8-B799-14C9EB37FC4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcc6ef7ae0b3c5932397f6376a341a56dc45cc17","datavalue":{"value":{"entity-type":"item","numeric-id":4681299,"id":"Q4681299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0a451be004f11f361347d5e454680808e243152","datavalue":{"value":{"amount":"+0.88981164","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q793767$0AFEB46D-6851-4169-8060-D63CE8FD61DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"806ae47f071fe69f957c6aa9ab4c04f412226802","datavalue":{"value":{"entity-type":"item","numeric-id":3518851,"id":"Q3518851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c19fe93e14a90cae4ff24e717067f3741209297","datavalue":{"value":{"amount":"+0.8873819","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q793767$9BE71617-95A2-4AA9-A02A-497475746A01","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Topological duality for distributive Ockham algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Topological_duality_for_distributive_Ockham_algebras"}}}}}