{"entities":{"Q2964456":{"pageid":2975181,"ns":120,"title":"Item:Q2964456","lastrevid":52751393,"modified":"2026-01-23T10:32:01Z","type":"item","id":"Q2964456","labels":{"en":{"language":"en","value":"An expressive model for instance decomposition based parallel SAT solvers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6688810"}},"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":"Q2964456$18C08154-4E13-412C-A50C-79BA3B477876","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e4c898a116c3ee58ac1c9b80de131b0253169b6f","datavalue":{"value":{"text":"An Expressive Model for Instance Decomposition Based Parallel SAT Solvers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2964456$18AFC6DC-D94D-4237-B40E-46E97FC22270","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"39254eb365dac559a0e60aca0915383082e73d05","datavalue":{"value":"1471.68315","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2964456$F8C5DB7C-9F86-4528-8FD1-5ED56A48895D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4913e02c205b9420f2aaae1fff9668a4ab9bcbdc","datavalue":{"value":"10.1007/978-3-319-24246-0_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2964456$3D1C26C0-2182-4F9C-8A21-831D8F8074E4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d9c35b29d433053427621eb4581b543e27f092a","datavalue":{"value":{"entity-type":"item","numeric-id":2835887,"id":"Q2835887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964456$49BADBC3-E499-4548-B183-DDE087A63FFA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94ee78e0a7dd5ca422048ab882699df0d73d43b3","datavalue":{"value":{"entity-type":"item","numeric-id":2849475,"id":"Q2849475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964456$87BBAF47-CA00-473D-9D89-CA8A1129A5C9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"239465d3f72b1d0ceb374a3180654de1deb818a8","datavalue":{"value":{"time":"+2017-02-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":"Q2964456$70C51FEF-B742-4E79-AE69-82622606CF36","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2964456$52A9DEA5-2CE5-4FA4-825B-0575E297E3DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2964456$972D1DE0-52E8-42D0-80DF-2EBE4B542F86","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cdc86846eea5fc9943fa506ffa650d3ebe712e20","datavalue":{"value":"6688810","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2964456$7F49962D-86CF-49FE-849A-87D73AE5F32F","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":"Q2964456$ADB3441C-7B0B-4C81-9258-FF7C088B8B43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cc87be0dd022e5665e0c2cfd60b320be87befea5","datavalue":{"value":{"entity-type":"item","numeric-id":19021,"id":"Q19021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964456$E68D66A5-F724-4106-B256-54AB7170AAFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d26b39677feb5ad5adc62495c285200e3aeefa35","datavalue":{"value":{"entity-type":"item","numeric-id":28607,"id":"Q28607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964456$009AC364-FC5C-44BB-9BFB-E9A2939DADE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cb8a1c7c11aacf79d69617dce3c80e762b5d2761","datavalue":{"value":{"entity-type":"item","numeric-id":41081,"id":"Q41081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964456$96FE21B7-98F3-4B2D-ADB0-5792F5B294C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e0ef7aed5e557965de3f0d4aab5d60887968bacb","datavalue":{"value":{"entity-type":"item","numeric-id":19149,"id":"Q19149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964456$D1E45740-8FB6-4CFC-A151-72157854F2BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"71a80c8d86a299205c3fb7c2d9469eb3eb7657d4","datavalue":{"value":{"entity-type":"item","numeric-id":19848,"id":"Q19848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964456$F45F7851-A1FD-414C-9D3E-65CFBFBA7DEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3b163eb2acfaa09d2ebf57c54881fcc37ef41973","datavalue":{"value":{"entity-type":"item","numeric-id":22051,"id":"Q22051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964456$80D2AEBE-2309-4E97-A437-6B341A13383B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bbe2b9a97ce0ea3098b4e4971345da27fad3d33e","datavalue":{"value":{"entity-type":"item","numeric-id":39735,"id":"Q39735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964456$60B93A2D-B452-4588-B954-55DA979AF8F7","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":"Q2964456$F14A4BCE-4ECE-4947-A81A-4E3A7FFA2A18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"179af68833d4e59c1e0a3c7b1bf054d82b9a6b91","datavalue":{"value":{"entity-type":"item","numeric-id":20426,"id":"Q20426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964456$D584EB8C-77C0-46C9-9F93-08134A0AAB3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a3f7f8548c5af1e2ae512d0bcfba5384da7ef3bf","datavalue":{"value":{"entity-type":"item","numeric-id":25228,"id":"Q25228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964456$BEB99579-F245-4DF3-9D4D-CFAFE4D7D604","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":"Q2964456$F815AC71-BAE7-4375-B007-381FA41FB521","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ed77cf2eeb0aa1c6985797cecaa2def0e836fbc7","datavalue":{"value":"https://doi.org/10.1007/978-3-319-24246-0_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2964456$6E262DCE-9735-4836-983C-70A11F191C3F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f990d8d105dffd38bcc176dae1962542f42feae9","datavalue":{"value":"W2293411300","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2964456$316D7CD7-1408-4879-8D79-5F3A2EEE6253","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"089c0f270ae82010156ed1f303095e04c74aaaee","datavalue":{"value":{"entity-type":"item","numeric-id":3007683,"id":"Q3007683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964456$AE3D6C2F-44AB-4933-861D-CDC0B082EAAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"652707f3c517fc0bc45fb7ef7e533228515c0c0d","datavalue":{"value":{"entity-type":"item","numeric-id":5715680,"id":"Q5715680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964456$DF36651E-4BEB-4F11-B953-978B351E8BAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964456$4F806528-859C-4285-B054-FDD8EAA25708","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":"Q2964456$D8D74DF9-E91B-465B-9DF5-DB9B19B3B839","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":"Q2964456$EA38CD44-D7DA-44E1-A8DB-9FBF714F5DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99293e32a910041c76f1d451ee4b6ce8648f048b","datavalue":{"value":{"entity-type":"item","numeric-id":1977752,"id":"Q1977752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964456$E33A28CB-6AA9-4788-9697-BD3EFC50D600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af94c709eb1c0b81e0a0e19178c175655fe836e4","datavalue":{"value":{"entity-type":"item","numeric-id":3007684,"id":"Q3007684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964456$044891D6-48C1-480F-BF96-A958AA427334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"375e22e0dec44b7f5d9edbddb0dbe7a49c1479c6","datavalue":{"value":{"entity-type":"item","numeric-id":4933318,"id":"Q4933318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964456$59F05861-7080-440D-8CF4-B130DFB2C0C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78f9e760c657004dadeede96eb81abed88e9f7af","datavalue":{"value":{"entity-type":"item","numeric-id":3534664,"id":"Q3534664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964456$059BB4FE-6BED-4831-87AE-161BB0CB2A9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fef339287e1d9e9fe3cc868d0a40d2b699993fb","datavalue":{"value":{"entity-type":"item","numeric-id":4933329,"id":"Q4933329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964456$D5ABDC36-0753-4E79-B713-84F15E2C0F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bcb0e71d083cf8486de0b4db45626afe5608e21","datavalue":{"value":{"entity-type":"item","numeric-id":3557074,"id":"Q3557074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964456$4F75A18D-AC13-47E1-BE7D-5C25E3B80A97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87be12daaa9049d37eba12568fd639bb8a1c86c9","datavalue":{"value":{"entity-type":"item","numeric-id":2908507,"id":"Q2908507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964456$AC411D13-CCFB-4730-8E22-F9E7BA15458C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7db3c1e319ad141f86392d91ee02a2f35a1964a","datavalue":{"value":{"entity-type":"item","numeric-id":5326451,"id":"Q5326451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964456$829FD965-DBB5-4398-A345-41A70D7F0D6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea7fb806cb84b37335d37b3efe1590f8bc64cb5d","datavalue":{"value":{"entity-type":"item","numeric-id":839035,"id":"Q839035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964456$8F1193C3-0D9D-4D95-A8D7-ED8CE5F95FC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe37b1a68865896a0e59530dd9364370d3c6ddb6","datavalue":{"value":{"entity-type":"item","numeric-id":487635,"id":"Q487635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964456$6F4B7EA9-D0DD-424B-89C6-4AE516B6099A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f24266047ac8ffcefe32630c940ffdb70489bec0","datavalue":{"value":{"entity-type":"item","numeric-id":2891429,"id":"Q2891429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964456$54248000-B414-4C25-B671-CEF641543172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31b266c721655122dbe400bbee292733bb46b20d","datavalue":{"value":{"entity-type":"item","numeric-id":1244202,"id":"Q1244202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964456$1D49A4E4-292C-4F9C-93A2-7D000F68FC87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"822937a9d01cc9dda5e4376303179bea61b01a37","datavalue":{"value":{"entity-type":"item","numeric-id":5714759,"id":"Q5714759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964456$AB21D16E-A912-4DEA-9447-61EFA622D851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb081c24d3f308759ffc5be25d93bb06a52b464f","datavalue":{"value":{"entity-type":"item","numeric-id":3192088,"id":"Q3192088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964456$57627281-8DD4-47C8-874A-056A54765094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd36dae5803e0965ad10705e59b8bf6df76adb51","datavalue":{"value":{"entity-type":"item","numeric-id":5327347,"id":"Q5327347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964456$E3420418-E9F9-4956-B820-2B079A641A9B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5949953b758afcbd7d54d5a74b9a74365424d2d1","datavalue":{"value":{"entity-type":"item","numeric-id":4583960,"id":"Q4583960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fd9ae8fed5d79cb23174a438efb90567ce19d54","datavalue":{"value":{"amount":"+0.8139022588729858","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":"Q2964456$FA3B7CD6-982D-4391-A6BB-1B826E5DA590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13df1c526b1c317938277e04d92af8f7fcbf9e60","datavalue":{"value":{"entity-type":"item","numeric-id":3639756,"id":"Q3639756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28b45b08b2692e4e142c00bf98d6ac4b862fef90","datavalue":{"value":{"amount":"+0.7660146951675415","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":"Q2964456$1C8AA684-197D-47D8-A977-1A42D8B21F93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d667ba3690d6fbf0d534052921487ce35ebc418","datavalue":{"value":{"entity-type":"item","numeric-id":4933318,"id":"Q4933318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"779e255de6395d87cf8baf8b91782d2bfc4bd2e4","datavalue":{"value":{"amount":"+0.7589676976203918","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":"Q2964456$1FCFB0D6-63B7-41C0-B8D9-3C97934A5DE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acbd0a14169ff5659bcfc39098953790a8ba2676","datavalue":{"value":{"entity-type":"item","numeric-id":5326451,"id":"Q5326451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d326b1deae5900ab2c9751fe44cedf661248f18c","datavalue":{"value":{"amount":"+0.7588363289833069","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":"Q2964456$1EECAE9C-72B6-427A-AB6E-F0A7D8968A7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f05d9027728050cdc19e8a7e0e796a7fb4268a71","datavalue":{"value":{"entity-type":"item","numeric-id":3069995,"id":"Q3069995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ef91da78cfbd3edcd7bb34726af6df87ffdec3e","datavalue":{"value":{"amount":"+0.7375772595405579","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":"Q2964456$C92AFB7E-B1CF-4B9E-9D30-B5CA3784C7D8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2964456","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2964456"}}}}}