{"entities":{"Q456973":{"pageid":458740,"ns":120,"title":"Item:Q456973","lastrevid":61977162,"modified":"2026-04-11T02:56:09Z","type":"item","id":"Q456973","labels":{"en":{"language":"en","value":"Categorical abstract algebraic logic: behavioral \\(\\pi\\)-institutions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6348346"}},"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":"Q456973$4EFF5FEC-3EE4-44C6-8554-0AF7EE42A4E9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3d8745624dd5e6c6cad95714fcce0f32f0dfc724","datavalue":{"value":{"text":"Categorical abstract algebraic logic: behavioral \\(\\pi\\)-institutions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q456973$B672A379-0CA6-42F5-BEED-CE5857D6D09F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6fb069ef8c87e0f51a2350bd0a8dd054620eb31b","datavalue":{"value":"1304.03081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456973$6DD08EED-8214-4A0C-BA59-5BD931E6E13D","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":"Q456973$903E500A-E27F-4FD6-87C1-BCEDC8C5A542","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456973$AD36B28F-31E7-478C-98F3-D13F085E5601","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7a6fb9003a97bbc70eb568e233ee4457edf484fd","datavalue":{"value":{"time":"+2014-09-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":"Q456973$ECDDCFA7-1032-475F-8FB2-FB4C96DC72BD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"08379b945600889a120a9ee90fa2127a1b0169f2","datavalue":{"value":"The author, essentially, defines the concept of an abstract \\(\\pi\\)-institution in order to transfer notions and constructions of the theory of behavioral algebraizability to the categorial setting.  Reviewer's remarks: On page 624, the author says: ``Given \\(\\Sigma\\) [a many-sorted signature with set of sorts \\(S\\), we add] and a fixed indexed collection \\(X = (X_{s})_{s\\in S}\\) of denumerable sets of variables, one for each sort, the set of all \\(\\Sigma\\)-formulas with variables in \\(X\\) is denoted by \\(\\mathrm{Fm}_{\\Sigma}(X) = (\\mathrm{Fm}_{\\Sigma,s}(X))_{s\\in S}\\).'' This is inaccurate because \\(\\mathrm{Fm}_{\\Sigma}(X)\\) is not a set but an \\(S\\)-sorted set, i.e., \\(\\mathrm{Fm}_{\\Sigma}(X)\\) is an object of the category \\(\\mathbf{Set}^{S}\\), where \\(S\\) is the set of sorts. Afterwards, also on page 624, the author says: ``\\dots where \\(\\vdash_{\\mathcal{S}}\\subseteq \\mathrm{Sub}(\\mathrm{Fm}_{\\Sigma}(X))\\times \\mathrm{Fm}_{\\Sigma}(X)\\) satisfies\\dots''. This is incorrect because \\(\\mathrm{Sub}(\\mathrm{Fm}_{\\Sigma}(X))\\) is a set, the set of all \\(S\\)-sorted sets \\(Y\\) such that, for every \\(s\\in S\\), \\(Y_{s}\\subseteq \\mathrm{Fm}_{\\Sigma,s}(X)\\) and \\(\\mathrm{Fm}_{\\Sigma}(X)\\) is an \\(S\\)-sorted set. Instead, the author should have written \\(\\vdash_{\\mathcal{S}}\\subseteq \\mathrm{Sub}(\\mathrm{Fm}_{\\Sigma}(X))\\times \\coprod\\mathrm{Fm}_{\\Sigma}(X)\\) or, what is equivalent, \\(\\vdash_{\\mathcal{S}}\\subseteq \\mathrm{Sub}(\\coprod\\mathrm{Fm}_{\\Sigma}(X))\\times \\coprod\\mathrm{Fm}_{\\Sigma}(X)\\), since \\(\\mathrm{Sub}(\\coprod\\mathrm{Fm}_{\\Sigma}(X))\\) is isomorphic to \\(\\mathrm{Sub}(\\mathrm{Fm}_{\\Sigma}(X))\\). On page 625, the author says: ``\\(\\mathrm{SEN}_{\\Sigma}(X) = \\mathrm{Fm}_{\\Sigma}(X)\\)\\dots. This defines a functor \\(\\mathrm{SEN}_{\\Sigma}:\\mathbf{Sign}_{\\Sigma}\\rightarrow\\mathbf{Set}\\).'' This, once more, is inaccurate because \\(\\mathrm{Fm}_{\\Sigma}(X)\\) is an \\(S\\)-sorted set, but not a set. We point out that the definition of \\(\\mathrm{SEN}_{\\Sigma}\\) on the \\(S\\)-sorted set \\(X\\) should instead have been the following: \\(\\mathrm{SEN}_{\\Sigma}(X) = \\coprod\\mathrm{Fm}_{\\Sigma}(X)\\). Afterwards, also on page 625, the author says: ``A sentence functor \\(\\mathrm{SEN}:\\mathbf{Sig}\\rightarrow\\mathbf{Set}\\) is said to be multi-sorted if there exists a set \\(S\\) of sorts and set-valued functors \\(\\mathrm{SEN}_{s}:\\mathbf{Sig}\\rightarrow\\mathbf{Set}\\), \\(s\\in S\\), such that \\(\\mathrm{SEN} = \\prod_{s\\in S}\\mathrm{SEN}_{s}\\).'' If one adopts such a definition, then, regarding the institution \\(\\mathcal{I}_{\\mathcal{S}}\\), defined on page 625, the result would be that \\(\\mathrm{SEN}_{\\Sigma}(X) = \\prod_{s\\in S}\\mathrm{Fm}_{\\Sigma,s}(X)\\), but the intended result, really, is supposed to be or should be \\(\\mathrm{SEN} = \\coprod_{s\\in S}\\mathrm{Fm}_{\\Sigma,s}(X)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q456973$19505E55-1951-4CA8-8AB5-712F2ECA5524","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d7ab51923a124fdcd9c7db77595bf5b9a9d95bcc","datavalue":{"value":{"entity-type":"item","numeric-id":590975,"id":"Q590975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456973$3225E074-B217-43B7-AED1-C2EF16E8A650","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"475a2407c03078b469bb32ab23376730eacf71d9","datavalue":{"value":"03G27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456973$086BC8C1-339D-441C-9444-6D02449EC441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456973$4D2C62B8-E9FB-4866-9973-5011173DC73E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"334f8555c1dea211c45ed5a01b7fd511751ebf17","datavalue":{"value":"6348346","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456973$B80DE078-4011-4AF7-94EA-CD6BFA79EC38","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c121d0b4540e7ec170cfab417fe7f119976eb282","datavalue":{"value":"algebraic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q456973$5BC4DA83-0325-4F8F-B7CB-B67122C1FBEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a299e1d50614cff083b721b399b53f337556b379","datavalue":{"value":"multi-sorted behavioral logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q456973$1C1702ED-D945-4FD4-91FA-DF71B8920178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc76b466150c507a854840338caccaa1a54ba836","datavalue":{"value":"behavioral algebraizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q456973$158650DD-657B-42AA-84EE-286717D95135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51ae47694443022c14399490873dc598e6bd9173","datavalue":{"value":"behavioral Leibniz operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q456973$2971AD81-61DA-44A3-BEEC-E1BCBE064B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8dc62c1f7d450fa918461770f6bdfae66bc00c31","datavalue":{"value":"behavioral Leibniz hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q456973$86A29E63-320D-45BD-A42E-B321A4E89DCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57a601a21764e703740f0cdf38a869b172901a37","datavalue":{"value":"multi-sorted \\(\\pi\\)-institutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q456973$FF62170A-B11C-440E-A3C2-5029CD9FA63E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc17b2f63dc8f7ae70f86dd65a79983ae75a50f3","datavalue":{"value":"behavioral Leibniz congruence systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q456973$ABFC4D70-658B-4051-8CEA-00ADBA3A783D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78237fe4014ed19b3d07ff779719fe479699591f","datavalue":{"value":"behavioral categorical Leibniz hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q456973$EE0D5C3D-A872-4DBE-A941-70B9A8D30F5A","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":"Q456973$F86C2EE3-7A09-412E-A0B6-1C6932BF5EB4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"106b02f4717609c2873db4fe8a1048f9c259467d","datavalue":{"value":"https://doi.org/10.1007/s11225-014-9553-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q456973$C565E516-7F48-4524-83A4-91F77CE2EDE5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"43bb6e74459ac431a98a547ff00fd20ca0faaed0","datavalue":{"value":"W2093315530","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456973$CB1F9C53-1BC1-49AA-9AAD-2B4BC8005804","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"39f9c0bf71986d25dd5490779627a9987628f968","datavalue":{"value":{"entity-type":"item","numeric-id":1422448,"id":"Q1422448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456973$7808F0D7-25E9-45A3-8AC7-02CEDBB12BE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf8c0a1c5a6789fc1a00bbb6e6b2a299b295d2e5","datavalue":{"value":{"entity-type":"item","numeric-id":671500,"id":"Q671500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456973$64F766E9-B756-49C8-B127-83E208E1DDD1","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":"Q456973$A2D73F98-B35A-4912-9731-218308152425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25f38cc3486862f4f727ec2639f902b53015e009","datavalue":{"value":{"entity-type":"item","numeric-id":4029628,"id":"Q4029628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456973$231A2CC3-94F6-4AC9-A486-98CB65DEA428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6cc0d4b2efe14bf1485b3c0355902aa4ff6970c","datavalue":{"value":{"entity-type":"item","numeric-id":3591067,"id":"Q3591067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456973$C04BBB22-795A-4B0A-AAD9-53FEE9D71FC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bcdca43d49035cb40f0d40de1f626ebbde19924","datavalue":{"value":{"entity-type":"item","numeric-id":3647293,"id":"Q3647293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456973$59AB04C1-5989-40B1-B3BF-B798508E48E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8e9d1f08dd5fbc6a1d097aafe17aebf295be1a9","datavalue":{"value":{"entity-type":"item","numeric-id":1005974,"id":"Q1005974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456973$647026DE-1612-47F3-8C63-06B18ED8432B","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":"Q456973$1925D592-89E1-4718-A032-104F6A5DC107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"453997bdff02022bdf88baba9fa5f7d888ae9c36","datavalue":{"value":{"entity-type":"item","numeric-id":1167714,"id":"Q1167714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456973$439AE2B2-65A8-4192-B9F1-EA3560B82B54","rank":"normal"},{"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":"Q456973$B036A651-5382-40A5-81A9-D3C1F034DA4B","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":"Q456973$F1B1A93D-1D78-4D00-AB01-0F9A1DE3825F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf18edb37f2082a746fe6669bb13e001314c8a7b","datavalue":{"value":{"entity-type":"item","numeric-id":3824395,"id":"Q3824395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456973$0570C54A-7922-4642-AE25-04EFB78B3C38","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":"Q456973$AD2CC36B-925D-48DA-A9EC-0E3DB69D7B16","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":"Q456973$D8D75AF5-857E-46CE-B856-60CEA7C3D25D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8303d88cb8d1551549743d06f5ed6a371e2c04c4","datavalue":{"value":{"entity-type":"item","numeric-id":1189892,"id":"Q1189892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456973$FC2704E6-D3F2-47D6-AFC5-70E72A4070A6","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":"Q456973$7DD8E523-9025-47C6-8CF6-1D0393501768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"443ade8344e996017f9036639debfb0f18f67baf","datavalue":{"value":{"entity-type":"item","numeric-id":4302820,"id":"Q4302820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456973$3A45D4A6-71E1-49E4-911E-2DCA11EFCBB1","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":"Q456973$83C4F312-1F4B-420E-BB1B-A3CEA9C87E07","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":"Q456973$0676A665-6D58-45FC-BFE3-2CE364394DF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d6d550871515bc35916b0d2cdcbc71c8f12d390","datavalue":{"value":{"entity-type":"item","numeric-id":2373706,"id":"Q2373706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456973$BCE9618A-B9B7-4ED4-8611-2ABECF24157F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49cb799a1f747df87e077a4c94ea9020a7fd6f0c","datavalue":{"value":{"entity-type":"item","numeric-id":5430141,"id":"Q5430141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456973$74DC3E89-A7B9-4A31-87A7-132A6030FF90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dd76867e6232156b14ed3debfc96b2605d9c09e","datavalue":{"value":{"entity-type":"item","numeric-id":4725725,"id":"Q4725725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456973$2C91C914-2234-4A62-8773-A87807DDC61D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"911e39b672b7c3314e80f6532709af573124e955","datavalue":{"value":{"entity-type":"item","numeric-id":4222955,"id":"Q4222955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456973$AC189B35-BEDC-432D-9188-9586A9BB5256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ed154204c4189f26e1116a84a564afb18bad166","datavalue":{"value":{"entity-type":"item","numeric-id":4503915,"id":"Q4503915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456973$91669F8F-093E-4AEB-8882-45AA5DDA2740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81b93efcd132e3f3727bddf096356a5ee9544f72","datavalue":{"value":{"entity-type":"item","numeric-id":703529,"id":"Q703529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456973$6F9555B8-1718-463E-95CC-014CE22199F2","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":"Q456973$6C9CFADE-03BE-4D2C-BAFC-53CD70611EC5","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":"Q456973$A035B0D3-F9A2-4C3C-A896-12E65CA8BC5D","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":"Q456973$01BA2E16-4562-4D1C-A554-664189C2033E","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":"Q456973$1F675F27-E23B-48FC-A596-FE9B2990D93B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cc48bf956c5d48ddde72ce63014b1369ec0929f","datavalue":{"value":{"entity-type":"item","numeric-id":3629235,"id":"Q3629235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456973$BA27DA4E-44EB-4F35-97E8-2C55A1A93135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d56bd7a9550efb6cf75d9a929e3022e074401d3","datavalue":{"value":{"entity-type":"item","numeric-id":3632250,"id":"Q3632250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456973$1261DDB4-60DC-4299-899F-814795C4F8CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da734f54367fa918368130f9629f3ac213d46719","datavalue":{"value":{"entity-type":"item","numeric-id":5173792,"id":"Q5173792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456973$87E52E56-DEB1-45D3-A1E6-1573871ED4F2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"52f368ed527137489a7e1f56423dcf06fefa8f82","datavalue":{"value":"10.1007/S11225-014-9553-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456973$CF651C19-2E33-4B5F-B411-79C03389A7DF","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":"93ea2328f00f154412531f239937a9ffcb3408d5","datavalue":{"value":{"amount":"+0.9627582","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":"Q456973$3C5077B3-0F54-499C-A7C1-8121C968B68F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3ba31d85f4598eed02bb66d3a1bd5a5f3196278","datavalue":{"value":{"entity-type":"item","numeric-id":3632250,"id":"Q3632250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74f794c2f64672c7f782c3809f1ebaa900168d21","datavalue":{"value":{"amount":"+0.95365775","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":"Q456973$C1A24C4C-B43D-461E-A153-5E343EE70F4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6003e5aeb7741dff9fb0f4f5822884f1d25bc414","datavalue":{"value":{"entity-type":"item","numeric-id":5449284,"id":"Q5449284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5b2dbf0166d582f02fb61d9ebb93f58a1f5d5b9","datavalue":{"value":{"amount":"+0.95108443","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":"Q456973$26517FC0-420D-4367-8D44-3EADDD1AE58F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b191e6e55e8384d10d2ed3829fe7f2acd8ffc420","datavalue":{"value":{"entity-type":"item","numeric-id":5501724,"id":"Q5501724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f0271f11a6199f4890109ffc8edff792413fdb6","datavalue":{"value":{"amount":"+0.95040506","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":"Q456973$A9E49A62-FBDD-4049-A807-41227679D3C3","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":"0aa57c6f567407699a57b94382a5e6b0b0f95fb4","datavalue":{"value":{"amount":"+0.95021117","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":"Q456973$6E98A095-D719-43FB-A909-BA42C92BEBDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34b026a681a39ac78d5ac210f503c45b1fc71001","datavalue":{"value":{"entity-type":"item","numeric-id":2354626,"id":"Q2354626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"012ec8420d20ea35701ed5072adcf2e9c92760e6","datavalue":{"value":{"amount":"+0.94677067","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":"Q456973$6762DDD7-AF07-45EC-BC47-43FEDC51A480","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":"2185dc399414a1cc441f63eb9d98af639dfbcfc5","datavalue":{"value":{"amount":"+0.9444047","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":"Q456973$382E06C8-1390-455C-82E9-A80F747C771C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0677fbe02ff40e18c409a601e85fce55975f909","datavalue":{"value":{"entity-type":"item","numeric-id":4928968,"id":"Q4928968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f59620b666b4146a8b4976548ed55ed78c825589","datavalue":{"value":{"amount":"+0.9432038","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":"Q456973$C7F72B3F-BA7E-41A8-8A1C-0B76F0B9B437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6ca4243288449b02deeb00fa0f065afd7c670ff","datavalue":{"value":{"entity-type":"item","numeric-id":2971280,"id":"Q2971280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43318f3612bbcc9ffeecd7363a8ce02a74ab29a7","datavalue":{"value":{"amount":"+0.93915904","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":"Q456973$0B33097E-6700-4099-972F-F2CB8B71AC82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f79dfe1d6e9fdad81d600fa006ee0a650fce6f81","datavalue":{"value":{"entity-type":"item","numeric-id":5704806,"id":"Q5704806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a316f488ab84df494713061b3da22be7392c568","datavalue":{"value":{"amount":"+0.9344088","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":"Q456973$61E77A8D-292A-47E2-BCB6-64C72EAEF058","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Categorical abstract algebraic logic: behavioral \\(\\pi\\)-institutions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Categorical_abstract_algebraic_logic:_behavioral_%5C(%5Cpi%5C)-institutions"}}}}}