{"entities":{"Q759782":{"pageid":761631,"ns":120,"title":"Item:Q759782","lastrevid":48765457,"modified":"2026-01-05T19:45:22Z","type":"item","id":"Q759782","labels":{"en":{"language":"en","value":"Congruence relations of multialgebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3882503"}},"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":"Q759782$0F23C638-61CA-428B-810B-1DDF6EB9A334","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"81fe68a3942f6073d1e7632786c43bd6806a6e46","datavalue":{"value":{"text":"Congruence relations of multialgebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q759782$3DAAFBE6-36E6-4DB5-8FFD-7B00E276DCE0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1f126bfe92f9110a10ae33d4f09e9937803de656","datavalue":{"value":"0554.08001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759782$666269BE-5ED1-497B-A776-E6A8F1368D36","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b53d697cd49ee1dc9b5a333b4e29bed5609f7494","datavalue":{"value":"10.1016/0012-365X(85)90145-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759782$DE30A7AE-5758-46B0-ADBD-B956A0366357","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e19d9290c7c998626a9192d3f88309fae930242","datavalue":{"value":{"entity-type":"item","numeric-id":584734,"id":"Q584734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759782$D2398B5F-30B9-4763-BB88-0BE47CDB0212","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"38665fe4ed2b835132254a58832c329597060029","datavalue":{"value":{"entity-type":"item","numeric-id":175483,"id":"Q175483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759782$6E6078E0-AF40-4647-92AC-F72244A18FB1","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":"Q759782$1CC9A9D9-230D-42C3-8FA7-00F49997EB39","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"44ebe57ad2b25aa2bcd2db67a792252e339c925d","datavalue":{"value":"A concept of congruence relation and homomorphism for multialgebras is developed as well as the concept of variety of multialgebras and (totally) free multialgebra. Every multialgebra is isomorphic to a subdirect product of subdirectly irreducible multialgebras (Theorem 2.2) and every class of multialgebras of the same type defined by a set of multialgebra implications forms a multialgebra variety (Theorem 3.2).","type":"string"},"datatype":"string"},"type":"statement","id":"Q759782$D8A9289D-9052-4295-AE54-D847856052C1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"967efbf7e9159f2448c17bb8438ae3fe0ce8fb52","datavalue":{"value":{"entity-type":"item","numeric-id":334969,"id":"Q334969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759782$7147C6DE-ACBF-4FAE-9455-0CCD29E50D3A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"92a555e3a541c9f0978c54443cf0a96e2a43c4df","datavalue":{"value":"08A02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759782$2D90AAB0-6686-496B-BB64-DA6914766261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb2fc5c8257a7b98fa92dc176d9ed2acc92fad3b","datavalue":{"value":"08B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759782$E4328DC0-F1BA-4996-92EF-12F4136282A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a81ca5b8726a2034b277ccf6907b245cba0e29b4","datavalue":{"value":"08C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759782$B7FE1EBC-E421-414D-8A40-A0F25D2DD7B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c3ec75de9d78727d03193af1b75f5a165ed0668","datavalue":{"value":"08B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759782$74FFC0E4-61B3-448E-8820-B647C8714938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5a6b8910b2f61f84f7da81eca252714eacb86688","datavalue":{"value":"08A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759782$11E72A3B-80A5-4EA6-9999-DBCDEB82A3E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759782$7E272D6C-6369-41AA-8550-D5C467957139","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"468209e841d7033d8f6701de8ca0637521dcba05","datavalue":{"value":"3882503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759782$2985D35D-482B-451E-8D80-9FA550812E79","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d34510367c3325923511e27af947f92b45d4c4d","datavalue":{"value":"relational system","type":"string"},"datatype":"string"},"type":"statement","id":"Q759782$A827D268-E06E-4D84-8A12-718819E61B35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61380439d4976206c8d8bfd964c1dad40a9de599","datavalue":{"value":"Horn formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q759782$578D0D1C-67DE-4EDE-988E-354FFFF89B7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fcffff1dfdc5651927bba52666e7beaf2449242","datavalue":{"value":"congruence relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q759782$8A2E104F-FF4C-4224-9C8C-A87EE6C24688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e636d6200f7544f4dd5a5bbed79f99982c70f6d","datavalue":{"value":"homomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q759782$62B7E1C8-C530-448B-947C-C032D4A45B63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6639e18eeae68e7ef18fbc2c724fbf32acad217","datavalue":{"value":"multialgebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q759782$8B613D42-559B-4D09-9450-10D11C75498E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"861dcdbc9825e72305399941b6791379591cb4fc","datavalue":{"value":"variety of multialgebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q759782$F869DEED-B4AA-4D1F-B243-9A5008A8B6F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebb2c92e22e8f876c0fa3aeeeefff39a0deba7c0","datavalue":{"value":"free multialgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q759782$2739094D-0F20-49AE-BAEC-EF79CF086021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b6e1b5db5758d655b9755dd07749cad9c0767b4","datavalue":{"value":"subdirect product","type":"string"},"datatype":"string"},"type":"statement","id":"Q759782$742D3AFF-A088-4BC1-85B7-F329ED815C8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30419c85c68d3d7e3b5e759b0555d60c2826bb14","datavalue":{"value":"subdirectly irreducible multialgebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q759782$6453C134-6A58-4AA8-A6F9-3F7C756300F0","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":"Q759782$725D5004-2B49-4E74-A4D0-1F6E8AFEEFF8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a7740cfc6072b49b113f76e886af169e5536e6b","datavalue":{"value":{"entity-type":"item","numeric-id":5515373,"id":"Q5515373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759782$F6273BAF-5764-46D2-ABCF-DEEDE69F96A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b47d50dbe7bc244b561a2ebfe3f78ab90a9dbdf6","datavalue":{"value":{"entity-type":"item","numeric-id":1130917,"id":"Q1130917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759782$4EA92FF7-763A-4777-A00C-67A6A327307B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"143a90850cde64340d9b3a727b5ea0617f6649c0","datavalue":{"value":{"entity-type":"item","numeric-id":3926649,"id":"Q3926649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759782$ED350416-F03D-47B2-868E-BF957C9E0470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06f28be3c78a1372d6cb156224c0b342e947eac6","datavalue":{"value":{"entity-type":"item","numeric-id":1132093,"id":"Q1132093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759782$0566DC63-3EF5-48D7-A501-2B98DAE44D62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ddae899efc1f0db42307ffe371ecab164b64ab5","datavalue":{"value":{"entity-type":"item","numeric-id":5331544,"id":"Q5331544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759782$4D001559-F72F-47D0-8F7F-A1CD932AB9AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea9685a94b7a85c4efc532c40c856633e434eba9","datavalue":{"value":{"entity-type":"item","numeric-id":2525177,"id":"Q2525177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759782$E93C669D-2D92-4F03-969E-3A9A08F3F992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7c40b2573716433860fb0161074a1e3265188c0","datavalue":{"value":{"entity-type":"item","numeric-id":1160204,"id":"Q1160204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759782$7F3C868B-F5DF-41B1-93C6-598F3F160FEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24ee0bc5811f1b3508ad8f9e80ea23c5903076e8","datavalue":{"value":{"entity-type":"item","numeric-id":1053725,"id":"Q1053725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759782$CCC191ED-83CE-4F8E-B3FC-ADC592ABA3E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d4c53d6874aabb14dd03d985e976a72ed82e1b6","datavalue":{"value":{"entity-type":"item","numeric-id":4128836,"id":"Q4128836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759782$73719016-1250-494B-83B4-C5FA387F2630","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72f43bf478e19da2187da01de7f5650f824d20b2","datavalue":{"value":{"entity-type":"item","numeric-id":5389272,"id":"Q5389272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e376350afa54a48be2b2972a860a4eeedcf8b82a","datavalue":{"value":{"amount":"+0.8533791303634644","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":"Q759782$0AC90C87-3AF5-4CBD-9D67-8FA0A2A97136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f0c6c4538c11c65f06740984e5c037ec9e8ae7b","datavalue":{"value":{"entity-type":"item","numeric-id":4522829,"id":"Q4522829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8915472c6920375d042468d8002b2dd5c7b7b71","datavalue":{"value":{"amount":"+0.8301025032997131","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":"Q759782$FA8BD5EF-78AE-4215-AF0F-3C296ED24DB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b4be2eddf1f9299f3ece8c37ce1435e2b972b64","datavalue":{"value":{"entity-type":"item","numeric-id":3413482,"id":"Q3413482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e19cdf9f2ba947867c0392c7e3e5dee8c035e87","datavalue":{"value":{"amount":"+0.8214879035949707","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":"Q759782$034D9C9E-06C6-47A8-B22D-49AAFA2FF3E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0c0cb8b9f9bd19b12ce91d1b7d86ae09c1c6d7c","datavalue":{"value":{"entity-type":"item","numeric-id":5699191,"id":"Q5699191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1e102c7fa76b71af5b6dc8e19a6fe225b3cb4eb","datavalue":{"value":{"amount":"+0.8192130923271179","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":"Q759782$D2A98D4E-05E1-49AE-88FC-7E4E7D3DBBD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e483222283507c421f6c763388d8744a79a8cb19","datavalue":{"value":{"entity-type":"item","numeric-id":3530612,"id":"Q3530612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c6320eb9baa6318dc70a5e260c5b88393ebb5f0","datavalue":{"value":{"amount":"+0.8082136511802673","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":"Q759782$6D8BCFFB-15B6-496D-AA71-8ECE9C455196","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:759782","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:759782"}}}}}