{"entities":{"Q2581404":{"pageid":2592147,"ns":120,"title":"Item:Q2581404","lastrevid":48625594,"modified":"2026-01-05T10:34:28Z","type":"item","id":"Q2581404","labels":{"en":{"language":"en","value":"Duality for finite Hilbert algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2244632"}},"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":"Q2581404$25DA3CEE-D8BC-4DFC-9E25-3EAFC63BBE39","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7ada01d08c810f9bb9e55e836c8fe64dcc893620","datavalue":{"value":{"text":"Duality for finite Hilbert algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2581404$83DD61F0-B4E6-471A-97F8-13615DEB7C19","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dc38aa7c62335fb9832db5dfc88fb74f65b3376b","datavalue":{"value":"1084.03050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2581404$4AEA1DC5-6953-479D-BB07-F0B230B95638","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c057358ebb9c2e72e1be7d59fe0ff665a9c77c26","datavalue":{"value":{"entity-type":"item","numeric-id":321582,"id":"Q321582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2581404$EBA3DB55-5510-4351-B739-131C9654F9C4","rank":"normal"},{"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":"Q2581404$9B300246-30A8-4E74-B72B-25BBD04B5D82","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"38665fe4ed2b835132254a58832c329597060029","datavalue":{"value":{"entity-type":"item","numeric-id":175483,"id":"Q175483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2581404$B799ECD8-4347-4628-954D-9787542AF3A7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e93cf8dacd1ede76e69913529f9bf4e8192e151","datavalue":{"value":{"time":"+2006-01-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":"Q2581404$1C60C691-CC12-47F6-B61E-53B901642914","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1fa91f69b4e7176cb5d9b69339124f296297e583","datavalue":{"value":"The authors provide a duality for finite Hilbert algebras by means of finite ordered sets endowed with a distinguished family of subsets. They also study the case in which the finite Hilbert algebras are join-semilattices or meet-semilattices.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2581404$6F8BF74C-2024-4F5C-99BE-CB6F289D3F17","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f95cd7386eedaef653f8227ca61e824db8c93f6e","datavalue":{"value":{"entity-type":"item","numeric-id":587967,"id":"Q587967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2581404$1AE98B80-F073-457B-9E73-7D558EB22B61","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2581404$D8E6D064-671B-4A5A-B9C8-AD426AC70D6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2581404$5376ECBC-4EC4-4ED4-BA61-71336BA6613D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d8c1bc0d50b987b1b851d7a7dbf35b5fbed58358","datavalue":{"value":"06D50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2581404$D438420A-2BE6-4CD9-9E36-CF9DF4571F14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6bc68fdb72eda783db87ef0277cbbfb4c760cdbc","datavalue":{"value":"06A12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2581404$6963C878-2262-4311-B856-F414368CE70A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ce79a6571b58456cd8202bb0076777fa3bec9cf9","datavalue":{"value":"2244632","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2581404$338AB8C0-7FBE-41CE-8F8E-C6F59BA9DFB0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d63413832309b384d64cb4821fc85aa5ce14dd08","datavalue":{"value":"Hilbert algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2581404$CDE12D73-CF70-4E08-BB72-93CE09A2CE4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca277992f91db5dc674d0eaca198f17556de59e4","datavalue":{"value":"ordered sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2581404$3679267F-AA5B-45FC-B07F-2A43724E3670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8eee28719d8e78b447ea37811406c045fa5b67d5","datavalue":{"value":"H-spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q2581404$12F7DADA-3289-417B-8B04-182877DC61D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d3e379bd0253a795b63b3865158dfe0249b2edb","datavalue":{"value":"meet-semilattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q2581404$041BB185-5BB7-4960-BF48-D3ADB1CC7095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"437a4083b26a324d3f7c311ebcf077de50ec54db","datavalue":{"value":"join-semilattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q2581404$E6FA1612-7A24-4629-8746-D295DAFA92F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec807b0473fbf3df621450cb57dbc7e624e2a692","datavalue":{"value":"Brouwerian semilattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q2581404$8CD207B3-5912-4AE8-9E49-E3BB39D20A86","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":"Q2581404$3EA66F70-F6DB-4810-B031-1FA1CDB70C3E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"29a55ffe00fb1430f599eb6af52b7d21720ebfd6","datavalue":{"value":"https://doi.org/10.1016/j.disc.2005.09.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q2581404$0F6BB586-0BB9-4855-8082-C0F426C40199","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"247e23dfccae9b4ab3b929bf08e7a2cfd2fd889b","datavalue":{"value":"W2059188946","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2581404$B31FDE44-8E2D-47C1-A47F-BA90C98A69B4","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":"Q2581404$8ED52B12-A299-4FDD-A06D-A2234F07472B","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":"Q2581404$AAC96B5A-60F9-4F2D-B640-4A2244485031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"221ea16ce6e55395f302edce425f75586d8b8d2b","datavalue":{"value":{"entity-type":"item","numeric-id":5488262,"id":"Q5488262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2581404$FC4885A9-56A0-4C3E-A4AC-E1EBBCE14D59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbd9a6ade8d1f39de0017bbf6e2c37ec0f518a9a","datavalue":{"value":{"entity-type":"item","numeric-id":4220406,"id":"Q4220406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2581404$B587D198-2B22-4A52-B7F6-A9AB6FFFE020","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":"Q2581404$BC3C93E7-9452-444D-BED1-12E287829A7D","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":"Q2581404$C140378B-63D4-40DB-9D4A-C057986068A8","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":"Q2581404$329F1717-44B6-4671-AC09-0DFF243AFE2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cc407297c52090de603378237bacb8fe170dae2","datavalue":{"value":{"entity-type":"item","numeric-id":3705494,"id":"Q3705494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2581404$10B1CC1F-788E-467F-AE01-B8E3A8E838EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebce78f7b16fa51ea5a0e71e26024c599284b748","datavalue":{"value":{"entity-type":"item","numeric-id":3703895,"id":"Q3703895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2581404$39AAA45A-0F07-4939-9938-D3041FE3D83D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"58d1a10dfac1fad9ed073b62497a3a2b5f5b1f93","datavalue":{"value":"10.1016/J.DISC.2005.09.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2581404$66591722-C923-4BEC-A381-FCBC180255F2","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":"ac7ed3fdc2811bf386a882d17b9bc1fcf48ab0c1","datavalue":{"value":{"amount":"+0.8554277420043945","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":"Q2581404$D838A1CA-163B-46FC-8919-8BE0C9E0216A","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":"aa9bb7543a9204aa468e28847115aea3fccf133a","datavalue":{"value":{"amount":"+0.8523014783859253","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":"Q2581404$F27C2B25-D9B3-4492-82ED-1FF5E6943C07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbf794be3ca4a21d6038315528486627fbb07587","datavalue":{"value":{"entity-type":"item","numeric-id":2411689,"id":"Q2411689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4418c329646a0ceeaf197ee8932a3e586008c05d","datavalue":{"value":{"amount":"+0.836902379989624","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":"Q2581404$56D7E203-F426-419E-93EB-4434D3AF4919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3724e564475b6eafe5ecaefd866abee70dab649","datavalue":{"value":{"entity-type":"item","numeric-id":3588666,"id":"Q3588666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"523a1a708e443e2e2ba15552e4db3babedf92a26","datavalue":{"value":{"amount":"+0.823176383972168","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":"Q2581404$B233C7B7-7890-49CD-B55D-92285AC020BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e2d5e03ad2557a5b3a02642108e319eb0ec49c6","datavalue":{"value":{"entity-type":"item","numeric-id":5142286,"id":"Q5142286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8506c0af89499434085734465466ac15d18a139","datavalue":{"value":{"amount":"+0.8219451308250427","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":"Q2581404$340A3E9B-D5DB-4DA1-8CD7-87ED62F80055","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2581404","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2581404"}}}}}