{"entities":{"Q4511615":{"pageid":6541208,"ns":120,"title":"Item:Q4511615","lastrevid":97257857,"modified":"2026-06-05T13:44:01Z","type":"item","id":"Q4511615","labels":{"en":{"language":"en","value":"Dynamic variable ordering in graph based backjumping algorithms for csps"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1523621"}},"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":"Q4511615$BCADE045-21EC-4F87-B6D4-44E0E26A0125","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d9d1e769116e0a1de6f221a068490ec546f9af6f","datavalue":{"value":{"text":"Dynamic variable ordering in graph based backjumping algorithms for csps","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4511615$BE250317-7253-45BD-941F-2385E8E4D22E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aaae5bc374fab87bf88d40f0777aac9f070fae5a","datavalue":{"value":"0972.68788","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4511615$FAC2084B-C107-478D-A93C-B217EDBFFC58","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"24121d38eebf1bfa143535908a74811f4b41fd76","datavalue":{"value":"10.1080/00207160008804975","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4511615$56C311BF-C4E1-45D9-8602-5F896066CAE9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1f8a1cf422dc8a39955e3a7180ef4ce8229538d6","datavalue":{"value":{"entity-type":"item","numeric-id":2710741,"id":"Q2710741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4511615$48548585-E1C3-4E7D-8C4F-CC97AFAE561F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"813cbcd07cc85185a006be56944eed3aabcf5f7b","datavalue":{"value":{"time":"+2000-10-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4511615$C84FAA07-7647-4EBB-8188-C18DACA91A07","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"61f5e4db0e91212ef2106e3db512d71730a68751","datavalue":{"value":"68U99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4511615$94E3953C-9650-4951-B104-9EB700581EA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"81ba1a045a2037276aea9aeb7e223aab3c4744ec","datavalue":{"value":"68T01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4511615$75427300-C24F-4304-BA69-CAAE4A32661A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"df47ada892662088abe9597c4084a44bc956fd28","datavalue":{"value":"1523621","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4511615$BF268BBA-22E4-43AB-A732-C04C5709B738","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df25359605a7bacf8d12705a29fce2b79e2bb8b0","datavalue":{"value":"constraint satisfaction problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4511615$C804795B-2EEB-4B98-93A7-53FB7B2B5C3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90f9bb4f6d769facd198fc2da412c11ffe700636","datavalue":{"value":"graph based backjumping","type":"string"},"datatype":"string"},"type":"statement","id":"Q4511615$6DD056DD-D373-4CAA-BC66-B1E99293A8F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6347c02bea4fbbce3600d69a6b6c05db74076253","datavalue":{"value":"backtracking algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4511615$B3F4BC3C-5A75-4BE9-B49A-CB8B10891B72","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":"Q4511615$77ED594B-1D91-477A-B48B-43B2CD188D08","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2fa86b1524368eed57991864d669da426fed052b","datavalue":{"value":"https://doi.org/10.1080/00207160008804975","type":"string"},"datatype":"url"},"type":"statement","id":"Q4511615$4728CB72-CACC-4C78-B363-30D71CA83CD7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ac50a044506503b78b5c7f4eeefbe41a8a6788cd","datavalue":{"value":"W2044065851","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4511615$30A375DB-7C4C-4A5E-8842-0778EFF49C24","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"afc61a2037feef2b958c658698dd68bdb6481612","datavalue":{"value":{"entity-type":"item","numeric-id":1102137,"id":"Q1102137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4511615$2399BD69-D5FE-4D2A-9097-948E4B5EC6A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc5bdfe9e8ce1cefa466590964d38f16789200ff","datavalue":{"value":{"entity-type":"item","numeric-id":1116363,"id":"Q1116363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4511615$A7B113B5-5077-4E64-8CAB-9DB57B7F03F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1442e2d7950d4dada3673da9828f28aff69dc86d","datavalue":{"value":{"entity-type":"item","numeric-id":754642,"id":"Q754642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4511615$26052B65-D3BF-4537-88D7-71539D8928F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8409c6b47904da9ba25328ffb35bebdb7d310a8","datavalue":{"value":{"entity-type":"item","numeric-id":1844713,"id":"Q1844713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4511615$09C1DA0D-CBE6-4468-9756-54A0151075A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df1958ff7e040b608ab81be40fc268247c86c0f1","datavalue":{"value":{"entity-type":"item","numeric-id":3933756,"id":"Q3933756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4511615$1577C631-7BC9-4E93-AD23-308EBA01CD04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a3211594e19536abe0436fce44b1adf71ae9fb9","datavalue":{"value":{"entity-type":"item","numeric-id":4072832,"id":"Q4072832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4511615$63E10980-4D06-498F-994E-E3313F71B5A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f53310362b41756586f4a9ba11445f98bc084042","datavalue":{"value":{"entity-type":"item","numeric-id":4051599,"id":"Q4051599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4511615$30465687-400C-439E-B952-FCD578ED1E17","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42aed5dfd3d7f9c4d2b3de78b5800ed849cc78d5","datavalue":{"value":{"entity-type":"item","numeric-id":4475662,"id":"Q4475662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"583e0c1bfa5bdfe2a978a08f2e3e94ef0376ab2f","datavalue":{"value":{"amount":"+0.7756936550140381","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":"Q4511615$B054432E-CD2F-4874-9B90-4DC9F8BF3EF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2326aa196497551fcd308579cf9ef2f03ccfff02","datavalue":{"value":{"entity-type":"item","numeric-id":2717783,"id":"Q2717783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"586c61d73396e918cc8b4fef1ec91cd48c21ec0c","datavalue":{"value":{"amount":"+0.7754061818122864","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":"Q4511615$B7325160-5B47-4883-8E5B-460D6AF8651E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db4df59161d956a54a7803e0bec38903787d6f87","datavalue":{"value":{"entity-type":"item","numeric-id":1605408,"id":"Q1605408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d19eda57ddcf4dc1c87325ac222629ae08cded4","datavalue":{"value":{"amount":"+0.769445538520813","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":"Q4511615$83C6FDDF-86E3-4DD4-A470-916732EE7CE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8fb8da0662d0177a42510a93ea2ef7d545a1b75","datavalue":{"value":{"entity-type":"item","numeric-id":1399134,"id":"Q1399134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a66718f5318985fd73f5a999c7e40e10deaf928","datavalue":{"value":{"amount":"+0.7605546116828918","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":"Q4511615$E46B21CE-E91C-450C-8143-FAA0461A4682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d1dc8f3d16d3325ecf6a172b449cd812655038b","datavalue":{"value":{"entity-type":"item","numeric-id":2741266,"id":"Q2741266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f326715bd3975e685ba012bb578113b54ce94952","datavalue":{"value":{"amount":"+0.7428199648857117","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":"Q4511615$13DA3F26-FACD-4DE5-86DB-3BCC0D01EEB9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Dynamic variable ordering in graph based backjumping algorithms for csps","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Dynamic_variable_ordering_in_graph_based_backjumping_algorithms_for_csps"}}}}}