{"entities":{"Q3639756":{"pageid":5669662,"ns":120,"title":"Item:Q3639756","lastrevid":87485726,"modified":"2026-06-04T11:48:04Z","type":"item","id":"Q3639756","labels":{"en":{"language":"en","value":"ManySAT: a parallel SAT solver"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5620837"}},"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":"Q3639756$4D85DAF0-1932-4CCE-87D6-2201EB0B8369","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0eece100c8b785ea201cf129b857b6671d89204a","datavalue":{"value":"1193.68227","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3639756$8E39F857-6272-44AC-98A4-241C126F2A76","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cda698754ec34aa18ba66c57a2afb9aa1743fae","datavalue":{"value":{"entity-type":"item","numeric-id":427557,"id":"Q427557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3639756$8178A9B5-020E-4B72-A1F7-47372D7F6BD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"52131f929e9d2e69942ba82e4ebb686db4e996da","datavalue":{"value":{"entity-type":"item","numeric-id":427558,"id":"Q427558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3639756$FF4FD120-CE7A-49EE-8F87-DF31F209628A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"24a1d5a8e56d6b30e8a20d7354b7c9976e279101","datavalue":{"value":{"entity-type":"item","numeric-id":427559,"id":"Q427559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3639756$6957FBB9-BB3D-4F39-8FFD-B8D549660067","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"630340bfa00872c2b7b4672df4d7eac20447ca42","datavalue":{"value":{"time":"+2009-10-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3639756$DAB3C9D3-0600-4168-B355-0F39F8B6DE4D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3639756$A7D6BFA3-D026-437F-8F8E-B7123692F1C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de3565cfd3393000dd87ca545f95ff84d4c1446","datavalue":{"value":"68W10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3639756$2E28985C-5077-4CEC-A3A9-D2CD19C9D50F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"12f9285a3980777921f92e5b97b651ce77f9d656","datavalue":{"value":"5620837","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3639756$CA15194E-896D-40DA-99DF-9A3779AB71E6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae825cca93bbd40be3a29f025f781f23f8b04bd2","datavalue":{"value":"parallel search","type":"string"},"datatype":"string"},"type":"statement","id":"Q3639756$6F63D6A7-74AA-4769-9A7D-BCECED5361A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"609ee2367c3d15ffc04494f5c413538bc1495e86","datavalue":{"value":"dynamic restarts","type":"string"},"datatype":"string"},"type":"statement","id":"Q3639756$9BAD7098-46CE-4CFC-A188-7987122778E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d99c61cbc56f5917b3e5aa8186b62cd9c23f49f","datavalue":{"value":"extended clause learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3639756$BB40014B-A083-4CC5-B33C-466AEAD519E7","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":"Q3639756$DA764C5B-842D-47D8-A13E-10B1703A26E4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"868bcea41148dc0c6038180ea196d9d0fe2e437f","datavalue":{"value":{"entity-type":"item","numeric-id":3453220,"id":"Q3453220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eaa8cfc4e290370126f6c589383a20aacc48d142","datavalue":{"value":{"amount":"+0.8365906476974487","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":"Q3639756$AFA3594C-9B87-4CE0-A31B-0FC5AE639734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e30dcc6080d3a33cc9d9c8cf79731108b4121dc5","datavalue":{"value":{"entity-type":"item","numeric-id":2643151,"id":"Q2643151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bc10025b6151660a6629149cebc6312505a3550","datavalue":{"value":{"amount":"+0.8120012879371643","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":"Q3639756$803F4888-64E7-44C1-8661-3B0A1175FDBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"959cb3897716cc65c7beb773fdcdc6f13d6cb3e4","datavalue":{"value":{"entity-type":"item","numeric-id":3624141,"id":"Q3624141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19c4bd6b5f21b17be5cc13a3e6f7e2bbe4554715","datavalue":{"value":{"amount":"+0.8099528551101685","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":"Q3639756$6FC4A631-82EE-4CDD-9D30-65496D98082C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"806141c4e93b6da5929958334a048825f1b3cefa","datavalue":{"value":{"entity-type":"item","numeric-id":3192065,"id":"Q3192065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a4427cd0727d07ec1d2a1e50f94e4a54c17e3d1","datavalue":{"value":{"amount":"+0.8086796998977661","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":"Q3639756$52C66602-8759-4939-BEBC-737FA2186AB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcb2eab5d2405622839fb7df2f89fdb17d1b6847","datavalue":{"value":{"entity-type":"item","numeric-id":511786,"id":"Q511786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccc791490f8ec58bdcaf3116b1bfa1b5b1ffea03","datavalue":{"value":{"amount":"+0.8054797649383545","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":"Q3639756$AFEA8765-62D3-4168-A7C9-5BD1DA2B486C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"ManySAT: a parallel SAT solver","badges":[]}}}}}