{"entities":{"Q817965":{"pageid":819813,"ns":120,"title":"Item:Q817965","lastrevid":64567605,"modified":"2026-04-11T20:46:06Z","type":"item","id":"Q817965","labels":{"en":{"language":"en","value":"Categorical abstract algebraic logic: models of \\(\\pi\\)-institutions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5014660"}},"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":"Q817965$8244F769-4052-44BC-9D94-8C1A652B14F8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"928e3d8a85f79cfdc6f1c2e391fa70afdaa22aae","datavalue":{"value":{"text":"Categorical abstract algebraic logic: models of \\(\\pi\\)-institutions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q817965$FA98711D-EF41-4818-979B-4398B26AE667","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"203d7f24d49671d4f4bb74da6eefef9cb327d1a8","datavalue":{"value":"1089.03058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817965$E1ED8272-C970-4633-A75E-A10CA2BB4A7C","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":"Q817965$BCE312C1-BBEA-430B-8A9E-16143B85D6F9","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":"Q817965$43BAFFDD-0BC8-4FAC-A17F-644FD525C85B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"786c24ead4bfc4d4b1ef44b338d65b3c3963c6f8","datavalue":{"value":{"time":"+2006-03-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q817965$36305B3F-46C1-4F71-A582-7FF13CF2C424","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ba8cc87a03fa7ed4b78769616632b622d0bb4466","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/sentential logic (as developed by Blok, Pigozzi, Font, Jansana, etc.) to the level of \\(\\pi\\)-institutions. It presents abstractions of some of the model-theoretic aspects and results from the level of sentential logics to the level of \\(\\pi\\)-institutions.","type":"string"},"datatype":"string"},"type":"statement","id":"Q817965$AB82F1D0-0203-4D91-95F4-243017980CF3","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":"Q817965$D3B74416-949F-40D4-8287-31C8EBC49E17","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817965$A0BEE837-8EEE-4FAA-B0C2-E3A3DFED460A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817965$920FFB2F-69CE-4815-B9C0-7A4E387420EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817965$C4492B31-8EE3-428F-9F89-ED105FB793F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817965$DAFE1637-DFAC-41C3-8398-E69DABC62B2D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0af41cf326e3f635e61eed79c75cf4de10c21567","datavalue":{"value":"5014660","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817965$4B1A72E8-A15E-48B3-95A0-4C38075653E4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b526b9548ea1d63a42ee3ff08153b70694378ce","datavalue":{"value":"\\(\\pi\\)-institutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q817965$442F44E1-79C0-40B2-8059-9CC3F8CF567E","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":"Q817965$FE1656F0-E6FD-42F8-A436-F129160F51DF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9eda61ae548321d506da2376f851164c71497389","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1134397662","type":"string"},"datatype":"url"},"type":"statement","id":"Q817965$6E282D79-2C3B-48C1-8B16-CD1F5AC52197","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"76b1679b5c4a10e4bb59911cbf3817f3f3241841","datavalue":{"value":"W1971410956","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817965$71301FD3-87C1-4A31-986D-6EF06C7BB79A","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":"Q817965$3FE9C419-6A1E-49C3-8CE9-C4692D53FF1A","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":"Q817965$0CC3E1A3-1F98-4E71-A33A-FCEADAA41CDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ba26e21967cff67d33fc2dc6b5aab99b8103a58","datavalue":{"value":{"entity-type":"item","numeric-id":4304740,"id":"Q4304740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817965$953DF883-8B20-4F54-8A81-20EDB00B188B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9ea6bceb7438f91c141dbd98a2ad103e44ba224","datavalue":{"value":{"entity-type":"item","numeric-id":1391728,"id":"Q1391728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817965$6D241FD1-FF56-4C57-ADA5-AE328024CEF0","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":"Q817965$44F7FE70-5486-4AC0-9D37-6D143524D6FC","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":"Q817965$0350A376-F30E-4C0E-BC97-6FA1CFCA4BF5","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":"Q817965$28F6BAB8-01B0-4EB4-B63F-4D2D06FAC740","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":"Q817965$E6890215-AE68-44A5-A24A-C00207BAC402","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":"Q817965$94D5AE1E-9189-445E-89FF-A43BA6F2C6A8","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":"Q817965$C84447AF-58B8-422D-B56C-5C24F6FE3971","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":"Q817965$DF0A5EF5-5F6C-4ED2-8C1E-ED97CEA8EE70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b293ae9b2f27e3d3eb442629a606172136571336","datavalue":{"value":{"entity-type":"item","numeric-id":699929,"id":"Q699929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817965$AFDF7788-029C-4C23-91AF-7437FD18E327","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":"Q817965$990FBC8B-49EA-408C-8A21-9E9A00DB01A7","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":"Q817965$E35AD0E1-52E8-4775-AEE3-18DC2205649D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bcc9dcc67c492ac1af544ae68c2a206e0610bfb","datavalue":{"value":{"entity-type":"item","numeric-id":368473,"id":"Q368473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817965$708C8295-47D9-44BB-9095-5CB241E44207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2ccee8121b26c6646dc76eae75110da95ae9860","datavalue":{"value":{"entity-type":"item","numeric-id":4659579,"id":"Q4659579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817965$91A2C79B-5395-48F6-92BC-A845F0C07F2F","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":"Q817965$189675E8-AABA-41EF-B5FB-6A44133BDD2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b31e4d0c15cea2f63278ea66980cb0dd98d0f9a2","datavalue":{"value":{"entity-type":"item","numeric-id":1422453,"id":"Q1422453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817965$69DCC741-3C94-4FCE-AEBD-676979D4D1D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33848249a408d07d38b4313a5d183ba59dfbd4d1","datavalue":{"value":{"entity-type":"item","numeric-id":4824887,"id":"Q4824887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817965$78A3DEDD-85B9-474B-A1DE-6DF5C5D0C41A","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":"Q817965$37BEC0FB-4D66-4A95-BCE4-E534FCB8F9E6","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":"Q817965$AD33D3B1-ED3F-4FEB-8CB9-88DF465EEDBA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b0fd9da0f68ce638a432504b6ea6915562ba9801","datavalue":{"value":"10.1305/NDJFL/1134397662","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817965$1DC667A5-A8FD-4329-9BA4-80C97F96D273","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3108b52140ab9b4f21b6322dde9edb857b99dd86","datavalue":{"value":{"entity-type":"item","numeric-id":2372683,"id":"Q2372683"},"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":"Q817965$8A85FE29-9EA3-46A3-93BF-3CB567D5CE95","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":"7ea08755dee49f97c7e14ca5c83111c67bd5df87","datavalue":{"value":{"amount":"+0.9205105304718018","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":"Q817965$E6E1A73C-CBF6-4CCC-9AA8-F232F639E42B","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":"a73512c2e3d63c3ecba2416509b3e7adb357c2b3","datavalue":{"value":{"amount":"+0.8816019296646118","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":"Q817965$1A7D9C85-2EC5-4814-AC0D-8209F4E7B827","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":"a3f93a749530f4cc978d78dfb7318898ac575975","datavalue":{"value":{"amount":"+0.8769673109054565","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":"Q817965$9F7FD15E-F254-4DC6-A039-5BBC90252C51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"842dce29853d9e4d68e7ca71988b1fb60d417390","datavalue":{"value":{"entity-type":"item","numeric-id":1422453,"id":"Q1422453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b48a75e80e114f33cfbe35438f3b05536da17242","datavalue":{"value":{"amount":"+0.8732037544250488","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":"Q817965$1A6376F0-97A5-4A84-8CD5-9E7E9EC2D941","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Categorical abstract algebraic logic: models of \\(\\pi\\)-institutions","badges":[]}}}}}