{"entities":{"Q1603411":{"pageid":1614151,"ns":120,"title":"Item:Q1603411","lastrevid":70954128,"modified":"2026-04-13T18:28:32Z","type":"item","id":"Q1603411","labels":{"en":{"language":"en","value":"On local modularity variants and \\(\\Pi\\)-institutions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1767243"}},"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":"Q1603411$49C5DC42-A3D7-4E70-B6F6-3585C3DF383E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"66c987f93f3a1d39955df369832ccda197341c33","datavalue":{"value":{"text":"On local modularity variants and \\(\\Pi\\)-institutions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1603411$05A116D7-9C40-414F-817C-0D53A02D07FF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a8b42af69e64972c8482a594533445324c49eb34","datavalue":{"value":"0996.68113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1603411$BB6D69E6-24A6-4C2C-A011-8BC303CAB859","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9f28f4f1d792f50e43e8e1509da0317d7175cbc1","datavalue":{"value":"10.1016/S0020-0190(00)00160-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1603411$4B19B630-B547-4A6B-924E-B4908F9167B1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603411$101E356D-38B0-4C39-BC3F-5A055F6C7DE3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f0325700ca3bc3f7d102c264ab8870dda2d06b4b","datavalue":{"value":{"time":"+2002-07-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1603411$816454E5-DBD7-4879-B1F4-93464CAC96E7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1603411$21628042-FBE5-4074-BF63-BF7CB029525D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"de3baa538ad8a25e17db7e392d9d84189a528025","datavalue":{"value":"1767243","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1603411$E5209A50-CD32-4982-B8AC-067C5E22D4EA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7ac263324871a44dcbba67d80bbe91e299cc16","datavalue":{"value":"formal specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q1603411$073B7FE8-3959-4157-A236-B6EF23FFCCD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e26d42d8650e086e951e955a4dacfe9ac2642a0b","datavalue":{"value":"data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1603411$38771514-E8AC-4E86-8B02-3D25B8A61608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36a2565fb360bfa8bcdef3362f652ada1d64910b","datavalue":{"value":"interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1603411$60176668-13E2-4BC8-8A12-43CC646AA7BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47e02ac2fdcfcae6ede1dce8b210f5ee684c4dc9","datavalue":{"value":"institution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1603411$F31816C9-9FA8-4261-9E09-B20825D9CE4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de7b85c4a93615f621aeed7bf65aeaf693dbddf4","datavalue":{"value":"modularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1603411$63532ACF-41B6-4757-8A95-67D80C8412A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae8986e3a0328e3f7cfc01f27245602438d69159","datavalue":{"value":"families of specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q1603411$A164D6D6-EA5C-46A6-98F4-9596663D91A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb49467b0eaac11205bea2d762375c665f5d0a6b","datavalue":{"value":"software engineering","type":"string"},"datatype":"string"},"type":"statement","id":"Q1603411$D928EA70-5612-49EA-B362-F76CCCF28367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"100336e59ffe810f6eb92fc3a35315a7e797f99a","datavalue":{"value":"specification languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1603411$BDAEF5B0-31DE-4DF4-9774-6E131AD60762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1a02b4e020864e91f8b46070c7c982fa2878da3","datavalue":{"value":"theory of computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1603411$F60C98FB-51A2-4B60-906D-6CD893A4FC8E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"51beb2a92bc32d80e5ddef4ffe8bea1acd44a330","datavalue":{"value":{"entity-type":"item","numeric-id":281161,"id":"Q281161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603411$A051AA3E-1ECE-4BB5-8A82-FF891032731D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b28f368ceba13f379acac343070a56af24adeb81","datavalue":{"value":{"entity-type":"item","numeric-id":281162,"id":"Q281162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603411$A2BA61EE-CA32-46DB-844A-F3804AF90DB7","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":"Q1603411$87E8FE68-0376-4FBB-9475-38D334EC0EB4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"13135fa50c92369f5593c5c60b5fb964b14c4c04","datavalue":{"value":{"entity-type":"item","numeric-id":3474270,"id":"Q3474270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603411$662F3C72-433D-4AC7-94F9-2B34A8257D05","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":"Q1603411$69C518CD-336D-4127-8ED0-81EC0081AD1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25599f477c60783ae3e69fe9f32ff9adc90d9a99","datavalue":{"value":{"entity-type":"item","numeric-id":3709888,"id":"Q3709888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603411$3AC70B3D-FD92-49DE-AEC6-C75043DFE0C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc0c53b37a566572d86f01f7ce274b955eda8d24","datavalue":{"value":{"entity-type":"item","numeric-id":3032225,"id":"Q3032225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603411$A4138D47-EB51-441D-8B61-401203DC8984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f40bcaa8d311e4db512eab174f3dec9cd00f54c","datavalue":{"value":{"entity-type":"item","numeric-id":5537599,"id":"Q5537599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603411$3037993B-9EDE-4A48-9946-28636B523D83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6ded35fa4006f2f111406d3f785af5860f3b8d2","datavalue":{"value":{"entity-type":"item","numeric-id":3776610,"id":"Q3776610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603411$6E7B779F-FE89-4DA9-8F6C-97C74CC58909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"483a9f7cf9831d70fffb32aba8273953d1fba5ef","datavalue":{"value":{"entity-type":"item","numeric-id":4291868,"id":"Q4291868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603411$B4D464D9-D29D-4832-90F5-C225612A9C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"376a5546b47237d55484d74d691533b898a85431","datavalue":{"value":{"entity-type":"item","numeric-id":1350924,"id":"Q1350924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603411$DBBB552A-2C0F-4A0C-AE91-9CC2A2050B9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10f2df5c1022b51fb47babd7a237213572945577","datavalue":{"value":{"entity-type":"item","numeric-id":674000,"id":"Q674000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603411$98D04A48-98F4-42AE-A945-6D77D2F378C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4c7c586fbe3d1f4bbc77b6e2e675844ece4d73c","datavalue":{"value":{"entity-type":"item","numeric-id":3343424,"id":"Q3343424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1603411$0F19A43F-9065-4736-9933-0E3C43C71ECF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"355bbf6280f3a46b3def98f58e110b6fb198177f","datavalue":{"value":"https://doi.org/10.1016/s0020-0190(00)00160-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1603411$58434613-207B-4CD3-96B4-713A4491A949","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"463d4979efbeb650f68bfe4e2474c12a9ed07d0c","datavalue":{"value":"W2044781466","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1603411$08BE028F-3ABB-415C-97CF-14446FF6230D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a671f402a0d73a9696932adda32498e5824b92f6","datavalue":{"value":{"entity-type":"item","numeric-id":1853014,"id":"Q1853014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29cb520567d204ae3c30deb5ff3ce2b83dcdbfa5","datavalue":{"value":{"amount":"+0.8109425902366638","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":"Q1603411$E6E14B4D-20A2-47F9-8414-7FD16478D0F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86dda3cf414ff1111b461781c71eb8339d187b7d","datavalue":{"value":{"entity-type":"item","numeric-id":4525557,"id":"Q4525557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13d2686295effb69d209ccef1f01ead587fe05d0","datavalue":{"value":{"amount":"+0.717774510383606","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":"Q1603411$71226DF9-A5EF-44BF-B38F-8678E3C7E424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c5befaa3c24a69d827d56522c5807931aee1cb2","datavalue":{"value":{"entity-type":"item","numeric-id":4237907,"id":"Q4237907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fddc8b12d49fae1432eac4d2b3526a91a2d72fb","datavalue":{"value":{"amount":"+0.7168176174163818","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":"Q1603411$BA290037-605F-449B-8300-F7B7154F2DD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3841a33d6d1d54c91c6e6fd62ed35d3e5cc8b2b","datavalue":{"value":{"entity-type":"item","numeric-id":4702596,"id":"Q4702596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"693369c3f197cfc0eff5d77b849c550d8a33cd34","datavalue":{"value":{"amount":"+0.7098103165626526","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":"Q1603411$0C0779BC-A5CD-4EAE-881C-F52498CDDC0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85d8e24e890578ca64a3bae88d4496843ac86ec4","datavalue":{"value":{"entity-type":"item","numeric-id":4510453,"id":"Q4510453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"693369c3f197cfc0eff5d77b849c550d8a33cd34","datavalue":{"value":{"amount":"+0.7098103165626526","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":"Q1603411$602D946D-E0D6-422F-BF6F-1AEAE6CD8EB9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On local modularity variants and \\(\\Pi\\)-institutions","badges":[]}}}}}