{"entities":{"Q878147":{"pageid":879995,"ns":120,"title":"Item:Q878147","lastrevid":65065299,"modified":"2026-04-12T00:05:08Z","type":"item","id":"Q878147","labels":{"en":{"language":"en","value":"Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5146175"}},"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":"Q878147$CF839F75-8546-4473-B3D1-B78C0E6D276F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5711415cd1134c4c933e349b7ab7018255d12168","datavalue":{"value":{"text":"Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q878147$3946B226-317B-4ADF-9734-4568D20EB3EE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3d7e013bd106a00a440438acc9df00c8281f32ee","datavalue":{"value":"1117.03072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q878147$93E04705-7796-4DAC-B2E0-617376E01224","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":"Q878147$5A933F2E-8109-4C3E-8930-76FF8EB4CAE3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e2599ed8061d57585b4363072a1afceea2452436","datavalue":{"value":{"entity-type":"item","numeric-id":172073,"id":"Q172073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878147$3418EA57-43EB-4C17-ABC1-031E89EA5118","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"018eb3d5a1529ba4d911dfe810dafc033402deeb","datavalue":{"value":{"time":"+2007-04-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q878147$5F88A906-A38B-408D-AED9-003377F5F056","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"28496c9fb6dfa575e1931ba9b8b7d5504254de82","datavalue":{"value":"This paper contains the fourth (and final) installment on research concerning an extension of some of the results on partially ordered varieties and quasi-varieties of partially ordered universal algebras obtained by Palasi\u0144ska and Pigozzi in the context of abstract algebraic logic and reported in \\textit{D. Pigozzi}'s lecture notes available at \\url{http://www.math.iastate.edu/dpigozzi}. A syntactic apparatus is introduced for the study of the algebraic properties of classes of partially ordered algebraic systems (a.k.a. partially ordered functors (pofunctors)). A Birkhoff-style order HSP theorem and a Mal'tsev-style order SLP theorem are proved for partially ordered varieties and partially ordered quasivarieties, respectively, of partially ordered algebraic systems based on this syntactic apparatus. Finally, the notion of a finitely algebraizable partially-ordered quasivariety, in the spirit of Palasi\u0144ska and Pigozzi, is introduced and some of the properties of these quasi-povarieties are explored in the categorical framework.","type":"string"},"datatype":"string"},"type":"statement","id":"Q878147$D1022B96-8582-4010-93BA-914B64630862","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q878147$1253189B-316D-4621-B1AF-4DB49C777475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3d53f4f8504531dc1d4f34947ee793dc8e8b2ce8","datavalue":{"value":"08C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q878147$604B9368-107C-4DB2-9C31-4F6C2E572A17","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8aa435bdde87aaed267d07cb44ee06cb44ae6491","datavalue":{"value":"5146175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q878147$8491A91A-E18A-40AD-A61E-7A310B4D3E09","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8817c018386f6b9e55262cb47788c2526d2ea0c8","datavalue":{"value":"polarities","type":"string"},"datatype":"string"},"type":"statement","id":"Q878147$7480C20D-ADA3-4225-AFC7-DFBECFC08CFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a69dacd527c3c6239ddf3611cc2e12f32d2b897d","datavalue":{"value":"reduced products","type":"string"},"datatype":"string"},"type":"statement","id":"Q878147$B146CB63-1510-42E1-924C-BBAA9FDDD2D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90b592d57d5b8f6c2ca256a200a84383662b18a1","datavalue":{"value":"subdirect products","type":"string"},"datatype":"string"},"type":"statement","id":"Q878147$05D2A77A-B237-4AD1-B4A5-2FE97AEF751D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0bdacfc00f070fa477355a17c5232246f664f3d","datavalue":{"value":"closure operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q878147$3A58E0DB-D202-41D5-B70D-C33566A5FFBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b526b9548ea1d63a42ee3ff08153b70694378ce","datavalue":{"value":"\\(\\pi\\)-institutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q878147$395B2E73-BE20-4D89-8319-A7A15F7E2628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23b7e5458a7a5ae7b348650458881262cb368999","datavalue":{"value":"protoalgebraic logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q878147$50AC0657-2056-40B7-AC92-ED2EAC8F6CD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"054500799b79f77109cb42de9891e67701606fc7","datavalue":{"value":"algebraizable logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q878147$A08160D1-C1AE-4BCB-A215-77C83DCE4CD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4763c8ce734e09c1251f280e0b95a440da29fd5c","datavalue":{"value":"partially ordered functors","type":"string"},"datatype":"string"},"type":"statement","id":"Q878147$F428035E-5276-4007-B9A9-AA7D4FD98364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7eaf77431b1a745b31d317685bbfd48c9ca43d2","datavalue":{"value":"partially ordered quasivarieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q878147$035B9110-9A3F-4384-B4EE-493BAE753F40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a062a544808a7f3efdff3fd8424bac63686af8b5","datavalue":{"value":"partially ordered algebraic systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q878147$CB89E93C-F3AB-41E5-A104-EFBB48C838C2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"35ea846fbd37eef2bf04aa3916128060dde76b2f","datavalue":{"value":{"entity-type":"item","numeric-id":277571,"id":"Q277571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878147$82A6D06C-FCAC-4B40-913B-BBE002397464","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":"Q878147$979EF44D-FC4D-4A3C-A7BF-1F29890AF7CC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"16f1fdadfdb88a2cb72d53bfaa90f645d75cf158","datavalue":{"value":"https://doi.org/10.1007/s11083-006-9048-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q878147$F276D2EB-4F8E-40B0-A589-3AC3CD0D7E52","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3e8e9e2ed672f5477a73281b1230fcfa68e625eb","datavalue":{"value":"W2070256301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q878147$CC871BDF-B42C-4796-9D06-ED6419DB7471","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":"Q878147$5760C4CC-5E71-4446-9F51-671985465044","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":"Q878147$69965A7A-FCF1-4E74-9645-4D6BA835F6A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40ec4abd703ba69c5dfd86055856e539b441f730","datavalue":{"value":{"entity-type":"item","numeric-id":1229897,"id":"Q1229897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878147$69CF3D49-C796-42A7-9AC5-C8284C9F43DB","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":"Q878147$1429F00D-72C9-41D4-8724-64269394E4FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85e76dbdde1f6c0140c066a99f1add9b458d496b","datavalue":{"value":{"entity-type":"item","numeric-id":1159628,"id":"Q1159628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878147$282606BC-3040-403E-A98A-EF8714266498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"480d9e6198ddffbf4560988f86365c29e304083a","datavalue":{"value":{"entity-type":"item","numeric-id":4508251,"id":"Q4508251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878147$B9FD3A51-6DB8-4E8D-890A-CB068CD91589","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":"Q878147$0F1D91EC-8399-41E6-B0C5-C3F1F979B3B5","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":"Q878147$0C887629-9D12-4800-BE71-47E3CA1B3530","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":"Q878147$A9EF465C-D488-45D4-9733-95B72A1AB76D","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":"Q878147$7BE60EEB-219A-42CA-A3FD-918990594D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cad61285ba274cd91e827670915047392dea37ea","datavalue":{"value":{"entity-type":"item","numeric-id":3956941,"id":"Q3956941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878147$A0463087-EB44-4445-A1E2-66EAD3764B1B","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":"Q878147$4C7F4BDE-70BA-42B4-BE24-79EE51A71C86","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":"Q878147$C94FE6F0-3CB0-44E4-B2D7-9959CA875410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62b48c532a247c27214086098cf9ed71ec25a644","datavalue":{"value":{"entity-type":"item","numeric-id":5509706,"id":"Q5509706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878147$09A48D7A-6224-4590-B11F-F627CC0CBA93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab5fd23ae46e440d0806bf46f29f71cde048fbd1","datavalue":{"value":{"entity-type":"item","numeric-id":1064326,"id":"Q1064326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878147$FCDD2F6E-D6AA-4D31-9856-4874699CB441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc0081debc6e26b034bc3d72e17151c3373cd643","datavalue":{"value":{"entity-type":"item","numeric-id":4889848,"id":"Q4889848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878147$8973DE79-D149-48BA-851E-2AB5911EC65A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7b327c88d490c22a3cfc37682f78fef2bc42a2b","datavalue":{"value":{"entity-type":"item","numeric-id":2563460,"id":"Q2563460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878147$2250CC38-CBD0-435C-8C56-604F87F5FC25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"082808784da1f5e2479b9a0895d609eb8e2c6a55","datavalue":{"value":{"entity-type":"item","numeric-id":1357379,"id":"Q1357379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878147$79690EBC-582F-4532-8DFD-971C16307F7F","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":"Q878147$5D4D584F-32C0-4368-9E9D-FFDF22B89595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c2691d858e4397db5d79d5923363d0a30db8142","datavalue":{"value":{"entity-type":"item","numeric-id":3853703,"id":"Q3853703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878147$7F18FA16-6AA1-4741-90E3-34A2A3AA4BF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05528eacdadba5e6d5b7b249b33ef8242db2e250","datavalue":{"value":{"entity-type":"item","numeric-id":4657630,"id":"Q4657630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878147$B941D7FE-7208-4FF6-9B36-4DE847F70966","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":"Q878147$D334E920-1532-4C8A-A891-CA4190A552A3","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":"Q878147$83932920-BF19-4A5E-B75D-8B1BA7B4467F","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":"Q878147$E1837AD7-5884-415D-A8CC-2957E9D4F5B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"839c1ff2939dcb55ffca6b32e89a5ce562fd58ac","datavalue":{"value":{"entity-type":"item","numeric-id":5449284,"id":"Q5449284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878147$88E4ACED-112F-4782-AC90-1A70DE3759A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fe05236ac0b244ddb7ac0d140cf2e26e03bc66a","datavalue":{"value":{"entity-type":"item","numeric-id":5441552,"id":"Q5441552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878147$33ECE8F3-DF35-4480-9102-CD22FC05381A","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":"Q878147$46F939FE-45BA-42B6-8CBF-E0EB99709BEB","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":"Q878147$E8C1E995-718D-418D-9A4E-E58F46139A97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fc8e83b59703e457ab9a0cdb3c964f6bfaca79c","datavalue":{"value":{"entity-type":"item","numeric-id":3370811,"id":"Q3370811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878147$A23F4C01-E6CB-40A1-AD65-D3C37FE46508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2764ba67906224dae66231f57edc9b1089428c1","datavalue":{"value":{"entity-type":"item","numeric-id":5485402,"id":"Q5485402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878147$19B34918-AA31-4303-9B9A-E4130F91EB82","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":"Q878147$65DBA20C-390B-435D-BBC3-F61D361B20EE","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":"Q878147$E3FDBE93-6638-40EF-96C0-BEE697DA53C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8a93a88d22f1ff2420049f3d56a7e5751d44bd1","datavalue":{"value":{"entity-type":"item","numeric-id":3430283,"id":"Q3430283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878147$16C042D1-38BE-4066-8C20-24135A6C5229","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c6313e97a9d626722e524390f0bd99a678b0fa02","datavalue":{"value":"10.1007/S11083-006-9048-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q878147$4122745A-66DB-406A-BF8E-9717653FD3EA","rank":"normal"}],"P1643":[{"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":"49b6b74b6bb8907c815702889a2f8a10e5f5154a","datavalue":{"value":{"amount":"+0.9716042","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":"Q878147$23471131-2309-442F-831C-F0784CC94A7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a09b175bfbdf6020318f5e972670adb548aeaa90","datavalue":{"value":{"entity-type":"item","numeric-id":2502179,"id":"Q2502179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f95dcb67c0e932e87619e2c8ca3727cbe0c49dbd","datavalue":{"value":{"amount":"+0.95957357","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":"Q878147$6C9FAC3B-6E8B-4BC0-BE59-C41B121CF505","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":"bccbfc4be4561d2486e978b769eb930e901dd5f1","datavalue":{"value":{"amount":"+0.9490403","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":"Q878147$B9C1E460-D0E5-4775-8902-0E5CED1AEA40","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":"f5a7adfbfc0c5015c5fcc7f223be8ab8feda22a6","datavalue":{"value":{"amount":"+0.9479153","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":"Q878147$61F471E9-8FD6-4924-AA8A-D019E43B2946","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":"2a88cecad31dbd63c6244e74b674620e2d05f47f","datavalue":{"value":{"amount":"+0.9446614","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":"Q878147$159012D2-A38E-43FE-9513-DD70409CBF22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"779bce2070496fb85110562135ec729c1656b20d","datavalue":{"value":{"entity-type":"item","numeric-id":2906959,"id":"Q2906959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8f0b29bf9e076716394c1cf905bb6ecc81679fb","datavalue":{"value":{"amount":"+0.9428862","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":"Q878147$0A2F71AC-8132-4306-AF7D-2246BE94BF64","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":"b057a53880a3c45f84d98badb6b5a5baa26852f4","datavalue":{"value":{"amount":"+0.94243413","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":"Q878147$51712426-BEDA-4D26-BF7F-B01843C43573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"182a0afa930caf0f1b453980e8c871e877c65b1a","datavalue":{"value":{"entity-type":"item","numeric-id":3629235,"id":"Q3629235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de1bcabe2741511db5299f0638beacf968062267","datavalue":{"value":{"amount":"+0.94004995","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":"Q878147$C5B2A2F7-844F-4BEA-975A-BE0552AEED62","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":"e628dd3f7c77a52064bdaf04770e3050227e07a4","datavalue":{"value":{"amount":"+0.93935513","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":"Q878147$D468E6C3-6A37-4F35-B3B9-2C0ED2BA0136","rank":"normal"},{"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":"75b25858c19ec05bbc2ad351136ec87ed1c100be","datavalue":{"value":{"amount":"+0.93759155","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":"Q878147$0C122528-37C0-4F21-A001-5928E2BDFBBD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Categorical_abstract_algebraic_logic:_Ordered_equational_logic_and_algebraizable_povarieties"}}}}}