{"entities":{"Q1419666":{"pageid":1430406,"ns":120,"title":"Item:Q1419666","lastrevid":68793129,"modified":"2026-04-13T02:05:35Z","type":"item","id":"Q1419666","labels":{"en":{"language":"en","value":"Representation of Hilbert algebras and implicative semilattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2028885"}},"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":"Q1419666$B2201909-247E-4FE8-87F0-56B2E982DB68","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"69261272acb1d966f8799240d945c9afcffa4f99","datavalue":{"value":{"text":"Representation of Hilbert algebras and implicative semilattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1419666$1E5A6393-505C-4D0A-95F8-050F0F826FC5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"97c2969d2f15eef5801a4d39e23b084498433c7d","datavalue":{"value":"1034.03056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1419666$8E111923-D32D-464F-AB20-D166B4437426","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2889f4a96c9b6cd5e4afb5ac9c6d231e46ddcb04","datavalue":{"value":"10.2478/BF02475182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1419666$FB6DF824-814F-4CC6-BB91-2A3E417082C1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fc7d268a183ade5451538ec2970855ed7396f2d7","datavalue":{"value":{"entity-type":"item","numeric-id":352702,"id":"Q352702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1419666$EFAB8CF3-0CD9-4432-830F-6622D196276C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d869fcf2ce7103e7d1cb9a0ccc3c4f448364574e","datavalue":{"value":{"time":"+2004-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":"Q1419666$74BBB8D3-93EE-440A-8212-CA738FF609DE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1419666$C991FAE1-719A-46D0-9D1F-CA33B6E083A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6bc68fdb72eda783db87ef0277cbbfb4c760cdbc","datavalue":{"value":"06A12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1419666$9190A2E4-F673-4F40-9773-E22544394989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"790702f50bb93532a7a4b32f255db82d04382a0d","datavalue":{"value":"06E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1419666$F6EF9828-C620-4CA9-882A-8EC8D075A876","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3629d9a2ec35e79a02024ce8b0ae9b8b2e3a28c0","datavalue":{"value":"2028885","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1419666$C052A29F-D433-4D7D-8B0A-03F80F361B0C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a3fed76338c95c3870b5a2c4da4dab5be95fc74","datavalue":{"value":"topological representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1419666$02982147-ED06-4304-B7C6-43E5DECAAC35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d63413832309b384d64cb4821fc85aa5ce14dd08","datavalue":{"value":"Hilbert algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1419666$611C10E7-BC7B-4922-9505-D3E03878D1C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f7757dba3062d728089c82eb2957c937e1cb265","datavalue":{"value":"implicative semilattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1419666$C21D3EE2-0DEF-4D6A-B0EF-DF2C801EB11A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1ecf978a28e5d1baefdbd10dbc4f102a6158a13","datavalue":{"value":"duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1419666$0C6051B6-9CA7-4116-9C99-C39EDF903D70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af346a384e72cb41119c7897ce7372c11cc304a0","datavalue":{"value":"Boolean rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1419666$9FAFD064-681A-416D-BD22-DA4EA56EDB6F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"92eafc96a46092e2429ee13b6bdee39b631fd790","datavalue":{"value":{"entity-type":"item","numeric-id":634748,"id":"Q634748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1419666$0C5BB110-5907-4270-8F29-DDAB3CD93499","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":"Q1419666$067A7A40-2115-4B75-B4F8-609B633CB53A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7234ce5a736deb8e32f644f4ddc6917abbf47fe8","datavalue":{"value":{"entity-type":"item","numeric-id":3708845,"id":"Q3708845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1419666$EF9117DD-C1AA-4318-B8A2-0E9025D8D980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aee575ec6b1c5e65c66e239e915cade15c5b6a1d","datavalue":{"value":{"entity-type":"item","numeric-id":1607811,"id":"Q1607811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1419666$A5FCE977-1879-44DB-A09F-DF0A3473F697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be0eeabb40e1827e3165c65d0283d526a8b6225d","datavalue":{"value":{"entity-type":"item","numeric-id":4436398,"id":"Q4436398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1419666$521249EC-75A2-44E8-904F-9628BFDEFFF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"338f36829ed7b9da240356c884cf2b476610fc00","datavalue":{"value":{"entity-type":"item","numeric-id":5519895,"id":"Q5519895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1419666$EFC3029F-833A-4BE6-A8B9-D42253BEF2D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c29bd921c55cd87b995d394e84ced3a0542646ef","datavalue":{"value":{"entity-type":"item","numeric-id":3804692,"id":"Q3804692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1419666$2E305B29-34FA-440C-B2B5-32BDC1D51F4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c806ec626498b019d57349e25f469718da3bb00","datavalue":{"value":{"entity-type":"item","numeric-id":4225602,"id":"Q4225602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1419666$08D93B95-9629-4909-927E-7397A2544F3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d71362079480d93d3ecd58839fa861d20c6f63f0","datavalue":{"value":{"entity-type":"item","numeric-id":3768949,"id":"Q3768949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1419666$6995FDEB-47F6-4760-B22F-71EF586D0888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29ad3f1b29389888b3e0d1967fc3db0582fc8ae2","datavalue":{"value":{"entity-type":"item","numeric-id":3927295,"id":"Q3927295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1419666$B6B403C5-C83F-4104-BA43-E72C5FDC7685","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":"Q1419666$2BCC9A65-6290-436C-9DAF-4B18C2A7AD02","rank":"normal"}],"P1643":[{"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":"2d46998634e64eb1faec615139118be5f6cb7528","datavalue":{"value":{"amount":"+0.8188344836235046","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":"Q1419666$C376896A-016E-497D-AE65-FDDC0058DD3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27ba88e24ebb3c19763b2a3bf4541058422d1a7f","datavalue":{"value":{"entity-type":"item","numeric-id":422345,"id":"Q422345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f2fac070fa0f91942c0c36536b39ba740685151","datavalue":{"value":{"amount":"+0.8056684732437134","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":"Q1419666$84B9F932-6BC3-420D-A1B7-48194903AD66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0389f3df63da510db812de6be42b2dfcaaf47404","datavalue":{"value":{"entity-type":"item","numeric-id":1034360,"id":"Q1034360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac621fd284a28a25e70913ee13adab19105e818f","datavalue":{"value":{"amount":"+0.802467942237854","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":"Q1419666$AEDDE58D-959E-4E9B-8EA5-50A097B5BB86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b7c5b4cbe026541f7bb596147b9b5ff1e81fb1c","datavalue":{"value":{"entity-type":"item","numeric-id":1607811,"id":"Q1607811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"014dbbb1dcc660e8d84803a47f7a721a6d931000","datavalue":{"value":{"amount":"+0.8014914989471436","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":"Q1419666$E34C8CE3-4E8F-4DF1-80A3-21E7FC8E0982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e75ff1649f239b4e4f3b6bdcc30e3aa59f48f32","datavalue":{"value":{"entity-type":"item","numeric-id":2577680,"id":"Q2577680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa381a5a8f3b4eb2867aca3041f832b89c31f0e1","datavalue":{"value":{"amount":"+0.7981083393096924","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":"Q1419666$565FC8F9-3C01-4D67-BFB9-B895A9FB8968","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"6e2260e47a2889770c9d5516a7c5ae827b188d2b","datavalue":{"value":{"entity-type":"item","numeric-id":6830563,"id":"Q6830563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1419666$FD0DDFC4-5862-4388-8C0D-03922813F93F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Representation of Hilbert algebras and implicative semilattices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Representation_of_Hilbert_algebras_and_implicative_semilattices"}}}}}