{"entities":{"Q580959":{"pageid":582726,"ns":120,"title":"Item:Q580959","lastrevid":62924622,"modified":"2026-04-11T09:01:07Z","type":"item","id":"Q580959","labels":{"en":{"language":"en","value":"Canonical constraints for parameterized data types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4018358"}},"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":"Q580959$49A79440-1C61-44AF-ADCF-C0A75BF773F2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c7c10f4b3cd75f6500b62e5484175a56776b8ea7","datavalue":{"value":{"text":"Canonical constraints for parameterized data types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q580959$C283EA87-7A50-422A-A64F-EEE43BF4649F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"10e9c8e4c4bc0378de49f415ae1e20a4ec0adc98","datavalue":{"value":"0626.68010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580959$EDDF6C88-80BC-4A4F-8C02-CF4773C3A4E0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b7837a82a04a209982beea126744a5a2ae17b4e6","datavalue":{"value":"10.1016/0304-3975(87)90119-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580959$A8A42234-7E81-47A7-8337-822B1CB7326C","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":"Q580959$B0EEF757-21D4-42B0-BD23-016D6E676D13","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":"Q580959$42FD2BCD-3AB8-4DD5-9662-E62336B30D7C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fe813be427f5d32b213fb4175f3cab737fa67751","datavalue":{"value":"This paper presents a comparatively general method for specifying a `data constraint' on a parameterized data type (i.e., specifying just which category of algebras it is supposed to be defined or correct on), and shows that there is a simple canonical form for such constraint specifications. We also show how such constraints may be employed to give `loose' specifications of data types.","type":"string"},"datatype":"string"},"type":"statement","id":"Q580959$B53152F8-BCF6-4631-96E7-1540719BDCB8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580959$1450F924-AD3C-4500-B894-CD265499FB1B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"23e1e28fb8b1d28034a8a2ffe4680e63b74f6605","datavalue":{"value":"4018358","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580959$9AD39C28-10D1-41BF-8227-DAD8431779E0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9697b3ff2c67de4f82e8ad3a89bdf4fe0469f974","datavalue":{"value":"constraint specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q580959$75A4A9A5-0B31-41D6-A63F-D23CAB538475","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ebf9d7de436e661fe44c64998a85f0c878859fe","datavalue":{"value":{"entity-type":"item","numeric-id":751296,"id":"Q751296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580959$E79161EE-9E04-40C5-91D1-9D5C919F25F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7932890ff79a7b196908702cdb1b3dc6a332d7d7","datavalue":{"value":{"entity-type":"item","numeric-id":171481,"id":"Q171481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580959$E2B7F2C0-DA23-4E90-B60D-72759433FFF1","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":"Q580959$1E00DA06-4D93-493D-9473-DF0EC0736A83","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"62df8a0682a236e092beec23800415dbe419909b","datavalue":{"value":"https://doi.org/10.1016/0304-3975(87)90119-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q580959$AE6CBE60-E626-4C31-AC3D-C163B38CAC92","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"320fcc19a790b1dedb77dda3b7d1dc28570c8ded","datavalue":{"value":"W2070517122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580959$92AF8707-6361-41D7-8B04-80434862418E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a1e65078ac556e120790c1619c520cc83c6ebf7","datavalue":{"value":{"entity-type":"item","numeric-id":3695436,"id":"Q3695436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580959$4596F790-240E-4C55-9B29-63B960A8EE11","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":"Q580959$B052B215-2EAB-44DB-B960-1977813D6C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8194b13a541abda7ec58134919c257e1707d2482","datavalue":{"value":{"entity-type":"item","numeric-id":1056226,"id":"Q1056226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580959$FEED6A87-93B9-4ABD-B818-86BE64F332E8","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":"Q580959$7C1F72F8-A549-4175-951C-C0D4984EADA1","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":"Q580959$9010F39B-A786-45B6-8DDC-F80C2534E83F","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":"Q580959$EAC6700A-0DB9-435B-9087-4B3F756B8E56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f94ed1966146509e4c807f693ee51c1a63a3a6c7","datavalue":{"value":{"entity-type":"item","numeric-id":3667933,"id":"Q3667933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580959$240B8682-996B-47F2-BC5C-AE7D183D009A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47ff134a77e5eec50ac7105e5c043a0c1cb94dbd","datavalue":{"value":{"entity-type":"item","numeric-id":3725526,"id":"Q3725526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580959$91B36C69-E104-458A-A838-9467B1B76722","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":"Q580959$79CFA01C-B0BF-4F11-BDF0-F5068C865ABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"349532c118a3f683d6a4558f520406ba42210f52","datavalue":{"value":{"entity-type":"item","numeric-id":3917480,"id":"Q3917480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580959$34F70CB9-ADAA-41A5-850C-AFD702B404D6","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":"Q580959$DD676C84-38BF-4D01-A111-49589BB19DA6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d1b33c4c7e43d1280f5787eb1ba8812c5009c4d","datavalue":{"value":{"entity-type":"item","numeric-id":5402549,"id":"Q5402549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"328611a9f86379d69870334c2997fab1800a67c4","datavalue":{"value":{"amount":"+0.7599835395812988","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":"Q580959$3E0A07E6-1936-45D9-AFDE-C1AB67672595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b676f0f263454034175e078f153762fb9cf49ebd","datavalue":{"value":{"entity-type":"item","numeric-id":3345752,"id":"Q3345752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9175d87ea94b2c61dbbdcbb0f7cec5e2b9cbe01","datavalue":{"value":{"amount":"+0.7548766732215881","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":"Q580959$C13D0FB3-4C04-4FC6-8C9F-A90C8C140F81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0629abc93a55b58aa569134018ad6319a4c11715","datavalue":{"value":{"entity-type":"item","numeric-id":4207566,"id":"Q4207566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"782ea3b11594932c65973f15b30d39964f2459a3","datavalue":{"value":{"amount":"+0.7491706609725952","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":"Q580959$72F10A04-BD8B-49E2-B898-63F5973025CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1324912ec4f6de30209164d90e020b0c53f873b2","datavalue":{"value":{"entity-type":"item","numeric-id":3677151,"id":"Q3677151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1a12ab5999755e2ef0d2306c04350c30a248a8a","datavalue":{"value":{"amount":"+0.7292698621749878","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":"Q580959$3B1D7AE0-1E12-4011-B1B2-6B80B2B2DDA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79c9e401f82b7e9075856b22a2d8cf7cad2d16ea","datavalue":{"value":{"entity-type":"item","numeric-id":3341873,"id":"Q3341873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea238f7fee874a85d399b7d5dad47e4aff66c878","datavalue":{"value":{"amount":"+0.7283092141151428","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":"Q580959$2DE9A88A-4A05-4810-A97C-8A5700DF23DE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Canonical constraints for parameterized data types","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Canonical_constraints_for_parameterized_data_types"}}}}}