{"entities":{"Q1603816":{"pageid":1614556,"ns":120,"title":"Item:Q1603816","lastrevid":74124885,"modified":"2026-04-14T18:30:31Z","type":"item","id":"Q1603816","labels":{"en":{"language":"en","value":"On institutions for modular coalgebraic specifications."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1768003"}},"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":"Q1603816$F784526B-5323-4401-A6D3-4B7404D18033","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"799500d6837b203208368ee263b3820356a82403","datavalue":{"value":{"text":"On institutions for modular coalgebraic specifications.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1603816$C9CABC06-4B1E-4DD4-BEF7-2096B1FBBC44","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b6f694c5339d6929a5e28254fd711c7e4ebcbf13","datavalue":{"value":"1052.68089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1603816$25587275-7B56-43AF-ACA0-A4E9ECCD2AFB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f7013fdb6304644338c0a15972319576482b0d0b","datavalue":{"value":"10.1016/S0304-3975(01)00021-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1603816$E1095BCF-E0F8-445B-BFB2-859305FF5C19","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"44696c2da567d5c10dc123545d1a33a0cf32a455","datavalue":{"value":{"entity-type":"item","numeric-id":299181,"id":"Q299181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603816$8BFEFE5B-7648-499B-9714-B2D652E7C42C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"82d7e2ad3382677d83b89ec58edf18af8299f3c0","datavalue":{"value":{"entity-type":"item","numeric-id":549176,"id":"Q549176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603816$D2608976-BC9D-41C9-A5F2-B7ADC339E7D0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603816$FFF4E22C-42C4-4508-B3DB-6828271CE359","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb77668c0bac74ac5ea553fa2146ed5e736444f1","datavalue":{"value":{"time":"+2002-07-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":"Q1603816$04B4B1B1-A4A1-449C-B474-F01E65764452","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1603816$3AF0C79C-45D3-4249-9587-3628ABB335E8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8c1e1b0a7859b9d8b4fc2ba5f2e419a8eb304216","datavalue":{"value":"1768003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1603816$F2057176-EB8A-42B3-843D-12ED00E54FB2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bce81e641acf3041cc5fd1854ccca978d4493521","datavalue":{"value":"Coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1603816$BCF3C39F-08B5-4200-AFA5-1CFF4F2A1B18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d2343a5a8ef11df42c57193030af17e94e3f8b7","datavalue":{"value":"Specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1603816$0A1139BB-56D2-4E67-B14F-09EDD592E585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3277469c7c498819a79e3c4e312ed5f028124c86","datavalue":{"value":"Observability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1603816$67DBA6D2-B7FA-4059-96AA-852ABFBD3451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d2b1e9aa2bf61a4ad22841685d6029ee0d6f140","datavalue":{"value":"Modularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1603816$2882ABEA-2EA6-49A2-9E6B-10C41E442A0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3fdcf5a8aae5fe13d6b30550b0501b58c5ef4627","datavalue":{"value":"Institution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1603816$D32D6345-0D94-466E-A8B8-650FE601F9B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"726e8ea70f5db1fda52ba2d8f6e50559b51c5b3d","datavalue":{"value":"Observational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1603816$9BE6520A-4DD2-4F15-8B99-A5B532610F03","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":"Q1603816$9708C827-79E6-4026-985F-089135199100","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2befafb112dac54ca90221f0b09473209ec97fa2","datavalue":{"value":{"entity-type":"item","numeric-id":4537506,"id":"Q4537506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603816$22466270-0874-4A34-AE3E-002E4A91B418","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":"Q1603816$6B8AA2C5-5C00-4D62-B3B8-194E51F4119C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14bd513c7c8b6510483a52190c8c99b422eefe9a","datavalue":{"value":{"entity-type":"item","numeric-id":1916354,"id":"Q1916354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603816$A0953FDA-ECDA-4C6F-86A4-5DE1124D4ABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5065627c549136445d434d7d65a23fe61f4d77a8","datavalue":{"value":{"entity-type":"item","numeric-id":4856547,"id":"Q4856547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603816$05A59814-614B-4737-A986-B5AFE44D6D29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"739a9b85745008e035cfb65893163f6b27196a17","datavalue":{"value":{"entity-type":"item","numeric-id":3839053,"id":"Q3839053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603816$10CA3238-0BFE-421D-B7AA-1898C38FD907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2e46a0c8a740096c81c05668ade92d8a494d988","datavalue":{"value":{"entity-type":"item","numeric-id":3839054,"id":"Q3839054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603816$6111E637-0D58-488D-9173-9669C4F68483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12e46aebc04c4ba0e79011f44184decc8d5c2923","datavalue":{"value":{"entity-type":"item","numeric-id":4520814,"id":"Q4520814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603816$058CE9DE-59E5-42C1-A5BA-F1DEFC1C8473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c0b8cbc0550b2f8905e471ff15c76bfd64ad0a0","datavalue":{"value":{"entity-type":"item","numeric-id":1575735,"id":"Q1575735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603816$746EB868-B538-4243-8542-8B5E2A879EB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c193344f5be24b97098d8119c6f33c5fc705f37","datavalue":{"value":{"entity-type":"item","numeric-id":4493908,"id":"Q4493908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603816$9385F279-8452-4ED4-80EA-0B90B16F1D03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22906ff63b14d1b8df732c3438ee1a8a421ecaab","datavalue":{"value":{"entity-type":"item","numeric-id":5950751,"id":"Q5950751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603816$9011D6FA-08FB-44A5-914C-594A03F05C86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3efc8113f0e87f554f42d06a30f2756a27c96675","datavalue":{"value":{"entity-type":"item","numeric-id":2369030,"id":"Q2369030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603816$F6EC7016-3291-40F5-A56E-39E053EE5485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ab49be008cce20e9a3355d86cadd707817279d0","datavalue":{"value":{"entity-type":"item","numeric-id":5096389,"id":"Q5096389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603816$28C38916-0A1C-4288-BBC0-0DE0442733E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0201cc6bcf0bea718c2cd517493f15cdc5a65520","datavalue":{"value":{"entity-type":"item","numeric-id":4405697,"id":"Q4405697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603816$0CE532D8-E949-4234-8AAD-04D46BBF3BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17794c4bc319199b07780fe8daa9724755f28e9","datavalue":{"value":{"entity-type":"item","numeric-id":4355684,"id":"Q4355684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603816$83F2346C-DFF1-4D05-8BFE-737AD59952C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d1739c2b55475dfd43cc45c16cc81ebdb6214ea","datavalue":{"value":{"entity-type":"item","numeric-id":2547549,"id":"Q2547549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603816$7CCF3BEB-60D2-47F9-8C6B-D5D8ACE295D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aac18a0f2a80a0259bc88c065a25315b162988fc","datavalue":{"value":{"entity-type":"item","numeric-id":4329244,"id":"Q4329244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603816$DCB138DB-FE47-4FA1-B7C5-6497929DB73B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b1ed237b91f52f33e31470299fe61c5bb606877","datavalue":{"value":{"entity-type":"item","numeric-id":4533390,"id":"Q4533390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603816$428EB0E9-7C77-4CED-8F1C-5C3BE83D45FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f731e63f751eda97d9f9a0b426ed48152b6bb5db","datavalue":{"value":{"entity-type":"item","numeric-id":4222950,"id":"Q4222950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603816$A8AAFE93-DEB8-4F9D-B53A-818F0EF095A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef79881834a6f3c8be79a03e0995c58a06a711d7","datavalue":{"value":{"entity-type":"item","numeric-id":4499307,"id":"Q4499307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603816$1B98B340-87E3-4755-B325-E99679B42EA4","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":"Q1603816$C4AFA16B-4C4F-4193-8A19-7D21F77E7611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91a0643d71d7244d1061eef4fd50591d26775ca9","datavalue":{"value":{"entity-type":"item","numeric-id":3950708,"id":"Q3950708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603816$85630881-A903-49C3-A1F8-34265707E3A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6154624416d56c5ff407c98b19ed95429167895","datavalue":{"value":{"entity-type":"item","numeric-id":1295427,"id":"Q1295427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603816$04455715-B833-4166-B99D-75F8DB0EB932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ba41f8ecd77f0632e922eba4a8dc824d5b88c3b","datavalue":{"value":{"entity-type":"item","numeric-id":3773301,"id":"Q3773301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603816$C1862E17-9326-45EB-9A9E-86D1FB8D45BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bbfbc9d107d10f469b35a5fc043708881c82d23","datavalue":{"value":{"entity-type":"item","numeric-id":4856658,"id":"Q4856658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603816$54B0F1F9-B3E0-44CE-A44C-A3C9AF25ACFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79f2d776dbf781b1b6074a3e3f67d86e9087341c","datavalue":{"value":{"entity-type":"item","numeric-id":4499303,"id":"Q4499303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603816$C7F39849-8DD2-4471-9528-1382DCE27DA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603816$3C73FF80-04E8-43AF-BDD3-3CFB23FFA86D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c39b5f9dcd79584b6fdafec6c298e260be4aeaae","datavalue":{"value":{"entity-type":"item","numeric-id":1108775,"id":"Q1108775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603816$140C60B3-ED26-461C-982C-16AA242AD938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"200b8bd71b5c0716508851bc85fdbeec94d0a27c","datavalue":{"value":{"entity-type":"item","numeric-id":4702594,"id":"Q4702594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603816$AF633DD5-7A09-4365-A1C7-B6732EFAEAFC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"790888770dac0924a9606376c8d3b867d39e605b","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(01)00021-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1603816$6E7D157E-7E21-4276-BE00-EB9EC0B1082C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"32c2738ac94a78bf96fb44c416b227516a606bba","datavalue":{"value":"W2026523750","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1603816$C43DDB6C-FE91-4370-9694-D38001454214","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0adab7f549be4bbf34758b07c196a7d79b5db71","datavalue":{"value":{"entity-type":"item","numeric-id":4256317,"id":"Q4256317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"126da984ce2023af5f799ec9d9f78417791172b3","datavalue":{"value":{"amount":"+0.8768938779830933","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":"Q1603816$21FB7FA8-59B1-4789-B84D-0890B11882CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ca7aaeed9eb9e2ea2083a4a9929f17464bd9685","datavalue":{"value":{"entity-type":"item","numeric-id":4499311,"id":"Q4499311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5f33d0a60dffad96b2c199401f64092a10b3ddf","datavalue":{"value":{"amount":"+0.8144651055335999","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":"Q1603816$F75C515C-FC3F-4783-8A96-533702852BF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92112b9802e2da991cb3355bfbe80636b23bfc17","datavalue":{"value":{"entity-type":"item","numeric-id":1603815,"id":"Q1603815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a59d45411c94202df06ef472d5fc88a289612ecd","datavalue":{"value":{"amount":"+0.8122801780700684","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":"Q1603816$3912D437-8932-4EB3-8BDD-CCA3166DA709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e86a084303b7579c13304d8499b8935a3941f449","datavalue":{"value":{"entity-type":"item","numeric-id":4738219,"id":"Q4738219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9234483fbd6752c9215eea8eb352b3fa9117bdb","datavalue":{"value":{"amount":"+0.8112513422966003","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":"Q1603816$A911EE6A-3C5D-480C-8453-0988E8B0B357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae0700bb15f8ffc5894a386dc090f8018629bff2","datavalue":{"value":{"entity-type":"item","numeric-id":2863891,"id":"Q2863891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e669c85fc9f0660fc921efa033d4eead90b3201d","datavalue":{"value":{"amount":"+0.8063470125198364","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":"Q1603816$1D625BB0-A443-4F98-8EB2-345435B54DE2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On institutions for modular coalgebraic specifications.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_institutions_for_modular_coalgebraic_specifications."}}}}}