{"entities":{"Q914710":{"pageid":916558,"ns":120,"title":"Item:Q914710","lastrevid":65379459,"modified":"2026-04-12T02:11:29Z","type":"item","id":"Q914710","labels":{"en":{"language":"en","value":"Principal congruences of double demi-p-lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4150235"}},"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":"Q914710$3E849478-96C0-4749-B52A-021215D2A5B9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"08adcba8a690b1292dff072f035db622266b69ae","datavalue":{"value":{"text":"Principal congruences of double demi-p-lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q914710$BF81841E-0837-432D-B10C-EC4AC841E40C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2c16a84f586df0a93aac39f45f3393441748fae3","datavalue":{"value":"0702.06003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914710$AC06B24C-53D2-485C-A59B-CB45385BE5CD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"75a03c9ba4fcc65a6ff3c3b73459e73ede60d2fd","datavalue":{"value":"10.1007/BF01182457","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914710$20954D6A-1468-42BD-A22B-D4320DDE2969","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a3a1991129f0c8a62afa8111a1e1abd5b55d22d","datavalue":{"value":{"entity-type":"item","numeric-id":295915,"id":"Q295915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914710$BD27AD5E-536B-4F94-B815-ED4D7F0FAAAE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914710$8199FDD8-9E23-4FBA-AFA1-71A8F298EC04","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q914710$825EEB67-82A4-4B6F-8794-C8397E3CED41","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"84e501164a1e3aa723d8d1fd653a13519d8898d0","datavalue":{"value":"A double demi-p-lattice is a bounded distributive lattice L with unary operations *: \\(L\\to L\\), \\(+: L\\to L\\) where * is a demi-pseudocomplement and \\(+\\) satisfies the dual rules of *. It is shown that double demi-p- lattices satisfy, as a variety, the congruence extension property.","type":"string"},"datatype":"string"},"type":"statement","id":"Q914710$01B74A2F-2B60-4B2C-B71D-7B07951412D3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ce5b74470053f031a57488d42a2b289573daad5a","datavalue":{"value":"06D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914710$2D7D08BC-0550-48B2-A1F3-C5B7DD2AB33D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d95b7b3afe24e41b228e75d9b35511699f92de5f","datavalue":{"value":"06B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914710$962734BA-0EC2-41B5-84D4-1F536BE23750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a09929fa18be057d20e940578849cc6f5a29a3e2","datavalue":{"value":"06B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914710$3C98A7A7-10FB-4563-950B-3D918394689F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"42cd7eb58797a5b14bb8a4506bcecb126658c475","datavalue":{"value":"4150235","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914710$01C04162-0BD6-4FB3-B163-723131FD1E8E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8c100b0b5c242a00e3bccac13f69c58ef211075","datavalue":{"value":"double demi-p-lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q914710$1F72DD3C-20DD-499F-BC2F-E2E4646335DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bcdbcc6be172b684399bf611ebb4f465992a864","datavalue":{"value":"bounded distributive lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q914710$FD977A1F-7D58-489A-82AE-54D8E9036505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"985f43901dddd7144e431f50625032167c913016","datavalue":{"value":"demi- pseudocomplement","type":"string"},"datatype":"string"},"type":"statement","id":"Q914710$AAE7AB80-07CD-45C4-B1D0-C5D23076DD08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d989aa75aafb518b9cfecd32103702ca8d0ac848","datavalue":{"value":"congruence extension property","type":"string"},"datatype":"string"},"type":"statement","id":"Q914710$1641A95D-2730-48E6-9071-FD9995827257","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c61f96277503678c9706b4010bb972a7f80cdb63","datavalue":{"value":{"entity-type":"item","numeric-id":1108296,"id":"Q1108296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914710$5FE00ED4-5E82-4A92-9296-E13B030C123A","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":"Q914710$C52C58A2-A472-46F9-ACA0-D9CE40B8BADA","rank":"normal"}],"P223":[{"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":"Q914710$E5FD808E-31A2-4FA4-AFAD-7A5DC4D45D5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be943e92bc7b0b7b0830b4b8535fc7ae25b8758e","datavalue":{"value":{"entity-type":"item","numeric-id":2549709,"id":"Q2549709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914710$A4B02D8E-867D-4B67-9EF2-FC46F7C5D70B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ecb440da6b39fa4e58ec5d3006dce7809ba80e9","datavalue":{"value":{"entity-type":"item","numeric-id":4121943,"id":"Q4121943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914710$330A92DF-9EBD-4B0D-99CC-D49859B557F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e080d2e64ebb7596e3f936a0001821cba0e080c","datavalue":{"value":{"entity-type":"item","numeric-id":1221122,"id":"Q1221122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914710$DD140677-BF70-41F9-BCF1-9D2348851789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c94f8dfac4fd9fd0049495982d16ad4ad2c85d83","datavalue":{"value":{"entity-type":"item","numeric-id":5686072,"id":"Q5686072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914710$8035DE2A-5766-4961-85DD-26F50A3C603F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be262f797062507451ed0ccba9d8d186e07316dd","datavalue":{"value":{"entity-type":"item","numeric-id":3874275,"id":"Q3874275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914710$3B1BDB6E-73BC-4D9F-A27E-CA76377E5634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fd15f576a6b667c17000d5aa21a8cf9bbb1edba","datavalue":{"value":{"entity-type":"item","numeric-id":3764195,"id":"Q3764195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914710$CEA42E86-2A03-4A22-BB0B-9CA644476AED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7c71b6035b0a6dd41b00e93d0f89a5d5ac203f9","datavalue":{"value":{"entity-type":"item","numeric-id":913835,"id":"Q913835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914710$94A01A2D-1B85-42D2-A488-334EB3C5C81E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90e01a71c1baed98b16e488a70a6fe422d78ac5e","datavalue":{"value":{"entity-type":"item","numeric-id":914710,"id":"Q914710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914710$F4AB59C0-DEEC-4A52-9F74-56B852C6F1DF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c1c3cce3be29ef69984702d0a41c8e7de6b3953","datavalue":{"value":{"entity-type":"item","numeric-id":913835,"id":"Q913835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f97bab43a2e60dd574a426d05ec280f115379dc","datavalue":{"value":{"amount":"+0.8585246801376343","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":"Q914710$600EE651-A340-4EEF-87EA-38F7140DF446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b142ad92ed11c112d738acbdc295c7d55e1b17df","datavalue":{"value":{"entity-type":"item","numeric-id":5472335,"id":"Q5472335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d27b3d17d884679048fe50aaff6e3e70e5bb587f","datavalue":{"value":{"amount":"+0.8498281836509705","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":"Q914710$8D0854F8-F2C3-4FE8-A5F8-EB9143A4A690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb007bd7d09eb186880324ff8556500039272844","datavalue":{"value":{"entity-type":"item","numeric-id":1272110,"id":"Q1272110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f850e09056a7f87f2a2af2a6a084baba3af28959","datavalue":{"value":{"amount":"+0.8389338254928589","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":"Q914710$928B17AF-AF54-4A59-AD4D-453B7DE0BDAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66124f67b8446643cb5cbec9138173d4aa49eeb7","datavalue":{"value":{"entity-type":"item","numeric-id":4031107,"id":"Q4031107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f850e09056a7f87f2a2af2a6a084baba3af28959","datavalue":{"value":{"amount":"+0.8389338254928589","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":"Q914710$55B09D68-ED53-4536-BDC2-ABED4B950CC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4b549d03c8dce19e5a5e83c449f6098af263164","datavalue":{"value":{"entity-type":"item","numeric-id":5928639,"id":"Q5928639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43a5855d1e46af751c67fc15fe5b71eb13e60304","datavalue":{"value":{"amount":"+0.8110474348068237","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":"Q914710$D297EC7E-97A1-448F-B0A7-09CEAF506D16","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Principal congruences of double demi-p-lattices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Principal_congruences_of_double_demi-p-lattices"}}}}}