{"entities":{"Q6989531":{"pageid":21440196,"ns":120,"title":"Item:Q6989531","lastrevid":84008117,"modified":"2026-05-07T20:15:42Z","type":"item","id":"Q6989531","labels":{"en":{"language":"en","value":"Bounded distributive lattices with strict implication and weak difference"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8034667"}},"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":"Q6989531$5650D294-276F-447B-A38C-CE0957471243","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c10d236c079dcc2ac3244522997c7be53aa99a82","datavalue":{"value":{"text":"Bounded distributive lattices with strict implication and weak difference","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6989531$9FDAE5C7-5A8C-477B-B75D-D604364A12A9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c3436b1941c64fa8f43282b36c003e28fdd4b5c0","datavalue":{"value":"10.1007/S00153-024-00945-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6989531$90D1427B-2909-4D19-8D34-68A4ACF92AA8","rank":"normal"}],"P16":[{"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":"Q6989531$FBAC9F7B-7061-4A39-92CE-CD0EB3DF6B13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"abbd198b5ca9367e1087abc4e481567446a54edc","datavalue":{"value":{"entity-type":"item","numeric-id":2240720,"id":"Q2240720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6989531$7913ED74-2D5A-471F-8260-81B7FE9D805E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f485197f971593cc5560d17c1260b05bd8a7fb3","datavalue":{"value":{"entity-type":"item","numeric-id":6989530,"id":"Q6989530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6989531$15628842-F533-4835-8EE1-1C34059395D8","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":"Q6989531$1BAA7009-385A-4DBE-84BB-0B838CCD28AF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ddb65cc6c30cdeeb47f4c77b6abe15de7b7d5bed","datavalue":{"value":{"time":"+2025-04-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":"Q6989531$0262055C-03A8-4702-A290-5A9CF934E397","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"04cdf38107e8f8b4b6a70ba115806cba7c2adf00","datavalue":{"value":"In this paper, the authors introduce the class of weak Heyting-Brouwer algebras (WHB-algebras, for short). They extend Priestley duality on distributive lattices to exhibit a relational Priestley-like duality for WHB-algebras. As an application of the duality, they build the tense extension of a WHB-algebra and employ it as a tool for proving structural properties of the variety such as the finite model property, the amalgamation property, the congruence extension property and the Maehara interpolation property.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6989531$AFD606F7-10EC-437F-AFF7-8C4596979496","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ea633e6244f1eef0ab63cd3f01c43d52a25e95cb","datavalue":{"value":{"entity-type":"item","numeric-id":377857,"id":"Q377857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6989531$21F5C486-0EA4-4A87-A932-BA962F47B10C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ce5b74470053f031a57488d42a2b289573daad5a","datavalue":{"value":"06D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6989531$7D7258FE-1FAA-4916-81F9-59FB8FD92672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6989531$0AFB8561-9F9C-4BE6-8895-0AAF4A5F7B03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d8c1bc0d50b987b1b851d7a7dbf35b5fbed58358","datavalue":{"value":"06D50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6989531$EEAAC2D9-2B93-49F7-8D80-2A393A8F91DB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"29acff55fe38ec63a9c110f99ba11b2aba91e43d","datavalue":{"value":"8034667","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6989531$8BFA0530-0908-4E61-B6B9-D5153150A117","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e47594b3862f88abb6f9794b5fe19ef05ee90c8f","datavalue":{"value":"strict implication","type":"string"},"datatype":"string"},"type":"statement","id":"Q6989531$D22A17B8-C5C4-433C-9252-5BFA65578501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7313c24515423ac98a068ca6a5360db8f7e7a7b0","datavalue":{"value":"weak difference","type":"string"},"datatype":"string"},"type":"statement","id":"Q6989531$0CD1C4DE-FD40-4E81-AD88-40132544572F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08503ff68fda0185e5c7ee17350804ec8b84a271","datavalue":{"value":"Priestley duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q6989531$1782E591-A572-4A98-8EF3-7239CE8CCB13","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":"Q6989531$556A7A55-4A3F-4450-BF06-AB811CCBDDEB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"48b25dbf884c32ddec6cbd0b7832b22b91b900c0","datavalue":{"value":{"entity-type":"item","numeric-id":4210835,"id":"Q4210835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6989531$E8575856-BD3D-4EEA-8DAE-BA6902B09C75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"812826094bdf0e773f0b343723b3ee5ba1705ba0","datavalue":{"value":{"entity-type":"item","numeric-id":5945567,"id":"Q5945567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6989531$E11FCF2F-2050-4868-B5DD-076A1459FE52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ce47aaa57ed062610df59dbf8e315e80f656a8e","datavalue":{"value":{"entity-type":"item","numeric-id":4083730,"id":"Q4083730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6989531$A01FF680-5751-4A96-918C-37E643CC1C69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12685bfdef331ded215c1d387c2f37d7736c993d","datavalue":{"value":{"entity-type":"item","numeric-id":3093852,"id":"Q3093852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6989531$0AD8EC18-6BF3-4C6F-9410-760BB6F0886F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"409217ce1647c2ba67189b9324c5e54d65cf0dda","datavalue":{"value":{"entity-type":"item","numeric-id":4342094,"id":"Q4342094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6989531$250A3DE3-58CD-4D59-8B25-AFBBA9800EE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6989531$D77239B3-F754-43C8-AD81-149C21C39F55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64ed40e3d101bd9d88cc6e0ad0937996baff9b25","datavalue":{"value":{"entity-type":"item","numeric-id":1422101,"id":"Q1422101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6989531$FBF8B22F-5190-4329-B68B-DB513BAE734F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35bf712e2b1b6bfb31b491dc46f544f6114af908","datavalue":{"value":{"entity-type":"item","numeric-id":4680368,"id":"Q4680368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6989531$793D36E0-A4E5-4AC3-95BD-5D0692FCD2A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c859dc9bc5c44c673f4132f2e7bef4d53162ec9","datavalue":{"value":{"entity-type":"item","numeric-id":1188602,"id":"Q1188602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6989531$9790D35D-FC1F-49C7-84EB-D06FEE4DF4A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77228b85c1f27bbf1d343133dc347747837b26d4","datavalue":{"value":{"entity-type":"item","numeric-id":1183950,"id":"Q1183950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6989531$2397A03C-6194-4A20-8DA8-5F98AA13CBC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59b048122d2766cbe912f0cc28c51c9a869f1767","datavalue":{"value":{"entity-type":"item","numeric-id":3787970,"id":"Q3787970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6989531$E8253668-10CD-401F-AC50-819E4B2FB5D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"639c40721d4ad9e8192f54d6b51a3c839e4356ff","datavalue":{"value":{"entity-type":"item","numeric-id":4249028,"id":"Q4249028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6989531$5EA003B0-0A46-4A21-9B50-41B2A0B6FEDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba4f5628b9493b3dc4e9b69bc068cb07ae68c2f","datavalue":{"value":{"entity-type":"item","numeric-id":4530231,"id":"Q4530231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6989531$E6868AD0-62D5-4154-89B1-73D1A982D43F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1061ba4dfee59eb91f071e588d854a29a14527d7","datavalue":{"value":{"entity-type":"item","numeric-id":4116448,"id":"Q4116448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6989531$45B12E59-E797-4D73-846B-19813CBB7558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccf44416f275c86e5b4293c141df3f2e4bf7eccd","datavalue":{"value":{"entity-type":"item","numeric-id":4336034,"id":"Q4336034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6989531$139E04A6-8744-4A06-A3CF-A0C4E1014688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edea5638220bbd93cdda5d40dd90be13349da7a0","datavalue":{"value":{"entity-type":"item","numeric-id":4943495,"id":"Q4943495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6989531$E03C8733-CFD7-45C5-8655-7E1D735C2E53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26da5ba51d3fda529c78c9f4483730fc2d471baa","datavalue":{"value":{"entity-type":"item","numeric-id":1189894,"id":"Q1189894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6989531$C46CADBF-244F-48DC-8636-E9E90DDD690E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"104ede8e3146aaf70aed1cfc10ab2790fa5f4473","datavalue":{"value":{"entity-type":"item","numeric-id":2253035,"id":"Q2253035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6989531$52E33278-1556-4124-AC20-C2D3C2AE815E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db183830bc51199e71824b51152a45a7ada73760","datavalue":{"value":{"entity-type":"item","numeric-id":5874215,"id":"Q5874215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6989531$C47C3795-23A4-431C-AD22-5870926F1120","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":"Q6989531$97F21701-8AC2-4E6F-9260-F6A987F1CF15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9829e013fd8a2e1647e725cf79d1fdca6a822c9c","datavalue":{"value":{"entity-type":"item","numeric-id":1333312,"id":"Q1333312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6989531$F680C81D-76D1-441B-A3D4-6886FEDEEAFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2979d4ab0048e8f68ba7e9fdd486e08e4279c68f","datavalue":{"value":{"entity-type":"item","numeric-id":1289105,"id":"Q1289105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6989531$8AAEF2A8-25BB-486C-900F-91E4350941B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0389db7be2e276e760be3fbee1d815a588a76f42","datavalue":{"value":{"entity-type":"item","numeric-id":1156789,"id":"Q1156789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6989531$E91BE59D-A7AD-4402-AC67-1F25E909953B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2afa30a9b8eac202ab30f84481370f60ff4f5fac","datavalue":{"value":{"entity-type":"item","numeric-id":1272827,"id":"Q1272827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6989531$F850B3D0-CC87-4677-9C9F-81B5CB2C1705","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bounded distributive lattices with strict implication and weak difference","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Bounded_distributive_lattices_with_strict_implication_and_weak_difference"}}}}}