{"entities":{"Q5897207":{"pageid":7937953,"ns":120,"title":"Item:Q5897207","lastrevid":50918057,"modified":"2026-01-15T18:13:46Z","type":"item","id":"Q5897207","labels":{"en":{"language":"en","value":"Using stochastic local search to solve quantified Boolean formulae"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5676658"}},"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":"Q5897207$B0AC4AB7-7A05-42CC-866B-8823AA995E0F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c04f74d42dc8733dfe219b034421a277ce016291","datavalue":{"value":{"text":"Principles and Practice of Constraint Programming \u2013 CP 2003","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5897207$B84973FD-F902-4A8D-BD4E-9492709506CF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bba06f576abc4b373a8250264fa6ce261a7cf923","datavalue":{"value":"1273.68346","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897207$2DBCD717-E5B5-4FB8-AE35-9F1625288D2A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf6a2bf440466d8935822f643d297ea8f3ef3e2b","datavalue":{"value":{"entity-type":"item","numeric-id":98777,"id":"Q98777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897207$76702C0F-7252-47E3-A3A3-E5FF03D5C81A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2007998f06773bc8c2b112ff0e6e11d05606584","datavalue":{"value":{"entity-type":"item","numeric-id":2389633,"id":"Q2389633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897207$7CD7862A-52E5-4590-AE52-8F12485C258D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb44ce64f479ba061b8feef32de4499fc332dde3","datavalue":{"value":{"entity-type":"item","numeric-id":3407153,"id":"Q3407153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897207$4E0EC20F-E278-4F85-BC04-D8672FA38A87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e54e172c70c88d6a2ec63311e0c847ccd29c983a","datavalue":{"value":{"entity-type":"item","numeric-id":1203765,"id":"Q1203765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897207$F83D6079-2A1C-4187-8EB0-A2A01EC4D1C8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897207$8A7FD2B8-820F-45AD-BBC1-1C022313533D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"451b1add420eba18eb55274d0248d7a57f02985b","datavalue":{"value":{"time":"+2010-03-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5897207$29B8DE03-66A5-4E6C-8CF3-FBEB8F8BB88F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897207$1B814F02-CF06-425A-A3DF-259B4471BBD0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8fddd5f36eaa1c4051106d1da109d73587bf23e4","datavalue":{"value":"5676658","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897207$B3C7AA9C-BDB7-4A6B-869B-B9E2132DB4DD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"02aa6cae878b77a5f61151dfb914bd66eebb75db","datavalue":{"value":{"entity-type":"item","numeric-id":16507,"id":"Q16507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897207$5710CB48-82BD-4BCC-BA94-701FB8A0955E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8cc02a4d5cfe357c7398b8045c9b55b5580560aa","datavalue":{"value":{"entity-type":"item","numeric-id":19323,"id":"Q19323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897207$1055F7A6-9141-4ED4-B0F7-1BD3DA1F3EA6","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":"Q5897207$2251A194-9817-4A6E-A9A8-13C57C8E3146","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0f0d088978bd1ba90a208bb3ac0237455b1a405b","datavalue":{"value":"https://doi.org/10.1007/b13743","type":"string"},"datatype":"url"},"type":"statement","id":"Q5897207$6A1ED982-F19A-45E2-AB54-586BD32EF89C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"49b07624b0b62d4da04deefc3f7c61204803e5bb","datavalue":{"value":"W2497660909","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897207$1F46E43B-CC82-4876-9008-C13DBE9CBBC1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"157818170df4ba439bc3d580df95d4f0c83ad56b","datavalue":{"value":"10.1007/B13743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897207$26551DDE-6CE2-4360-BC44-C074BFF729F1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08b0db0006f6b601a4d415d7b7169c2b11c227d1","datavalue":{"value":{"entity-type":"item","numeric-id":5713717,"id":"Q5713717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74356cf0872a5e49779db7ada57fe786fdb4eb5a","datavalue":{"value":{"amount":"+0.8177880644798279","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":"Q5897207$1A7B6E02-8DC3-4645-9CA7-A81DB6651472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a6fbc682f28add89108b0fee67fa7dc2b69aabf","datavalue":{"value":{"entity-type":"item","numeric-id":5713750,"id":"Q5713750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70031ea75bff1add46439df9943a17b24f0b9028","datavalue":{"value":{"amount":"+0.8065586686134338","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":"Q5897207$48DD3E01-A318-4A74-97CF-7BA3DC463285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27f184f1cf865a7b7f1a029ebbf618959f768865","datavalue":{"value":{"entity-type":"item","numeric-id":3524206,"id":"Q3524206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4417785e6ea7cf9d2ae916a1e7551de36879409","datavalue":{"value":{"amount":"+0.8018916845321655","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":"Q5897207$7BBF892F-3E69-4E77-A658-1219530652DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c229517954d211b6f1c4f984dffa0b196a82702","datavalue":{"value":{"entity-type":"item","numeric-id":4828947,"id":"Q4828947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38b4f6b8d03fc8ea0ded2e02c2cc47a7bf8c928a","datavalue":{"value":{"amount":"+0.7770593762397766","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":"Q5897207$0AE537B8-B3DA-46C3-9831-9F6E29CAC0F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f45acf569684e5407f555d4b998b43616c79e474","datavalue":{"value":{"entity-type":"item","numeric-id":5492981,"id":"Q5492981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39915aa6e58e1cff7b757266e9dda865e3b19bb2","datavalue":{"value":{"amount":"+0.7763242125511169","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":"Q5897207$5F6ACFFF-E116-4E56-8A9F-0728FB4D575E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5897207","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5897207"}}}}}