{"entities":{"Q5505494":{"pageid":7535054,"ns":120,"title":"Item:Q5505494","lastrevid":96531182,"modified":"2026-06-05T11:31:36Z","type":"item","id":"Q5505494","labels":{"en":{"language":"en","value":"Strategies for Solving SAT in Grids by Randomized Search"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5498221"}},"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":"Q5505494$A9E0E3B2-3F1C-41D5-9495-2ACFA5194453","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"715653ee4b42513d94ed9b654d1627fb62f857cf","datavalue":{"value":{"text":"Strategies for Solving SAT in Grids by Randomized Search","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5505494$962E0FF9-5E5C-4746-A338-91081A918BB8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1231754c8566f5655252029c7f3ef7425a6cb6b7","datavalue":{"value":"1166.68355","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505494$720E17B8-8D17-4020-9FDE-54896DADE905","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e6c869649ee8fd2a2d4651f5fd5db94454af05bc","datavalue":{"value":"10.1007/978-3-540-85110-3_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505494$1B0816ED-E502-46ED-BB15-2C88FA22A329","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ebfd430f823a6478294286ff8c6d38b91b1861a","datavalue":{"value":{"entity-type":"item","numeric-id":784138,"id":"Q784138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505494$CF43C5EA-109A-4DD4-A3E3-6359B030EA55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"498d039033b9bc38216498eb57cb84dc2a55d72f","datavalue":{"value":{"entity-type":"item","numeric-id":436410,"id":"Q436410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505494$E9E44541-D787-4A7A-BE0F-11F9206C52C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"84a0bf8ed8d41ff3812d01e44b824eef0aacc110","datavalue":{"value":{"entity-type":"item","numeric-id":414901,"id":"Q414901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505494$C5C4AF41-AB0E-484B-8F57-F284BD05C31F","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":"Q5505494$A839CB0C-53B4-444D-B8FE-5DFC776A4E3B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51e6c39ac6ec91b8381a06fe1e16cf5aca0f2bdc","datavalue":{"value":{"time":"+2009-01-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5505494$3754B8FD-C3BF-408E-A5EE-C5D603F01CFC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505494$EFC1DFA8-EAB4-4FCB-9AC0-797672DFF890","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cb9b9af6bca26e642f37f252366d4597aa461727","datavalue":{"value":"5498221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505494$003203A1-027D-4B86-B4AD-C829CAE1078E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1eaabc0e561dc484a85bd72ad458c9fb5f2683d3","datavalue":{"value":{"entity-type":"item","numeric-id":15174,"id":"Q15174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505494$E6A299D4-8B05-41F9-A3CB-04650631787E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"094325d0c5a0d7137a8abb9bd54cee89f702bccb","datavalue":{"value":{"entity-type":"item","numeric-id":23401,"id":"Q23401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505494$24EECF25-A9EC-46E4-BDDA-F73BD0E344D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"aa9f7d67d65d7deff21c41bb91f8efd8a84e888c","datavalue":{"value":{"entity-type":"item","numeric-id":23402,"id":"Q23402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505494$E1027C00-DCD1-43F3-8094-AC86B374B011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505494$7E553C19-5046-4BAC-B83B-2EBA5B693D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7e8c3789e3185f2513b118bd5b0118afe83106c8","datavalue":{"value":{"entity-type":"item","numeric-id":14509,"id":"Q14509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505494$D7E2EA63-E247-4CD2-8651-6E70731BB410","rank":"normal"},{"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":"Q5505494$8EB365C6-1243-45ED-91B1-CBECE5AE9A60","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":"Q5505494$3A83CA78-506B-4722-8B10-FF8280857C7B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"df8dd5fe333302192a6796ece60eb63e917764da","datavalue":{"value":"https://doi.org/10.1007/978-3-540-85110-3_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q5505494$09992277-C499-4202-BF1B-D76A3C11FD9E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c6ac418f89158a169b64250295d7d8d74dfba49a","datavalue":{"value":"W1513294700","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505494$D98F2419-CF66-4E68-96D6-B5E238E4F8FE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0c49abc4a13ef19f943f7b2dbc86c148e892974","datavalue":{"value":{"entity-type":"item","numeric-id":3534664,"id":"Q3534664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bb95d258d9d25f1a4a8e0dd144bd312e5bde18c","datavalue":{"value":{"amount":"+0.8385788798332214","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":"Q5505494$423C9A41-C17A-4EB6-98D0-BE6D04E049D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe3121d5ff950d13e4ee10791d5569c45de7da56","datavalue":{"value":{"entity-type":"item","numeric-id":2505055,"id":"Q2505055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d58874d125dec3c642e95cc9cc522e0c8a0fb889","datavalue":{"value":{"amount":"+0.836273193359375","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":"Q5505494$A1BB8CF4-CAE2-4EE0-8165-C412DB0E265B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3274e50a67589976e3e9b2a36563472f58dd3351","datavalue":{"value":{"entity-type":"item","numeric-id":3639755,"id":"Q3639755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32faa7f91561dad7825acd74b95fb938f38d168e","datavalue":{"value":{"amount":"+0.8226593732833862","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":"Q5505494$884DD1CE-8D79-4EA7-B3C1-C454899D575F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d667ba3690d6fbf0d534052921487ce35ebc418","datavalue":{"value":{"entity-type":"item","numeric-id":4933318,"id":"Q4933318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0770493921381ec62a68543294657c816adf0732","datavalue":{"value":{"amount":"+0.7728432416915894","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":"Q5505494$9250ACA7-95BE-458A-BCE4-B3ED5A814FEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8c1463ff992799d92b8362f7e598f662f129b1e","datavalue":{"value":{"entity-type":"item","numeric-id":3100181,"id":"Q3100181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a65f934e33e69fee9ffa20c073d44d393ba0b3db","datavalue":{"value":{"amount":"+0.7284417748451233","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":"Q5505494$05BEDA4F-40C3-4BCE-ACBD-2023CBE37425","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Strategies for Solving SAT in Grids by Randomized Search","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Strategies_for_Solving_SAT_in_Grids_by_Randomized_Search"}}}}}