{"entities":{"Q2643305":{"pageid":2654048,"ns":120,"title":"Item:Q2643305","lastrevid":79430957,"modified":"2026-05-06T13:53:30Z","type":"item","id":"Q2643305","labels":{"en":{"language":"en","value":"Random backtracking in backtrack search algorithms for satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5182376"}},"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":"Q2643305$EB97FE83-067A-4D98-B6D5-25501225E0CE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"161be86f567cb73a45412aa37be025372ed3ea62","datavalue":{"value":{"text":"Random backtracking in backtrack search algorithms for satisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2643305$F70F4DAE-B70A-4A4C-8615-A0E88E82F31B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d13d5d43ebf7c2080b0ffac1492692851898af6c","datavalue":{"value":"1121.68109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643305$B17E522F-19FC-4731-A9E9-506E2492B7B5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"407e41d2014cb38969f273806ce1eb535a6eb9fb","datavalue":{"value":{"entity-type":"item","numeric-id":421450,"id":"Q421450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643305$8CC5A614-56EE-4EB0-B1DA-06C91DB31F3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"41df06f4fe4133fafd7ede4eda94dd022be9bb8e","datavalue":{"value":{"entity-type":"item","numeric-id":1430295,"id":"Q1430295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643305$5CBFC7FE-1F4F-403D-9CB2-87292259877F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"087f55844cc920aae060b09644168bf17b022e1a","datavalue":{"value":{"entity-type":"item","numeric-id":96294,"id":"Q96294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643305$21F0D3EC-D664-40CA-BB78-20D86F09D2EB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"226fad3e536b676c763bdce84a93ee9c766c4ae5","datavalue":{"value":{"time":"+2007-08-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2643305$AF9A590D-6399-4804-A185-3903BF5A5E3C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c53437a007e8faecb794daaec7d4f2c064a63b64","datavalue":{"value":"https://eprints.soton.ac.uk/264201/1/jpms-dam07.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2643305$CE382492-7FF7-4FB2-84A7-5947810E01E1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643305$106DF6AA-F0BA-4FE8-BD63-95B0097C6740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f97694d44af155a68434cb72eabc6a4d5dd5227","datavalue":{"value":"68P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643305$5E65F1B3-E3D4-420F-B131-3907134AD028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e01671c873d801b913451010c0981a684c101d40","datavalue":{"value":"68W20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643305$53F66808-2E0E-4E37-B565-9BB5DEE92F0D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9d777c6fbc7cd1bd45b8db8df9c7a81acb76b4ae","datavalue":{"value":"5182376","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643305$86D86423-EB2E-43BD-97AE-1CAECF9C42ED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0307adf3981e6daf4015e05d74e44424dc3084a","datavalue":{"value":"propositional satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2643305$BBE7CF22-4157-497E-9F1D-07DDF99C7D65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b177f81a7f0223bd8c89cef0c472067416bb492","datavalue":{"value":"backtrack search algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2643305$290E2FA0-B055-450F-AAD8-7CA300DB7A9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"679372600590a03c48d4032113dc215d14bd33c6","datavalue":{"value":"randomization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2643305$CCEE62CA-B4FF-4453-A045-D798B4748006","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5834864074172f90c0db592b61fbce75f9303a03","datavalue":{"value":{"entity-type":"item","numeric-id":16627,"id":"Q16627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643305$D741FBA9-A3B9-4EAC-BCE5-2A09DC27DDC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b029c35ffabe60b7d29584a6d40b4cb278ba542d","datavalue":{"value":{"entity-type":"item","numeric-id":18983,"id":"Q18983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643305$9E9049E6-58CC-4C29-853D-1F7AB2BAD529","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":"Q2643305$399FE130-074C-49E4-8709-74CC673A146E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3764c1aff4e13eb02dbafa1f2534be41b7120258","datavalue":{"value":"W2135112232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643305$C90515C1-7A18-48E3-BE1A-29D416C0C7CA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"06abc869dee57fcd899da7ce0facfa1d28b4c229","datavalue":{"value":{"entity-type":"item","numeric-id":4473048,"id":"Q4473048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643305$6CD60147-6790-4A8A-A2DE-E9BB6F3B15AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643305$031A8480-95EC-4D56-B3BB-453AF226D7B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643305$63C30316-6DCA-431B-9BE8-39B85FDF5A30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9153e1bab82c8228248e1d3031319311a096e7c","datavalue":{"value":{"entity-type":"item","numeric-id":4386920,"id":"Q4386920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643305$326A5B3B-D1BA-4BAB-8258-0C25C6103A52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3348c4f23a620a7654545e9e3737b9f755ba6069","datavalue":{"value":{"entity-type":"item","numeric-id":2643301,"id":"Q2643301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643305$03119129-A49B-4FCC-91C5-5C14475CAD03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9269e64d2adca53bb2f298ca1a02b550d98c27a7","datavalue":{"value":{"entity-type":"item","numeric-id":4571400,"id":"Q4571400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643305$876A46FA-9E21-429E-8017-EF21E1ECFB58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bdaaa147a6884104ab9f5811a4acd976b086ee9","datavalue":{"value":{"entity-type":"item","numeric-id":4473036,"id":"Q4473036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643305$4830F1C0-CB6D-4AF8-8B59-B22B9E1ED300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbceada993486a3c4d17df48f29d368cc6ce2e48","datavalue":{"value":{"entity-type":"item","numeric-id":1581850,"id":"Q1581850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643305$4586F4FD-4E39-4A63-9911-08B85CB9765A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7b5fa9b205a479f7043d1f02b59d43eb670dc95","datavalue":{"value":{"entity-type":"item","numeric-id":5234711,"id":"Q5234711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643305$961BB73E-3D32-48C2-BD27-BF010BB8B22D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1d6b8a2e71b4e1bcfc926a110c064dc2c1c661f6","datavalue":{"value":"10.1016/J.DAM.2005.10.021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643305$B0555870-82DC-405D-99EF-065281CCD959","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d3bcd28ebfbe32d482dbe36b5e04fa64d5cb10e","datavalue":{"value":{"entity-type":"item","numeric-id":1370608,"id":"Q1370608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf841834209270dc51ae770e98e746c6a52eec7f","datavalue":{"value":{"amount":"+0.9518104","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2643305$63FB059D-9327-42D1-A147-536F798B63A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23d34e4773912ab2d3a6f77d266e1fa7f3f66667","datavalue":{"value":{"entity-type":"item","numeric-id":1861908,"id":"Q1861908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4520768bfc77b4e8ef116f4b7566acf3bc57587","datavalue":{"value":{"amount":"+0.90332377","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2643305$F6AC5F2B-C73F-4960-B75F-13A41FDD7D61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1be27f688c4353eec6ab65ba6cd5ce5caa92db29","datavalue":{"value":{"entity-type":"item","numeric-id":3814842,"id":"Q3814842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f601ce1ca22dccbca4db428c4fd9ae3e8a8897e","datavalue":{"value":{"amount":"+0.8888227","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2643305$E3D4984F-27C5-401E-8F5E-393F5E34D612","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":"b36267ba04c321d1494bae5a45bf1fe71db3e17b","datavalue":{"value":{"amount":"+0.88856333","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2643305$28EC4211-A08A-47EE-84D8-2CFF4CFD0184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59749457507943deea09a732bc974cc8e3df5c48","datavalue":{"value":{"entity-type":"item","numeric-id":1190510,"id":"Q1190510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8e6982335ca9601129d8efc7a843b007b0ee4ce","datavalue":{"value":{"amount":"+0.8884026","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2643305$AB54E23B-0829-403E-9405-031EDC8FEF37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9af1fc9449aab281056c469de0df73cb40389027","datavalue":{"value":{"entity-type":"item","numeric-id":2349811,"id":"Q2349811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e63ae66059478c1009d5f9c550f4898768c193bc","datavalue":{"value":{"amount":"+0.888318","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2643305$5C3DF2A2-3609-42FD-9D41-5096733A8AE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c06366c309d2286fd2ef3815d10149ad4e870b8d","datavalue":{"value":{"entity-type":"item","numeric-id":1876532,"id":"Q1876532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fa8857699e39e47c150e858dfa6c446a6cbc96e","datavalue":{"value":{"amount":"+0.88675344","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2643305$E586158E-373C-412C-9CE6-8A5882DB3522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3df57bcddbe01f039c581077e12c382493f27940","datavalue":{"value":{"entity-type":"item","numeric-id":4668578,"id":"Q4668578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ea7bc5fbaf32dc08eae254fc9392b698d0228cc","datavalue":{"value":{"amount":"+0.8854754","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2643305$8B9DD725-CE05-4946-BACF-893C1D6A9272","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Random backtracking in backtrack search algorithms for satisfiability","badges":[]}}}}}