{"entities":{"Q763321":{"pageid":765170,"ns":120,"title":"Item:Q763321","lastrevid":64149624,"modified":"2026-04-11T17:58:05Z","type":"item","id":"Q763321","labels":{"en":{"language":"en","value":"Subalgebras of Heyting and De Morgan Heyting algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6013479"}},"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":"Q763321$7B0EDBAA-AC8C-40AC-AC70-C7C20477AAB8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"138be1ad7bb5fef856e847079a72971a0d5374b2","datavalue":{"value":{"text":"Subalgebras of Heyting and De Morgan Heyting algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q763321$0EB36ECA-9CFB-4D2C-90BC-7515CF81806F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d6c1f28a9a9ef1fac35e66be616eadf07b6b5e23","datavalue":{"value":"1273.06005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763321$8C7ABD8C-5C4F-4432-9DD9-D6EC994B28C8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cb00cedff3a2b5a240f0beb6196a2d0c1fc38fb","datavalue":{"value":{"entity-type":"item","numeric-id":763319,"id":"Q763319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763321$5CAC05BA-DFBD-4B39-AA4D-8A7F0FD8FA27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"87ae5de975439ff4df747b066a05cb3d3669b324","datavalue":{"value":{"entity-type":"item","numeric-id":763320,"id":"Q763320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763321$50F78331-A062-4EC3-9B3E-212DB98FCD8C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763321$086DF717-7910-4756-97F3-815D4A54DB32","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"644c8340ebdd907b25449e0ddfe634a742ba671b","datavalue":{"value":{"time":"+2012-03-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q763321$0DEB81C1-CA09-4173-99D0-2AC4FFF9D1D9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c0f2eed426f4650703ac047de2607ae9d2893f8f","datavalue":{"value":"It is well known that there exists a correspondence between subalgebras of a Boolean algebra and certain equivalence relations defined on the dual Boolean space. In this interesting paper the authors describe a similar correspondence for Heyting algebras, giving a characterization of those equivalence relations on Heyting spaces that give rise to Heyting subalgebras. When the Heyting algebra is finite, maximal subalgebras are characterized as those subalgebras corresponding to two-element equivalence classes (as also proved in [\\textit{M. E. Adams}, Proc. Edinb. Math. Soc., II. Ser. 29, 359--365 (1986; Zbl 0578.06009)]). A similar characterization of subalgebras is also given for De Morgan Heyting algebras.","type":"string"},"datatype":"string"},"type":"statement","id":"Q763321$CA880C45-B494-4B89-8E7A-4EB2FC2F4DEF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a2a70f0f285d20f2fec0c316c192a882e68b3933","datavalue":{"value":{"entity-type":"item","numeric-id":591007,"id":"Q591007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763321$4DC71E98-1CDE-4F99-9D25-620FD3C9C6CE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763321$E39B4DDD-5275-40AB-B7EE-648E5E3F28AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e8c40330eb2379a40e6c9b62fdbcc32287207f24","datavalue":{"value":"06D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763321$64A85E3D-9158-42EE-BE83-076EA61B31F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d8c1bc0d50b987b1b851d7a7dbf35b5fbed58358","datavalue":{"value":"06D50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763321$0CEE16D9-94BA-490F-AB39-6B31E7580356","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c87b15dd487b51250b0ff2e8d66a56a34a847a31","datavalue":{"value":"6013479","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763321$5BE0D504-5AF4-4269-A346-67440E33BBE5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fa90d9b43357ac49f07caba3b29b66354b3e6fb","datavalue":{"value":"Heyting algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q763321$5F5BD746-3729-4888-BC4B-1AB92F6182AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5b90f3877c303dfb1fe49296de147a0c452fed2","datavalue":{"value":"Heyting spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q763321$52FAB657-AD02-4063-A263-25F185441170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cee92b525b2ab679055b766cb2fd5a0a3732a143","datavalue":{"value":"De Morgan Heyting algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q763321$5B8676AB-2A3B-4A9D-92A7-6AE5DB2C09EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e4b2caeb1b07ca1ae69e81fd1f96bc3accd8c9c","datavalue":{"value":"subalgebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q763321$B0E9A3A6-8B1F-4232-B625-B80195C91C6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6cd8a48f7f13840290dc922ec2c846003ca3b7a4","datavalue":{"value":"Heyting relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q763321$248D4803-386F-49B2-ADEC-CF3E56D65B49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65de7f31e11fe95d68c508034b790b3ffb1d3f06","datavalue":{"value":"Priestley spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q763321$A5641E95-92A7-46E9-A24C-9A143414A9EE","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":"Q763321$D8C98DE0-F1E1-49B3-811C-108D734FA22C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"491bb9fcfc1e2043da1f63a76b68ff3f374e3f3c","datavalue":{"value":"https://doi.org/10.1007/s11225-011-9324-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q763321$DBC31D1D-D17B-4FA5-AD5B-7495885BDF79","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"77bbf5907f8f589680957307e8a3268a4371f470","datavalue":{"value":"W2068607852","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763321$8B5828BB-1C28-4432-B0AC-F209C0EC8D71","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0000af6e96a9619ff38094013d865750057e54c","datavalue":{"value":{"entity-type":"item","numeric-id":1775133,"id":"Q1775133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763321$9D7B5B1D-D150-4E87-ADE7-375665CE2D8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e414372454e57c1951dac219ea3b1fe8577676bf","datavalue":{"value":{"entity-type":"item","numeric-id":3770582,"id":"Q3770582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763321$27B3B5EF-F1F1-4DC9-BBF1-94628C6793F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9672d1f90f8366b2aa3154bc15fee0e7593092b3","datavalue":{"value":{"entity-type":"item","numeric-id":5598363,"id":"Q5598363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763321$E8EC2EB9-E7A3-4401-B69C-ABE2297805D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d0943e126b844734d0e41e82ee07b2fa3388352","datavalue":{"value":{"entity-type":"item","numeric-id":4085773,"id":"Q4085773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763321$B1A6A5DB-18B7-45D0-A5FA-98884B611B94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5710c2aba8ef4c542de483ebfca6cf7849ca633","datavalue":{"value":{"entity-type":"item","numeric-id":3222242,"id":"Q3222242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763321$4C2B6400-6ABE-4C8F-AE57-659A559DB047","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4815230774bcb231353be978d983b414c941711","datavalue":{"value":{"entity-type":"item","numeric-id":1122604,"id":"Q1122604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763321$B4F8C470-55C6-49A9-8410-D21256A1E273","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ac5845c52303190d7abaee5fc132887bb9d50a09","datavalue":{"value":"10.1007/S11225-011-9324-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763321$6AB101B9-2A70-4636-8505-16F459B9F195","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"534423c6293b1ef3253fe7a0bb8ad1e8e177448a","datavalue":{"value":{"entity-type":"item","numeric-id":3977933,"id":"Q3977933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02389e22b71556e6409697bd4fc45afebfa2c978","datavalue":{"value":{"amount":"+0.8124576807022095","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":"Q763321$52805A11-C5E3-4C77-8F6D-4A3D96277076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f571a2216e0576fad9f3917aa46a1f439683730","datavalue":{"value":{"entity-type":"item","numeric-id":3027063,"id":"Q3027063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5958f67254ebbf619b13f70748a7bfac60f3834","datavalue":{"value":{"amount":"+0.8055039048194885","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":"Q763321$8AA1EF2E-8701-41A7-BCD4-3DA18E2010A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f0bc886b4a248095520943b52fe03d8a0285de4","datavalue":{"value":{"entity-type":"item","numeric-id":3699742,"id":"Q3699742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62c559c30d2034068a16b5d2e8da349864f034af","datavalue":{"value":{"amount":"+0.7935198545455933","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":"Q763321$7ABD5EA2-E67D-46F1-BC1C-69D3F5253B6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d73583b466f3171182c0db9b9e0f32b414aebf0","datavalue":{"value":{"entity-type":"item","numeric-id":3770582,"id":"Q3770582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df20794dcf6afcee13f3ab082e4e64275e05c1f8","datavalue":{"value":{"amount":"+0.7810930609703064","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":"Q763321$A600552F-045C-4F89-8136-5466C6BD02CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee3495e17fc834814603463d045f38b5c429ef5d","datavalue":{"value":{"entity-type":"item","numeric-id":3836005,"id":"Q3836005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7d567db45cdbc64f7e38def6ec6e298b7cb916e","datavalue":{"value":{"amount":"+0.7777742743492126","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":"Q763321$33E05947-A44C-4CD6-ABEE-A6BC11CB1E56","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Subalgebras of Heyting and De Morgan Heyting algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Subalgebras_of_Heyting_and_De_Morgan_Heyting_algebras"}}}}}