{"entities":{"Q3437039":{"pageid":3447742,"ns":120,"title":"Item:Q3437039","lastrevid":80677703,"modified":"2026-05-06T16:45:02Z","type":"item","id":"Q3437039","labels":{"en":{"language":"en","value":"Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5152283"}},"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":"Q3437039$EF69D9FD-8AA2-4F10-9F9E-28729621959F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"11c877ec3e9c5aa3665ac2af64715f938e7fc790","datavalue":{"value":{"text":"Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3437039$49374071-3132-4B54-8101-75D7E99A7783","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"41bcdd4a42af6bc54e2b514960b8e850e93f7fb8","datavalue":{"value":"1117.03073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3437039$FD9612FF-3457-41E8-8964-BC2ACE7646E0","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":"Q3437039$095DBB44-FD0F-4522-A0EA-2AB829531E3C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4a6458f05f6f6374b3dafda2fe141b0e0926b499","datavalue":{"value":{"entity-type":"item","numeric-id":3159398,"id":"Q3159398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3437039$8DE9184C-031D-4F6F-B89D-4C8656726216","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cbd0eb8b100807c851c8df9ae7f8fa5376f95dfe","datavalue":{"value":{"time":"+2007-05-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3437039$751F2836-D554-49CF-98C9-C487777B033C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3437039$BCCBFB97-0EAC-4974-8AB7-2E9BD5A44613","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3a95ba8055ec325ecc4ac5a2679bed0298a8ae5e","datavalue":{"value":"5152283","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3437039$7FEC9337-1BB0-4D99-BC8C-D2DA00C6E0F8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4efb655b382b3debbdc76485a32d535273a9d278","datavalue":{"value":"structure systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3437039$E623184C-B8C8-417E-BDAF-973C0EA2C0FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d6e8388b180739867cbefec61f7427be439ffca","datavalue":{"value":"congruence systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3437039$7DC58C63-BC83-480B-93A1-777A0DCE82EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"372968cd25acd8bd80a4b9e641c12941532dc512","datavalue":{"value":"Leibniz congruence systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3437039$6F47FCDA-BCE2-4793-8CD0-DEC2277E0B5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"402aa93c3954095eeddac2b6d8731e4d3c04b4c5","datavalue":{"value":"diagram lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q3437039$58EAEB5B-9C91-475B-A854-17CD05B99706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be9fd21863b4dc9a65c99a1b1241f517717db203","datavalue":{"value":"reduction operator lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q3437039$E6F8249C-E60E-48C9-82F0-08AAE0EA2C03","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":"Q3437039$7224BA15-9479-4310-9467-E4B95F6B3278","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cfd4f4bf94bd91ca1582258bf10b163fc78bc7c3","datavalue":{"value":"https://doi.org/10.1002/malq.200610034","type":"string"},"datatype":"url"},"type":"statement","id":"Q3437039$DA06942E-21E8-4136-BEC7-A8BF50AC61F7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4f77211a797c57a4d762883bcad62479156dfedd","datavalue":{"value":"W2007486200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3437039$ADAF5D1B-AE4D-441B-98C6-2DD0B4B77EB4","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"1ea35e344ae3d5f91f5308f4dfd14689b2e25b77","datavalue":{"value":"Q124880472","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3437039$470B4609-0D1B-48A2-95B4-085EA05AB5C1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5ad2710adb49b09c41e2ab3a0d263ab2cd525bb","datavalue":{"value":{"entity-type":"item","numeric-id":5932852,"id":"Q5932852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3437039$5BAF17DC-8F62-4679-9E4E-793D31091FA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7797fc9f9b4e129ca74ca15c9fa388c4ee8b611","datavalue":{"value":{"entity-type":"item","numeric-id":4335229,"id":"Q4335229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3437039$AED21703-27C0-4133-A852-8DADC94C2662","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":"Q3437039$5ECFFEE7-1871-44D3-968D-CBE25F72606F","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":"Q3437039$399BFAEF-AADF-419E-97A0-B8F1C3A42F7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca897a8c41bcaa8d142a48f17d1f2b052c9612d2","datavalue":{"value":{"entity-type":"item","numeric-id":3332238,"id":"Q3332238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3437039$BAFE13BF-36E6-4EA9-AA33-16AA4F9122C4","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":"Q3437039$874B4624-4A37-4A54-849F-557C16A911FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4280cd3d0a555d23ad4c1f097024c9591f5a09ab","datavalue":{"value":{"entity-type":"item","numeric-id":4123496,"id":"Q4123496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3437039$C73D128B-6538-4BB7-98D0-7EA550BA7FB8","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":"Q3437039$849A6CAA-79C5-44AE-85BA-ED798F209057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52e183e8e7145c43c41f5ae4889b564985595ba0","datavalue":{"value":{"entity-type":"item","numeric-id":1866032,"id":"Q1866032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3437039$7A83AAD3-B8DF-45D7-A158-02DB54C8EC01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21d54c821dd1e2ce10142f0e9b0058199dbf32df","datavalue":{"value":{"entity-type":"item","numeric-id":1778066,"id":"Q1778066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3437039$E0B10372-8FE3-445B-BA1E-8BD37A1228DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a35b612cc65c10a01a7016dc4c49390c32f6163","datavalue":{"value":{"entity-type":"item","numeric-id":2372683,"id":"Q2372683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3437039$7DE69D16-BFD5-48A3-B79B-90DC3061FE77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7922e5aa0999a77ea13e80080f4e5f921b0a2cf","datavalue":{"value":{"entity-type":"item","numeric-id":5747514,"id":"Q5747514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3437039$F1792A6B-1AEB-40E7-88AB-BCD57DE3B87E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42a90ddd0919d0d24ee024d01f10c2f08dc649f2","datavalue":{"value":{"entity-type":"item","numeric-id":878147,"id":"Q878147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3437039$C7F191E9-A414-429B-90F8-8D8CCE2B91F9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7bd43bb57928b2a0a8c41d7b1f6529876d6c5d70","datavalue":{"value":"10.1002/MALQ.200610034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3437039$C3C43B38-8C81-456E-BBC1-9A2F711B3FF8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2f6bbb44564f917ef06eb385c7ee6bda8e5988a","datavalue":{"value":{"entity-type":"item","numeric-id":4586425,"id":"Q4586425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c500ffaa1ddd261750002a7eae9af35472d0ad32","datavalue":{"value":{"amount":"+0.9370346","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3437039$54D40CB4-0445-4E64-A790-5DE7337CCBDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c84a51d79fd81de65dae09cf64ed2d457ed7b68","datavalue":{"value":{"entity-type":"item","numeric-id":5442464,"id":"Q5442464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77dee26e6bd07c2bbb633f2645e57645be876bee","datavalue":{"value":{"amount":"+0.93298304","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3437039$FF6DBEA5-21CC-4043-A254-122153019C1A","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":"237d0ed41a74db9707a23ac969056f44aa904607","datavalue":{"value":{"amount":"+0.93060994","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3437039$EED63B97-B4F3-4203-9EAD-38B14084C223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"982c1b61366befd4b137204f5357b769a6cfca8e","datavalue":{"value":{"entity-type":"item","numeric-id":5434205,"id":"Q5434205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3c2ae3ff7854ae6d9c06f4d34e1e6059277ef92","datavalue":{"value":{"amount":"+0.9298622","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3437039$6027F864-0DB3-4D24-9E20-C306A04F5AF1","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":"ae07624e55776fc7bd9bf6a82ee4101004114165","datavalue":{"value":{"amount":"+0.9273174","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3437039$7328BCCF-B98D-49CB-9721-0CD9DF97D392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e89200bebafe40a9fc4224670401c3a7ee08a26","datavalue":{"value":{"entity-type":"item","numeric-id":2642521,"id":"Q2642521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"920bb26b517ce0d35a8ca50e48e969e8d2e75862","datavalue":{"value":{"amount":"+0.92432773","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3437039$E817D661-1DF0-4832-9169-6EBB9CC0C8ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"568041278fbb24df331f4426a1e1183d2778eb54","datavalue":{"value":{"entity-type":"item","numeric-id":3431258,"id":"Q3431258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fda8955e37a0f37b9c8822e6a243c7e8e904da88","datavalue":{"value":{"amount":"+0.923385","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3437039$04A6E550-9EE7-4AAC-B053-4A56DF7EAB8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"389344ee75b6f8fc78f1585556ab2a4af11b418d","datavalue":{"value":{"entity-type":"item","numeric-id":3430283,"id":"Q3430283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f393e90faeacf9cf9a7a69e867ee13a782a1087a","datavalue":{"value":{"amount":"+0.9218612","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3437039$B01C4EF3-7A33-46BA-BE4A-F76B5902AD83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f2295ba18c75a02d8f19d09614d3ec79bd3a1c8","datavalue":{"value":{"entity-type":"item","numeric-id":1866032,"id":"Q1866032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"523c91f3f297b9d6fd711e92ba9cffdb1a76f701","datavalue":{"value":{"amount":"+0.9217421","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3437039$F7B366E6-8AFF-498A-9EE8-EE8A90289847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8edd46b1d6b4f3da70207c6f13c51f5bd2da269f","datavalue":{"value":{"entity-type":"item","numeric-id":816651,"id":"Q816651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f77ee2a8bd041ba42d715e91583ad4a877da94b","datavalue":{"value":{"amount":"+0.920974","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3437039$3571F0D7-AF3F-4913-8B2F-B29CAF53BBD6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas","badges":[]}}}}}