{"entities":{"Q4928968":{"pageid":6958550,"ns":120,"title":"Item:Q4928968","lastrevid":51746621,"modified":"2026-01-19T19:53:39Z","type":"item","id":"Q4928968","labels":{"en":{"language":"en","value":"Categorical astract algebraic logic: algebraic semantics for \\(\\pi\\)-institutions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6177015"}},"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":"Q4928968$21EEFFD8-AD1D-4BBD-9CD4-AEA6049192AC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6ebfc65bf4d3923bd7ace0ebe03673686abbc70f","datavalue":{"value":{"text":"Categorical Abstract Algebraic Logic: Algebraic Semantics for (\\documentclass{article}\\usepackage{amssymb}\\begin{document}\\pagestyle{empty}$\\bf{\\pi }$\\end{document})\u2010Institutions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4928968$89689C37-13EE-4214-8AD9-6540C1962C98","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8af5674053784bc756984fdb2e2db470fda221b4","datavalue":{"value":"1268.03085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928968$31215385-8CC1-4FFA-9069-70BAEDA08242","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":"Q4928968$7C211FED-2A22-4EB3-A886-10D8CB2C50D2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928968$A46F0A98-62C1-4D99-9AF9-6BE8470389BB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d12d61e523c4a820e95c234c4d2cb80ff1b70bce","datavalue":{"value":{"time":"+2013-06-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4928968$69C09D6A-C600-49F0-84D8-582DB5BE4666","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928968$5B796395-DE81-4194-9EDB-0F473EAF01A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"475a2407c03078b469bb32ab23376730eacf71d9","datavalue":{"value":"03G27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928968$86782757-A1BF-4CD5-9390-EA5177115ACB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c60fd41f3c57eebcec10bd603a122fcd027b5ad5","datavalue":{"value":"6177015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928968$1651A5FE-9621-4545-8986-7D2E1B257A9A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0d152e6a9af6c905fdfdb33f1c35fcddd9b7faa","datavalue":{"value":"deductive system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4928968$882D9461-E2E5-45DE-89FF-85E6A3BA4CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"744fd5f6b592344bd2a87ac1816bb7847861172e","datavalue":{"value":"equational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4928968$FBEA21D2-38D5-4974-BA34-80FD5472F55C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ebeb23c62c94fea27126b416e04594b40c537ac","datavalue":{"value":"matrix semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4928968$A7573DEC-2F68-427B-AC0E-0FFFF35D3208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abec281b5f1d997842b0ce9e98282ccd39bc96d3","datavalue":{"value":"algebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4928968$D9F2D17D-1183-4EBE-92AE-9B7062E4E655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90b85cd9e5dd5417c95f4321d076f971fc4d2367","datavalue":{"value":"translations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4928968$1E8E78D3-0571-4488-8389-E85FFC852835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36a2565fb360bfa8bcdef3362f652ada1d64910b","datavalue":{"value":"interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4928968$8E217F7C-D26C-4044-AE37-9914908CF985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"295903d79452f01ce7b3610f9a809a775e98df38","datavalue":{"value":"\\(\\pi\\)-institution models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4928968$0ABB8A63-8289-4143-8E70-60B866E9BDCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4369c902205579a7db62e77251b0df5cf2388b0e","datavalue":{"value":"protoalgebraic \\(\\pi\\)-institutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4928968$F70436AE-D6CA-4984-B204-16ABE5EBF4AB","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":"Q4928968$A028ED15-1D3A-4F65-A77F-DE89C9286DED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a6377f69aa573bc3ec724133299e95eaf8fd4346","datavalue":{"value":"https://doi.org/10.1002/malq.200920103","type":"string"},"datatype":"url"},"type":"statement","id":"Q4928968$85806643-2E33-4742-9B2F-85CA61EDFCA3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f5695d170db802740d9be0ffac39996f2bb9546f","datavalue":{"value":"W1982879916","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928968$8F0CE146-DE4E-45CE-A25A-A8631ACFEA50","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b9e752479f9d6af9a2b7798bd562a80c7831557","datavalue":{"value":{"entity-type":"item","numeric-id":1422450,"id":"Q1422450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928968$4AEA0C59-D291-4820-AB5B-ABF902EC6349","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":"Q4928968$7BFC5256-5476-4759-A573-FC6965410FC9","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":"Q4928968$996BD856-43CD-4EA0-A1D6-42B236366275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13546a7b6288319575d58db223cc84c77f5fa9d9","datavalue":{"value":{"entity-type":"item","numeric-id":5441554,"id":"Q5441554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928968$5D455591-0731-4469-95EA-18EB446089A0","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":"Q4928968$FFFEF561-8434-48AE-A322-62B517017038","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":"Q4928968$32D324A1-D013-479E-BAC7-30900F354F18","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":"Q4928968$AE6EB202-AF5A-49F3-A462-BD8AD50DB67D","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":"Q4928968$7038EF18-16AC-4D2F-AF4A-D4D9C7F84D5A","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":"Q4928968$AB895806-45D6-4CED-AC47-C7B3DD5E32BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f75a7a0b6728698a16bb8c0e28bb935ac18da0e","datavalue":{"value":{"entity-type":"item","numeric-id":3508161,"id":"Q3508161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928968$F7A1E6DE-18FF-4B65-8A41-A78AD9EF9542","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":"Q4928968$E104C6D7-E1D6-467F-8292-D6E551623FE9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a3d0f5d1690552246269adc9512569bb7ab1adef","datavalue":{"value":"10.1002/MALQ.200920103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928968$14AE4068-0A6B-4C50-8207-498E9F2ACAEB","rank":"normal"}],"P1643":[{"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":"44180ea07eab1e8290c6f52d87fb5012d9eab4b2","datavalue":{"value":{"amount":"+0.8829110860824585","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":"Q4928968$10891646-6409-44BD-8247-88D981E2A5E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f1628fc7a8810a364c94ec502efad1d5f985090","datavalue":{"value":{"entity-type":"item","numeric-id":3508161,"id":"Q3508161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1db8eaae305567e11ed7523f9e3ba4998bbf0a66","datavalue":{"value":{"amount":"+0.880734384059906","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":"Q4928968$0ADCD4EA-171A-4814-8DE7-B1F451627018","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":"2f04f8991d1bce3d0e87ff7d5646fa18b64f3ad3","datavalue":{"value":{"amount":"+0.877762496471405","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":"Q4928968$B5A5A03C-3C2A-4475-8963-27F08EA92DC8","rank":"normal"},{"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":"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":"Q4928968$475FDF39-A46C-407E-AD4D-8FA7E6C185E8","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":"4caadde5ea69260031167180b643f2ca9e113ea4","datavalue":{"value":{"amount":"+0.8753010630607605","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":"Q4928968$D0BE1112-B68C-4C6E-B654-0AB655EDF060","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4928968","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4928968"}}}}}