{"entities":{"Q2661331":{"pageid":2672074,"ns":120,"title":"Item:Q2661331","lastrevid":44590419,"modified":"2025-11-24T04:19:26Z","type":"item","id":"Q2661331","labels":{"en":{"language":"en","value":"Community and LBD-based clause sharing policy for parallel SAT solving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7331009"}},"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":"Q2661331$CC6755CB-C13B-4A75-B3FD-008FC532C3E2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e34d5c9428f2c233f9bccb85fa0a7281ced88b43","datavalue":{"value":{"text":"Community and LBD-based clause sharing policy for parallel SAT solving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2661331$F1ADD4F8-6F13-4F0E-8EC9-FBDDE0F1EAD0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e9f8b090b69407df9ab752d476be828eb989c14f","datavalue":{"value":"10.1007/978-3-030-51825-7_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2661331$889E2A0C-A673-4001-87EE-4D99468207A9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"502ac4e45f46867b51aa3ce9fe263da1901257a9","datavalue":{"value":{"entity-type":"item","numeric-id":2661328,"id":"Q2661328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2661331$26E9C1F9-933E-4AC9-BE14-9B014A4BCBFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"200de63b7dcb21272b62c5e8cf2dcbc471a7214d","datavalue":{"value":{"entity-type":"item","numeric-id":2661329,"id":"Q2661329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2661331$130C3887-0DED-4B22-B47F-B6AB16C01A15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"51674ac206fa0f7b5561d793a954036954945738","datavalue":{"value":{"entity-type":"item","numeric-id":453473,"id":"Q453473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2661331$8C2A4CB3-C72E-4A8F-B6E9-C51878A14038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d3fa4a00b52f8aeb9491379503c6c5e5790f47d","datavalue":{"value":{"entity-type":"item","numeric-id":2661330,"id":"Q2661330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2661331$C35B0B2E-F2F5-43C8-8205-550E2EBD0362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"50100327a2c6f555e4a4810ba0263aa80d7a14ed","datavalue":{"value":{"entity-type":"item","numeric-id":526761,"id":"Q526761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2661331$8FF8F75A-3B39-4486-8EF8-10F1879BC0A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e36f874171f87759c33ecad32bf45bad085bb06e","datavalue":{"value":{"entity-type":"item","numeric-id":1006893,"id":"Q1006893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2661331$E6B63373-3FA7-46AB-9C69-A95AF0BE6EF4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9d00bdcd19b4845662efa642e1e79b87a36e3395","datavalue":{"value":{"time":"+2021-04-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2661331$23092353-B7B2-437B-81C1-DA03D80E319C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2661331$582BE20F-EAE8-4715-BA87-000693320C3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2661331$133C87CD-3D1D-4E20-8093-399461370655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2661331$B739D299-6A53-41CC-A657-1DED0FAAFB23","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6773d391d1fe30140cd494e40dc29f70591a9260","datavalue":{"value":"7331009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2661331$0AA245BC-ACA9-454B-8581-96BFE8642674","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1eaabc0e561dc484a85bd72ad458c9fb5f2683d3","datavalue":{"value":{"entity-type":"item","numeric-id":15174,"id":"Q15174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2661331$60CC5E14-61F0-42CE-8C79-E82759EF2080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"deb481ab618b4313d2cc4e54da911d9eb08938c7","datavalue":{"value":{"entity-type":"item","numeric-id":33766,"id":"Q33766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2661331$BE17674C-EE52-4F6E-8129-EF42C7700B44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"653a6fa8244aa30333c256cc037f0dd6705a8f9e","datavalue":{"value":{"entity-type":"item","numeric-id":37663,"id":"Q37663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2661331$91B9B124-082C-4738-929F-DA1446C963D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4471d74dba0f082d6eb87b9d0e3918e9ef420175","datavalue":{"value":{"entity-type":"item","numeric-id":13299,"id":"Q13299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2661331$94816697-4B9D-4815-B9D1-EDA02CC11E11","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":"Q2661331$EB424E7E-7555-430B-8126-AA4E9440BCEE","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":"Q2661331$0ADED13F-080A-493F-BD1F-3ED581F1BC83","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":"Q2661331$7CE6E977-8E00-422B-9662-DA4640F96621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5654fca232c068befe9c82b4729f3e609c84698c","datavalue":{"value":{"entity-type":"item","numeric-id":43353,"id":"Q43353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2661331$B5A8142F-1610-4566-92E0-7D8DDECA7A28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bdafd07838fc785688a9602d3aca4cae8a77c6a7","datavalue":{"value":{"entity-type":"item","numeric-id":43355,"id":"Q43355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2661331$69A91965-681C-4C19-8D91-AD7EBBFEEF92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3810c7bf221b43532b3d15bc5d7a1106ebd12ec7","datavalue":{"value":{"entity-type":"item","numeric-id":25229,"id":"Q25229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2661331$F66F207C-76A9-46B4-A427-15954981DC57","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":"Q2661331$DA845EAA-E7A9-41EB-ABCC-884520FC12C1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"162b92690e37377ea6b5b1dd35136bef6ea14a9d","datavalue":{"value":"https://doi.org/10.1007/978-3-030-51825-7_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2661331$F223C579-C718-490D-BB88-3B396D8DF1C1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"07da8c698e9e40105acf71cd6c37c7fb2c9efc05","datavalue":{"value":"W3040478855","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2661331$FCFA767F-8440-4917-B5A4-AEBF18AD2A43","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2661331","badges":[]}}}}}