{"entities":{"Q3502706":{"pageid":5532609,"ns":120,"title":"Item:Q3502706","lastrevid":48753871,"modified":"2026-01-05T19:10:51Z","type":"item","id":"Q3502706","labels":{"en":{"language":"en","value":"Improvements to Hybrid Incremental SAT Algorithms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5279246"}},"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":"Q3502706$0D6EA935-E3A4-4508-B558-1FCF6F871D3A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1d4682a088bfc55960dc8fb7f7d17fc685e977f5","datavalue":{"value":{"text":"Improvements to Hybrid Incremental SAT Algorithms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3502706$D50CEA32-1AAC-49EA-AE89-BF4C8132B184","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e232422a65afbdfeb60378d6f773e8e1e4b346d3","datavalue":{"value":"1138.68544","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502706$5F7F3239-A492-4181-B135-B378CCB98615","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"75831863c941ab90d6e20bcf66ec4dd98d251738","datavalue":{"value":"10.1007/978-3-540-79719-7_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502706$772232DD-FFA2-4921-AFDA-A045680FBE4F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e84f7e2c1f803bb7189a383a3052a99f16f5d84e","datavalue":{"value":{"entity-type":"item","numeric-id":3429017,"id":"Q3429017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502706$7382063D-8C76-4991-898B-C462497A12C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"41df06f4fe4133fafd7ede4eda94dd022be9bb8e","datavalue":{"value":{"entity-type":"item","numeric-id":1430295,"id":"Q1430295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502706$44E0ABD8-7D42-40DF-86F0-75E50738560E","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":"Q3502706$0943AAB2-D11F-4AE6-9F78-545D4ACB17A5","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":"Q3502706$EB84FD95-76B6-4B75-991D-715958B3EABF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6c3d852887412fe03a2698225606fabc44f59f36","datavalue":{"value":"https://eprints.soton.ac.uk/265227/1/jpms-sat08b.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3502706$DC6228A8-A3F5-4037-87E9-4F1B3005C058","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502706$C4F10360-B5B3-4A78-AFAF-430E5E4DAF1D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d771ebde56c755fbb4c8dacba89b074cf397d2e3","datavalue":{"value":"5279246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502706$575D729B-A4D8-480A-AB0B-5857300B85F4","rank":"normal"}],"P1463":[{"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":"Q3502706$1D95C6DD-14EB-43E2-9330-48A3F7FA5C04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b029c35ffabe60b7d29584a6d40b4cb278ba542d","datavalue":{"value":{"entity-type":"item","numeric-id":18983,"id":"Q18983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502706$7187D152-63BE-4900-87F2-B799C0467186","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":"Q3502706$C27D069D-C162-4118-9A71-E3B140C95725","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":"Q3502706$98C3B305-C51E-4BDE-9A7F-DB86AE76453F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"40f283f2d3ee2857773c39395d15e50647a00c28","datavalue":{"value":"W1600508047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3502706$B3EB50A2-067C-4E5D-9626-60F40011DEF1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"af6385968bdd813161bac6e71c7cc845350a4a9e","datavalue":{"value":{"entity-type":"item","numeric-id":5429330,"id":"Q5429330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502706$9612E885-77B6-49F9-B287-2C9A5DB9CB99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502706$39CE55EE-0AD4-4B23-8827-9469577F71B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22485e2e7f5d751287059d6c89f8749b6a408a20","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502706$4BE337A4-EE4C-43AC-95A3-3F176567C4CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3348c4f23a620a7654545e9e3737b9f755ba6069","datavalue":{"value":{"entity-type":"item","numeric-id":2643301,"id":"Q2643301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502706$AA868ED0-87B1-4642-B44A-EC92A365DFB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b553a03c35228ab6866223378d507c503f6dc29","datavalue":{"value":{"entity-type":"item","numeric-id":5472387,"id":"Q5472387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502706$680DD12E-FD54-4094-8808-FE3BA0DC6B9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81aad4b3f9b115978b566de5b2cc4bf76fdd6e6b","datavalue":{"value":{"entity-type":"item","numeric-id":3612461,"id":"Q3612461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502706$090AF8E4-6E9E-482D-9C9F-3EC307EB77C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28804233bce5bbb6896be8626a23dba8381bd9dd","datavalue":{"value":{"entity-type":"item","numeric-id":5493246,"id":"Q5493246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502706$B2298894-2788-4FFD-B67C-B816DB6C549E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9154c32fa843c03056a552cc1f20e4aa017d7cdd","datavalue":{"value":{"entity-type":"item","numeric-id":1267775,"id":"Q1267775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502706$323317E3-91F9-49E7-BCF3-B6F0B5BCAF68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cee1f5c4e596769f20c3e18240de0776d1bbf0f7","datavalue":{"value":{"entity-type":"item","numeric-id":4804900,"id":"Q4804900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502706$49ACEC38-A4EF-41E5-A33D-91021365556B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4626347e32378157ea8b60d8cdb2d81bc108721f","datavalue":{"value":{"entity-type":"item","numeric-id":5756575,"id":"Q5756575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502706$4D842E1D-4220-449A-8699-E6D8FC5B1955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"363df53d3addb1810ec9823448e01fcd5b6e0581","datavalue":{"value":{"entity-type":"item","numeric-id":5308387,"id":"Q5308387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502706$CEA11991-09C7-4221-BD9B-7893188D03EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bba865dce43431d561e11a6af45af74510464b24","datavalue":{"value":{"entity-type":"item","numeric-id":5713723,"id":"Q5713723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3502706$0A9E5C71-9DC0-4144-948C-36942D06E86C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8971b76402af7bff64f4eb15957b9954882ff12b","datavalue":{"value":{"entity-type":"item","numeric-id":3620439,"id":"Q3620439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de9750d3f17ef39c1ca2faa135911dfe6325770f","datavalue":{"value":{"amount":"+0.9187527","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3502706$1EB366E3-BC58-453D-878B-CDFAAF463D81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18eadd68ef3a275c2b540e7d1f3026fdd79c63b3","datavalue":{"value":{"entity-type":"item","numeric-id":4036286,"id":"Q4036286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2c1c3904fb8b8105c1cb57537d74c62e3363ee3","datavalue":{"value":{"amount":"+0.8899184","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3502706$5A9A0B6A-0D42-41A1-A48D-ECD32896502E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddb237ec0f03166e294e8c0d7afb00e933d9e13c","datavalue":{"value":{"entity-type":"item","numeric-id":2232607,"id":"Q2232607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f32f1ea5ec67bde549be3059916903b3b4a8f10a","datavalue":{"value":{"amount":"+0.8890992","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3502706$D4BD7342-30D6-472E-94C5-5A11CD1EE724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71ca8fa0d567c8b9717ca0f05a8e7295b50e7b55","datavalue":{"value":{"entity-type":"item","numeric-id":3183448,"id":"Q3183448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6af50659651099fb696a38f2c8e95ad04dc15348","datavalue":{"value":{"amount":"+0.8832531","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3502706$78D260A1-F426-4120-928A-11E9063FF279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1004003ee1ea4a0828e42d10bfdbd2952cf833c9","datavalue":{"value":{"entity-type":"item","numeric-id":2181926,"id":"Q2181926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfcacd898d972204c9c4b0d9def70880ef6207c4","datavalue":{"value":{"amount":"+0.88316524","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3502706$6C16E82F-0E3B-49E8-88FF-50F56B1EB72A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39e45014e9c3851d7f1bd08b653a718a0388e232","datavalue":{"value":{"entity-type":"item","numeric-id":4475702,"id":"Q4475702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc17d15166238081ad39478f8f16947c9dfa5b75","datavalue":{"value":{"amount":"+0.8822299","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3502706$CC6B0AE1-0F93-4CA8-B13F-5065488CBA53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad6d2df80563fa92976ace146e641f9bedd43eb4","datavalue":{"value":{"entity-type":"item","numeric-id":1878397,"id":"Q1878397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c37c26bf93779b3b30bc32af06dd91ddb5418cc9","datavalue":{"value":{"amount":"+0.87740946","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3502706$005578A8-6925-4E71-9019-1A2C43669AB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"806658dd27887f5afd7665a0d7e1085365cc49e0","datavalue":{"value":{"entity-type":"item","numeric-id":3044338,"id":"Q3044338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c37c26bf93779b3b30bc32af06dd91ddb5418cc9","datavalue":{"value":{"amount":"+0.87740946","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3502706$A3097222-D00C-4181-8F5F-70BE1A7BEB78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5d5d9de3f08a816b03216e3cc6041f6472a677f","datavalue":{"value":{"entity-type":"item","numeric-id":2777611,"id":"Q2777611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cd97fcd536d073a2428ea251569922a8ee176c9","datavalue":{"value":{"amount":"+0.8763454","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3502706$F077504F-A413-46BA-B8B3-DDDD59667A09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3fc36876e79a86e814f3f1f3847894981ff8d9d","datavalue":{"value":{"entity-type":"item","numeric-id":4952605,"id":"Q4952605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cd97fcd536d073a2428ea251569922a8ee176c9","datavalue":{"value":{"amount":"+0.8763454","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3502706$56156F79-45BE-46DD-AD32-860AC45C904C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3502706","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3502706"}}}}}