{"entities":{"Q1059404":{"pageid":1061252,"ns":120,"title":"Item:Q1059404","lastrevid":66161751,"modified":"2026-04-12T07:57:47Z","type":"item","id":"Q1059404","labels":{"en":{"language":"en","value":"Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3903991"}},"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":"Q1059404$3E246888-35E9-4286-ACE7-D0265C921404","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f0095ded954e5213ea9ef8c847c1bdb3eb83ae45","datavalue":{"value":{"text":"Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1059404$4D30BA81-F973-45FA-9734-CE964DC18ED5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"16ab57092c2e0a8e61d165d986a6e5599a530aa6","datavalue":{"value":"0566.68065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1059404$7E4C9DFD-9899-4EDF-88C1-C8D9CB29B458","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"51268ea5b7bf7d8de838044fe439ed664a1e534d","datavalue":{"value":"10.1016/0304-3975(84)90134-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1059404$3DD88E6A-603D-4256-A063-AC5E7A5D400D","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":"Q1059404$4D3A71DB-F10C-4652-ABAA-3F45BEE1388E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1059404$9CBBF090-7049-4562-BB7D-0763EC0E36E9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"25d80a425bea4e052ad980f99431c64aa41e0a76","datavalue":{"value":"This article is reviewed together with the following one (see Zbl 0566.68066).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1059404$718481CE-5AB7-4F26-A835-5BF2971B231A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1059404$846335C6-C7D2-4BBF-9CEC-ED21B9829E22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1059404$92B538CE-E158-4A30-BED1-0FA3FB2E7AE5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ef4b2f0c0889650eb51bd5d2c922169d4bb3c9d0","datavalue":{"value":"3903991","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1059404$0A27461D-0206-4A1D-9D38-6C4CDCD826C0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5685485f4c27abda29cd481c0486a1adb54b3a91","datavalue":{"value":"category theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1059404$D7F3D48A-2C32-4107-964B-CAEAA47F5E88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf2b88efe8773921309f55a0f9141b74ab78ee06","datavalue":{"value":"algebraic theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1059404$AC3D56B3-46B5-4729-8E41-B33D19967DE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60854c6f014815d3d4006ea2cc783aeec0c26804","datavalue":{"value":"colimits","type":"string"},"datatype":"string"},"type":"statement","id":"Q1059404$47CFD53C-79C2-4363-A062-7F1F0E986FDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"643dd70d945ebf3dc279fef6a7098c7b2711a6a1","datavalue":{"value":"comma categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1059404$2A21B835-A72B-4B6D-A289-C79D3EBE877A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13ff4f35019ea5af4928a33c22c6ddc5c25c8edd","datavalue":{"value":"two- dimensional categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1059404$A32CBBF3-0C4A-4FF9-A64A-94330D0F63DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"307a0aa7720fc50c5c38aa102a2bc7f75cac371d","datavalue":{"value":"program specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q1059404$6C7C5B9F-44D5-4342-9441-0CE4CC00454B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0fd35da9b65233eca4708b7e318b4f2a158c498","datavalue":{"value":"CLEAR","type":"string"},"datatype":"string"},"type":"statement","id":"Q1059404$DC53B0F5-3E1E-4AE4-B8D1-4E76334348C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a30c23aea548b006b6b6ef6528b0dbe1d776f73","datavalue":{"value":"free theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1059404$31696A90-FE5B-413D-829B-D9C167A7DD7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7d4464c6c77aa75133cf75a8f41a549d4be82db","datavalue":{"value":"calculus of operations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1059404$B4E6D7F3-5FBF-4697-86A3-212821D7BE6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09ddf594c271ecb3b40b06e0d3e7ff931a4c8b2a","datavalue":{"value":"sorted theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1059404$8129B251-3218-4BEB-9118-71C2FCC8A579","rank":"normal"}],"P16":[{"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":"Q1059404$787D0AC1-FE49-441C-A44D-C8968E7B2502","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":"Q1059404$0CD2414A-00AE-4853-905C-42C30311F35B","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":"Q1059404$236A641C-6A87-485C-94FC-1968E64D09FF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1aa0b028e4c95aa17aaeaaf8b6545daa0a4fe791","datavalue":{"value":"https://doi.org/10.1016/0304-3975(84)90134-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1059404$A5910C25-10B9-4813-85FE-60684685EDBD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3c358356e92892ca23eff2876ddfdf3702302c54","datavalue":{"value":"W1554884006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1059404$47A8E657-8A81-4E86-9463-290FFF136C51","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbe4374b915f33ccabe7bb9f6d8d42cc28e82909","datavalue":{"value":{"entity-type":"item","numeric-id":4063610,"id":"Q4063610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059404$720E1145-8A56-4C0C-B42D-06193FE40510","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":"Q1059404$B95DC058-D112-43FD-A33D-CAA3403D37F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b5dcaf87e1f6745acda14dd55addff15f8a3933","datavalue":{"value":{"entity-type":"item","numeric-id":4134935,"id":"Q4134935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059404$F85BDEA7-5856-425D-AD80-32B0A872054A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0065dc8b5c25773ef1d9719266c7992d0edd4dd5","datavalue":{"value":{"entity-type":"item","numeric-id":4131619,"id":"Q4131619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059404$CBCC4DA5-05C9-40EE-930D-276FE8B3D799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5ca1730025ce44688730b055138c3986f4a8581","datavalue":{"value":{"entity-type":"item","numeric-id":4063607,"id":"Q4063607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059404$2AA14575-771F-4F22-88BD-CCF340D03B01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d43b1ff740b751b5ce4b667da10ede6a25effedc","datavalue":{"value":{"entity-type":"item","numeric-id":5545978,"id":"Q5545978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059404$C75090D0-0A03-474B-898F-1B6A5EEF8A88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e2db18f956a86c51893ceffc869b394629d46fd","datavalue":{"value":{"entity-type":"item","numeric-id":5611775,"id":"Q5611775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059404$58ABECD2-4846-4655-A13D-C4EADE3FD2E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40ec4abd703ba69c5dfd86055856e539b441f730","datavalue":{"value":{"entity-type":"item","numeric-id":1229897,"id":"Q1229897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059404$BFD4E6F0-9ECB-4E54-9351-5D1C4CB4E760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"527c7202e783b352edb1e0158278fe604f9a2b5a","datavalue":{"value":{"entity-type":"item","numeric-id":4105761,"id":"Q4105761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059404$01189C8A-3E1A-4762-9463-101BAA091483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16df2553495bc38f714aaa2197b34e11b69c06ef","datavalue":{"value":{"entity-type":"item","numeric-id":5674963,"id":"Q5674963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059404$BB9E6C1C-1E78-4D98-9346-54493A018E5B","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":"Q1059404$70F8256E-D668-41E8-B787-DB0BA7180EA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3ba7f60550b1dad5c8a73f2486d91b8689bd40f","datavalue":{"value":{"entity-type":"item","numeric-id":3698294,"id":"Q3698294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059404$AC24C315-1EA9-4418-AD16-420DA3C57B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1debb211bfe3205a2684e38460cc65e1434f3bb6","datavalue":{"value":{"entity-type":"item","numeric-id":4138103,"id":"Q4138103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059404$1FE88944-1C2E-4894-9548-78BC7CE0DA92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a9e6ab8c3f278d5e541e365a39676f074f0722b","datavalue":{"value":{"entity-type":"item","numeric-id":4188716,"id":"Q4188716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059404$B181ED34-24E2-4EB4-AFED-CBC6B049777E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbf3af222d40fbb84c59c8f0a09c567be9c8e12d","datavalue":{"value":{"entity-type":"item","numeric-id":4158499,"id":"Q4158499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059404$F5E51D14-792E-48FE-A1BD-0E01A8EC42BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7271a43a9b61da56e09afc244aa4046805d7f5b8","datavalue":{"value":{"entity-type":"item","numeric-id":4160385,"id":"Q4160385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059404$2150063E-AB27-48D8-8F6B-07AF9D286BD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40cc0b2d2e9b4efcfed1fa36448689099fc27d3b","datavalue":{"value":{"entity-type":"item","numeric-id":5565124,"id":"Q5565124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059404$250F7178-5FFA-4475-AC32-45E0D3BF9B1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a767349aada9f30d88f3c332237e538129ae8e3a","datavalue":{"value":{"entity-type":"item","numeric-id":5636309,"id":"Q5636309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059404$CD09EE2F-5B32-4FE0-BBE3-903547404B11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"912eef190988de0cc5af613dc27f0c7249868025","datavalue":{"value":{"entity-type":"item","numeric-id":5736455,"id":"Q5736455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059404$00A9BB9F-3171-4EA5-A8C3-155B5AC679FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb04a649a73fcfb0ac785adf276c6d3df4e05513","datavalue":{"value":{"entity-type":"item","numeric-id":4062639,"id":"Q4062639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059404$2D99C504-1744-4DD7-8B27-E923E2E91795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ebb94282ae3fa231c879cc083dc603764fadc1a","datavalue":{"value":{"entity-type":"item","numeric-id":4168048,"id":"Q4168048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059404$4F0D5AC6-4D24-4BFB-AE7A-9E07FB4DA612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9c583b65c7819a91d7f03c50f27e11283eee826","datavalue":{"value":{"entity-type":"item","numeric-id":3962973,"id":"Q3962973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059404$84F6823B-0D77-42D3-BED8-0D2773407CFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3006b5dee5bcadfac4b9f65d6860d72f75e2f535","datavalue":{"value":{"entity-type":"item","numeric-id":3880309,"id":"Q3880309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059404$5A56EEDB-7E4A-4464-8785-1851A199A780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64b3bab7a9fb13f9c1b96c1b6fa8f011ed072719","datavalue":{"value":{"entity-type":"item","numeric-id":789165,"id":"Q789165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059404$C3B72132-197C-42E6-BD76-5A6C9C53C039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"864023aa78030f1f2d6c56c8127fa6caaa3c6685","datavalue":{"value":{"entity-type":"item","numeric-id":1139588,"id":"Q1139588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059404$A5F922AF-582E-4A41-9466-548AF8559586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b10505dc01f8f087a2fc1b4a9ffcf5190a299734","datavalue":{"value":{"entity-type":"item","numeric-id":4178466,"id":"Q4178466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059404$6658BCBA-EF3D-4732-84E0-0B013EE1910B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f87c691854819eec4f1d4808c08af46178b8c12f","datavalue":{"value":{"entity-type":"item","numeric-id":4168047,"id":"Q4168047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059404$B04B276A-DF12-478D-A51D-18019EE8E528","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":"Q1059404$B6D08EE7-DA24-4043-B8C8-B99B61BDA224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d9ae9d25c165776926d92ae2f293b4bf9587937","datavalue":{"value":{"entity-type":"item","numeric-id":5727668,"id":"Q5727668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059404$2464E899-BC90-47B6-979D-06552847324E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdeb57f4e5d37efa40bca3185df7185c3f2accb6","datavalue":{"value":{"entity-type":"item","numeric-id":789177,"id":"Q789177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059404$E9EE8701-D664-4D7D-A206-1922919E3134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e87bddde29bfca28d16e9dc4550d316d312b44fe","datavalue":{"value":{"entity-type":"item","numeric-id":3249210,"id":"Q3249210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059404$857F8456-1B04-4A72-8F1A-B3EE198BD752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059404$22328B20-042F-4E2C-8E88-955728014D51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0324db3f97542693bc5884850cb7d347c8c88f1b","datavalue":{"value":{"entity-type":"item","numeric-id":4124981,"id":"Q4124981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059404$A1A50769-CB10-4CC1-98DE-7700EDD8B7C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b620cb3f843d6247596ccdeef0b13771fac8cb7","datavalue":{"value":{"entity-type":"item","numeric-id":5730919,"id":"Q5730919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059404$F6D8A29E-3795-42FF-8A96-A994E9222141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bf6e42c7025089ab9d5f372353652344c7dfb4b","datavalue":{"value":{"entity-type":"item","numeric-id":4693151,"id":"Q4693151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059404$BEFDCBC6-A9CF-4AF7-8608-2093EF875685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"653438d7947829d6714d81187175e2433c8365a6","datavalue":{"value":{"entity-type":"item","numeric-id":1234591,"id":"Q1234591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059404$4F433DB3-74BB-447B-B04A-A019F164C14C","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":"Q1059404$F4AE96BF-F580-47BF-8007-C3FA2A7C9E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8ce73af83d9e584a526f246c29b1d0145d1e612","datavalue":{"value":{"entity-type":"item","numeric-id":4145866,"id":"Q4145866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059404$D3F79EE4-07D2-497A-9C85-3B1872D9671F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ce34cbbccb9cd5eb24a450616dc2e119bb503a1","datavalue":{"value":{"entity-type":"item","numeric-id":4385537,"id":"Q4385537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059404$0AE2B2A8-912D-4319-ABE1-B64637995AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9e3a5b383eb32ff4a651fd7dd75fcb13d3af0da","datavalue":{"value":{"entity-type":"item","numeric-id":4130961,"id":"Q4130961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059404$854E7572-FCB9-42AA-954F-4671310D3331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cb1383e5ac677d7114e8bb8a38761cf667f5991","datavalue":{"value":{"entity-type":"item","numeric-id":3923580,"id":"Q3923580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059404$8133DB37-58E5-4ED8-A7A5-EA29393DBA79","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":"Q1059404$4A1C7923-89D4-4B77-A2AB-D54DE33B591E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d453e539f074fb73e797160448e4b8fd62075678","datavalue":{"value":{"entity-type":"item","numeric-id":5665189,"id":"Q5665189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059404$2C037B0D-3A0F-4613-93A5-901692B5D007","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":"Q1059404$B6C6E2ED-70C4-48CF-95CD-9C99024E4378","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Some_fundamental_algebraic_tools_for_the_semantics_of_computation._I._Comma_categories,_colimits,_signatures_and_theories"}}}}}