{"entities":{"Q3620439":{"pageid":5650345,"ns":120,"title":"Item:Q3620439","lastrevid":50630588,"modified":"2026-01-14T15:15:15Z","type":"item","id":"Q3620439","labels":{"en":{"language":"en","value":"Boosting SAT solver performance via a new hybrid approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5542985"}},"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":"Q3620439$2F8766BB-CB83-4536-91AF-3E75E8B1C691","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0bc6e28f944ce4d2e6bec0c5c248d22c6da62b9d","datavalue":{"value":"1172.68617","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3620439$7C4358D3-4CAC-4AA8-8C87-1725AA9D538A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"081dde3e3ea295fd2792667714a77a0179ec3fea","datavalue":{"value":{"entity-type":"item","numeric-id":319550,"id":"Q319550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3620439$DB544E40-6CBA-41C9-9A53-1C8B943230B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5128683ca27377a3a242ade09053e9adf5ccecd6","datavalue":{"value":{"entity-type":"item","numeric-id":350937,"id":"Q350937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3620439$601A6064-7888-435C-AD7F-488B6A19A703","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a70e3fb7efc077ae8b5215707528be5246c293fd","datavalue":{"value":{"time":"+2009-04-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3620439$FCDC5F54-7BCD-4352-8C78-3736CC560C9B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3620439$1228655F-3E14-4B1F-9B0B-7233B450A34E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"338df658810b23c378e5834e15379bbfe1d5bf22","datavalue":{"value":"5542985","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3620439$E16229F1-3EA9-4C0C-A979-2A8EF7A2E851","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3620439$9EB76F1A-D11B-4D85-A4F1-11BD29C11D6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f7ac674268224c9b1b4b60f07b959745a70f08d","datavalue":{"value":"DPLL","type":"string"},"datatype":"string"},"type":"statement","id":"Q3620439$A95AD67B-6E30-4C4C-B87A-3E101F50EDFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab25fd81d9680a868bc828c25ef40d145b18d18c","datavalue":{"value":"WalkSAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q3620439$383871CE-B20A-4869-82F7-343CE1B7F377","rank":"normal"}],"P1463":[{"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":"Q3620439$3A153043-102D-4F29-8797-8232CEE4D8FD","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":"Q3620439$6F760B70-C32B-41B6-A626-F5F926EEEA22","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a786d0f3b40f02cd8fc35a540b23f86ae32c07c","datavalue":{"value":{"entity-type":"item","numeric-id":3502706,"id":"Q3502706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e4011584124fed078507eff5bd5ac2da4c70bf9","datavalue":{"value":{"amount":"+0.8167099952697754","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":"Q3620439$B2C36953-A326-4996-BC4C-BE8DC47119AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0881064ea700bfcca40cf8383ba0e2d43204261","datavalue":{"value":{"entity-type":"item","numeric-id":4933326,"id":"Q4933326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddaf758d2902a39e7eb4597caeade1e28b7f292d","datavalue":{"value":{"amount":"+0.7598397731781006","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":"Q3620439$088D5FB7-7776-4181-BCC2-06832C41E005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5dd9e0d949aa08c1a6ad144e821407e65ac0e8e","datavalue":{"value":{"entity-type":"item","numeric-id":3399958,"id":"Q3399958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b405df7a1fe44c0413e8d274ac79af94e2f1da57","datavalue":{"value":{"amount":"+0.7497051358222961","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":"Q3620439$65803E58-5317-4D74-81AD-79BAC3324206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8c7c95240e207c0d8b24c33c19beb8f00c024a9","datavalue":{"value":{"entity-type":"item","numeric-id":4804883,"id":"Q4804883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"945662b72d6b6bee51082b6008b1248ac441012e","datavalue":{"value":{"amount":"+0.7479571104049683","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":"Q3620439$44DB142E-0A32-4B2C-9A1B-68A4E62C236D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bcbeeb5ebf247252bd252f2b9b4f1bdf64d126d","datavalue":{"value":{"entity-type":"item","numeric-id":4809068,"id":"Q4809068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99ccbfc37848d163ffbd43812817d8888dff81a4","datavalue":{"value":{"amount":"+0.7479566931724548","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":"Q3620439$1AC7BD75-025C-43F4-A8AA-60BB3D67A416","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3620439","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3620439"}}}}}