{"entities":{"Q2342587":{"pageid":2353330,"ns":120,"title":"Item:Q2342587","lastrevid":72558519,"modified":"2026-04-14T05:44:03Z","type":"item","id":"Q2342587","labels":{"en":{"language":"en","value":"On matrices, automata, and double counting in constraint programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6431890"}},"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":"Q2342587$F9B4E48F-0834-4C82-8C97-C63E934FAC8F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c41c1c5b9ffc18152bc1db195b9931e755a99c2a","datavalue":{"value":{"text":"On matrices, automata, and double counting in constraint programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2342587$BFEB9450-B3DE-4E55-8CB9-C738F5A2754E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"83e8ed96ff0bcdd05b2a3667bdaf5eefbfa0eaea","datavalue":{"value":"1316.90043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2342587$96EFBF84-1327-4047-91FC-CAB9A6BDC8F0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b5f4e7f6f2c5d69d297a159f45db41d6b949abb","datavalue":{"value":{"entity-type":"item","numeric-id":265695,"id":"Q265695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342587$1FE281C2-28B8-44F6-990E-66C7F8B9EB1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d929e499819f5cdd992aa8413d5dd647386b14f5","datavalue":{"value":{"entity-type":"item","numeric-id":334806,"id":"Q334806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342587$ED0517F1-7AFE-41F4-A1DC-448578A161A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca6ef1b01a170aa9e578d3110eeb389dc262fa67","datavalue":{"value":{"entity-type":"item","numeric-id":334807,"id":"Q334807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342587$A9F60241-6250-4FBE-8C67-009220B7790A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f41f9c2df7e7f6e6cb7f068354b43d9e9949c12","datavalue":{"value":{"entity-type":"item","numeric-id":265694,"id":"Q265694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342587$095A552F-15F0-4DF1-80A0-CC11963DD402","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":"Q2342587$141E939B-A583-4B9D-82C4-CE8BBD56FDED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1d95d2d0a50d4e72ba00896317b0d1f40c726855","datavalue":{"value":{"time":"+2015-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2342587$44031795-CBC9-4551-8BC0-5C8A040C9C74","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"52de7d4bf5a27d5ad252804eec58396bb3e40c44","datavalue":{"value":"90C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2342587$CD0B780D-F168-4302-8BE1-E26A28E95C52","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c908eb9606ce88d55e5ae575eb40cdbc678c46ee","datavalue":{"value":"6431890","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2342587$C60DDE38-95F3-4688-B24B-6767B9B014E9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"467c01a35f07a685038f25cf2a977d9ff60d6fe5","datavalue":{"value":"double counting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2342587$36C04329-381A-4661-95F5-4CB7D9136E5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a031e0ce9106f82e6217486ab15b7fd18f80c45f","datavalue":{"value":"necessary (implied) constraint","type":"string"},"datatype":"string"},"type":"statement","id":"Q2342587$0D1F4230-CC38-4F42-ABE6-DD4C947F5B68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c17719389f61cf442748f0723c8b111454572ea6","datavalue":{"value":"matrix model","type":"string"},"datatype":"string"},"type":"statement","id":"Q2342587$4CFE1222-B5B8-4F33-8F8B-0C3786204DCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9e51a06133746eb8a28edccc41cb80cdde12744","datavalue":{"value":"automaton constraint","type":"string"},"datatype":"string"},"type":"statement","id":"Q2342587$25551970-A606-4842-85AB-2EDFBD1AA3D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bffabceb7d9584ccdf17d026058cac0da1729fa","datavalue":{"value":"nurse scheduling","type":"string"},"datatype":"string"},"type":"statement","id":"Q2342587$79D105FA-D4D2-4418-88EA-5A863E9E1F70","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e94b23538772dc8af95873e7970275730a4ccc17","datavalue":{"value":"Q57574239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2342587$C0EB8B4A-02F3-4F3E-8DC0-D71D55ECEF1B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"66bb7c6b186abf9630a1efe9aecc0ab125811307","datavalue":{"value":{"entity-type":"item","numeric-id":20458,"id":"Q20458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342587$696CFC1B-56AF-4519-A663-0D756FE59DA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4d36e94124670e343ce0a941fd9d5d398e768df6","datavalue":{"value":{"entity-type":"item","numeric-id":24368,"id":"Q24368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342587$2F95004D-B393-4872-90E9-C5C956FA0960","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":"Q2342587$9A659FCB-0162-42B6-B2A0-087365053F25","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a3887b5df58bc82891d88304763c050657c1a7ea","datavalue":{"value":"https://doi.org/10.1007/s10601-012-9134-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q2342587$5FC2AECC-7DD9-4C08-9937-CDC802641E53","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6a28041c2b390a9e93ea7ef3a9f1e414832b6b87","datavalue":{"value":"W2151877291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2342587$4638C024-10BA-4ED9-8D45-892373E17F08","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a08cfcc5870263a5c9ca63fbdf30de9c21f5aec","datavalue":{"value":{"entity-type":"item","numeric-id":3026382,"id":"Q3026382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342587$9A1892DA-D9A9-481B-BAB8-40798465FA42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2b6836b22aae5cde9a19b2c5c337058d4993412","datavalue":{"value":{"entity-type":"item","numeric-id":3569914,"id":"Q3569914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342587$F61E4AB8-9072-4E25-A52F-72551B70E545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c3e8b0016bbb88ed568bad880726b84b210fe5c","datavalue":{"value":{"entity-type":"item","numeric-id":5900288,"id":"Q5900288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342587$84F62816-841B-491F-A4E0-1848895BA1DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b7ae8d173bff32e7bee0c2a73e62174f61251cb","datavalue":{"value":{"entity-type":"item","numeric-id":3523058,"id":"Q3523058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342587$0652ECA1-F511-4F28-85B6-D9C98584111A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c5a19d57919b54e7da405b7d4d36bbbc3803e4b","datavalue":{"value":{"entity-type":"item","numeric-id":3612405,"id":"Q3612405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342587$03CD9105-8C25-459C-9402-01347A0E66DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64d24af026b9e49a848262500d886c8e1b74582a","datavalue":{"value":{"entity-type":"item","numeric-id":2457611,"id":"Q2457611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342587$0454F26A-2839-4A8F-AB71-9EDE7C5E4EF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40bb79a60e934b34e337041744c8c5c846ed98b3","datavalue":{"value":{"entity-type":"item","numeric-id":5897205,"id":"Q5897205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342587$0DF577FF-C519-4B68-875D-5511B1DAD8E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bac7f1baaa55096d83c73bf345e8308c96e8d9b7","datavalue":{"value":{"entity-type":"item","numeric-id":4255576,"id":"Q4255576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342587$C3DD6AA0-C86E-49B5-B877-8C60CCC6EF90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"347c853067ceaa6cecf036b9e7b54ca1fee76492","datavalue":{"value":{"entity-type":"item","numeric-id":5900305,"id":"Q5900305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342587$D8FBA8EE-DD05-476B-A35C-07783C10FA55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8aa64771366831d495afb74e12401d33661dfe92","datavalue":{"value":{"entity-type":"item","numeric-id":3630160,"id":"Q3630160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342587$FCE1481C-A872-4917-8C2E-8F9FE2EEC4B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb95932974b7e6e7a05018efe7eff2e74e5351c3","datavalue":{"value":{"entity-type":"item","numeric-id":5900313,"id":"Q5900313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342587$132510C3-CCAF-4644-B64C-913DC6C1D12E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40c31f24d5376d18d1027b9f8e9c192492e6351e","datavalue":{"value":{"entity-type":"item","numeric-id":5900319,"id":"Q5900319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342587$2667CB43-4E49-4B8C-8E14-D44856E64332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b96323dbb93c73d320ba00a881abce318a0cdd41","datavalue":{"value":{"entity-type":"item","numeric-id":1027526,"id":"Q1027526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2342587$825714C6-4583-42CF-BE81-A3359580D551","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"cb886ef7c7f86b7e86b463b552168653328f4723","datavalue":{"value":"journals/constraints/BeldiceanuCFP13a","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2342587$967F7256-16B4-4E1D-BBD7-8BB2FF63CBFC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"430e3974d44239cdbcb33f3a16a67fba58bc69fd","datavalue":{"value":"10.1007/S10601-012-9134-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2342587$95D4AEF1-5C5B-4985-A240-871A1C04F0B1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a57a846e4ad55a822b7361157ba0b401998f86ce","datavalue":{"value":{"entity-type":"item","numeric-id":3569914,"id":"Q3569914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2398b1f01acce578924ea9c83438cbaf9926f68","datavalue":{"value":{"amount":"+0.9795210361480712","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":"Q2342587$3BED62B9-2EBA-4982-9418-2FE04E28196E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"815556d06ea18e1094a5038ccf18bb0320a19703","datavalue":{"value":{"entity-type":"item","numeric-id":5900319,"id":"Q5900319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f5fa2504309d6695001e9763440a073add03942","datavalue":{"value":{"amount":"+0.7821072936058044","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":"Q2342587$FA086A10-2CEF-4715-94DF-DE5ACD48F5D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11c9fb90a9307be051b26f54a1dccdb703829538","datavalue":{"value":{"entity-type":"item","numeric-id":5900288,"id":"Q5900288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"930253f6d8e90ed94a0ba25ff55d22d41506e473","datavalue":{"value":{"amount":"+0.7134236693382263","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":"Q2342587$36405AFA-C3E4-4FDB-982C-913067FC5B5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d98eaea1eb345ae1b0c81fcf66bf31c0049ea00e","datavalue":{"value":{"entity-type":"item","numeric-id":3100179,"id":"Q3100179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5f46586c1b35befcaef187ade940aa581f2f351","datavalue":{"value":{"amount":"+0.7118498086929321","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":"Q2342587$EDE74B03-207A-449F-AD4D-177725D1B320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1085fc8d91cfe0d798efbc920d0e1dcc111494f2","datavalue":{"value":{"entity-type":"item","numeric-id":5450939,"id":"Q5450939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01884c7201998097acde0ca7204cfe53b3a41f52","datavalue":{"value":{"amount":"+0.7042917609214783","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":"Q2342587$67575219-7634-465D-A5CC-512D543D34EA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On matrices, automata, and double counting in constraint programming","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_matrices,_automata,_and_double_counting_in_constraint_programming"}}}}}