{"entities":{"Q1423632":{"pageid":1434372,"ns":120,"title":"Item:Q1423632","lastrevid":67414461,"modified":"2026-04-12T17:28:04Z","type":"item","id":"Q1423632","labels":{"en":{"language":"en","value":"Compact representations of BL-algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2051459"}},"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":"Q1423632$27598776-2E41-4475-AA3D-E0F1BC948CC0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"194602afd4cc562f1f92c6aed502b7d517ec5c29","datavalue":{"value":{"text":"Compact representations of BL-algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1423632$B8E3BB17-6360-48D6-887A-2EE3D2B2A9F1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"045d346b447b0f0b054d74f49cf773bb3ff77280","datavalue":{"value":"1040.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1423632$EDBD5A11-9DB5-4C87-B206-A6066D4CE398","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"98a161c6563f600d55e948240633b52c1bed8c02","datavalue":{"value":{"entity-type":"item","numeric-id":234287,"id":"Q234287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1423632$FD762736-20F5-45D2-96CE-44EE62D73E70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e2ca4b64d51b22b3cd151e0a6f77a09c13bc8b6","datavalue":{"value":{"entity-type":"item","numeric-id":590977,"id":"Q590977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1423632$672915E0-4029-4931-80E6-64268AAE3866","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1423632$71B6D166-426A-4420-B443-9F94CD1CE300","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3b6b6d4a806cd2f0a9402edc4992ca7a6f787c5c","datavalue":{"value":{"time":"+2004-03-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1423632$7A1B5063-8129-4400-B42C-79240C9D2350","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"34ec6d1b366fd4b9818071c307b0837802ae0850","datavalue":{"value":"The authors remark that they apply methods developed in some papers by \\textit{C. J. Mulvey} [cf., e.g., J. Algebra 52, 411--436 (1978; Zbl 0418.18009)]. In this paper they study completely regular and compact BL-sheaf spaces, and the compactness theorem is proved. It is shown that each compact representation of a BL-algebra can be obtained from a family of filters of the BL-algebra satisfying certain coditions. The authors investigate the functor from the category of compact local BL-sheaf spaces to the category of nontrivial BL-algebras, obtained by assigning to each BL-sheaf space the BL-algebra of global sections; it is proved that this functor gives an equivalence between these categories.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1423632$0A5243DB-8E68-433D-9D78-19CC9F4360E9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"dcde4f0368948d36855bf140c4856cb98bf56894","datavalue":{"value":{"entity-type":"item","numeric-id":593213,"id":"Q593213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1423632$FA31CFCF-D5F6-4974-95DD-0BBA4A2C3DD5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1423632$308DB5A7-F495-4EB2-998D-6BAA4383748C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd19dc3d013c4b13f00e8fa7d8b28fd5bad6af5","datavalue":{"value":"06D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1423632$6ABAE688-FEEA-4BA6-8F28-E5C087FF424F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71e15d3a17f1ae7a1c0239050ee3b6d6009a74c","datavalue":{"value":"18F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1423632$2346C1D4-ED3E-47CC-B050-C15CC75E3641","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d39d6db1182458407dd4facd5f67a7c0ad6a6f3b","datavalue":{"value":"2051459","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1423632$411756F4-CF30-4462-AFB9-31FA7B46B402","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8970d4681910c0fb972f8cc1f1362b61bc462d13","datavalue":{"value":"BL-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1423632$07F037E0-FF8C-4C1D-817C-73281E3AB828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38674e8e1ce5bb22ccdaa70cce2bbc1937d495df","datavalue":{"value":"compact representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1423632$39718C48-B703-4F95-A321-B8A2C974AFE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ff7604579154f0ad7592249c90cf763490b6167","datavalue":{"value":"BL-sheaf space","type":"string"},"datatype":"string"},"type":"statement","id":"Q1423632$A29D056D-7858-4EE5-A3F1-FD3946947A99","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":"Q1423632$E6F89214-A594-4131-AA82-3A87DCBC7081","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b57cc1ccd74a33814e2795e3573c1481b1d095f0","datavalue":{"value":"https://doi.org/10.1007/s00153-003-0178-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q1423632$1859B53D-8802-405A-B9FD-FFB44AE26230","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"875af4a2717bbedf1537c50291537672e17cce64","datavalue":{"value":"W1977510182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1423632$FF713DBE-5C53-4D73-A61E-E11861C3FBFF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3fc954baafacb495721b3712f808ef0c86d35d59","datavalue":{"value":"10.1007/S00153-003-0178-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1423632$8E6A5120-5D46-44BF-ABF3-85C2376E28FF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97c4b835cf4ad09ee5ed406cc715aa85f1e34b88","datavalue":{"value":{"entity-type":"item","numeric-id":816866,"id":"Q816866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"555fef13364b4076262bec8a187001741bc61e5d","datavalue":{"value":{"amount":"+0.8492704033851624","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":"Q1423632$02C531C0-1264-45D5-B8B3-3CE766989A63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c46b0e8648981aa6df2ff444d60a8588b419301a","datavalue":{"value":{"entity-type":"item","numeric-id":4893877,"id":"Q4893877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2cbc090748e8cda97cfdba46823333f4154a98b","datavalue":{"value":{"amount":"+0.7853567600250244","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":"Q1423632$E44F44B3-A527-4E73-9C90-1318B4C08BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eba7a303f5087fab49dba4bef492cc2a745d45ea","datavalue":{"value":{"entity-type":"item","numeric-id":4034162,"id":"Q4034162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2eeaab94642c39ed975f74344ecd5fec1da7b6bf","datavalue":{"value":{"amount":"+0.7836259007453918","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":"Q1423632$2B0DF232-59FB-4E94-85D5-869AF40B5D01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"581695bbab43de65b92b0f6840082f5344a19e1c","datavalue":{"value":{"entity-type":"item","numeric-id":2932592,"id":"Q2932592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2eeaab94642c39ed975f74344ecd5fec1da7b6bf","datavalue":{"value":{"amount":"+0.7836259007453918","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":"Q1423632$3905F43A-5B19-4CFB-B554-E33BE71D4B89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91d77af205eb40c7579122583d77ba392e9188ba","datavalue":{"value":{"entity-type":"item","numeric-id":3077400,"id":"Q3077400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e41ca31a93169e3a717463731017b05c99ccdbe4","datavalue":{"value":{"amount":"+0.7594108581542969","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":"Q1423632$DA98C1D0-EAF9-427D-8097-3329B9212F91","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Compact representations of BL-algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Compact_representations_of_BL-algebras"}}}}}