{"entities":{"Q1422453":{"pageid":1433193,"ns":120,"title":"Item:Q1422453","lastrevid":68665902,"modified":"2026-04-13T01:17:52Z","type":"item","id":"Q1422453","labels":{"en":{"language":"en","value":"Categorical abstract algebraic logic: Equivalent institutions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2042715"}},"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":"Q1422453$F037F88E-6318-49F9-82C5-A4F3CF9B717A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c3b7ce29878b951b999f8ffdbfcb61e3f4f85345","datavalue":{"value":{"text":"Categorical abstract algebraic logic: Equivalent institutions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1422453$FF48B815-AFC5-4666-A1A1-79EF64CE1D87","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"12d996b0a86331f4771d1b8965c5a00edb19ead9","datavalue":{"value":"1043.03049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1422453$7BDA84F5-9338-448C-A0D0-8B60AEF65238","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3b8d8ed6c8a584160c1317bfdad498972e3ba656","datavalue":{"value":"10.1023/A:1024682108396","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1422453$60646AF2-4D00-47BD-BED2-4DCFC594F6FC","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":"Q1422453$87641210-9A1D-4A0F-A53B-ADC23EABA708","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":"Q1422453$AF417A2B-7AC3-4AD3-8699-B1C6D33F3CB3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09443cfab6fd5785ecda7e07fe946f107bfd3fa8","datavalue":{"value":{"time":"+2004-02-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1422453$E42A93C9-F779-4D00-9CEF-494180703CFB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1422453$FE204DA0-69B0-4E5B-956D-1AFCD95366AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ca2d62fd1b3585a573394b41937b0c06698f2181","datavalue":{"value":"2042715","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1422453$67B19F11-D1F5-4E38-8E92-EFA56B8D5582","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c121d0b4540e7ec170cfab417fe7f119976eb282","datavalue":{"value":"algebraic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1422453$A2AE30D1-C2DE-48CE-8611-9F6C793A1397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49430a8799e2ec0c8d08709920b845b0aea0f9f9","datavalue":{"value":"equivalent deductive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1422453$D18BB5D4-EC47-4BB9-9513-79714B658069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"532d03e0174c87fb5bb2c8302b01f040866d4f2c","datavalue":{"value":"algebraizable deductive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1422453$34B2DF8D-4671-4DE8-B18F-2F7FF9FFD562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2b4e6eb73b5958980e371fa19dd5ed515db82af","datavalue":{"value":"institutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1422453$6F51691D-F1A8-4748-9537-9AFE1ABD0B56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0380003332b6898d6bb97599c427c6190fc37778","datavalue":{"value":"equivalent categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1422453$589D12D1-9043-4B82-A1D6-48DCFC4F6543","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":"Q1422453$E1BE11C4-3BEB-4447-9B95-C5E1680894AA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3713a8315db0623dafa7d4d89de2e03fa859d0d","datavalue":{"value":{"entity-type":"item","numeric-id":4419263,"id":"Q4419263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfc361f1700e78e701e421a94035fe1b586966b0","datavalue":{"value":{"amount":"+0.9037939310073853","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":"Q1422453$F9F4A738-5D6B-4866-AC42-3F0B1CF9BC57","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":"cd91a8d2cb0e7db81da147b89722efa6ebc34825","datavalue":{"value":{"amount":"+0.8991679549217224","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":"Q1422453$2CA7E898-9D35-420E-B7F3-1183EDC3748E","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":"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":"Q1422453$62E2FADC-EC8A-43FB-9326-B31F9734E990","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":"33022104a3b87c7eead38673a9af8df829f153be","datavalue":{"value":{"amount":"+0.8817766308784485","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":"Q1422453$E61F1CB7-CE9A-4855-8DF7-515D09495FD4","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":"d176764ad5cb50948736a850806b86335e395177","datavalue":{"value":{"amount":"+0.8757645487785339","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":"Q1422453$3B0AE58D-0B5D-4DDA-8A4F-4B8CA31C1650","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Categorical abstract algebraic logic: Equivalent institutions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Categorical_abstract_algebraic_logic:_Equivalent_institutions"}}}}}