{"entities":{"Q1059074":{"pageid":1060922,"ns":120,"title":"Item:Q1059074","lastrevid":69534942,"modified":"2026-04-13T07:39:53Z","type":"item","id":"Q1059074","labels":{"en":{"language":"en","value":"Principal congruences of tetravalent modal algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3902647"}},"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":"Q1059074$D8FEECDA-27C9-4F4B-85A7-E9483A7D4EC2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"28f29e41c5e63a73952dbfa74107b70d865c28b8","datavalue":{"value":{"text":"Principal congruences of tetravalent modal algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1059074$30F5653E-6D77-44DA-9670-579FD9E3CFCE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9307653fed38b8809c8393f73cc5a9b6cb84c0d2","datavalue":{"value":"0566.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1059074$819D9CAD-47B9-40DF-8175-F3BC394B76EC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd44a748cbf44c5ff35b8657f281d0e1ef4db1f4","datavalue":{"value":{"entity-type":"item","numeric-id":585200,"id":"Q585200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059074$A13564C5-87A0-403D-992A-FD6C29426BC7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059074$7495DA1F-F400-4AFB-9466-162B948100D6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q1059074$3A382D1D-95CC-42B6-9FF2-BD35401EF508","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"77a45fadae8b51fa856eff9a18fdbf1e40fda03f","datavalue":{"value":"The author proves that tetravalent modal algebras, i.e. algebras belonging to the variety T generated by the four-element, subdirectly irreducible De Morgan algebra \\(S_ 4\\), form a discriminator variety. The main result of this paper is a characterization for principal congruences in terms of principal filters.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1059074$FB857C9F-C0DA-4649-A1C9-83712082B70C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"55cce125d2b50c23768a94700ce957231de3a61f","datavalue":{"value":{"entity-type":"item","numeric-id":454369,"id":"Q454369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059074$BE8E2EEB-3110-4BA6-AE1B-E11FD4745679","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1059074$4DDD2AD5-6647-4D68-BF43-FFF0A88CE3D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1059074$45ABC9DC-0A8A-4EC0-B19B-2B2E0B469469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1059074$7FDD3DD2-2FF8-4FF0-B20A-CA8EE42364FA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b6e03c0683e857bd7dbd959c11abc6cd7bfa530f","datavalue":{"value":"3902647","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1059074$E9BD6814-AE62-4579-86FA-34C5ADF5686C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fcffff1dfdc5651927bba52666e7beaf2449242","datavalue":{"value":"congruence relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1059074$9562DCFE-64EC-4B3A-B157-D687FBEA18CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57b96d7e6b5ae867536cbff195c6fe2245eab7b7","datavalue":{"value":"tetravalent modal algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1059074$4858361E-96C1-4BC9-95F5-36FE5CF22882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7cfbbdee39ef48032e03b499e615237ef0f50ece","datavalue":{"value":"De Morgan algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1059074$4C281D56-BB83-4A20-A412-0C32A88EB354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c6dd1981b07a4c4fb58bb4b18036831c634f9b9","datavalue":{"value":"discriminator variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1059074$F9FC430F-DB15-49DC-BE0B-EE43FBE9BAA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e674378f2cba21de14f62539e0e1979b55e1a41","datavalue":{"value":"principal congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1059074$8B6B0A2F-F042-4995-94B5-FD4B2EDA6319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18bb8e92f238799da6f9ffc3a83a724340a53ffa","datavalue":{"value":"principal filters","type":"string"},"datatype":"string"},"type":"statement","id":"Q1059074$F9C72D0C-127D-405F-82FB-4717725255B7","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":"Q1059074$25E093FB-956A-4E57-8FA9-1254639A02DF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"71f28fb1e6482a116e01dba7b3a0472377b0ecdb","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093870762","type":"string"},"datatype":"url"},"type":"statement","id":"Q1059074$AAB15DBB-7936-4B64-9FF9-EEA20FCB3090","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6f5aff432dde384e34773708ecd456d0b2280a82","datavalue":{"value":"W2064172125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1059074$82BF89C9-C605-4437-B4DB-006A8255890F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ebab46bd6c6e4e41c3aeaee1e32f334bc110c22f","datavalue":{"value":"10.1305/NDJFL/1093870762","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1059074$1D950377-17E5-4016-82B9-F8A309ECFFD3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2aaa63477a7edef0446430948e32595cfae39ddb","datavalue":{"value":{"entity-type":"item","numeric-id":4223623,"id":"Q4223623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48f94a038cdf916cef3239cedf4098caf296204f","datavalue":{"value":{"amount":"+0.8210161328315735","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":"Q1059074$7203BB72-D656-4046-A618-D36FA172317D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"150c40431e7d77fa473d3533993231485b575aa8","datavalue":{"value":{"entity-type":"item","numeric-id":4984538,"id":"Q4984538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1df002cca82e779c5119e448292d729a6d85339f","datavalue":{"value":{"amount":"+0.8157832622528076","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":"Q1059074$96D759EF-2327-489B-875A-4226E806CD06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07dfe2792b45cafb470290f205a725a7df8b50f6","datavalue":{"value":{"entity-type":"item","numeric-id":5127892,"id":"Q5127892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dced901e33caf88286799953a9c8d11b55260fc","datavalue":{"value":{"amount":"+0.8125987648963928","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":"Q1059074$7191CCB1-3544-4C56-922E-00984DBD9EA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3310ec5c6f0cbc5f81d6e12ea65d05f4ee6c5bb","datavalue":{"value":{"entity-type":"item","numeric-id":3703894,"id":"Q3703894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbcd9601874c443dd6083f79ce9d82125e607816","datavalue":{"value":{"amount":"+0.802989661693573","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":"Q1059074$08F425EB-06EB-4949-828E-250E3CD51D86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76f1b46dc75f9618b442d994490e5c8003e18ca3","datavalue":{"value":{"entity-type":"item","numeric-id":2941370,"id":"Q2941370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cfb3ecdf5071cd30eca28ef8c8c5f7d3bab120c","datavalue":{"value":{"amount":"+0.7939832806587219","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":"Q1059074$C298C7F7-EF4F-4B36-A570-9A0A7DC4C776","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Principal congruences of tetravalent modal algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Principal_congruences_of_tetravalent_modal_algebras"}}}}}