{"entities":{"Q1183597":{"pageid":1194346,"ns":120,"title":"Item:Q1183597","lastrevid":70205022,"modified":"2026-04-13T13:09:13Z","type":"item","id":"Q1183597","labels":{"en":{"language":"en","value":"Some fundamental algebraic tools for the semantics of computation. III: Indexed categories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 33413"}},"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":"Q1183597$6EABD17B-E302-486F-8F35-72B578F13D2E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fc6dd4723e916e9f2fc784d7207b69887b3605be","datavalue":{"value":{"text":"Some fundamental algebraic tools for the semantics of computation. III: Indexed categories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1183597$BBEF6207-6F4F-4DBD-B025-40EA6C4240A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4b81468704a8cacb5381d84bac09628f8dcf4ed5","datavalue":{"value":"0755.18004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183597$3421E4EA-FD42-4223-9404-C609A243EC44","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aae22676f0f2a660a92c4f35bc42c76f1f6ac9f0","datavalue":{"value":"10.1016/0304-3975(91)90085-G","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183597$E57F94B4-490F-45F4-81FA-81F7E3FC4FE8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"64bfbfd1114669cfc61de475a2c16b2597ff379c","datavalue":{"value":{"entity-type":"item","numeric-id":610396,"id":"Q610396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183597$E6E29325-774E-4D87-B0F8-B35CB22DAFD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bf8e0a1d6097cb2f9e59b0a8db1af8f459f9de5","datavalue":{"value":{"entity-type":"item","numeric-id":1183596,"id":"Q1183596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183597$FF9F450B-EF2F-45A3-8AD5-C9600B6BEE17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d158e95d9652c2d0191af4ccea1d07838d2e8021","datavalue":{"value":{"entity-type":"item","numeric-id":241052,"id":"Q241052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183597$42FC8763-E3E7-4230-A4E9-4B5D779C97A6","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":"Q1183597$2D95F831-7FEA-4067-9937-D4DC781A2A4F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"120787504bea9565def539fb4bfb19084956028b","datavalue":{"value":{"time":"+1992-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1183597$5592A10C-D503-4122-85F2-75819ACC4379","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7c5d137f4b531f18d00ee38146d390a058976b62","datavalue":{"value":"From the authors' abstract and introduction: ``For each many-sorted algebraic signature \\(\\Sigma\\), there is a category \\(\\text{Alg}(\\Sigma)\\) of \\(\\Sigma\\)-algebras, and a signature morphism \\(\\sigma: \\Sigma\\to\\Sigma'\\) induces a functor \\(\\text{Alg}(\\sigma): \\text{Alg}(\\Sigma')\\to\\text{Alg}(\\Sigma)\\), which we call a \\(\\sigma\\)- reduct. Thus, there is a functor \\(\\text{Alg}: \\text{Alg\\;Sig}^{op}\\to\\text{Cat}\\) from the (index) category of signatures to the category of categories.'' The authors therefore study ``strict'' indexed categories which appear to be ``a useful tool for the working computer scientist. An indexed category gives rise to a single flattened category as a disjoint union of its component categories plus some additional morphisms. Similarly, an indexed functor (which is a uniform family of functors between the components categories) induces a flattened functor between the corresponding flattened categories. Under certain assumptions, flattened categories are (co)complete if all their components are, and flattened functors have left adjoints if all their components do.''   [The present Part III is entirely independent of Parts I and II (to appear)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183597$BC627BD5-3F4F-48CA-8611-ED2217AEBDBC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7f78b4cfd7a9c75e2b530969fc99d3d222123e1b","datavalue":{"value":{"entity-type":"item","numeric-id":173922,"id":"Q173922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183597$4BC1560D-5059-4C82-944B-2E1BC9E4CB30","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c657f97db498141a0eda8604b03a45e60e36ed76","datavalue":{"value":"18D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183597$E3EFCD6B-53B8-40B4-9586-222A8F27B9E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183597$B1468741-D653-40AC-9628-E290289A38B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3d53f4f8504531dc1d4f34947ee793dc8e8b2ce8","datavalue":{"value":"08C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183597$C680EFAF-3241-4DEA-A238-3A1ECDBD5566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183597$AA11B1F0-817A-4A67-B328-0823AC6A541F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3f53e243b46c83e556db3f35909bea6aef416388","datavalue":{"value":"33413","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183597$9D4DF86C-75D8-4FCC-80B8-DA2B280D2E38","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9b18148bc75eb3d308ab9e33eb8b929b25228c3","datavalue":{"value":"fibred category","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183597$8E269AE7-B320-4A6B-8312-AB6131013188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"efc8b82ee982acf969f6dd2a804d5eb3c081c78d","datavalue":{"value":"many-sorted algebraic signature","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183597$B4BF86E9-58DA-49CC-8F7F-BE1E6B16ECE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c2c59ca1810cc22287ad30bf6a48aed4c8bc604","datavalue":{"value":"signature morphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183597$1FC182A8-2ED8-437E-8422-8C16D7FD98F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd906d7f1d4d05151ab71572082a000be0160968","datavalue":{"value":"category of signatures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183597$60654883-4F51-4870-BAE3-EC1526BCE4E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb4b336d3a99dec3e9b68b802a68e09a3a0cbb0f","datavalue":{"value":"category of categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183597$B65EE57B-495A-4EA5-A1F4-EAB2CE79EA4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1105fcc0b74c7a1fbaa65e95eeb7525fdf97d4ba","datavalue":{"value":"indexed categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183597$48C90D0E-84C6-43BE-9A8E-E1DAE960C5ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92412625d8e82f49560e0ad417a5d64a7e139275","datavalue":{"value":"flattened category","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183597$8B61EFD6-F40A-4095-A1D5-D0E4D35AEC98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6b000eb762daab960051de47f8ac6ddac2ed025","datavalue":{"value":"indexed functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183597$A24A17ED-86CE-42AA-A7AD-14070D56898F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82e2d796ad108c7c6985f8931a064db0f7fe7ed0","datavalue":{"value":"flattened functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183597$F55D0156-C127-4C6A-9570-F8A3B30BA2E6","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":"Q1183597$C0338AD3-61BF-4E44-9272-1B1022ABE608","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e063a33e37ef5dc84ac18aef142b36f11221d873","datavalue":{"value":{"entity-type":"item","numeric-id":4152697,"id":"Q4152697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183597$8CB1D726-90CC-4C07-97FF-34F40CEA1DFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8194de883cefd00d6c83fb0dd30c9040d715837e","datavalue":{"value":{"entity-type":"item","numeric-id":3787451,"id":"Q3787451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183597$6FBC776F-4960-4DBF-B6E4-A0E4EBAA1B69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"297433ca2520d08d0c524992dd9ccc065c6ab625","datavalue":{"value":{"entity-type":"item","numeric-id":3707387,"id":"Q3707387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183597$F8586038-8ACF-4444-9D6D-5CE4B9E8AEEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cb1487200638e3f9441e8913bfd2f4d0995a3fb","datavalue":{"value":{"entity-type":"item","numeric-id":3677911,"id":"Q3677911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183597$2009475A-8F95-4884-A139-AB2B1F624F0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6919ba84c94face972c4fcbaccdc5058745cefc","datavalue":{"value":{"entity-type":"item","numeric-id":3906394,"id":"Q3906394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183597$9D8432ED-0EDF-4567-A8E9-844E3A5547E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc94c0f267a5b105d4bb294ed6fcdf2ef2281a90","datavalue":{"value":{"entity-type":"item","numeric-id":3667921,"id":"Q3667921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183597$B4DE9CF9-5D00-4299-870B-0E8B95F584F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bed41583a3562e95ea3e0152ccf900c298f8859","datavalue":{"value":{"entity-type":"item","numeric-id":3936177,"id":"Q3936177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183597$57E88F12-2AC6-45F4-B1A6-80574F383CA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccd9b046f740ce9029ace9c9da2c0ad402baabfc","datavalue":{"value":{"entity-type":"item","numeric-id":3953162,"id":"Q3953162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183597$B280AF53-A23B-4603-B53B-8D7FA578796E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35f820e9c2b45f8f035a710ad26c0ff0e5c7ae48","datavalue":{"value":{"entity-type":"item","numeric-id":3221381,"id":"Q3221381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183597$1291F3CF-FB2D-41F9-B24D-BB577516092B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69e5c8e0c707887a680de0218c1748f61cd538b8","datavalue":{"value":{"entity-type":"item","numeric-id":4713397,"id":"Q4713397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183597$9634883A-DA2C-4BA0-9AFA-7D1F8BE421FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d01ed8b5a37204cef6ea0de4534fe7bad8dcf3e4","datavalue":{"value":{"entity-type":"item","numeric-id":1059404,"id":"Q1059404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183597$9AB2F58A-EEE7-46A3-A3F3-3D8EA17B1C0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e62af4ee11e4bb90d5d2a044bca3f8ca5ca4ec84","datavalue":{"value":{"entity-type":"item","numeric-id":1059405,"id":"Q1059405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183597$D913AB82-54C3-44CD-AE5E-9897EFF9C916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"637d60dd60fa7ae0ece9ed07c4735273bd2f3a96","datavalue":{"value":{"entity-type":"item","numeric-id":5416166,"id":"Q5416166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183597$ED6192B1-ACCF-432E-9C9B-D15B11916B12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d504f8f758d30af6cf41a7818010f5320c73d6d","datavalue":{"value":{"entity-type":"item","numeric-id":4723263,"id":"Q4723263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183597$8A88ACD8-7214-488C-8A6D-E49803201F52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae75c39fe3927a83651ed170584a081d46e0f0e9","datavalue":{"value":{"entity-type":"item","numeric-id":4198543,"id":"Q4198543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183597$D4E27CCA-F911-46F5-A0CD-2398EA7E2874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7859edd3c4e86ff42a014e1faa40c6c47e4afb66","datavalue":{"value":{"entity-type":"item","numeric-id":1228463,"id":"Q1228463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183597$1DC668B6-A5F4-45BE-9FDF-28117F41EA30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"180ef3e6188c2327140304e3cfecd387b0746da3","datavalue":{"value":{"entity-type":"item","numeric-id":5586462,"id":"Q5586462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183597$BB64D1FC-46E8-4875-BCDE-41867906344A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"566e7dc460605752474b1b7a51835bed9b3b460a","datavalue":{"value":{"entity-type":"item","numeric-id":1094129,"id":"Q1094129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183597$18D7AEBB-EB00-4F84-88C2-892F0F17BD43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a441ffcbaae801c76a20cf9569b246225e79cb6","datavalue":{"value":{"entity-type":"item","numeric-id":5682456,"id":"Q5682456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183597$6869A1DC-6637-491E-937C-147BF4F3B0D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32fbb879b1b1a752d0cb814abc5317db893e168a","datavalue":{"value":{"entity-type":"item","numeric-id":1244326,"id":"Q1244326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183597$1DBA838A-418A-4A99-9D0A-C61744E756A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5e92f7642b41ab5e59c978efe3443561e62bf3d","datavalue":{"value":{"entity-type":"item","numeric-id":3345749,"id":"Q3345749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183597$ECCA3A8D-B666-4DFA-8217-9DADCDBF7500","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":"Q1183597$A3CDD8E5-DAB3-4199-81E0-D05476B55A65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7aa14df6a93a19916909f7b793b422f2cd7fb36","datavalue":{"value":{"entity-type":"item","numeric-id":4063606,"id":"Q4063606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183597$7306115A-A765-42D7-8606-E695D98AC40F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14821703ad3559ce115eabb18820913df4a58412","datavalue":{"value":{"entity-type":"item","numeric-id":3202991,"id":"Q3202991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183597$C6B1B3D3-BDF6-4577-A14B-8C9A1D4572E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e999bae0a616c880e150ce22a0e3ec926e7ed4c5","datavalue":{"value":{"entity-type":"item","numeric-id":4713399,"id":"Q4713399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183597$B7C76805-4AFC-4CFF-B93B-6E458D4DCF1F","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":"Q1183597$D2D9F7F5-DDD8-4F82-BBDF-07D657D2CD60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4253d384646b019f04280faeb4984e28cdef49e","datavalue":{"value":{"entity-type":"item","numeric-id":3677153,"id":"Q3677153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183597$1176ECB2-176A-45E7-82E7-C23467B18AE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f2e9eda5633627f3277aa943a0eb055885cf8cf","datavalue":{"value":{"entity-type":"item","numeric-id":4725720,"id":"Q4725720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183597$F15E72A1-9A7C-4CB2-9EDB-B3059BE6F4FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62461d4c2275b5c15065872b300e8488669b9d8b","datavalue":{"value":{"entity-type":"item","numeric-id":4721633,"id":"Q4721633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183597$E524E842-D825-4FCB-9B7C-51253FF9D576","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":"Q1183597$C6024C68-AB59-46B5-A5A3-C6AF508F2B0C","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":"Q1183597$3820C96F-4B9A-4720-A047-134AD73709A3","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":"Q1183597$7E6C5B6B-053E-49B6-8566-5B04FEAB43C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b50bda4f6cbc2cc3d211f73a2cce8b2c16c83b2","datavalue":{"value":{"entity-type":"item","numeric-id":3959407,"id":"Q3959407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183597$25C8ADF2-45E1-4D23-B2FB-B7AFD509F7DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"893133b7b86a6ea8f7bda9829deaacd67f7e2f67","datavalue":{"value":{"entity-type":"item","numeric-id":1131834,"id":"Q1131834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183597$440B866E-2782-4B25-8A3C-98A1BB1C4122","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3d6a112c689cf456f85d562a1b1a9c7308d48f6","datavalue":{"value":{"entity-type":"item","numeric-id":1059404,"id":"Q1059404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2efbdcdaefe1d73809e755980aa653c00a0e4cc","datavalue":{"value":{"amount":"+0.9196062","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1183597$CED55C39-CC0B-458D-902C-823819D83137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3a1fb3e505ae0fd112fa6c9bb11cf1d60ce8eba","datavalue":{"value":{"entity-type":"item","numeric-id":911584,"id":"Q911584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d96f8bb298315383e63f1f01e5e45e699addc738","datavalue":{"value":{"amount":"+0.8852121","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1183597$58C6268F-DE6A-40D1-88AB-347A71BBA325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e272fc37182aa9c934a9f8ef96f68bcfc8b3ae81","datavalue":{"value":{"entity-type":"item","numeric-id":4366773,"id":"Q4366773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"135bb0558f00346258f28cfd63e031feb89d424a","datavalue":{"value":{"amount":"+0.88339543","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1183597$5F84EE25-FB80-4098-B5AA-84A8B08B6ED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02be5324673f45ce3ec5837f4362f64ce1b5b8bf","datavalue":{"value":{"entity-type":"item","numeric-id":2629982,"id":"Q2629982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ea1e8d6b74929032911cc44e4a9c30e7ef23daf","datavalue":{"value":{"amount":"+0.88019085","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1183597$79CAE71C-C58D-4149-9715-A0F20B5B0682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbac9604e134f4f1ade749b77739ced32c65ff18","datavalue":{"value":{"entity-type":"item","numeric-id":1059405,"id":"Q1059405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57f8ad38cd85ea9aa785ae9fdec1af052965a122","datavalue":{"value":{"amount":"+0.8792726","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1183597$E4BBD876-5E9D-4BB6-A53A-E7E8233C77E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5acb3daf4c21262fa9fc7d4fc08a52aff1f7777e","datavalue":{"value":{"entity-type":"item","numeric-id":1383220,"id":"Q1383220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4e6ae29ed4a0d907f5ac984ca84ddfac5fc83e1","datavalue":{"value":{"amount":"+0.8779952","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1183597$96854989-CA81-4722-8D4F-28D727D50D56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31b783b27043ab72f53033433b5f4cefcdfc3dc4","datavalue":{"value":{"entity-type":"item","numeric-id":4382502,"id":"Q4382502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70850f4aa3e2de9fb3347442d5390911c21fc604","datavalue":{"value":{"amount":"+0.873755","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1183597$B32ECC85-2F0B-44DB-A1A8-FBE063F5556F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"601c89d2c15b1f5f32319a45e7c60a60f15bc043","datavalue":{"value":{"entity-type":"item","numeric-id":4282575,"id":"Q4282575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2ad4bc297917bd0825c2a5f97f9174ef9e7acc6","datavalue":{"value":{"amount":"+0.8720955","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1183597$C1A6E2B9-2309-4D96-BED5-0F6E2424075E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a59eef45f759032dba13d30f6236ad00ef587dd","datavalue":{"value":{"entity-type":"item","numeric-id":5436999,"id":"Q5436999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2b70b6d7c944397f55ad9ed6bfa29e30d8f30ac","datavalue":{"value":{"amount":"+0.87049603","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1183597$CD4F8C73-58EB-4ECB-ADAB-E9C596700CD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ff6c4506a2b3e244af71876feef7952bca42de8","datavalue":{"value":{"entity-type":"item","numeric-id":1895010,"id":"Q1895010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58e5bf954e9a8fd07c61afd9e4f2db105748407b","datavalue":{"value":{"amount":"+0.87020767","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1183597$F62E0ECB-FBC0-4160-9BA3-65CB3C60E3B4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Some fundamental algebraic tools for the semantics of computation. III: Indexed categories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Some_fundamental_algebraic_tools_for_the_semantics_of_computation._III:_Indexed_categories"}}}}}