{"entities":{"Q854961":{"pageid":856809,"ns":120,"title":"Item:Q854961","lastrevid":64850313,"modified":"2026-04-11T22:38:46Z","type":"item","id":"Q854961","labels":{"en":{"language":"en","value":"Categorical abstract algebraic logic: Leibniz equality and homomorphism theorems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5080833"}},"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":"Q854961$C5D3C9E6-D52B-4C5F-887D-8294B2A0B934","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"66487c6a9812509ec0706c7f5383560bd6c5ba35","datavalue":{"value":{"text":"Categorical abstract algebraic logic: Leibniz equality and homomorphism theorems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q854961$0E12E553-C71D-47D2-B906-90379E77221B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9e2d7fd7b23e202022ccc70c58c750b8c1d9fc50","datavalue":{"value":"1111.03057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q854961$83CDC5DE-0740-4E32-973F-2702BB73DF3F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1350be694b11b191dfdb4ee292ebca47567b3263","datavalue":{"value":{"entity-type":"item","numeric-id":355640,"id":"Q355640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854961$07FA3618-2AC4-4313-AAC3-DCB1191AA066","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94b43e925d53c61559a924a3f6e0b9807eaa629d","datavalue":{"value":{"entity-type":"item","numeric-id":171466,"id":"Q171466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854961$4BC6AD03-9900-47D9-B0A1-B6697AD3A048","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8040e767283f13b3f95c9a5ad3ded117e1275e38","datavalue":{"value":{"time":"+2006-12-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q854961$EF85A99D-8EAA-4997-951A-4A4BE7E9A9CD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"99805ba105dfb7d390c98bb68fc1bf5d165953d1","datavalue":{"value":"This paper continues the study of algebraic logic within the framework of categorical abstract algebraic logic with the introduction of the Leibniz congruence system of a structure system. Analogs to several fundamental results in universal algebra are provided in this more general framework.","type":"string"},"datatype":"string"},"type":"statement","id":"Q854961$49A06087-3539-4667-9F65-F484309083E7","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ccb45899d5f7bb3c880aa37d11928692be2daaa6","datavalue":{"value":{"entity-type":"item","numeric-id":344795,"id":"Q344795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854961$CCD38E6D-82DC-4AC2-9F7F-10CB0A871099","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q854961$EE34C3CD-D07C-4FD9-96F1-A60E9D0CEE22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"138bfade4254c939b16bf73099f468d5be54b557","datavalue":{"value":"18C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q854961$EED5DCAF-3F33-4B85-968C-0202D8C008CD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"877c17feb434bf42c79486cfe8f2a3ad34f8f8a8","datavalue":{"value":"5080833","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q854961$F7A8E580-8536-4188-8ADB-27E9020F3B14","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b70dc5c4478e280200738e78108a10d8f8ac0f7b","datavalue":{"value":"Leibniz congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q854961$91E5C1B6-ADE6-46E0-97CC-9AD3C37701AE","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":"Q854961$C4BA72BA-0017-442B-9D30-08D08B378EBD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a568017fed11e3f091f69fde99cac43446a81888","datavalue":{"value":"https://doi.org/10.1007/s10485-006-9030-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q854961$34A2BE56-CC3A-4D4E-AA5B-81E4087A525E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"51640d03d8ad963e9d7919ffe56fe2fe6934d990","datavalue":{"value":"W2023595336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q854961$001A1AE9-2F5E-4F57-AF2B-FB84604DAD86","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"8277a611efa29b38c0a9e7de77d90809372425cc","datavalue":{"value":"Q123285780","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q854961$221F36E5-34D6-457E-8362-273B5C6C2913","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"be84165c80d400eb5fbccb489212416fea3bece2","datavalue":{"value":{"entity-type":"item","numeric-id":3997112,"id":"Q3997112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854961$5CB20DBA-3085-4FEC-B160-CD177B2D44AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"365e43523f9f6b45dc2577202697ff91a6659a61","datavalue":{"value":{"entity-type":"item","numeric-id":3815297,"id":"Q3815297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854961$6BABD5A0-4570-4335-A83F-84B1EF4D90F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c34f084b292be64219d879c7254d7f79a37dff10","datavalue":{"value":{"entity-type":"item","numeric-id":1219264,"id":"Q1219264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854961$24F8B2D1-11D6-4603-AF9A-8F1FAD4F86F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65eeabb99db53adaf7c57c5e6c3606fed1fecd86","datavalue":{"value":{"entity-type":"item","numeric-id":4314472,"id":"Q4314472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854961$2DF3DE79-6963-4921-A085-F07A06C26572","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":"Q854961$8EF58A59-FDA4-429B-9A9C-2B8224E3E4E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e1bdbc7bd30eecdd8509ee080c7638776182573","datavalue":{"value":{"entity-type":"item","numeric-id":1355131,"id":"Q1355131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854961$C1825B4E-FE0B-464D-A7F9-F9786DA437CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29095dc0bd6497f9d5b75c820b211744c100e9fe","datavalue":{"value":{"entity-type":"item","numeric-id":2707243,"id":"Q2707243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854961$BF130CE4-95F0-4617-B7CC-741A833F13DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8541fe9c38d3e64e35a91a87455e8787302155c","datavalue":{"value":{"entity-type":"item","numeric-id":4934882,"id":"Q4934882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854961$FAF6D09A-C4BD-45C7-B95B-603AD30D1505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7599a5e32b1c8d756ec4fb55aafbd223eac7df2","datavalue":{"value":{"entity-type":"item","numeric-id":1577361,"id":"Q1577361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854961$4EC45853-A90F-4779-BC4D-2CC03E64A9A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"090d29ed1a3f239683df30cdd0098c384468eeb2","datavalue":{"value":{"entity-type":"item","numeric-id":3128471,"id":"Q3128471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854961$9A9DBC9E-B6CA-415E-A47D-5A172336AC94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a495f996daae0447231a44dcb9b3a8a36b27a94a","datavalue":{"value":{"entity-type":"item","numeric-id":5687548,"id":"Q5687548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854961$DF8BBBB9-13BF-4BED-B791-522758F410C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb68fe32bb5fe8ec05e704faf061202d9fd82400","datavalue":{"value":{"entity-type":"item","numeric-id":1368911,"id":"Q1368911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854961$32F28751-DC7B-406C-A9CB-19CB9CF9E1FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65171539ca38f169aa5b00da0054d0b7b7badecf","datavalue":{"value":{"entity-type":"item","numeric-id":1966161,"id":"Q1966161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854961$BBA830F2-51A6-4F8D-BB21-7B94D5A0269A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa9d19db271fd342f2e391e7bfc2db2e9b48dfbb","datavalue":{"value":{"entity-type":"item","numeric-id":4264538,"id":"Q4264538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854961$A91609A9-9C20-4205-9FAA-DAD6944721B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b414b76e853b38ebaf385b32920ec322faad2bdf","datavalue":{"value":{"entity-type":"item","numeric-id":4934034,"id":"Q4934034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854961$4F36A4BF-85FD-40A5-A7A9-F744F08DD749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"727d2bcbb5846d1892e15a3f14e7053ab60c7639","datavalue":{"value":{"entity-type":"item","numeric-id":1970645,"id":"Q1970645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854961$1DA507E0-6DC9-4D23-99FE-1E374B8A2632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"127e8b3572499d26a731093d4db1a10798620f08","datavalue":{"value":{"entity-type":"item","numeric-id":4715441,"id":"Q4715441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854961$AFFAD5B0-8B0B-4994-B322-D296F989F9A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f43829d43dfd204590a2a8da27cb28b9bf029cb","datavalue":{"value":{"entity-type":"item","numeric-id":1422446,"id":"Q1422446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854961$02AD6E82-16A9-49AA-95E0-51017989A5CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967fb55b31b6e02bb24043a438b43c2e3c9e09dc","datavalue":{"value":{"entity-type":"item","numeric-id":4003410,"id":"Q4003410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854961$D54F76CA-55C5-4D68-8B3D-8DD21CAF1E17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854961$C3143A79-9DF8-4A8F-8361-219B38CFE39A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ad778688079d4a53aaf9e0e9300643f2b8969a1","datavalue":{"value":{"entity-type":"item","numeric-id":4779973,"id":"Q4779973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854961$E50DBDC9-F099-4FC7-A855-35A125F906C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45ff1ac00928c17b6ad1c231d45ff9943a9b4170","datavalue":{"value":{"entity-type":"item","numeric-id":3751631,"id":"Q3751631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854961$5A0CDF56-AEB8-4A5D-AAFA-B83FD0B15D18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e77a5375cf56ded759187717bd14755081936d7","datavalue":{"value":{"entity-type":"item","numeric-id":355641,"id":"Q355641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854961$06678E03-32F1-4F39-965C-05AE8AD68346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"310156b624ce1cb95cef937bfe8d9d9753f1c428","datavalue":{"value":{"entity-type":"item","numeric-id":817965,"id":"Q817965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854961$DB9F1E7A-DE05-4EAF-BEC5-2A76607591DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78185e93b2b0b796bebb34393358a3a29625816c","datavalue":{"value":{"entity-type":"item","numeric-id":816651,"id":"Q816651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854961$2CC13E26-C630-43EB-8E78-C976FD3A663F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71a981cdaf286456ea230b1d82fb169b629f9f08","datavalue":{"value":{"entity-type":"item","numeric-id":2642521,"id":"Q2642521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854961$39ED8499-0E0C-4DC1-A058-2C6C8620FD9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"810ce88e294ff1f7d929ef607c9d8ee623854cad","datavalue":{"value":{"entity-type":"item","numeric-id":2502179,"id":"Q2502179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854961$AA8CC0C9-5331-4438-BD80-F658CEF6F5FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ba69fcc5d8fe97abcdbbd89b0fa76bbc6b1a4fb","datavalue":{"value":{"entity-type":"item","numeric-id":3431258,"id":"Q3431258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q854961$D401EAA8-3D97-4C35-AF03-DE4CEA603FD1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2e4dbcf3cf5e1673b2e5a3622bf44c74011850dd","datavalue":{"value":"10.1007/S10485-006-9030-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q854961$1C8FE3C2-D96B-44F0-B4EF-1019A6F5993E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a5ae0722589332e062a392227097428e3f551ed","datavalue":{"value":{"entity-type":"item","numeric-id":3525204,"id":"Q3525204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"542d387dced94a09ab8b9f091125c1bf67c11dcb","datavalue":{"value":{"amount":"+0.8448671698570251","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":"Q854961$7DBD8052-A1E5-4CA9-A780-BC0129341EA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"532f670057a5e3308ce4e67a4e97218f148e0661","datavalue":{"value":{"entity-type":"item","numeric-id":5505141,"id":"Q5505141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"607643c2b1fb30c9dcd3d69072fbd34e3050f882","datavalue":{"value":{"amount":"+0.8300601840019226","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":"Q854961$F392758C-8745-419A-B79A-ECD6920A7FE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21169adccf5b9ff7e0507d807b8e5328de10b8d5","datavalue":{"value":{"entity-type":"item","numeric-id":3437039,"id":"Q3437039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72e34de60b394f19c6fc6979b60c8053a80a135c","datavalue":{"value":{"amount":"+0.8263748288154602","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":"Q854961$12022DFE-7A43-4DC2-9235-182ED9454E1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc2d689455b9a12a3a3a738856803185a0d713e8","datavalue":{"value":{"entity-type":"item","numeric-id":368473,"id":"Q368473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bd0292a063b201cf014ef8a89e1cd14d29da308","datavalue":{"value":{"amount":"+0.8234405517578125","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":"Q854961$FED5EA46-3BF5-43DC-95F3-15FF1DEBB45A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1d06e0464956267884cfb04fc78728c481c4c7e","datavalue":{"value":{"entity-type":"item","numeric-id":4659579,"id":"Q4659579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da1689c3a765a8dac20c8e423435fdf335458695","datavalue":{"value":{"amount":"+0.8211480975151062","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":"Q854961$49CEF1F9-4776-43ED-BB1A-726692600E6A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Categorical abstract algebraic logic: Leibniz equality and homomorphism theorems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Categorical_abstract_algebraic_logic:_Leibniz_equality_and_homomorphism_theorems"}}}}}