{"entities":{"Q2409578":{"pageid":2420321,"ns":120,"title":"Item:Q2409578","lastrevid":74050905,"modified":"2026-04-14T18:11:27Z","type":"item","id":"Q2409578","labels":{"en":{"language":"en","value":"On the speed of constraint propagation and the time complexity of arc consistency testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6789955"}},"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":"Q2409578$20EFB191-7E83-4A5B-8E56-A08C002E1110","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b82b6256ef37cda56cdb2045ee6490f1a15d59b7","datavalue":{"value":{"text":"On the speed of constraint propagation and the time complexity of arc consistency testing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2409578$DEA93868-8CBD-4F58-8109-5AC7CDB7C9BB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"61e141c3d257f1c25c6cac2137838935ff9e29d8","datavalue":{"value":"1378.68059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409578$32E670AC-A06F-4A1A-9A27-60C41865D2F9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c0128a57e2d201f8381841a7d6f4fb2d72285a97","datavalue":{"value":{"entity-type":"item","numeric-id":2398206,"id":"Q2398206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409578$0AC03803-F109-4524-AC0B-05F09D28FD1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d4e03f109ceb4ac5ef6232e2470c42de5582cda","datavalue":{"value":{"entity-type":"item","numeric-id":259080,"id":"Q259080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409578$C215E2D2-01ED-4079-A2D9-25702B59F787","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409578$9C7FFCB4-0300-43D2-AE59-918687E81D3E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d4057f48059fe99c35ecdf45e917fe5441faa63a","datavalue":{"value":{"time":"+2017-10-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2409578$AE98B077-A5D0-4AC2-8C02-C7741EAFEB61","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409578$D4FBCEC9-DBB5-41E1-8F02-DE7B456CF3B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409578$06BF56AC-92C0-4F8F-82F9-189B3F416B50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409578$55251FFF-D83F-437E-BE0B-CCEBA62E1CCA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f9d4f8823d90897792647cd14c143523f4c38226","datavalue":{"value":"6789955","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409578$5B8253F8-E88E-46A2-99AD-212FF011C2BA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a348f9efcaabdd35d491583f05dde8d8e0eb673","datavalue":{"value":"constraint satisfaction problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2409578$1B7C19AA-BDFE-4B6C-9CA6-BD59FCCB2B7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c05a7831e531e75b31a4af9070b239d7abd43620","datavalue":{"value":"constraint propagation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2409578$96D234A2-FFDB-4A17-AB87-F103EB35D35C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d8576bc4f7d98b2fd42a6bcf740e0c736ac05fc","datavalue":{"value":"arc consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2409578$D74426AB-6D78-41F6-AA48-37A7B8644843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53064f6609fb5177611c085d6f78e739c7e3f7f6","datavalue":{"value":"time complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2409578$4765183D-A8C1-46E8-BE9D-B9512CF88F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bce70b164ca2ea4664ac583368d94599a6d9c3ac","datavalue":{"value":"existential 2-pebble game","type":"string"},"datatype":"string"},"type":"statement","id":"Q2409578$3798B164-1CE3-46D6-8D12-1D5F45E1CEB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dde3732b3ca632f0c8435c8e9d83b09377f8b478","datavalue":{"value":"existential-positive two-variable logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2409578$736BAA69-240B-4BC0-A7A9-81AD91B2F823","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":"Q2409578$9DB8416B-58FC-4737-B89F-C3F5DAACDBAD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"275ff420000f9fbb45a945117d69ee4472df655e","datavalue":{"value":"https://doi.org/10.1016/j.jcss.2017.09.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q2409578$A53EEC97-B25C-4C89-9E9D-93DA296A7630","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5618b3bfe50a6225aaeef2b22de4b3b5bee4c210","datavalue":{"value":"W1608872751","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409578$596103CE-19F8-41D9-97BF-D26D114ADEC5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"da5c6061c3f6daf7454d0e9c58daef6f441530aa","datavalue":{"value":{"entity-type":"item","numeric-id":4210136,"id":"Q4210136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409578$83023688-39F3-4AB1-83CB-AD97DAEEB6C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92504f0e54bc14800a1d4307c0d5eb55815e87e9","datavalue":{"value":{"entity-type":"item","numeric-id":5891234,"id":"Q5891234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409578$576A8416-288E-43B0-B1D5-E1D389A7BB24","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":"Q2409578$DEB090B5-EA3D-4298-BBE8-2287FB7B0584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7516fc65ecac37755fe011fe1711991dc2a48599","datavalue":{"value":{"entity-type":"item","numeric-id":3184605,"id":"Q3184605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409578$18493051-2B7C-499E-A629-35C9316CF4A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4d31233397cc2122636d205de989a00e148b101","datavalue":{"value":{"entity-type":"item","numeric-id":1199922,"id":"Q1199922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409578$ECC7FBE4-123E-4E26-9F9C-F0B09CB15AD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78dd443a3420ff59f08195ceece54e76019d6570","datavalue":{"value":{"entity-type":"item","numeric-id":1277773,"id":"Q1277773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409578$02BDB700-4BB8-492B-B828-87455C282C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29a550f115c77beb3feb7826300f9f789d543a5a","datavalue":{"value":{"entity-type":"item","numeric-id":3524201,"id":"Q3524201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409578$37A41853-EDE2-46E9-8312-3DB40DAE6AF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37324faf442bf31ec7718a4b62bbdff48cea6206","datavalue":{"value":{"entity-type":"item","numeric-id":960526,"id":"Q960526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409578$897646D6-52F2-46A3-A8F3-F26775227F5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e26d89f527bd549529636814c4329ae425d196ad","datavalue":{"value":{"entity-type":"item","numeric-id":5292646,"id":"Q5292646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409578$CE267944-4974-47AF-93F2-9B50A57A0D3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b536b5a066c4ecc0fe72d12f715424faf1177838","datavalue":{"value":{"entity-type":"item","numeric-id":5428816,"id":"Q5428816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409578$9744B659-9E70-4733-9127-675E3F678A94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e608320df31f8e48c84ddb3e288d0df61ecac3d","datavalue":{"value":{"entity-type":"item","numeric-id":2475405,"id":"Q2475405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409578$3EFD9A39-ACEC-4DD6-B5F9-D3B8F34E02C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e75d71633d4d8b2c0b82c9e13cc6b17d5fc3d7bb","datavalue":{"value":{"entity-type":"item","numeric-id":3835053,"id":"Q3835053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409578$95837A6F-198F-4410-9F10-6985A814EC61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"838da7f5f8986c2db0b16b41cbca0b484d9d0936","datavalue":{"value":{"entity-type":"item","numeric-id":1104118,"id":"Q1104118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409578$1A72DF66-2357-40D1-9225-2782E885A808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b84361433057f8580c286b3014ac2dce5767ba68","datavalue":{"value":{"entity-type":"item","numeric-id":2457664,"id":"Q2457664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409578$064C0388-DC02-4F63-B0BD-68FBE26BE75E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"632f3f3ad3266f07ed73ecf9baab61e9d104ee6f","datavalue":{"value":{"entity-type":"item","numeric-id":2849906,"id":"Q2849906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409578$53C429B2-6AED-451D-B239-93355379462D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52afa7bd6bb478f700f9914e8cf74ba8028fe212","datavalue":{"value":{"entity-type":"item","numeric-id":2766428,"id":"Q2766428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409578$DEFE3809-7FD1-473B-A110-C9728DF91A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24ca7b526638c569c393520511e341b7e52e1145","datavalue":{"value":{"entity-type":"item","numeric-id":2946761,"id":"Q2946761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409578$9975F4AB-31A1-4C2E-9050-826C0D0F8BBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4690405eee8895f3745c3a69ec2e82721cd12da","datavalue":{"value":{"entity-type":"item","numeric-id":5900286,"id":"Q5900286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409578$2678D2CE-75B7-4DB5-8ACE-408C21A5F5AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68c924d1eb5644d2999e47059fedb8324a75857c","datavalue":{"value":{"entity-type":"item","numeric-id":2638780,"id":"Q2638780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409578$1C070869-2C87-41C9-8031-B67FAE90B2E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa917cd1e9b5468ee39ca98d36ef385b02222f9c","datavalue":{"value":{"entity-type":"item","numeric-id":465678,"id":"Q465678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409578$B415B226-1316-4033-B1BC-FD6EB84D83EF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"face093760612f5558f512bc65979eb7e8520032","datavalue":{"value":"10.1016/J.JCSS.2017.09.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409578$AA939182-F124-4085-B0F3-A18E778B056F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4571380e7d6d85636d56b14c74ca42f1d5e96ab","datavalue":{"value":{"entity-type":"item","numeric-id":2849906,"id":"Q2849906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ca7999f03aab64bc9f6b120543aac551011a565","datavalue":{"value":{"amount":"+0.9895153641700744","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":"Q2409578$D3B5884D-FAAB-4AC3-AB82-DAF2DD39D1EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82b9a1a495e347ad51cfd9c5e5c7b7bb929f94ae","datavalue":{"value":{"entity-type":"item","numeric-id":1199922,"id":"Q1199922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e12ab3fd52c96e281fe40f1f59eb6e5a22a8a7c","datavalue":{"value":{"amount":"+0.7999944686889648","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":"Q2409578$90C5F941-34E6-4FBC-8B1E-FDD93619D674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c798b8d723f3d5cee9b42cfea43948299584fd6d","datavalue":{"value":{"entity-type":"item","numeric-id":4012214,"id":"Q4012214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fec20b19ffb31b052cc15baa825f31b762cce14","datavalue":{"value":{"amount":"+0.7971097826957703","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":"Q2409578$B382B6CF-FCE2-42F4-A3B1-222D622D8924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99c35d65de337edfc3c8dab6e0e558288bac012c","datavalue":{"value":{"entity-type":"item","numeric-id":5915513,"id":"Q5915513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dbb2981d6fff02e118f041c69dc7f8784067428","datavalue":{"value":{"amount":"+0.7925153374671936","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":"Q2409578$86EA4533-2089-4BA4-86B6-BC16215840FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3379c47e754db32e41d9f69748757e54b55b6b8","datavalue":{"value":{"entity-type":"item","numeric-id":1124348,"id":"Q1124348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3093ed0c7de5a199158baaee7cc31c9ca25d89e5","datavalue":{"value":{"amount":"+0.7846659421920776","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":"Q2409578$A4C77D79-9DBE-4FEA-9777-CA9B244FF75C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the speed of constraint propagation and the time complexity of arc consistency testing","badges":[]}}}}}