{"entities":{"Q1094129":{"pageid":1104881,"ns":120,"title":"Item:Q1094129","lastrevid":66121410,"modified":"2026-04-12T07:41:26Z","type":"item","id":"Q1094129","labels":{"en":{"language":"en","value":"Categorical aspects of data type constructors"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4024755"}},"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":"Q1094129$BB71049F-3CBA-450B-996B-70D2BCF44CC9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bdcafbe9bdcb2ea04df66a2bc18aa4740d9c2da1","datavalue":{"value":{"text":"Categorical aspects of data type constructors","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1094129$0934C066-4496-43CC-9290-19EA4F334586","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"17a78f557b4e41ef1ed3975f573906fac39be11b","datavalue":{"value":"0629.68014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1094129$F95F2E81-6D27-4DAF-9D0B-1632BACF42A0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9ac92557cd11eccf088ace40aa795f2c6e7b46fe","datavalue":{"value":"10.1016/0304-3975(87)90122-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1094129$23D2339E-6CDC-4587-964B-1FC6B4724F7E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4b5cd70a601ae7d73d42d795608769e2a4e95ba3","datavalue":{"value":{"entity-type":"item","numeric-id":687574,"id":"Q687574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1094129$90D5364C-4758-4CD9-A7FA-F72B7B302B9D","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":"Q1094129$C7A8F255-850B-431A-A08A-5E5644F95581","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1094129$8A404281-2960-41EE-879E-668358C108D7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b82dbd7db2088f0012ffa53b24abc42303cfbe8e","datavalue":{"value":"In the paper there is introduced a category of sketches and sketch homomorphisms which is used for presentation of many sorted algebraic theories. Data types are described as initial algebras for sketches. Data type constructors such as e.g. STRINGSofDIGITS, ARRAYofBOOL, SETofINT, STACKofCHAR are presented in a categorical language.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1094129$50A80730-B6F8-4FD3-BD4B-E8D89B7A8FF6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1094129$0FBA87F4-CD24-497B-BE9F-9547B77456BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bed973268be96744b8db60caa0543ff50965a902","datavalue":{"value":"18A10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1094129$C171D27A-DCC6-4AC8-98C2-B15FF45745BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f04348da9d1ca8b015ef464713838d83a8af937e","datavalue":{"value":"18A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1094129$0ACCF7BB-DD3D-4F8F-8FB0-952E3C012BEE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"11b110e2a67627fa5d457290c145c5a0fda00718","datavalue":{"value":"4024755","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1094129$D4291E0F-8DC8-4ED8-8015-1FE1F6850CC1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"157ab91c419be05cdd3c038eba702556731cfe6a","datavalue":{"value":"tensor product","type":"string"},"datatype":"string"},"type":"statement","id":"Q1094129$83B46EB3-3195-450B-BD18-995E6A7B3BB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddc14051a93e8c78a1da682d6f4184d91e9c6088","datavalue":{"value":"graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q1094129$01C9DE4A-6F55-4213-9648-58EB0EB7544D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfdd77260fbc1986110effbb49091b4d1ffec0d6","datavalue":{"value":"category of sketches","type":"string"},"datatype":"string"},"type":"statement","id":"Q1094129$B09724DF-2E94-4CA9-BFC1-063F561C3288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0d5cc2f733333ea1efb0648acc0777e28b346a6","datavalue":{"value":"sketch homomorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1094129$B2F60DC4-9BB6-4248-A605-B889F0EC7BFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5361902cf62422e87f14898be2df07d1ca6b25c2","datavalue":{"value":"Data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1094129$3A043891-7D26-454E-BF02-1C754367BDDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae973dea0bce1781f54a2b7f8606c1e8a434cfdd","datavalue":{"value":"initial algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1094129$976742C8-3DA0-4D1E-AC33-A33C2537CC3E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b1b74122c6aa7ae21165dde17a679367278501a9","datavalue":{"value":{"entity-type":"item","numeric-id":587743,"id":"Q587743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1094129$00548438-43F5-452E-9C64-8B252FCB1DB3","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":"Q1094129$0684BADD-13AF-4F01-869A-1363AF69B502","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ffb2094f6851617e776589d36b752cad511d8b4b","datavalue":{"value":"https://doi.org/10.1016/0304-3975(87)90122-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1094129$169D4271-422A-4201-8A7E-51456ADC2D2A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"da0fccfe607cb94adf84c3e8864dad8e8675e8b6","datavalue":{"value":"W2041841501","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1094129$1699C751-90E5-4965-BC52-C70EB25C366B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a1e99f41142e6d56c13ef3a05fd3f9bb055e348","datavalue":{"value":{"entity-type":"item","numeric-id":3682648,"id":"Q3682648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1094129$90F02E9B-42CF-4C89-920E-DE1DB0BC570F","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":"Q1094129$28AA2C09-BC3C-4BC1-9694-A78B8ABE0D46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02440399404883cec035c4ba4333b0b2f70b96a3","datavalue":{"value":{"entity-type":"item","numeric-id":4596052,"id":"Q4596052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1094129$855ED850-EBF9-4BF6-83CA-A19054FFEEC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55d1d81284cd8506edbc429a4cb466d2178f70be","datavalue":{"value":{"entity-type":"item","numeric-id":5679011,"id":"Q5679011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1094129$FA49DB4B-DF0C-405B-84F5-475C7C583B47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e7fe1966ddfde5539baae62f6e8a65ab8f3238b","datavalue":{"value":{"entity-type":"item","numeric-id":1135922,"id":"Q1135922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1094129$E21A6F7A-624E-40E5-A06C-98C6215CE6FB","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":"Q1094129$BAA1FC97-45CB-47CE-A034-243B487C7CDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f90fbd82bc62ea0dda3b223bf3d9ab7c19a31b1","datavalue":{"value":{"entity-type":"item","numeric-id":5184878,"id":"Q5184878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1094129$B1AEE057-27A3-4C8C-B56E-749BF156D65E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56fbe8eda433fc66e93fb2621e5107f8cb3e77eb","datavalue":{"value":{"entity-type":"item","numeric-id":5519923,"id":"Q5519923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1094129$9239DE0E-F453-4C2A-B387-79CDA2E993C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8d3064dca2a3425298e972d3839fd4ea24cef47","datavalue":{"value":{"entity-type":"item","numeric-id":2548649,"id":"Q2548649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1094129$CB6CE096-F7CE-43DD-97CD-CC7C82B6FD7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62284628c42c293f74cadd19ba3d65356619b030","datavalue":{"value":{"entity-type":"item","numeric-id":3334970,"id":"Q3334970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1094129$0BE06D21-250A-4135-9BAD-438F848D7A7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14dc34666befbe52eb52529c4170c251173db596","datavalue":{"value":{"entity-type":"item","numeric-id":5664061,"id":"Q5664061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1094129$CA82D520-F632-444D-9965-9F246DECA441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd3991021f8de13b7a707990108ea91f6bd16646","datavalue":{"value":{"entity-type":"item","numeric-id":1844915,"id":"Q1844915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1094129$6898A170-E3A0-4BBD-9DFF-EC709B9B879B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02768dee0710788c24f2d16dcd4382b402bca028","datavalue":{"value":{"entity-type":"item","numeric-id":3324132,"id":"Q3324132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1094129$7F41E632-8A84-42DC-835B-7B32DEB19591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f8e5bd1bc0b487b25aa97a443b59a0bb4ab1901","datavalue":{"value":{"entity-type":"item","numeric-id":3949181,"id":"Q3949181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1094129$F3A3E080-D5A5-4D28-A1AA-F437B3B4AE87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87e8c8acb9925a04698fe887d04699f13e3b0a10","datavalue":{"value":{"entity-type":"item","numeric-id":3491793,"id":"Q3491793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1094129$129A4952-4915-4283-84AD-1C4C0CEB3531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebaa62ef6ae788995fcc51d9c3d7d0db41920cc9","datavalue":{"value":{"entity-type":"item","numeric-id":4100671,"id":"Q4100671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1094129$A92BEF39-9E2E-4BDA-B104-0B546052BE01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67f5f7f66378af973224e264ccdd4b43fec6cf46","datavalue":{"value":{"entity-type":"item","numeric-id":4743710,"id":"Q4743710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1094129$79EAC5F2-2885-44E0-BE34-D6B15CB1A6CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa518cff8ba18aee424e798849bd39df384deef0","datavalue":{"value":{"entity-type":"item","numeric-id":4747503,"id":"Q4747503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1094129$2C3BDA12-8C56-486C-BEC6-C2ABDCD29074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0aabea6c1aa887420cd315a0eff8fc4827fb198c","datavalue":{"value":{"entity-type":"item","numeric-id":4180524,"id":"Q4180524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1094129$CD897190-BE0F-4A52-967E-7CAF031D71BC","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":"Q1094129$DA92FCB8-8936-4AA0-AAF3-4E6E2625336A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"131738cdd65cd1e6fc42ec59efd725e0ba276885","datavalue":{"value":{"entity-type":"item","numeric-id":5587104,"id":"Q5587104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1094129$91CDF2AE-9F6D-4227-B088-1C2E938B704F","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":"Q1094129$DA88A7FC-1BFF-42E2-92BE-4A456FFFE139","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":"Q1094129$6F558599-47B3-4949-8243-06041DE16223","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7dcdf61fb3c1f48583c0f70f6f2c54ff883f93d","datavalue":{"value":{"entity-type":"item","numeric-id":3835006,"id":"Q3835006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55800255fb7cb22da9051467e9e005c148961bd2","datavalue":{"value":{"amount":"+0.8062365651130676","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":"Q1094129$E8E3D075-1D50-4EB0-9481-121139CA61B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28ae63e6621d231a6ceb1d73fef3d22446d27591","datavalue":{"value":{"entity-type":"item","numeric-id":3787451,"id":"Q3787451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5542dedbafe28c90a8ecf525a542b4ec67d47d8","datavalue":{"value":{"amount":"+0.7994884252548218","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":"Q1094129$4B4A4B1E-8F7D-48B1-A782-20F5F531A8E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00679daf9027bf65192ed0c4d8be55a4757b1c38","datavalue":{"value":{"entity-type":"item","numeric-id":4207604,"id":"Q4207604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e82ea013fd8666c25faa3148b0435a03cbabece","datavalue":{"value":{"amount":"+0.7947452664375305","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":"Q1094129$D2137A40-0C03-4E12-861E-6742AD705075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4844946c5e20909f379a9d0a15ce9973129a3280","datavalue":{"value":{"entity-type":"item","numeric-id":3986951,"id":"Q3986951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"826efc6780f76347cedaa142c40bb933c1e5f993","datavalue":{"value":{"amount":"+0.7629159688949585","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":"Q1094129$BA918DB7-1E4C-49A7-A0BE-EB58E4DF3556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"052b20b34a4cff758541b1dc13111d3a7b51156e","datavalue":{"value":{"entity-type":"item","numeric-id":3695436,"id":"Q3695436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9216d3a388e80d8c62bad708e475b7751d15d819","datavalue":{"value":{"amount":"+0.7565665245056152","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":"Q1094129$AA037609-A41E-4BD2-8CAC-4E0AEB46A54B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Categorical aspects of data type constructors","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Categorical_aspects_of_data_type_constructors"}}}}}