{"entities":{"Q2118286":{"pageid":2129029,"ns":120,"title":"Item:Q2118286","lastrevid":43520571,"modified":"2025-07-30T13:38:04Z","type":"item","id":"Q2118286","labels":{"en":{"language":"en","value":"Deep cooperation of CDCL and local search for SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7495566"}},"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":"Q2118286$B7B4BA11-2955-485C-A3AB-9F8D6A28918D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b88556d6a53c4564fdfc032e3fb9b7347696fb14","datavalue":{"value":{"text":"Deep cooperation of CDCL and local search for SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2118286$ED4D83AE-758A-48E0-894F-D65E57E5FE77","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"778f05f562c775aeed0af02ea318257f7bd41afd","datavalue":{"value":"10.1007/978-3-030-80223-3_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118286$7C8A4912-75F6-45FA-8EEC-70B74C74068F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6547ea2456cf7ea8c03d9dddd728f9b9295ce231","datavalue":{"value":{"entity-type":"item","numeric-id":329032,"id":"Q329032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118286$5B533E2A-379F-4CE2-97DF-67E878BE1880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"48164fb7cc06a11777567e087a869ebb8e693095","datavalue":{"value":{"entity-type":"item","numeric-id":2118285,"id":"Q2118285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118286$77343AC4-67E2-4F72-A1A2-B3F000CC8E68","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39b1515277af1c7c28c7fc6f6f97d2379899717d","datavalue":{"value":{"time":"+2022-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2118286$1636046D-B14E-476C-B7F6-A03D02EF8870","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118286$48E5B59D-6A0A-49D8-98BD-3F495CB79513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118286$98BC7A7A-F278-476F-876F-BB63DE941980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118286$3718B1DA-BF6A-4671-8DF2-9C3E59277A6F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ca8262a855e6dd5c0c71e13b230a266906ac9bf8","datavalue":{"value":"7495566","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118286$5479E2F7-A0B8-48D8-AFC4-749E7A650D25","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c1009ce042b040215adb43e7bcff2e776d98ed6","datavalue":{"value":"CDCL","type":"string"},"datatype":"string"},"type":"statement","id":"Q2118286$5070E4E1-B73A-4330-AFA6-33464CEC72AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea1ff5a5e657abc0a392084b74b3342d23f2f4c9","datavalue":{"value":"local search","type":"string"},"datatype":"string"},"type":"statement","id":"Q2118286$36B26D01-B127-4EC3-BA53-3B45CA0ED35C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a027d21a619ee07447bc58a40e01dedb6c02d926","datavalue":{"value":"application benchmarks","type":"string"},"datatype":"string"},"type":"statement","id":"Q2118286$B118F2D1-3721-43F2-B171-4163E99C0486","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ea8b95ed6a3d2b5e68b904fa9f56ef03bc113a58","datavalue":{"value":{"entity-type":"item","numeric-id":13157,"id":"Q13157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118286$2C69D702-E9D1-48DA-B28B-7D3CCE2557B0","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":"Q2118286$35D545B6-A105-4E76-A183-1805F53B7DB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9d009563f73a7b2b446017f471c1e5d0e22924ee","datavalue":{"value":{"entity-type":"item","numeric-id":30405,"id":"Q30405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118286$B0FA94A0-B657-40E2-8AA0-420F0D1E006A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cfc147131a7d4143ee0cffcf8574b9289d54c011","datavalue":{"value":{"entity-type":"item","numeric-id":1354213,"id":"Q1354213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118286$AB5AC473-02DA-4BD7-8B02-21CB6E6D59E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ddadcf23c1083cbefe0349fc4573fd061666b3e5","datavalue":{"value":{"entity-type":"item","numeric-id":1354210,"id":"Q1354210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118286$11245F07-2D5E-45B3-AFCA-BEC160C26452","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":"Q2118286$4B148E6D-6AD0-4F43-AFF4-B3CBCC0E12FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b5a200a883a203c54b8506aa76ab019d6647a66b","datavalue":{"value":{"entity-type":"item","numeric-id":55822,"id":"Q55822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118286$FEC03FCC-74A6-4919-A10A-2C91DC5A9CB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"07e8aef8e80a4e891c5ae22a330c7c1633a08a5f","datavalue":{"value":{"entity-type":"item","numeric-id":19849,"id":"Q19849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118286$8D6FD20E-05F8-40CC-8019-3EB345239BA9","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":"Q2118286$B4AAD480-A83E-4E3C-8717-1442870012A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"40cc7b9b8df38bee3c4bac438cbe92ba782674b6","datavalue":{"value":{"entity-type":"item","numeric-id":55834,"id":"Q55834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118286$3FD89C4F-50F8-4671-8622-F738832CD461","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":"Q2118286$13E18A72-9CEE-4488-B791-AA012534ECF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ca3f31aa2c04d477727f6082390af9392ab5e781","datavalue":{"value":{"entity-type":"item","numeric-id":43356,"id":"Q43356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118286$2CFFAE67-9DCA-4C4E-8AE4-03B29F2227EE","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":"Q2118286$034431C9-A605-4999-9DB1-36E2DD31FE26","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f608d917d9bf98497e63e6033c6ba3259f4e8bb7","datavalue":{"value":"https://doi.org/10.1007/978-3-030-80223-3_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q2118286$82469D39-451D-44A3-B035-3961180B3A02","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"74a0abc571e8bc857d5d7878f93c53f133163a74","datavalue":{"value":"W3183139685","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118286$61C551B6-24DA-45B3-B0DB-4D80A00612FF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd6cd97e3f82ac331b5c35418e85b8f31de94ba3","datavalue":{"value":{"entity-type":"item","numeric-id":4933326,"id":"Q4933326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118286$AB426BA4-C06A-43B1-BC52-10D1A2A057CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03526791996a8ac5d2e9e5c45ddcb96c84819bc0","datavalue":{"value":{"entity-type":"item","numeric-id":3502690,"id":"Q3502690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118286$B81A9452-1091-46EA-9F7F-6851FB1F4A58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2948a7ca2fc95c59ac6396d0ce1529567a2e2bd0","datavalue":{"value":{"entity-type":"item","numeric-id":3453204,"id":"Q3453204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118286$0AB7A6DD-0BEA-49BA-83A0-43EA285B3163","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":"Q2118286$6F77DE63-B2AE-4427-A0ED-A31198672514","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":"Q2118286$EFA1C2A0-93C7-463F-AC94-3A08E82CBC80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e255a0c50ff9a36282dfd5c30ffb8fddd60f66f","datavalue":{"value":{"entity-type":"item","numeric-id":5898458,"id":"Q5898458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118286$A347929E-976E-46B8-9F95-75FFC5D64260","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":"Q2118286$961AFD8F-EE12-4C2E-992C-8489B7417935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7012bf2c8e1ba10cf9896acdd463864da284937a","datavalue":{"value":{"entity-type":"item","numeric-id":2818017,"id":"Q2818017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118286$F2B828E2-D1C1-4D2D-BAF7-ABFEAFD8AB80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1d59c99b0e31105b14f6e2038fe785b3da35788","datavalue":{"value":{"entity-type":"item","numeric-id":3502706,"id":"Q3502706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118286$D7C1B543-D499-467C-873E-31723877B29F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acb7528f4d7d44eed75ca13872ab6b739b9de709","datavalue":{"value":{"entity-type":"item","numeric-id":2818006,"id":"Q2818006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118286$4994BE41-9086-428C-BC18-BB89EE6330E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fdc6c3e28c0593bcd60e6b44d249b00427d4ebf","datavalue":{"value":{"entity-type":"item","numeric-id":2661337,"id":"Q2661337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118286$64EF5555-666B-4B30-8210-22678D0FC9A6","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":"Q2118286$B12D0520-EB02-470D-A3CF-498205B4FB63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e8ecb2d6f36884d02916c2e1e3fb503d1c56f88","datavalue":{"value":{"entity-type":"item","numeric-id":3453235,"id":"Q3453235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118286$7CFAA1BB-7BEB-4FBE-A428-DF871D272538","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2118286","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2118286"}}}}}