{"entities":{"Q481702":{"pageid":483469,"ns":120,"title":"Item:Q481702","lastrevid":52158845,"modified":"2026-01-21T01:37:16Z","type":"item","id":"Q481702","labels":{"en":{"language":"en","value":"Multiset variable representations and constraint propagation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6380414"}},"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":"Q481702$6897BF23-5B76-45E1-8932-C26F865DA80F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a4d2a9282d4d9c4a411b60c5da1a127f01431d14","datavalue":{"value":{"text":"Multiset variable representations and constraint propagation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q481702$577F7EB0-9B16-49C3-B131-C87FE008D100","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"692e11e87ecba083627440f018150150a055ff4d","datavalue":{"value":"1336.68238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q481702$1F102A8E-F18B-4088-B3C9-71034D2AAD4F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"82766d1466d522258bc2936f6f4968fcc3044020","datavalue":{"value":{"entity-type":"item","numeric-id":481701,"id":"Q481701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q481702$2FBBA89D-B51D-4409-82B5-7C5CB4E8CFBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7d6767e9a4c23b3cc4b2011b78d123cee059e19","datavalue":{"value":{"entity-type":"item","numeric-id":2460255,"id":"Q2460255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q481702$A0B23B58-230F-4FD9-BC00-9EEA5087FE91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"75de08b5abe7a745a7eada51caeb5c8444a251dc","datavalue":{"value":{"entity-type":"item","numeric-id":814483,"id":"Q814483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q481702$17F181FE-44F7-416D-9F1C-7EB5284510FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f6a5cb47bfb987a892c1ea29852a7967462f77d1","datavalue":{"value":{"entity-type":"item","numeric-id":215106,"id":"Q215106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q481702$4B3B016C-95E7-46F1-90A9-C97FA39D78CF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a94d1d6f5ae333511fea1192115f95b08e9c8fb1","datavalue":{"value":{"entity-type":"item","numeric-id":202524,"id":"Q202524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q481702$D30FB4B6-D557-46D3-A46D-6F6A6A3BD25E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3b018cbac5547fb2c3603e0460b3a7fd61aed741","datavalue":{"value":{"time":"+2014-12-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q481702$BA126E44-3E7C-4077-9310-D14778BD758B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"39ef5846d2ed229dfda479b9cdcc9e8c967aa865","datavalue":{"value":"The authors study representations of multiset variables from a formal perspective, the consistency and propagation of constraints involving multiset variables. They identify a number of different representations for multiset variables and compare them in terms of effectiveness and efficiency. They propose inference rules to enforce bounds consistency for the representations as well as to exploit the variety (i.e., the number of distinct elements) of a multiset in order to improve the modeling expressiveness and to further enhance constraint propagation. Also, they derive a number of inference rules involving the varieties of multiset variables and show how the traditional components of multiset variables (such as cardinalities) interact with the variables to achieve stronger constraint propagation. Finally, they demonstrate how to apply the rules to perform variety reasoning on some common multiset constraints. Experimental results show that performing variety reasoning on top of cardinality reasoning can effectively reduce the search space and achieve better runtime in solving multiset CSPs.","type":"string"},"datatype":"string"},"type":"statement","id":"Q481702$00B03E1B-37FD-4C99-AEDD-FBC5B215BF7A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a45b400d22190ce8d9d8376830240adc5a55cd78","datavalue":{"value":{"entity-type":"item","numeric-id":367043,"id":"Q367043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q481702$6384EFBA-EE4C-481C-BE15-9D0EB49AA7D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q481702$96034CF5-DEE1-4F04-B98F-1FCC7538D2C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35cb8465ca85ba26995d54be2905dc35556d665c","datavalue":{"value":"90C27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q481702$0F8C96E1-70A3-4B8E-9CCA-79E309C06AEC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a762294342f010a41bdc37737c53ea38e16783b9","datavalue":{"value":"6380414","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q481702$1A6F566A-F2D7-4127-B9C8-B191CC618222","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00fab533cd38d922e3a2c54a153ccdfb1b56ca89","datavalue":{"value":"constraint satisfaction","type":"string"},"datatype":"string"},"type":"statement","id":"Q481702$4EE2C211-9D8B-4F99-A681-6109F0D6D678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39a6c3076005f0dca6699cf21cfcc87d73468a2a","datavalue":{"value":"multiset variables","type":"string"},"datatype":"string"},"type":"statement","id":"Q481702$50EEC4A8-4295-4A33-A237-BA758456C2AF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ed6caccff2a8bc09888177dab2449d837b0b8bd7","datavalue":{"value":{"entity-type":"item","numeric-id":18403,"id":"Q18403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q481702$4DFA267E-561E-41BB-9DD0-81132D971A28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4d0306a541ac4d64d413698a8167f6dce4fa4ce8","datavalue":{"value":{"entity-type":"item","numeric-id":16269,"id":"Q16269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q481702$1388B495-5577-4650-86D6-E3414F0CB433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"13443df964bf2860f67d03fe976d208605c47666","datavalue":{"value":{"entity-type":"item","numeric-id":19062,"id":"Q19062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q481702$C333FB53-0BC9-42C2-AF2E-9FF2FFF5F352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5c36222bb9a591f98e2043db31a25ee5a230d02","datavalue":{"value":{"entity-type":"item","numeric-id":16334,"id":"Q16334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q481702$4808F077-0F96-409D-8E6A-9CC369C91291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3ede50fc4f4c1109ee9121665cf9062e9d42c04e","datavalue":{"value":{"entity-type":"item","numeric-id":18387,"id":"Q18387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q481702$C93D7603-D7A9-493D-9C96-7AC001B868AB","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":"Q481702$912B7B5E-98F8-4822-BE6B-E6D8553B5F3D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b8b02c431526f2a3fc025bb17db9c3199aa04696","datavalue":{"value":"https://doi.org/10.1007/s10601-012-9138-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q481702$0B7E1F57-48E0-4DAD-B3B8-ED0B705C8F19","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5459dd04ee2de86c71b7ad63caff74437f4afe72","datavalue":{"value":"W2099435803","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q481702$AAD9BCFC-6645-46AD-85E2-739BA8D59DD7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9f59b251214dabf1ce8fd6869bb1b57d89fcce9","datavalue":{"value":{"entity-type":"item","numeric-id":879977,"id":"Q879977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q481702$5AC7586C-478A-44DB-8EBB-44642B1E31AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"569f025a0b95abca06128d99537911ae86fcabcd","datavalue":{"value":{"entity-type":"item","numeric-id":2767076,"id":"Q2767076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q481702$8F47F022-8690-4E1E-9395-7603F7C274EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd650c3ea520989bd60496ec848e3796abd23cc5","datavalue":{"value":{"entity-type":"item","numeric-id":1146679,"id":"Q1146679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q481702$C0A6CBF6-617B-4E30-B4DB-49955FFB5302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc451c3516b78a8e7c10c783ae0cc183f8500a32","datavalue":{"value":{"entity-type":"item","numeric-id":928357,"id":"Q928357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q481702$506C2FFD-CEB7-43CA-9C2B-FB91BDD1E162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9871de68b69994ebc6e11e7d75a97392a336f381","datavalue":{"value":{"entity-type":"item","numeric-id":679421,"id":"Q679421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q481702$CAE3356C-30A1-450D-93F1-C2CD67147B4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39e17630e3a93fda7e94f73509997c67dfbb1f6f","datavalue":{"value":{"entity-type":"item","numeric-id":5715712,"id":"Q5715712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q481702$BD53AA6B-B98B-4316-8FBA-57840EA2F4DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d202f4a8f6cc09c5fa3774f9e1c0e2d9bd116bb","datavalue":{"value":{"entity-type":"item","numeric-id":2558949,"id":"Q2558949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q481702$B8DDE8EC-1EBA-4F48-9AAA-9FD3B69ABCE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c76baea0fe21af0122517c8747c00ddd4f0cbb91","datavalue":{"value":{"entity-type":"item","numeric-id":5900304,"id":"Q5900304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q481702$76B8F712-9BCD-40BC-B166-6B3217B6E6F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bc7b0f82e42c56ee306811b6c3df8af19432e03","datavalue":{"value":{"entity-type":"item","numeric-id":1231783,"id":"Q1231783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q481702$D09698B1-023D-4345-9661-AB86370267D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"561817a73ff9bdb0106ee4820a2226eae9490326","datavalue":{"value":{"entity-type":"item","numeric-id":5897225,"id":"Q5897225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q481702$A9AA05F8-13C3-4D42-9D80-ED82594D5225","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"00d941b5eaec3d1c6f4c94a3b90f3122018cf208","datavalue":{"value":"10.1007/S10601-012-9138-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q481702$658E182B-8C4F-4CD5-AE33-FF7D17B6859F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"644202a5663b8d368c4dd1e67c8d356e0da82d64","datavalue":{"value":{"entity-type":"item","numeric-id":5897225,"id":"Q5897225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b230d6c4b55b5621e0220c9d410840238d870ebe","datavalue":{"value":{"amount":"+0.8824983239173889","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":"Q481702$6405B8C6-9870-4BD4-A717-D1F36B6AD3C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"476abe0216c83b7c2190b0b5768b7ea450eb3828","datavalue":{"value":{"entity-type":"item","numeric-id":5899105,"id":"Q5899105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0890e202e4b7afde780b72ff0c48bd2fbf6b279","datavalue":{"value":{"amount":"+0.777215301990509","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":"Q481702$FEA57412-AFE9-4231-AB7B-34631258EBA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b99e48b2a69626e2e5aa1cd4d21bf023bce4f29c","datavalue":{"value":{"entity-type":"item","numeric-id":5900290,"id":"Q5900290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f89ae07240f63385ebfae367f39e4c31b9f984b","datavalue":{"value":{"amount":"+0.7546916007995605","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":"Q481702$045969FF-67C0-4958-B286-D63557BD6C1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ede9819b921412126d59c1e3f5a413bdf0cfc52b","datavalue":{"value":{"entity-type":"item","numeric-id":835808,"id":"Q835808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4632926c6ae3c6d07dfa935a584060652cab52c","datavalue":{"value":{"amount":"+0.7204522490501404","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":"Q481702$2CCBA1DE-A68F-425D-9A31-C15175ED5A70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd42acd6a05ee7f0f047700cf529f4de99cc3a2f","datavalue":{"value":{"entity-type":"item","numeric-id":3524228,"id":"Q3524228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f737574b838c00988a4a24ce64cac0cbe5a37afc","datavalue":{"value":{"amount":"+0.7122830748558044","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":"Q481702$12D981D0-0EF0-4675-AD16-D53E10E75B77","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:481702","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:481702"}}}}}