{"entities":{"Q3502690":{"pageid":5532593,"ns":120,"title":"Item:Q3502690","lastrevid":50365490,"modified":"2026-01-13T21:54:45Z","type":"item","id":"Q3502690","labels":{"en":{"language":"en","value":"Adaptive Restart Strategies for Conflict Driven SAT Solvers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5279233"}},"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":"Q3502690$AA0D6A41-DBAC-4D2A-91A0-B6520DE3519D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d416968c2a0484333d931584af519ee88fa9b17e","datavalue":{"value":{"text":"Adaptive Restart Strategies for Conflict Driven SAT Solvers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3502690$7FAC3607-7604-449D-82BA-687B837E13D8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f5639de658d69916e01112273982a4538d614f5b","datavalue":{"value":"1138.68533","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502690$C32ED657-D3E2-44E6-BB7B-6AD6A47F99FD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"95311469c2fa235d9371c9f5d642c0e938bdc956","datavalue":{"value":"10.1007/978-3-540-79719-7_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502690$640D9611-F9E8-4E45-BB67-9F8D64FB99E0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"396db362b8f5a55e9aac7b42eacb07e40796d942","datavalue":{"value":{"entity-type":"item","numeric-id":209458,"id":"Q209458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502690$9C8DC383-AD8D-4714-AA10-C19D8D111FAC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"80995fbac304acc1608fa675086cd15277d478ec","datavalue":{"value":{"entity-type":"item","numeric-id":3502686,"id":"Q3502686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502690$88DF35B3-4478-47E7-8CFA-2B45C1EF6CCF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6183386ae8366a240584c653ce5ca2494433aedb","datavalue":{"value":{"time":"+2008-05-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":"Q3502690$D33CD7EF-7216-4D92-A55A-E0E8E8855CB7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502690$A3E01AB4-DD8C-4634-B82A-36FE0C78EA23","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"600d26c9e14e37871f2cd16de7a7f9506babc675","datavalue":{"value":"5279233","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502690$6ED9F2AB-A0E0-47E0-9D86-5F80860BC65B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fc913e0e8afa2a727cce06bc306808aa43cd2398","datavalue":{"value":{"entity-type":"item","numeric-id":25035,"id":"Q25035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502690$1EFAB0E3-1E04-4050-8331-6722A8BB53FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502690$D1E1CAEA-722C-4859-8E00-4CA6A6806DF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"60c977c73f66c80db6a0782a3e55d401ee00ddc1","datavalue":{"value":{"entity-type":"item","numeric-id":19150,"id":"Q19150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502690$A8CDA505-7569-4ADF-A358-AEC03686A9EE","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":"Q3502690$77E9DEED-07ED-4FF5-AB25-1160F31370DB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6461f8431c1d8a9addecb39eda9e4434db8a0cda","datavalue":{"value":"https://doi.org/10.1007/978-3-540-79719-7_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q3502690$3A4FEFF7-8FB4-4E23-ADC4-5BC4BEF82421","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7a5663a1abefa84ff6201587fc558a4e60606586","datavalue":{"value":"W1485011986","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502690$738ADA84-F328-4CCF-9B9E-ACD1CF9D159A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9370899dedc1d653d16f1f5aaa8b6c6be96f529c","datavalue":{"value":{"entity-type":"item","numeric-id":3604000,"id":"Q3604000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502690$F6A7C8BF-A4A9-4646-9522-7AB6124D6877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ef5f661c4f0016c7fdb92e88e8b94907f8385b","datavalue":{"value":{"entity-type":"item","numeric-id":5713748,"id":"Q5713748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502690$54B8880E-51F3-4894-A4EE-2C02D5ABA903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f34b98eb35b62210c470543927e38c2a7520c471","datavalue":{"value":{"entity-type":"item","numeric-id":689615,"id":"Q689615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502690$CC47BDD5-DFDE-4A4B-A318-552499FCB232","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d8ab3ef8c0dccaae62d064fdab9de59a221b350","datavalue":{"value":{"entity-type":"item","numeric-id":5498062,"id":"Q5498062"},"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":"Q3502690$AA7A6865-B200-4868-8173-86782576DC41","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":"84bcdfaf3878dfb299feeadf5a2f1767c6eec0fa","datavalue":{"value":{"amount":"+0.8191336989402771","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":"Q3502690$EBA1CC35-5A68-4A44-82C2-D71DFB32955C","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":"09f0da25fdc12603b2be0cb84703fd06b888a671","datavalue":{"value":{"amount":"+0.8167809247970581","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":"Q3502690$F8D82F85-8241-431A-AA22-316A1D959A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47b6826d1853284a7ece7743345913cca308faeb","datavalue":{"value":{"entity-type":"item","numeric-id":2848675,"id":"Q2848675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c756cded331e3821631812d6ed45c770ee4edac3","datavalue":{"value":{"amount":"+0.7953096628189087","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":"Q3502690$B6FD0358-6EFB-4DAA-A01A-AD72BC43E42D","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":"14e293ca82a7445644f4f5eb0c71849d394f9939","datavalue":{"value":{"amount":"+0.7811698913574219","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":"Q3502690$60D597AB-A343-41BD-AE11-05C57BBC8BD1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3502690","badges":[]}}}}}