{"entities":{"Q3455584":{"pageid":5234984,"ns":120,"title":"Item:Q3455584","lastrevid":52413290,"modified":"2026-01-22T14:31:32Z","type":"item","id":"Q3455584","labels":{"en":{"language":"en","value":"Improving local search for random 3-SAT using quantitative configuration checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6519663"}},"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":"Q3455584$328704C7-F856-4417-B03C-3A24FFF649F4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"85d8dd8fe70f8998ffe068fae3cfd549bbb65777","datavalue":{"value":"1327.68225","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455584$43F477C1-8510-43B3-AC3C-F3D069E3C054","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6908858e820a6a7f4bb0d3992475e015c0a11b7f","datavalue":{"value":{"entity-type":"item","numeric-id":329033,"id":"Q329033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455584$AB220C5E-5032-47A3-BBBD-19AEF85BC276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9067f8663bc4535221a064e05e63cdbfbb8b607","datavalue":{"value":{"entity-type":"item","numeric-id":238000,"id":"Q238000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455584$5A782903-63E6-465B-8DB4-3AF9456FC4B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6547ea2456cf7ea8c03d9dddd728f9b9295ce231","datavalue":{"value":{"entity-type":"item","numeric-id":329032,"id":"Q329032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455584$96085337-7AEE-493B-BE88-E86BF7D8B5E5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f98ff43191c7d2cedf25947a17beeb973f5b0c2","datavalue":{"value":{"time":"+2015-12-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":"Q3455584$98475A45-F2B6-4C25-8D31-3D61922122A3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"90b9b2d6247d326363a61e5bd31951d6bac2b889","datavalue":{"value":"http://ebooks.iospress.nl/volumearticle/7034","type":"string"},"datatype":"url"},"type":"statement","id":"Q3455584$BC779E90-91E8-4A11-B820-60AFA03BF114","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455584$8C405EEF-E93A-49C5-B673-BFD2CF6ACD0A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"79ca6c1c74ed79f28b032feaad6fa2c6d388fe67","datavalue":{"value":"6519663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455584$25CD7999-DA15-4456-864B-E2477AC4609B","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":"Q3455584$3DDB224A-9CB9-4F6F-BA96-76029F41F7F5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9614fb4889151150a3176c408ebc4b705d67bd20","datavalue":{"value":{"entity-type":"item","numeric-id":513324,"id":"Q513324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"507df1a3c8854a687d4116fa003095c5ff321e0c","datavalue":{"value":{"amount":"+0.8633284568786621","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":"Q3455584$1B4DD865-8356-4630-9B3C-F4B124EFD098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96b84916cc091d0d45fa4fee44b95ae6200abab9","datavalue":{"value":{"entity-type":"item","numeric-id":490437,"id":"Q490437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc95a587d9beaccb09a38eab8f25ce80f83345f7","datavalue":{"value":{"amount":"+0.8595644235610962","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":"Q3455584$BFAA623C-822F-46B1-A60F-9C19852551D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8669c46cebd2b7c68335de6852f68adb2539dd80","datavalue":{"value":{"entity-type":"item","numeric-id":3453204,"id":"Q3453204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdd69f47be057b1c6b8a8d7baefcf8039b0f78ef","datavalue":{"value":{"amount":"+0.8374795913696289","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":"Q3455584$9EFE5026-0CC5-470F-92EE-DD3A9EA0AFBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac7b83a9ae7f2ceec1fc176017e58484f1553b8e","datavalue":{"value":{"entity-type":"item","numeric-id":4930575,"id":"Q4930575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"621320dd04475e664baef18fe5fde27cbeff2085","datavalue":{"value":{"amount":"+0.7460645437240601","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":"Q3455584$F2ABBDC1-1DDC-4AAD-A364-1F7F86B09F92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"678d804c4d42ff9c398f873f98cc0a64ef3c7365","datavalue":{"value":{"entity-type":"item","numeric-id":3007692,"id":"Q3007692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86ea272533dd8be30cf0a16bfc5ba16bb13df52e","datavalue":{"value":{"amount":"+0.7368279099464417","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":"Q3455584$55D42DA7-B53A-4841-9749-E9D4841F5641","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3455584","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3455584"}}}}}