{"entities":{"Q1055458":{"pageid":1057306,"ns":120,"title":"Item:Q1055458","lastrevid":69529362,"modified":"2026-04-13T07:37:18Z","type":"item","id":"Q1055458","labels":{"en":{"language":"en","value":"A discriminator variety of Heyting algebras with involution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3823872"}},"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":"Q1055458$8D593584-DBE6-4626-BD55-D6792DCBF26A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"be2e2a99d9ae0c22595c94f0840d934894b5dd30","datavalue":{"value":{"text":"A discriminator variety of Heyting algebras with involution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1055458$572F5DB1-5BEB-407C-B6B9-D7287D83461F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"065a1b82417e0bb1553b5e340b154c4f3b9f0bae","datavalue":{"value":"0521.06013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1055458$6A53D25F-E99D-4EC3-BB1C-4748DD819DB2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"df7c91666d4c5ad38ea40ab043da1c8a0ebe049d","datavalue":{"value":"10.1007/BF02027229","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1055458$F0E3FBB8-047D-40C8-AA3A-85121D59D8D3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"126b40aa72f0cde6a465bfadd7078c6f26ff6cc2","datavalue":{"value":{"entity-type":"item","numeric-id":1052313,"id":"Q1052313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1055458$48953763-14AE-4607-91A5-FC7C32ADC2DA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1055458$815BE188-FC7E-4E4D-AA3C-9CA58E1C483F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1055458$97CB862C-3210-4BF4-A28E-09641EFB2C3A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1055458$2E77AE5A-1CA8-44EF-998B-92DC0297CDDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d95b7b3afe24e41b228e75d9b35511699f92de5f","datavalue":{"value":"06B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1055458$47355B84-0548-4092-82A2-1241147F6125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1055458$CB2DFCDA-AC56-4AA9-97D9-A8A59F9ABA38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e8c40330eb2379a40e6c9b62fdbcc32287207f24","datavalue":{"value":"06D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1055458$029333D9-479A-4679-978F-D4FF553CF04D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a09929fa18be057d20e940578849cc6f5a29a3e2","datavalue":{"value":"06B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1055458$6238B5BE-6D02-476C-898B-6CAC65CF1F7C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"59f58fa2bfe6eb3a7638e433b821c7d503477468","datavalue":{"value":"3823872","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1055458$C2F00DDF-8BFE-4A44-9DE7-CC456A8D0BE7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d86b18dce698170037afe125d263810c17546ddf","datavalue":{"value":"variety of Heyting algebras with regular involution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1055458$0BAC0532-C3BC-455E-9832-FD2E5C47F812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e67e7051d3c95a85b293cee84313a07c19d604b7","datavalue":{"value":"pseudo- complementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1055458$DFAF4A9A-4034-4620-BA34-B942FB2A53E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df13fb5552c3cd3c838c10bd30bfb39d86db87c3","datavalue":{"value":"special filters","type":"string"},"datatype":"string"},"type":"statement","id":"Q1055458$5A46D273-8824-48EE-B406-970274BC48E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c6dd1981b07a4c4fb58bb4b18036831c634f9b9","datavalue":{"value":"discriminator variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1055458$6E77A71B-783C-426A-BBCF-31B6AA1CED04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf3a5d2e664cf2405f35d8fb0476a10343b8304a","datavalue":{"value":"definable principal congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1055458$9895BB02-7CCE-4EA3-88EF-FBA5C8261FB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d989aa75aafb518b9cfecd32103702ca8d0ac848","datavalue":{"value":"congruence extension property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1055458$C7900D01-EE67-4885-95EE-C158768D1A16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11fc673a957aa975637538413d2dc66c7b704df7","datavalue":{"value":"subdirectly irreducible","type":"string"},"datatype":"string"},"type":"statement","id":"Q1055458$4E467E9B-54CC-40E2-9186-758A80D3EC95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7cd53b61e2c1d09da281483fda8eadf911f26ae0","datavalue":{"value":"subvarieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1055458$8A7BB575-5A0A-4608-994C-4600A4BCB818","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":"Q1055458$B6375F40-4405-4D56-9BB1-61414090C6F4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd5fdc5604c99a9049b19ca9b158f4277fcf7ecb","datavalue":{"value":{"entity-type":"item","numeric-id":5554384,"id":"Q5554384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1055458$3BDF64DF-5787-4475-9C7F-18CBB92B28C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66729e0a9a22eb5bce1cb5f671f408b6c6f594f8","datavalue":{"value":{"entity-type":"item","numeric-id":1240210,"id":"Q1240210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1055458$1748F686-DB46-4C2E-8C2C-A7BA9C1C9350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47ad6861c78fd4390c0613c4ab63948d956f71fd","datavalue":{"value":{"entity-type":"item","numeric-id":5639727,"id":"Q5639727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1055458$E40337E0-F9B0-41B5-8BA4-F4EFD3CCA120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62a30fb37cf191fb484c4c276ef0eae65b83e085","datavalue":{"value":{"entity-type":"item","numeric-id":1242178,"id":"Q1242178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1055458$226A7F64-F841-4A1F-AC1F-BED15FEF6CD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3aca700bd28fd036c1956bf4ff184b0a0e2f33bc","datavalue":{"value":{"entity-type":"item","numeric-id":5682373,"id":"Q5682373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1055458$15EAE88F-F3B1-4657-B43B-F929A48D1600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a93d6dbdf36588b4e734c1070891cad4705c5bd4","datavalue":{"value":{"entity-type":"item","numeric-id":3208624,"id":"Q3208624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1055458$B2A9A9A1-2768-425E-968F-98623D0B5ABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8b7bc2bcd26a1bbf690e566fa3b499cdc543da4","datavalue":{"value":{"entity-type":"item","numeric-id":1234301,"id":"Q1234301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1055458$CC51FD37-603A-4C14-9AE4-54A63E9477C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d436a473e260730e61979aae32ea1ab11f65552d","datavalue":{"value":{"entity-type":"item","numeric-id":4056054,"id":"Q4056054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1055458$7407B180-92C2-479E-B9C5-080C04BD0E64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"182f0ef5fcef2fd09e92a43d4f0372d9355c6437","datavalue":{"value":{"entity-type":"item","numeric-id":5655398,"id":"Q5655398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1055458$020724FA-2748-4F05-B9E7-6533E9E6B14C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44573875c4a0a96915e238b002996cd58986ec5a","datavalue":{"value":{"entity-type":"item","numeric-id":4190483,"id":"Q4190483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1055458$C9CF620F-6993-4A75-A8FA-9DB67D7579DE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A discriminator variety of Heyting algebras with involution","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_discriminator_variety_of_Heyting_algebras_with_involution"}}}}}