{"entities":{"Q5863853":{"pageid":7893404,"ns":120,"title":"Item:Q5863853","lastrevid":101920619,"modified":"2026-06-06T03:08:35Z","type":"item","id":"Q5863853","labels":{"en":{"language":"en","value":"Modal Hilbert algebras and their triple representation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7536561"}},"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":"Q5863853$4B47B2E2-FC13-4A9D-AC0B-933E312F9B46","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e52d5631b41e9f21c03438e24ef5633ce1547c32","datavalue":{"value":"1497.03070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5863853$A932A77B-F6DC-48D4-A435-277032F23695","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7194ed2eed87fe711a1b298dffeeda4abd2dbcd6","datavalue":{"value":{"entity-type":"item","numeric-id":466879,"id":"Q466879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5863853$3208F01E-1404-4CE1-A352-1DC8A3D513CB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1c986118960ce8e3a4ca9bfd9a9b0e8a4e9089d9","datavalue":{"value":{"time":"+2022-06-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5863853$2B6C58B9-0D75-4C81-A5FF-925937A3790C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"978a2ea4e01f3fd14244214f76889f2668cae7ef","datavalue":{"value":"https://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-38-number-1-2-2022/mvlsc-38-1-2-p-81-114/","type":"string"},"datatype":"url"},"type":"statement","id":"Q5863853$063348DD-97CB-4DC2-81B5-1E53795061C4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5863853$F33C4247-5625-405A-8BF2-E5CAD8616DEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6bc68fdb72eda783db87ef0277cbbfb4c760cdbc","datavalue":{"value":"06A12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5863853$396B63DA-CE2A-4A82-A436-3AE99F99ADCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8948c34e793e5195a8bf306d0e010b3472404866","datavalue":{"value":"08A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5863853$980AF0FA-5566-48EF-9124-F312110623A6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7aee2bac8500c0a5840cae9cfb4f5d6540874122","datavalue":{"value":"7536561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5863853$F3930ABE-32D4-4E2F-8A85-D0DEDF2D0F90","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88b6b54653a145328563a1ca72af49f52ac6e27f","datavalue":{"value":"closure endomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q5863853$218D79F0-9C3A-4197-BE2A-622E925F593C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5126e75d2bc46c578bcd50a9dcef8a564ca8847","datavalue":{"value":"compatible meet","type":"string"},"datatype":"string"},"type":"statement","id":"Q5863853$18743CAB-471F-4938-B090-8584F344A183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6eada02c8db6b489171cd9839c10b07aeec708d","datavalue":{"value":"Glivenko operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q5863853$FC6BAF8C-D31D-4167-B8D3-A270AE9FAAD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78dbfbe6003fef446f28c95572cd39b6093fff00","datavalue":{"value":"Hilbert algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5863853$5C9E7790-6F6B-4B09-A9DF-4236299DDEBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"578d22b4943d233d02ade801f210524a90ddfdff","datavalue":{"value":"modal algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5863853$A306CFB8-75AB-4BC2-8FC5-F763C8F4E402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a241af4d04e728c8699fb89ce1e31dd93560307","datavalue":{"value":"modal operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q5863853$99B20109-4AFA-4C6C-9042-81F2B721F1B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ccbd2ce338a1ec87bf32c17c06d0857aedba952","datavalue":{"value":"quasi-decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q5863853$0FDACF56-7071-41E5-934D-71E505A99A1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e01d22f5d8a653102f0bfc335f1ff6dff39b30ac","datavalue":{"value":"triple","type":"string"},"datatype":"string"},"type":"statement","id":"Q5863853$9E3D6CD4-AA9A-458E-A137-E57DAB4FA91E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc8240a9f258c22ddcddb14d441398cbe27f666d","datavalue":{"value":"triple representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5863853$ABB44B4A-81D1-428F-BD6A-C70E6AF5A0B2","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":"Q5863853$3EEC5947-1AB1-4EB1-A78D-8DBD79345AD0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d8e7ec345413e104735faa57122d0400eae37de","datavalue":{"value":{"entity-type":"item","numeric-id":4785506,"id":"Q4785506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5863853$1F02934C-E7A4-4FD0-AFE6-EC5C9E6417DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42d924809cd7dde4fee01261ee91e6338b092ffe","datavalue":{"value":{"entity-type":"item","numeric-id":4236755,"id":"Q4236755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5863853$FFB2DA8F-0F00-47D3-A78D-3490696D78FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e993f8797a73498648ad45854b60103654f67b3a","datavalue":{"value":{"entity-type":"item","numeric-id":2183094,"id":"Q2183094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5863853$9A2D0D93-F6C6-42FD-9D0E-915514A909E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b27ba089b6ee4a162e8e95b0e22530ed9cac0feb","datavalue":{"value":{"entity-type":"item","numeric-id":2759831,"id":"Q2759831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5863853$0CB7D208-B9EF-4393-AAFC-7ADF3F894309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6821289fbc45eaa1b105ac923a06eab18a57b1b","datavalue":{"value":{"entity-type":"item","numeric-id":5701818,"id":"Q5701818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5863853$77BF6603-6E6D-4DAE-BA66-856017277016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca0f4c956456658e19ca0cccc20ff6f1cd990d10","datavalue":{"value":{"entity-type":"item","numeric-id":2454702,"id":"Q2454702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5863853$40AE7A41-BE09-4A08-B04C-D4B81AF439AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2df39f34d8232d2e7f13d6ba0f2202c310b9db37","datavalue":{"value":{"entity-type":"item","numeric-id":2847082,"id":"Q2847082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5863853$94A5ADB6-A382-4D7B-99B3-8C15ECC443A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24307f65174cf2f05425cc472eb7eade74125dcc","datavalue":{"value":{"entity-type":"item","numeric-id":786811,"id":"Q786811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5863853$E338AE98-8008-49B3-8DB1-A20E35D4D2E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a725fa728d0bace8cf28e5ec440f029dd3194e6","datavalue":{"value":{"entity-type":"item","numeric-id":3900118,"id":"Q3900118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5863853$6F7DD740-C735-43E8-A5BD-F5BEA32D449E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1536047fa128c2bce7315a3157d37136d0a80e6","datavalue":{"value":{"entity-type":"item","numeric-id":3965241,"id":"Q3965241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5863853$397B6AE1-2DEF-455E-AB9D-DD6FED2204F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5863853$30260147-5CB7-41B0-9AEC-CC42E75DB6D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37e410b0342196b9a57a99e10bf61b541b0263c2","datavalue":{"value":{"entity-type":"item","numeric-id":1151916,"id":"Q1151916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5863853$C9642DDF-BBA0-4A7B-9AF5-6867910E5EC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f531f2c147c8f75ab9a3a6559839f0f753620e43","datavalue":{"value":{"entity-type":"item","numeric-id":2560241,"id":"Q2560241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5863853$73C0C8B2-D36C-40A0-AF36-5B1F798EBEFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7452c08fcb7556ebf97fdd17bed6233a8695f3f","datavalue":{"value":{"entity-type":"item","numeric-id":2545150,"id":"Q2545150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5863853$1B1EEAE3-1FD3-4BDD-9659-A163F0295939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31b871b7fdcbdbbfea9e34c88c71636b9ed00ccc","datavalue":{"value":{"entity-type":"item","numeric-id":5336342,"id":"Q5336342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5863853$361DBBFF-C46F-4424-AC0D-2C981B685CD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7acc26d822abc4dd6c231b7a2a206c00e04bc9a","datavalue":{"value":{"entity-type":"item","numeric-id":5675759,"id":"Q5675759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5863853$422FC168-C9CD-45F6-8AA0-016945F6C51B","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":"Q5863853$CD027216-380C-4E2D-8DC7-43F46FEB7A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81ae9be93577422e59eff84856adf5fd19481087","datavalue":{"value":{"entity-type":"item","numeric-id":4745859,"id":"Q4745859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5863853$74BE0A08-98BE-4693-B04D-2EA21060BEC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"336f961c9fa9e689f2ee7ffa3fce0940a4519e21","datavalue":{"value":{"entity-type":"item","numeric-id":4145752,"id":"Q4145752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5863853$BD7A28B6-D886-43F9-ACC5-B4B8F1B4D980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d9c3668ea584e7e103519b83bcedef3ef40cd89","datavalue":{"value":{"entity-type":"item","numeric-id":1235197,"id":"Q1235197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5863853$856820F6-F32A-4520-AB00-3913429F32EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d940cc56bf87874f24de874ce78bf4aac0d26bce","datavalue":{"value":{"entity-type":"item","numeric-id":1235159,"id":"Q1235159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5863853$9EF29BD3-C81E-4DDB-9749-BD58D2761019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63c205ec271958183758b74a9eb73c65cf740339","datavalue":{"value":{"entity-type":"item","numeric-id":3867846,"id":"Q3867846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5863853$A0090F5D-6C3B-4040-B993-53DDCC9CE0EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f6ec65bc776ae0209488770e7f9ad60fce2ccb6","datavalue":{"value":{"entity-type":"item","numeric-id":5569148,"id":"Q5569148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5863853$FDF5D59D-B2F2-4794-A39F-5A31CF5EDEE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5bf769bb22ec0338c607a956988deb77e38b787","datavalue":{"value":{"entity-type":"item","numeric-id":5416599,"id":"Q5416599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5863853$8261368D-AEC4-45C4-A571-9B61D83F3C9C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d2e1d077e505c1756f1c05415e0c310d40a5cfd","datavalue":{"value":{"entity-type":"item","numeric-id":4323809,"id":"Q4323809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5a246d42e949e0ccc8e16ec79b223f35e40f4c6","datavalue":{"value":{"amount":"+0.7947555184364319","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":"Q5863853$D0D8182F-20F9-46CF-B0DA-3AD0C3C63774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34ff2714c9bd50a4b63fb07985065aee42ba6dd3","datavalue":{"value":{"entity-type":"item","numeric-id":5499650,"id":"Q5499650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6eebc8c2a0fa915560abd3bed179148b0e5bbe14","datavalue":{"value":{"amount":"+0.7944832444190979","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":"Q5863853$F875CCAD-DE17-45FC-ABDF-AC2962062141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf6cfd2b08a71bde88bca182d230c92155b81689","datavalue":{"value":{"entity-type":"item","numeric-id":2350975,"id":"Q2350975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65ad2de39b78cfc4b8115222e66b9038f20ebfc0","datavalue":{"value":{"amount":"+0.7937455773353577","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":"Q5863853$90375C85-3153-4BFC-9AF0-0FFF82B1E2B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"172125f942dfe33c3d8c6b60af20ff168edc2938","datavalue":{"value":{"entity-type":"item","numeric-id":1040223,"id":"Q1040223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb2c260fb1905209b128b1a5439ec59e8e040506","datavalue":{"value":{"amount":"+0.7638477683067322","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":"Q5863853$38B29DE5-3AAF-49B2-B8D9-19433F2F072B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2c9274115a4cd67ac38909ca32f9d11a5d5a5e5","datavalue":{"value":{"entity-type":"item","numeric-id":2759831,"id":"Q2759831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"105f708fc5cf601526ca5a56b00305e710acb7b3","datavalue":{"value":{"amount":"+0.7536270618438721","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":"Q5863853$3ED33E4A-5F74-4CA5-B50D-9ED845BFBAF2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modal Hilbert algebras and their triple representation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modal_Hilbert_algebras_and_their_triple_representation"}}}}}