{"entities":{"Q5095644":{"pageid":7125220,"ns":120,"title":"Item:Q5095644","lastrevid":94303148,"modified":"2026-06-05T06:28:06Z","type":"item","id":"Q5095644","labels":{"en":{"language":"en","value":"A categorical equivalence between semi-Heyting algebras and centered semi-Nelson algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7570096"}},"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":"Q5095644$A55EEB1F-6F66-40ED-B517-747E5F27995D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c132f60a539b13fe023fe0e9d4863186d4d05cdc","datavalue":{"value":{"text":"A categorical equivalence between semi-Heyting algebras and centered semi-Nelson algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5095644$DECB0B6E-3371-4FB4-9982-12FC509238D1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"12a497655fdb0df77331ac923905f938184d564d","datavalue":{"value":"1492.06001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5095644$7E716600-3B92-40D8-BF0D-0D194DDEB566","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f21ce2810cf359b217225ea862e10a1ca99e11d","datavalue":{"value":{"entity-type":"item","numeric-id":266867,"id":"Q266867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5095644$B320981E-1157-4ABE-8F04-144667A94529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff60f539800112c46879724c5b88cbb0551f5780","datavalue":{"value":{"entity-type":"item","numeric-id":495843,"id":"Q495843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5095644$548B27CE-B913-4557-8B44-B14FA2ED3AA0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5095644$AA1FA960-8B8C-4C77-B4E0-A75D580F54E7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b803906f970976a55a1ec0e1b8bcb05742777ca1","datavalue":{"value":{"time":"+2022-08-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5095644$33F996A8-C221-43EE-A283-47381C3FF270","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5095644$37896C54-1118-4B26-88AB-D8D50C2A6D18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5095644$F6AE4981-BF5A-4EA1-AEDF-E1DE6C862BCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0a7eb06f78cf1bac52b186f12694848a795f3f40","datavalue":{"value":"18B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5095644$5AEF70B3-26E3-4E8F-825B-3673E44A45E6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"286db81c0c4dd3fdc166114d8688f8ec0d62a789","datavalue":{"value":"7570096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5095644$D6CD8CF7-718A-4BF8-A001-933D4FBEA6DF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61f91923718aafa6282d2e7e5ba773fcd1e17386","datavalue":{"value":"semi-Heyting algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q5095644$8ACEDA91-CFA4-4CFB-80DF-E47777304C5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b65704188449f6deb2c109d07c7799f54b4c9c7","datavalue":{"value":"semi-Nelson algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q5095644$85B1D302-0C65-4F1F-8973-3D851083070D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1ecf978a28e5d1baefdbd10dbc4f102a6158a13","datavalue":{"value":"duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q5095644$915DBE3C-C1CA-4E8E-BBEA-434B958C9354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b14cd685c98a4ba07bb03380be5fdb0df906771e","datavalue":{"value":"congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q5095644$D56509B6-FDF5-4AFA-A7F5-87D2DF33474A","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":"Q5095644$58F8E86A-7E98-4E46-BF4E-EA11DB88F48D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"66ca6af4f8f1d4829bd3d970af92ed855ba4b160","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzy006","type":"string"},"datatype":"url"},"type":"statement","id":"Q5095644$A496EC7C-BD7C-4A3E-A8E6-C93A6A8F5391","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4c7260c16705e9528887f2a5cdef0761aa285287","datavalue":{"value":"W2884696140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5095644$590382B3-AC8B-41CF-9B2E-1929FBFBF186","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dc17d67a1cc9efdaa5e7f16ba6aceba44324fb84","datavalue":{"value":"10.1093/JIGPAL/JZY006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5095644$05A0C753-9121-4AF8-A5DD-2D88283CA17D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"617387ae6e3d30302790d04ba0f3362243b029f9","datavalue":{"value":{"entity-type":"item","numeric-id":2100454,"id":"Q2100454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80c83c9b9d13e5877d35dd192809ac16fe02826d","datavalue":{"value":{"amount":"+0.9511278","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":"Q5095644$32C647A3-EEDC-4CBF-8774-0EB3E6FC94C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0fb0893586bb93a117eb9c50e36eb160b1588e4","datavalue":{"value":{"entity-type":"item","numeric-id":2875803,"id":"Q2875803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97de2f448d1182364bc495711561a40efe37263a","datavalue":{"value":{"amount":"+0.883914","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":"Q5095644$E3319C21-135C-4BB4-9EFE-9C5A3D3050F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63e36eafd9a707756cba0f4ce93a3dfc189ce7c6","datavalue":{"value":{"entity-type":"item","numeric-id":1850093,"id":"Q1850093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"623e037f04b0b6a265eadc463e86586285e55167","datavalue":{"value":{"amount":"+0.87767124","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":"Q5095644$75D13B86-BC36-474C-B3BB-896673CD48E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef2f1e95e6ee03497b1ef03fd298e2a0562bf22e","datavalue":{"value":{"entity-type":"item","numeric-id":1861494,"id":"Q1861494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9334fce11270d7143ae3566223165d0068c1e621","datavalue":{"value":{"amount":"+0.8765439","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":"Q5095644$DF7EF97C-F3BA-429F-AABA-165C2D47569B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a637546d1c744237541e340273eb3aee5cbc8c4","datavalue":{"value":{"entity-type":"item","numeric-id":3691904,"id":"Q3691904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5e7577aa451840c23b260b064fbc959fad96754","datavalue":{"value":{"amount":"+0.8696829","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":"Q5095644$3A67B3C8-11AD-45F9-BAFC-F5F22CF096DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba2a3cdacfb0f12b4f09bcfd07330252214ee247","datavalue":{"value":{"entity-type":"item","numeric-id":3605557,"id":"Q3605557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b8906b16db54dc00994a9df0bb3e7d9649d1bbd","datavalue":{"value":{"amount":"+0.86952263","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":"Q5095644$9116E226-67E5-4A81-9211-A074C2C8C8D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4cce3a09f650cf118d9b3b580b90ce771066012","datavalue":{"value":{"entity-type":"item","numeric-id":1970590,"id":"Q1970590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8ddfb7ff459157d2e4a3eebbaa87904b4a77c77","datavalue":{"value":{"amount":"+0.86881495","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":"Q5095644$0D7675F0-FFFF-4050-BB9B-EDD8A0AA3CC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28739958087644cfb77cf9b32bc87a915fefe226","datavalue":{"value":{"entity-type":"item","numeric-id":4240499,"id":"Q4240499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1eb130c196f36f0df2df0d519877d9cf662025b9","datavalue":{"value":{"amount":"+0.86850965","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":"Q5095644$2E72138D-44EB-4691-9358-B879F8BE2307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31340e5ebbcd3168618314135e99a4c7a6902b37","datavalue":{"value":{"entity-type":"item","numeric-id":3356347,"id":"Q3356347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bec49ec26a4a7d1cc22aa52cfc20c65abef30bbd","datavalue":{"value":{"amount":"+0.86691654","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":"Q5095644$6A2867F7-E94A-4F0E-8309-F651259D057C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa72d90928c6f0b38fdf77f538e986977667451e","datavalue":{"value":{"entity-type":"item","numeric-id":2015828,"id":"Q2015828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58cef3901ff77681d52e2c419dd7f59447d04dd2","datavalue":{"value":{"amount":"+0.8669048","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":"Q5095644$65E65FD5-7F79-48DD-8705-3DFE732B9593","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A categorical equivalence between semi-Heyting algebras and centered semi-Nelson algebras","badges":[]}}}}}