{"entities":{"Q2372683":{"pageid":2383426,"ns":120,"title":"Item:Q2372683","lastrevid":50139932,"modified":"2026-01-13T06:29:00Z","type":"item","id":"Q2372683","labels":{"en":{"language":"en","value":"Categorical abstract algebraic logic: more on protoalgebraicity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5176390"}},"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":"Q2372683$2F4507CE-9C3B-4265-9A2A-E33589FA1197","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"65abbed5db68902553337a59a12732b7ddbecb43","datavalue":{"value":{"text":"Categorical abstract algebraic logic: more on protoalgebraicity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2372683$6BEE7DD2-F78B-41BC-AFE9-C38BFF795408","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1c3fbe012e09d4231c2c302baf6ebf40f31aede3","datavalue":{"value":"1134.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2372683$85B28852-389D-4855-AAE5-F797C7FCCBA1","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":"Q2372683$36315D33-1D96-4642-8392-AD750C3DF0D1","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":"Q2372683$774502CD-C1D0-4526-B1E7-3CC678A15A94","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"37c844feca35da75671978fc1effde9476fb11ba","datavalue":{"value":{"time":"+2007-08-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2372683$CBCB516F-BF8F-4649-9BDF-F43029319CDE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9b3ec7ff81ccc18e8c72bc0616138f1424641465","datavalue":{"value":"\\(\\pi\\)-institutions arose within formal specification theory as a meta-theory for multi-signature deductive systems, independently of the actual details of the logic involved.   This paper is part of the great programme undertaken by the same author to generalize algebraization of deductive systems resp. sentential logic (as developed by Blok, Pigozzi, Font, Jansana, etc.) to the level of \\(\\pi\\)-institutions.   Protoalgebraic \\(\\pi\\)-institutions have been introduced recently by the same author as an analog of protoalgebraic sentential logics with the intention of extending the Leibniz hierarchy from the concrete sentential framework to the abstract \\(\\pi\\)-institutions framework. The current work is a continuation of previous work by the author by advancing the lifting of properties of protoalgebraic logics from the sentential to the \\(\\pi\\)-institutions level.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2372683$53D6B51F-2DEC-47F0-A095-F79E9F4B4092","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":"Q2372683$8A4AC5E2-9FA5-453D-A013-03E1B84D2739","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2372683$62F8A296-B0AA-4E05-8D7A-78421ECB23FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"138bfade4254c939b16bf73099f468d5be54b557","datavalue":{"value":"18C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2372683$AD9B729E-3E97-4EEC-A247-EF24B27EE532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2372683$001AC246-ECE9-4455-9117-FB6CE3BB95BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3d53f4f8504531dc1d4f34947ee793dc8e8b2ce8","datavalue":{"value":"08C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2372683$804298F3-EF3B-4DFD-AB10-4D5F69C03881","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a356d5c39970fd839916916b130bb75587dac278","datavalue":{"value":"5176390","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2372683$4C18D953-A210-4C18-A7E9-23289BA11553","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b526b9548ea1d63a42ee3ff08153b70694378ce","datavalue":{"value":"\\(\\pi\\)-institutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2372683$799C5E8C-0410-4BF7-BBAC-DEDCD0DFAA30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca93e2f7b83ea584343e37cd19694900d2295be2","datavalue":{"value":"algebraization of deductive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2372683$A8CCB898-117D-43B5-8C08-3BC13560702C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6a08f0c8091662f6e22177d7f6d7723da40f4c9","datavalue":{"value":"sentential logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2372683$97E362C8-C677-4DAA-83CF-15DD62E1536E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23b7e5458a7a5ae7b348650458881262cb368999","datavalue":{"value":"protoalgebraic logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2372683$526CCAF1-80D2-4212-AD95-50E312786A12","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":"Q2372683$B4398B08-15FE-49F1-8FBE-54B445CF0346","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6e7674a9bb5146cae5967b2c2de7d82b54aefd2a","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1168352663","type":"string"},"datatype":"url"},"type":"statement","id":"Q2372683$94225F42-60E1-4F29-A886-7B5EA5ED514C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4e248860f82fab6f38884a3cb8337bd8b99f8491","datavalue":{"value":"W2090735044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2372683$DF2E4C96-8492-427C-9266-7D7A8C5DCCBE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b3edcbfec240e786eaea26382eef3f8f844f05c9","datavalue":{"value":"10.1305/NDJFL/1168352663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2372683$D3BBD2EA-B168-4B9C-AF98-5D6E025832B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca6f7eff70ce6474f6e3fd7ac19c92822945eb84","datavalue":{"value":{"entity-type":"item","numeric-id":817965,"id":"Q817965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b326706458bcf85341e7b0269f871825eba55a73","datavalue":{"value":{"amount":"+0.9323033094406128","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":"Q2372683$DD30B582-7525-4A52-A448-8C88091BB457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f432b3a0ada722ad07196bf5b2bb5d795a3c97d3","datavalue":{"value":{"entity-type":"item","numeric-id":3370811,"id":"Q3370811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"999d8875da8c033c94b40223de8a863ac168c1a0","datavalue":{"value":{"amount":"+0.925706148147583","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":"Q2372683$53C7EB5C-19F7-475E-8F30-7206EDAD133A","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":"c061399d5bbab9e87b666d9fb7b201f7ebbcb068","datavalue":{"value":{"amount":"+0.9080073833465576","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":"Q2372683$4BC61560-8BD2-44F9-AF56-86F09E448978","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":"422c3a33f329577fe7242d37ec6739b91ffc572f","datavalue":{"value":{"amount":"+0.8777244687080383","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":"Q2372683$4F4CEAAB-B835-4B23-B69B-BFE5F5738646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7e71a77136fda5b7e9cb011aa50c4d3d7751d29","datavalue":{"value":{"entity-type":"item","numeric-id":5441065,"id":"Q5441065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bfa7ab359e4e6b89eddf6b1e7bcfd98a3122556","datavalue":{"value":{"amount":"+0.8730154037475586","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":"Q2372683$D9F9C9C9-1DA8-4904-9A7C-A25D451C26BF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2372683","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2372683"}}}}}