{"entities":{"Q5498062":{"pageid":7527622,"ns":120,"title":"Item:Q5498062","lastrevid":101416748,"modified":"2026-06-06T01:13:05Z","type":"item","id":"Q5498062","labels":{"en":{"language":"en","value":"A dynamic restart strategy for solving SAT problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6402021"}},"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":"Q5498062$BAF61B6B-2162-4393-9DC8-292385587CE8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"63cb47828075d9e7463f88c654ff86a3cb5a0d53","datavalue":{"value":"1313.68196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5498062$4DD07041-702D-450A-9941-2C00C87ED118","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d709f7ad581f0567325f03e86dc3a80f53471435","datavalue":{"value":{"entity-type":"item","numeric-id":256462,"id":"Q256462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5498062$07E2E412-A100-47EE-9967-9135CAFCADC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"79d393c21e3a408b3e22e4b4be2af3d5ea925643","datavalue":{"value":{"entity-type":"item","numeric-id":975444,"id":"Q975444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5498062$1863A543-DF41-4E20-B3A4-F6E9E104B278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"78fd4ee7f781205d12d4efd249a5758ac4bdcc92","datavalue":{"value":{"entity-type":"item","numeric-id":364559,"id":"Q364559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5498062$3BFB35FC-2334-40C1-A2DC-CECCFFCBDBE8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2cc30e3d1cdbed8d53f5ef52b13c295e4add263f","datavalue":{"value":{"time":"+2015-02-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":"Q5498062$94B2A4F3-2C29-4D8B-B939-F310E89707ED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5498062$476213CA-9A80-4763-820E-877DDC7484E0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e00e77554e7a0d9f16de096df6a10fb3f048184","datavalue":{"value":"6402021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5498062$48EA8573-ED37-4CC7-93A1-46DCFC5F0AE2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c4628391bc7e2f29119ced30c12a75c601307e8","datavalue":{"value":"propositional satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5498062$761C79F0-904C-421B-87A9-A3C9AAA24D0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6342865a583d8b36c4084c80b63852c72c201230","datavalue":{"value":"restart strategy","type":"string"},"datatype":"string"},"type":"statement","id":"Q5498062$094CBF43-B932-4519-BF42-2F62AD632467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f641bd239fe6f0d5fb2cc0d2b3f89cbc609bab87","datavalue":{"value":"heuristic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5498062$B39B8A7C-C9C6-4F48-8FEE-1701272DCAF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7692b48c6540a92cf9972058fd575370b91a4aaf","datavalue":{"value":"conflict decision level","type":"string"},"datatype":"string"},"type":"statement","id":"Q5498062$E0D0CE66-8A02-4B37-B92F-12145932E366","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":"Q5498062$D73D0EF0-E6EF-4E5B-B232-A05B7B080603","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"22d9c58d21a93e6b6554ba2a7997e082c421734a","datavalue":{"value":"10.3969/J.ISSN.1005-3026.2014.07.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5498062$BF0DDC7C-2535-48F6-B803-03B166ABB352","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9c76d825cea4b2e6ec560ea8734d9aad773b2a7","datavalue":{"value":{"entity-type":"item","numeric-id":3502690,"id":"Q3502690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31bc7167a45686a209417e2038d843801573aec3","datavalue":{"value":{"amount":"+0.8665906190872192","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":"Q5498062$BE3C2D31-6898-4696-AD32-2D8350BE65E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67e15248e8c160c741e80f6219ad00a22813d8be","datavalue":{"value":{"entity-type":"item","numeric-id":3502714,"id":"Q3502714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e72048535dfe4ccde61d694f0def52ea62006d9","datavalue":{"value":{"amount":"+0.8319582343101501","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":"Q5498062$5D3BC28C-B07F-4EA9-92E1-5F534F7E0F1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a534d26195834a5dcb9a35ae0afbbfc5004d5bec","datavalue":{"value":{"entity-type":"item","numeric-id":2786914,"id":"Q2786914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a91dea496a08f1db913c1394677bbdb81bae1b22","datavalue":{"value":{"amount":"+0.7935632467269897","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":"Q5498062$E8B49774-C1C7-476D-ADFD-F193C9F6CBEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaa615cff76692e707d8179d4d72da5c86774b53","datavalue":{"value":{"entity-type":"item","numeric-id":3007685,"id":"Q3007685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b80b4e5033f2660ebfa49e0fcf77cf407a31b4a","datavalue":{"value":{"amount":"+0.7924344539642334","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":"Q5498062$5190EB9D-56F0-4108-9617-ECD0F0A2C009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bc657cdae5a7a2886ff484c06657b7fafbe5dee","datavalue":{"value":{"entity-type":"item","numeric-id":1656568,"id":"Q1656568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c92139350fde24e76c2b8ebd71aa6ff4320fdf62","datavalue":{"value":{"amount":"+0.7862740159034729","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":"Q5498062$640D3130-696F-460E-998A-CF9B10989763","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A dynamic restart strategy for solving SAT problem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_dynamic_restart_strategy_for_solving_SAT_problem"}}}}}