{"entities":{"Q2888154":{"pageid":2898879,"ns":120,"title":"Item:Q2888154","lastrevid":42450617,"modified":"2025-06-27T23:26:44Z","type":"item","id":"Q2888154","labels":{"en":{"language":"en","value":"The variety of semi-Heyting algebras satisfying the equation \\((0\\to 1)^*\\vee (0\\to 1)^{**}\\approx 1\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6039651"}},"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":"Q2888154$1420C068-5CF2-41F1-923D-8E4A158BBA9D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8d674a9f4fccbea83015bc31a3d4df8c7e105c70","datavalue":{"value":"1272.06020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888154$05872D21-E721-4F13-94B1-EFCBAAE65F32","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9cf2f505c732bca65c95db37822678ba6da7d9b6","datavalue":{"value":{"time":"+2012-05-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2888154$1188231F-3C78-44C1-B8CF-4B315F27E308","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888154$9DB3767C-B857-4183-81B6-17FB0AFE0B0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888154$0C15BA2F-63A3-4DCA-A822-7125C26BB9CE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0a6bf774342886ec6b88df7ad16c01665589e254","datavalue":{"value":"6039651","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2888154$05918E38-71E2-4975-B329-6B2DA710DD00","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7cd53b61e2c1d09da281483fda8eadf911f26ae0","datavalue":{"value":"subvarieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q2888154$393DD1FB-D69E-4061-A359-E73BAA8E4638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25803ddd3ecebc9e2275ba67bddbe1b0c22805da","datavalue":{"value":"variety of semi-Heyting algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2888154$CBF9468F-6414-40B7-BCA2-3FD2C8C3F3F3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d3d74a71cc8787f9f84643f0b42b9c050e5341ab","datavalue":{"value":{"entity-type":"item","numeric-id":587967,"id":"Q587967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888154$A7645BC5-84C8-4240-B788-2D7CBED6DB01","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":"Q2888154$68848F85-9CAB-4445-8F15-79B14F49D3BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"400890dd66db10164ad71f611209574f2fce9097","datavalue":{"value":{"entity-type":"item","numeric-id":422483,"id":"Q422483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888154$9EA5D7B4-A295-4495-A973-1EF4FE35A574","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":"Q2888154$4278F709-6B44-420B-A11A-37F479BE98B4","rank":"normal"}],"P1643":[{"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":"23f82afd05dd31e48302c45c87b2cb7ee6045cad","datavalue":{"value":{"amount":"+0.85994947","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":"Q2888154$4CB35A1D-37F7-40CD-9943-E1218A6AB1D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bba8c46f616d9123e8d4e4081c112a1f18ad78b","datavalue":{"value":{"entity-type":"item","numeric-id":721264,"id":"Q721264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10dec17fd735535543ff8d7521fa35406d6bfe50","datavalue":{"value":{"amount":"+0.85989416","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":"Q2888154$FF9D27F9-E907-4C4D-85A8-78664DF01BA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d541e757022b75f455f3e969b1dd6cf03270b118","datavalue":{"value":{"entity-type":"item","numeric-id":4584449,"id":"Q4584449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa58460e7873993bd08bea66b42eeb78ab856d16","datavalue":{"value":{"amount":"+0.8567757","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":"Q2888154$E93B7ED4-5927-415D-B5D6-0EA2EEFB40FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bcb04b519a9f661ee8f40df0be84ba5b067fdf0","datavalue":{"value":{"entity-type":"item","numeric-id":5014386,"id":"Q5014386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80888be8596e6f02bb158ef43a04502584254ba1","datavalue":{"value":{"amount":"+0.8525874","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":"Q2888154$2A5F2447-802A-47EA-A87B-E76A1609DC48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e743937357f1a61eab55c8e00e1c38b40d6f120d","datavalue":{"value":{"entity-type":"item","numeric-id":5136485,"id":"Q5136485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0f1d554eb5a2bcae382ceb5d1c0994d47f44ac6","datavalue":{"value":{"amount":"+0.8503917","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":"Q2888154$39599A2D-9A1D-48FE-BBFF-AA1F0023A6F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca3e3336d4577e9201643fcd6233f66e076abf49","datavalue":{"value":{"entity-type":"item","numeric-id":2376916,"id":"Q2376916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f8b619f368bc3a183eb850ed1598f0d6cffb2ec","datavalue":{"value":{"amount":"+0.84975034","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":"Q2888154$42DD605D-CF2A-48FA-A1DC-94A6451ABA52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cae5c216bd3b6b40596bd89ddfdf3cc69c84f65","datavalue":{"value":{"entity-type":"item","numeric-id":3031018,"id":"Q3031018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13db0c9b8e2d55fe2e7dbcaf121ffcef6a6200c0","datavalue":{"value":{"amount":"+0.84924763","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":"Q2888154$18CDF72C-EFCD-43AA-8C5A-ABFA9770F9C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"778f1601bbb1e814c3f988084f4aa9f91bedea44","datavalue":{"value":{"entity-type":"item","numeric-id":4379347,"id":"Q4379347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51e2355c03dfbb7e75ad8b9f947e5cb62aaed40f","datavalue":{"value":{"amount":"+0.84797376","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":"Q2888154$5EA4CF61-9ADD-4DE3-8F6B-8FE1D794AFDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4aa28b2f9cfae60a1065fc94a681b5b043e08d4b","datavalue":{"value":{"entity-type":"item","numeric-id":3680889,"id":"Q3680889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9b42eb515632587656916925cfe714d43facfdc","datavalue":{"value":{"amount":"+0.8462156","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":"Q2888154$68FA41AA-4E80-416B-A203-1D8E3ABCBFC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6ab9f87a0f76dc1e72f357499590c254a88d921","datavalue":{"value":{"entity-type":"item","numeric-id":4663636,"id":"Q4663636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fb093c72263bd05f28c23d141b3ca059cbf3169","datavalue":{"value":{"amount":"+0.8460398","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":"Q2888154$4D7A8D3E-32BC-4608-B7FF-3915BA1511C6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f6328d8912f2f30ea3ddba93b0fdc4144ed99170","datavalue":{"value":{"text":"The variety of semi-Heyting algebras satisfying the equation \\((0\\to 1)^*\\vee (0\\to 1)^{**}\\approx 1\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2888154$D024CEEF-2D6E-4A39-843A-703DC0883824","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7a0d78bb1ba0b96c6ee7b4ed752efc00bcce9c9a","datavalue":{"value":{"entity-type":"item","numeric-id":4609352,"id":"Q4609352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2888154$B7F5148C-B186-4881-933B-1745EDEF0766","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2888154","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2888154"}}}}}