{"entities":{"Q2373712":{"pageid":2384455,"ns":120,"title":"Item:Q2373712","lastrevid":50129750,"modified":"2026-01-13T06:00:31Z","type":"item","id":"Q2373712","labels":{"en":{"language":"en","value":"Ultraproducts and possible worlds semantics in institutions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5171336"}},"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":"Q2373712$614D8463-C452-45CE-8A04-1932CAC0BC85","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"548604d6656808c98809201c482eedb41ca93e52","datavalue":{"value":{"text":"Ultraproducts and possible worlds semantics in institutions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2373712$40F04FC0-C6D9-4C8F-B7A7-5AF6625A52F2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"74adb8991f16705926f497dd3d03e9845b6154f6","datavalue":{"value":"1124.03047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373712$9367BA45-7F90-4B0E-B1EC-70688DD74296","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2289c57fe71d0e69841efc981491fa17b2cd3710","datavalue":{"value":{"entity-type":"item","numeric-id":344795,"id":"Q344795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373712$9E26EA3C-010D-4411-B56E-5C558E3EB6F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed08a608b0cad7875b65422876c04080feb987fe","datavalue":{"value":{"entity-type":"item","numeric-id":1697085,"id":"Q1697085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373712$4D0F0D64-D03B-4CD3-87C3-6B1B19782612","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":"Q2373712$EAF80BCA-4321-4AF1-BC97-FF7C51DC5032","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7e3acd577c56b212087d574010dc1f6e1c3c3b90","datavalue":{"value":{"time":"+2007-07-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2373712$9F6AE833-74B2-4111-BBE4-B5D47130CFC6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8235b0594b49311ed69b524949ead2519e683aa4","datavalue":{"value":"The theory of institutions [\\textit{J. A. Goguen} and \\textit{R. M. Burstall}, J. Assoc. Comput. Mach. 39, No. 1, 95--146 (1992; Zbl 0799.68134)] is a categorical abstract model theory which formalizes the intuitive notion of logical system, including syntax, semantics, and the satisfaction between them. In this paper the authors develop possible worlds (Kripke) semantics at the categorical abstract model-theoretic level provided by institutions. The general abstract modal logic framework provides a method for semantic Kripke semantics extensions of logical systems from computing science and logic. Also, they extend the institution-independent method of ultraproducts of \\textit{R. Diaconescu} [Fundam. Inform. 55, No. 3--4, 321--348 (2003; Zbl 1036.03055)] to possible worlds semantics and prove a fundamental preservation result for abstract modal satisfaction. As a consequence, they develop a generic compactness result for possible worlds semantics.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2373712$6291E2B0-43D8-46C6-B2BB-E6DBDC984A55","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373712$278FEBB2-4085-4A10-8C88-4A152D37170B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373712$94E85D2C-525D-4894-A272-F939FC0CAB3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373712$E4DB51C5-C936-459B-AA61-1DE62B2A83FB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3026ad56d5dc72712d3d4cbc36c5fdb724ceb576","datavalue":{"value":"5171336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373712$014031FE-A31A-400C-AA6A-865EE22E4EBA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2b4e6eb73b5958980e371fa19dd5ed515db82af","datavalue":{"value":"institutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2373712$F596FD21-AA91-4F50-BCB5-5F21C4A356E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee8982d07df948110e8c530b7afcc06bd29d0d11","datavalue":{"value":"possible worlds","type":"string"},"datatype":"string"},"type":"statement","id":"Q2373712$31F98098-CB29-47F6-BE45-47315ECAE101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2373712$5BFF4C98-A488-4C81-BD3A-B5AAA01B5CE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2373712$33F3B8EA-51FD-4825-836D-A344C923DBDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c545a6d029705ad9a6670c36e7e8e69f4065e692","datavalue":{"value":"ultraproducts","type":"string"},"datatype":"string"},"type":"statement","id":"Q2373712$95E37DA7-5380-4C89-9F04-F0122C195AA9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"35ea846fbd37eef2bf04aa3916128060dde76b2f","datavalue":{"value":{"entity-type":"item","numeric-id":277571,"id":"Q277571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373712$32581D1D-E97F-4C2D-94A6-C711431E33E6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9cc08f1ee64c2fc0d984a8fe54c7c857eeb0cc4","datavalue":{"value":{"entity-type":"item","numeric-id":18366,"id":"Q18366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373712$E7D92A44-A0EE-4FEE-B56E-78A1DFB585B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cba2f313ea2959f110ac642e1b84e6e89a9f1c6b","datavalue":{"value":{"entity-type":"item","numeric-id":14779,"id":"Q14779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373712$FDAD88B0-7E86-45FC-B2A5-C11A08C2715A","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":"Q2373712$DF7DEAD6-2DD0-4D81-98F5-7FC2D164C353","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2e0ee2bab14d063a5a6e55b31570cf1037ae06fe","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2007.02.068","type":"string"},"datatype":"url"},"type":"statement","id":"Q2373712$6B6EAC27-42C1-4A73-A522-FAFD4D84FB4C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"86d438da7cfe79978ec9aa1de7645e70fd47588a","datavalue":{"value":"W2005688979","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373712$F23EEEAA-9E9B-4454-9853-7B55CA29DA23","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef2e5ee6c74446bb1d563024cf0c4d96e7f826eb","datavalue":{"value":{"entity-type":"item","numeric-id":4432964,"id":"Q4432964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373712$D397D842-E356-4D4C-AAB3-51EA7CB750A1","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":"Q2373712$A934209A-349B-41EA-8145-940A433E67FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1152d39bd65de6cf49d945a10e115d1dd1c5e26","datavalue":{"value":{"entity-type":"item","numeric-id":4087162,"id":"Q4087162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373712$B5202544-95F9-4E40-9A7B-27BBA10C0461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed1c181b369b174d40b17ae7585ab3312d648473","datavalue":{"value":{"entity-type":"item","numeric-id":5592283,"id":"Q5592283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373712$701A2DDC-0B88-4325-AFF3-100C3580B821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bea485ab39f84b90f26e8b82028c28bcf0bb80d3","datavalue":{"value":{"entity-type":"item","numeric-id":4745821,"id":"Q4745821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373712$0030CF36-DB94-4784-A377-6A7BA9BFCB07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ec4919901593fb83e814d67597aa4ad494d15cf","datavalue":{"value":{"entity-type":"item","numeric-id":3967519,"id":"Q3967519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373712$390E2009-589D-4E47-9C20-17EC91CFF7B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd4d6e0242e97964801b94c30538e3d083f39156","datavalue":{"value":{"entity-type":"item","numeric-id":3950541,"id":"Q3950541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373712$496A9872-E69D-420F-86DF-DE553203F395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1174921d2198a7a0d271408b7f7ffece05cb14ff","datavalue":{"value":{"entity-type":"item","numeric-id":3666908,"id":"Q3666908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373712$0EA5018C-09B6-472A-A5B7-C16CE144CA66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35bb39ea64981669ef9755e9ad408b36e30a192c","datavalue":{"value":{"entity-type":"item","numeric-id":4163662,"id":"Q4163662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373712$B0A36FE5-EAC6-468B-946D-DE7BB7634289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b60eea28edfed7e1c618a79fd16007e8ab860324","datavalue":{"value":{"entity-type":"item","numeric-id":1346248,"id":"Q1346248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373712$29E52442-F250-47FE-AB91-273C002D9264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6350d722ce8ca9ee27de1770e3665af1e273f4ce","datavalue":{"value":{"entity-type":"item","numeric-id":3705457,"id":"Q3705457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373712$6C8652A8-FD4C-4E92-873C-7E8E3AA98E53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e76c3561d4ad59b1eadb95f4ad79b1c13c964cb","datavalue":{"value":{"entity-type":"item","numeric-id":5311059,"id":"Q5311059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373712$E2908283-C6BB-4553-B89D-18791116EB80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bc12fcd2307ac93ccb70c186e452eab9a3a8ef6","datavalue":{"value":{"entity-type":"item","numeric-id":3430948,"id":"Q3430948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373712$11670D3F-1753-4366-A232-646BA04DBCD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373712$19C29862-0BA8-481A-AF49-12DC3F600442","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":"Q2373712$D8946A52-33BB-408F-A866-674D3827EED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8e33d995719930daceae5b9ecd9a739ea7b34d8","datavalue":{"value":{"entity-type":"item","numeric-id":1085969,"id":"Q1085969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373712$307A81ED-12BE-44C7-80DC-184C37E68C9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b9333699cc6f4fb9c72e8fb4341e54b02f5c3c2","datavalue":{"value":{"entity-type":"item","numeric-id":1091132,"id":"Q1091132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373712$5E56C522-3D25-4EFD-A64C-1715591CCABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe52c95d628037676106287986652872dfa341d6","datavalue":{"value":{"entity-type":"item","numeric-id":1876090,"id":"Q1876090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373712$64B474D0-EA6B-4D9D-8915-3275CC38D566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfe3f980fc119b002b487bf3081d6fb285e26cf0","datavalue":{"value":{"entity-type":"item","numeric-id":4659504,"id":"Q4659504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373712$30603A00-4856-43C4-B3F6-89329075AC3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dd5215bef0256427a4e23d6ec13883f64b69831","datavalue":{"value":{"entity-type":"item","numeric-id":878156,"id":"Q878156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373712$5459DAF7-8486-41BB-BFE0-AB56E091CD6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f310382c1893f74ce43344f63b6611c55eb4818","datavalue":{"value":{"entity-type":"item","numeric-id":3431971,"id":"Q3431971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373712$6E802AC5-C14A-4D73-8F09-7B324E9EF6B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84c4330cdc84f5e9e880c7cb64405de010a874e9","datavalue":{"value":{"entity-type":"item","numeric-id":5757924,"id":"Q5757924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373712$1FDA4802-CEEF-4402-8083-08376B705EC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d59bc8e04b810d9bbe9d85930429487a772f7797","datavalue":{"value":{"entity-type":"item","numeric-id":3410686,"id":"Q3410686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373712$FBDC7A23-F84D-409F-BB07-157627FBA33A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaaee3a935b71da0c5fd895e355092a513197bd2","datavalue":{"value":{"entity-type":"item","numeric-id":3265659,"id":"Q3265659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373712$D658BC12-2EF7-4916-9471-E183DC890B2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0e3a179147832b2b1c96869b8d44ccac54dac91","datavalue":{"value":{"entity-type":"item","numeric-id":4343990,"id":"Q4343990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373712$EC5BD1E2-C8BE-4A38-9001-10B7C4588F22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2235fb3183968eaa336d2af78465b477fb3d4674","datavalue":{"value":{"entity-type":"item","numeric-id":4385540,"id":"Q4385540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373712$429ADDFC-9982-42D9-992D-7396729945CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373712$432C0DEC-5AE1-43B4-A37D-B285F2AFFBDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be5ec2a5764ba96462a08e4206585f5a8706c508","datavalue":{"value":{"entity-type":"item","numeric-id":2746874,"id":"Q2746874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373712$FD73EEF3-0F15-4F60-9F97-A731F99BEBE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8e3d5efcad955e9874c3cad0d3e003718384f33","datavalue":{"value":{"entity-type":"item","numeric-id":1143164,"id":"Q1143164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373712$C32A1D65-BF9C-4F97-8061-8F059321911B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373712$B3541E11-DC20-425D-995F-556173FD7F03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19bc50e2f4d2cceaac2ab96d0b4ab028848b7d4b","datavalue":{"value":{"entity-type":"item","numeric-id":4023900,"id":"Q4023900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373712$DA29AEA1-53BC-42E8-9A62-9DDCF0A50F0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d8e7ec345413e104735faa57122d0400eae37de","datavalue":{"value":{"entity-type":"item","numeric-id":4785506,"id":"Q4785506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373712$E300F68B-CDB4-43B2-A0BA-C0D737601AA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373712$7291C5A0-105A-4C6A-A0BF-5E5D50EA790C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c859dc9bc5c44c673f4132f2e7bef4d53162ec9","datavalue":{"value":{"entity-type":"item","numeric-id":1188602,"id":"Q1188602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373712$505E3A14-E59F-456B-88FB-636F8F9E91E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f512d3044d87913829cd345dbca09d60481c7fa","datavalue":{"value":{"entity-type":"item","numeric-id":5572358,"id":"Q5572358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373712$D2017590-2C33-4756-8CBA-A7CD43526199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c264d0378a5f30df399a3e5c6ab315df59ddacaa","datavalue":{"value":{"entity-type":"item","numeric-id":1190488,"id":"Q1190488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373712$D794E119-9369-4D34-A3D8-C68BF0BB2803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90cb20e31781dafa966fd34409bc5c9f77217f88","datavalue":{"value":{"entity-type":"item","numeric-id":2722041,"id":"Q2722041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373712$CE4641A6-2F48-4C57-8533-246C79DB4D52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc466fb54893c2a18b4a7999f168ba54c05d3970","datavalue":{"value":{"entity-type":"item","numeric-id":5703991,"id":"Q5703991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373712$0D9EC2FF-2F42-456A-A365-2BB79BFA12C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a9c28fb819df8b429a2a5b76a4c38176032a766","datavalue":{"value":{"entity-type":"item","numeric-id":4715670,"id":"Q4715670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373712$E87BBD10-5890-4FFA-9951-C2FF3ABDC4D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cebb05c6eb8c318e8a62358eee02d0809b73ede5","datavalue":{"value":{"entity-type":"item","numeric-id":4738215,"id":"Q4738215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373712$C5B96E1E-302D-4103-B428-B21A8A61E302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01da3d3f1f94342db1165bbe88de672a0025e09b","datavalue":{"value":{"entity-type":"item","numeric-id":2369032,"id":"Q2369032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373712$DC80E2EA-90A7-4824-AC04-6140D35DDA06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60d41888243cfca281ea72041190167a6930872b","datavalue":{"value":{"entity-type":"item","numeric-id":4942101,"id":"Q4942101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373712$4E56F06A-75C2-4B86-AF3C-C96BB6059FEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a07700503ce4299f2b802ac0bfc01f5648401a4c","datavalue":{"value":{"entity-type":"item","numeric-id":3731650,"id":"Q3731650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373712$9164A397-49CD-42CA-B4CF-1F0381C61DC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eedd2defa322689670ffba56a5755fdfcf124e7c","datavalue":{"value":{"entity-type":"item","numeric-id":1853458,"id":"Q1853458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373712$4C8B5D40-B404-4169-A8EF-77A461EE58D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"685b6f2241ca731964008614149743ea5d098bf5","datavalue":{"value":{"entity-type":"item","numeric-id":2715825,"id":"Q2715825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373712$5F8B32A8-8D93-4399-A705-921B7F227D37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c44eace5a3d64ee866d8e301f65747bdc9f305c","datavalue":{"value":{"entity-type":"item","numeric-id":1272541,"id":"Q1272541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373712$360FB659-924B-4F68-A40F-D8DFC9C4A23D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2be5edf30e6b4e3a431010352a708a2ba4da751","datavalue":{"value":{"entity-type":"item","numeric-id":2782496,"id":"Q2782496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373712$38BD1425-F3E7-416D-B4AE-39E1523EE9CA","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":"Q2373712$BA764BFD-920C-4ADB-A089-EE3478576C3A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"12e3e128f83966ec74761d24d5c06d303543c2bf","datavalue":{"value":"10.1016/J.TCS.2007.02.068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373712$00A20049-DADB-4471-95C8-0792ABDD52F9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fd0c8600c66aae310f7541e175be9cc5fe6927c","datavalue":{"value":{"entity-type":"item","numeric-id":4432964,"id":"Q4432964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42a71d264f0c538b8decbdb6d1fc10eff1bd00b3","datavalue":{"value":{"amount":"+0.8529273867607117","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":"Q2373712$7DCBF8BC-CA1C-418D-979E-138F9982139B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d193bc9940b952bd32dc1f19464923363f91cb6e","datavalue":{"value":{"entity-type":"item","numeric-id":3133175,"id":"Q3133175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b28e211432ecac04501434fe52b7c765271fd94","datavalue":{"value":{"amount":"+0.8501737713813782","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":"Q2373712$459C72DE-FD45-4FAA-8C12-2D0F8ECD6B8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d91d68debd6ca26227a94a8e51493d2e76f4643c","datavalue":{"value":{"entity-type":"item","numeric-id":2469760,"id":"Q2469760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37d575c81be194c289999b474324276bc7978e35","datavalue":{"value":{"amount":"+0.8069826364517212","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":"Q2373712$2F86572C-7429-4B6F-A29B-118230320E68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d7b9741ebe1e371679f6c0bbfd42a0cdbb94a2a","datavalue":{"value":{"entity-type":"item","numeric-id":5414299,"id":"Q5414299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2a8e89d35314a2ac37a83f4aa5f15545840a774","datavalue":{"value":{"amount":"+0.7681527733802795","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":"Q2373712$7CD887A5-DD8B-4B3F-A878-948EF3EEF8E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16d308f87f21acdcac3ca813426510730a01c928","datavalue":{"value":{"entity-type":"item","numeric-id":992038,"id":"Q992038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"713f35db40acd8412e14d53728249fa27e89a21d","datavalue":{"value":{"amount":"+0.7676401138305664","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":"Q2373712$09ADAC11-0E95-4EE9-935A-C9386304C7A6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2373712","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2373712"}}}}}