{"entities":{"Q2425563":{"pageid":2436306,"ns":120,"title":"Item:Q2425563","lastrevid":57454548,"modified":"2026-03-31T00:07:24Z","type":"item","id":"Q2425563","labels":{"en":{"language":"en","value":"Relatively pseudocomplemented Hilbert algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5271323"}},"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":"Q2425563$ACA2F59F-D52D-4B2E-AE69-E1D6F8AED38C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b641b2900b907d298936fec168478c9b58919714","datavalue":{"value":{"text":"Relatively pseudocomplemented Hilbert algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2425563$4C3D11D5-0975-4EA0-92F1-F6EF066547B0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8e681d6b937168e5306a44f7af7ccc1a3fb91fc7","datavalue":{"value":"1137.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2425563$80E38F97-45A1-4247-8F48-EFA7ACB78A72","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":"Q2425563$0F5A9CE0-724B-4265-8546-71CDE833EA9C","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":"Q2425563$4DBDA808-5E59-401A-A30C-7A4860EFBFBA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"93fa65317d5f6a1c57db571a35c69b79f79eaa4a","datavalue":{"value":{"time":"+2008-05-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2425563$A847AC9D-83DC-4350-98A1-B1A8F7722307","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"789897ace0eea9b2cbbfc75c6698e55cd189e2db","datavalue":{"value":"The goal of this short note is to characterize the Hilbert algebras which are relatively pseudocomplemented posets. Its main result states that a Hilbert algebra is a relatively pseudocomplemented poset if and only if it is distributive and all existing meets in it are compatible.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2425563$60FB98E9-E950-4C8E-8F74-F74340D5ED53","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"600bbf2e5c48e27ebb39b8d602eb8f41c0c00d32","datavalue":{"value":{"entity-type":"item","numeric-id":424064,"id":"Q424064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2425563$103A4DF3-3A48-4432-BEC8-CCA43D6AA3A6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2425563$D5C41FFB-9F27-4268-A1D2-9C6F3ECC33CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6bc68fdb72eda783db87ef0277cbbfb4c760cdbc","datavalue":{"value":"06A12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2425563$2A0CF794-6E54-4CE8-BB82-24617B256459","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"740acaef882d4901bd845a62040d3dfb8b8013ff","datavalue":{"value":"5271323","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2425563$715260FA-D8B7-4097-BB06-E5F67CF0F0DC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5126e75d2bc46c578bcd50a9dcef8a564ca8847","datavalue":{"value":"compatible meet","type":"string"},"datatype":"string"},"type":"statement","id":"Q2425563$44684678-921C-482E-8CCE-71DD92C8D7B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcf71e9b8ab35fde413b818d56b6c99cdd94ff98","datavalue":{"value":"distributive poset","type":"string"},"datatype":"string"},"type":"statement","id":"Q2425563$0544C968-E6D2-49F9-BDED-BFD9501C294D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78dbfbe6003fef446f28c95572cd39b6093fff00","datavalue":{"value":"Hilbert algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2425563$E0694A93-9A5A-4A3C-A907-D1B3450D2E38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49704707f475da7f2f3060f96b9bf117e97e891b","datavalue":{"value":"relatively pseudocomplemented poset","type":"string"},"datatype":"string"},"type":"statement","id":"Q2425563$4DBCB0D3-A879-4BE9-9C1B-4E1854F6D46C","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":"Q2425563$9862F1E7-3B6D-4F57-BFB3-B7A21BE4F217","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"94a2c2dce027249a9f689d04e0dfe2927d33a6b6","datavalue":{"value":"https://doi.org/10.2478/s11533-008-0014-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q2425563$F9F82464-EE9E-4FE0-B676-37DB0FC317BA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"794b67bf27db1b163bafaa4102b8ce2aa0678d74","datavalue":{"value":"W2140038799","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2425563$06F66BAB-EFD5-4B11-84D3-FCD4192037F1","rank":"normal"}],"P223":[{"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":"Q2425563$B96FADD9-D447-4C8E-99C1-3DDF17D63241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fc672a93766e39d1390b2349147a8dcec4858c0","datavalue":{"value":{"entity-type":"item","numeric-id":5693577,"id":"Q5693577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2425563$82228C21-564C-43DD-BA4A-67BB74145F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7bc9c1a9d1629f3bd4287208656db9909ae4265","datavalue":{"value":{"entity-type":"item","numeric-id":4323250,"id":"Q4323250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2425563$014D689A-E612-4AA5-83BC-BD79044C9272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a732a113adc822c123cb33905ff15556d1eb93f6","datavalue":{"value":{"entity-type":"item","numeric-id":3749102,"id":"Q3749102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2425563$9221D47E-0B52-4558-B1C2-1D7840B8FBA1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9513a72b965ac8f58d6e23688645edb892346a58","datavalue":{"value":"10.2478/S11533-008-0014-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2425563$3415B9F7-6BFC-4D19-8A01-45FF190E4822","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6b7d5d5b6328be86d84df1d8fbba42e3905cfbd","datavalue":{"value":{"entity-type":"item","numeric-id":3749102,"id":"Q3749102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b521fe403eaab625f6d296dd219f5358b7a0dc2","datavalue":{"value":{"amount":"+0.94135535","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":"Q2425563$5EE6AF07-6569-4AE8-B490-88F913622600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4c846eb5fdf0dce0922e95a25c14f2907cc44e1","datavalue":{"value":{"entity-type":"item","numeric-id":5784336,"id":"Q5784336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d88dc989febc7012b3416f9802bc72536f09362","datavalue":{"value":{"amount":"+0.90403354","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":"Q2425563$AD3F00F2-F167-4F93-B726-A4C2F8A5A2E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19cceed9cf8197282ee53ed1b3d6904594411147","datavalue":{"value":{"entity-type":"item","numeric-id":4711429,"id":"Q4711429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d2cc5faf8365a7bbdb227e59cfe4c4c5864298a","datavalue":{"value":{"amount":"+0.9039838","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":"Q2425563$4D655658-75C6-42E8-8896-789DCD1657C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10929702628cd457c886bfb6b750f4959c188461","datavalue":{"value":{"entity-type":"item","numeric-id":2648998,"id":"Q2648998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02180b20e29bdca6c831edaa9035da276938139e","datavalue":{"value":{"amount":"+0.902896","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":"Q2425563$10F467C2-DFCD-4E01-BA12-8506487E23E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1e0ed5b17766ff9b6affb56050b85c38ba296e7","datavalue":{"value":{"entity-type":"item","numeric-id":2035275,"id":"Q2035275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dd166f3a9c1c6d1db833b560d56fafe0b072ae4","datavalue":{"value":{"amount":"+0.9024061","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":"Q2425563$DBE398BD-5143-432C-AE20-604B60B71B59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88d19f39e1147880c43735e8087b72659eb5da9d","datavalue":{"value":{"entity-type":"item","numeric-id":4429374,"id":"Q4429374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa2aea4402e1da021bbe457e2ed6d951db7a94bb","datavalue":{"value":{"amount":"+0.8991052","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":"Q2425563$1EA7F561-F380-46A5-B048-79C7F9E6B50A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e3a1c326235985457e61e8eac504a4c0040d4ce","datavalue":{"value":{"entity-type":"item","numeric-id":1317633,"id":"Q1317633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb42f561fe1080451b2678e29456e954ae2d8657","datavalue":{"value":{"amount":"+0.8972528","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":"Q2425563$B1E7D7C2-9E5F-479D-8A27-9C91B44FCF7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ea12bf4e197881dc877236e4d7614013cf4bd31","datavalue":{"value":{"entity-type":"item","numeric-id":4332290,"id":"Q4332290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89beaeaccbf197e03fd7301dd85c643a0d55dfb5","datavalue":{"value":{"amount":"+0.89536035","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":"Q2425563$E45CCE87-57E7-4762-BD43-6E3490DCE86D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3904c2c122f406a25cb5e845b1f8483ba071f764","datavalue":{"value":{"entity-type":"item","numeric-id":1070175,"id":"Q1070175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"257b2bf1063f8a839f40030290f34056fdcaa485","datavalue":{"value":{"amount":"+0.89103085","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":"Q2425563$A6F82424-FD0D-4D02-8B12-D23BDC5EFDC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0773fb297fc91193b5cbeac68d565f05a6e3777","datavalue":{"value":{"entity-type":"item","numeric-id":3677802,"id":"Q3677802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91045edaa7924d4fc80dcaf8e363f412420b8ab2","datavalue":{"value":{"amount":"+0.8901735","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":"Q2425563$F29427E9-2CF5-47DF-B85D-DB1298FF1C95","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":"Q2425563$2D4E6594-2CEA-4E74-B5BA-49724B261BD8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2425563","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2425563"}}}}}