{"entities":{"Q2117201":{"pageid":2127944,"ns":120,"title":"Item:Q2117201","lastrevid":43521331,"modified":"2025-07-30T13:52:51Z","type":"item","id":"Q2117201","labels":{"en":{"language":"en","value":"Learning variable activity initialisation for lazy clause generation solvers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7493621"}},"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":"Q2117201$1784E5E0-5658-402E-BAD7-4B0DA5B68F96","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2f846f29f193e65cb3090749bb4e76c52a133035","datavalue":{"value":{"text":"Learning variable activity initialisation for lazy clause generation solvers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2117201$1ADFA5A6-312F-4C6E-A74A-9674BF6C3668","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"27745748b19a8030aa4640989ddffe1c0e9cef07","datavalue":{"value":"10.1007/978-3-030-78230-6_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117201$CA31C770-B501-4AAD-B3AB-37760686EF9A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d504f42fcd97de01c8a9dce1106da45177f64ee2","datavalue":{"value":{"entity-type":"item","numeric-id":2117200,"id":"Q2117200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117201$013F8E3B-59B4-4E6D-A649-B638C20D8AA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2efeadb9b35b1e0ce306c96b61c0b61113d4d9ec","datavalue":{"value":{"entity-type":"item","numeric-id":1652068,"id":"Q1652068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117201$2F4948C5-E5AB-4725-927C-0AAC6EFF2D14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"285f55b312f10cf903ad81668c1ed43ecd6d01e2","datavalue":{"value":{"entity-type":"item","numeric-id":1854758,"id":"Q1854758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117201$30C223C6-0257-4D02-B8F1-5344046B0C18","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9d3dbf12e1376632bae2e48d8bc3683002116149","datavalue":{"value":{"time":"+2022-03-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2117201$79087DC8-61FD-4239-8B3B-F70E2C1538AD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117201$CD407C6B-D668-4DED-8801-C81D9867B3EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35cb8465ca85ba26995d54be2905dc35556d665c","datavalue":{"value":"90C27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117201$1AAC755E-587C-42AC-8E8D-48F38DE81BBC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e5b0bd0c35cd758d7d68d75c44d6fc42be8c526e","datavalue":{"value":"7493621","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117201$044D7A83-8FD4-4B35-B616-30D0B68E1D30","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d733ba18b5c5dd1704405168f30eed3342720527","datavalue":{"value":{"entity-type":"item","numeric-id":42893,"id":"Q42893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117201$38A1FD5C-12F1-4967-B808-E15A8A5461CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e36dc4509e04a181e52889b8f46268f19aa27e1a","datavalue":{"value":{"entity-type":"item","numeric-id":5972724,"id":"Q5972724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117201$452E0475-2E18-4631-9A1C-67601501FA38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c6a58b387017cdbc506130b6622f9b3309231b80","datavalue":{"value":{"entity-type":"item","numeric-id":36475,"id":"Q36475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117201$2F4FF13F-0412-4E3B-A511-B8C5775CD93C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"425d45a9f1b2c8c7de12bbbd65aa13ceb6b67ee9","datavalue":{"value":{"entity-type":"item","numeric-id":5974892,"id":"Q5974892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117201$53E24ABA-CBC9-4D59-A1F4-71419F0D993E","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":"Q2117201$E66A4D26-4990-47BE-8CC9-80B79B4ADF5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117201$D01ED73A-1D61-42B3-B733-E0BF116FCB69","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":"Q2117201$542901BE-83A6-4A56-9B7A-D71AC9AFF83C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"75959575953f39c197164cd26752cefde569424f","datavalue":{"value":"https://doi.org/10.1007/978-3-030-78230-6_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2117201$040D250C-BCCA-4F06-A865-64EE0EE0D612","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8d3d765cae283935b196b6c875568c5df3a861c9","datavalue":{"value":"W3170772251","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117201$2C7C2737-9441-4546-B02C-4D0B017861BD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"896ea052daf842b99cb2c53cb8a5772b44f80449","datavalue":{"value":{"entity-type":"item","numeric-id":2029358,"id":"Q2029358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117201$60FF0EC9-6973-4EF4-A37C-46DAAEB366F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d240e7f279af4bf5520428ba53256fc49d74c4b","datavalue":{"value":{"entity-type":"item","numeric-id":2327238,"id":"Q2327238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117201$4685E3C5-8E05-4353-8DC4-1F9F57F1F6AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eaf13fc22e3fb508834f54b2e29c0c1d7d90ec8","datavalue":{"value":{"entity-type":"item","numeric-id":2327256,"id":"Q2327256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117201$BA8A6076-4CBD-41C5-A78C-BE8E0B1FAF09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f995ec167e44c70081585991b93e5ea1d3090c10","datavalue":{"value":{"entity-type":"item","numeric-id":1626734,"id":"Q1626734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117201$8AE8800F-1C00-4C56-8795-7E003CA4E6EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b1f17af270c261747c5353709a3dfde2f0a20f1","datavalue":{"value":{"entity-type":"item","numeric-id":2011577,"id":"Q2011577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117201$7062B879-9D50-4436-8417-6D542FDA80F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6001162ebde1a71c571b2cb37da559aca8aeb55","datavalue":{"value":{"entity-type":"item","numeric-id":2272160,"id":"Q2272160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117201$672E9A22-DEC4-4CDD-8F98-6AB68C881AAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e67a1a35bc3637882795b7fc3280289a6fb96b1","datavalue":{"value":{"entity-type":"item","numeric-id":2181943,"id":"Q2181943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117201$4F0F03AB-E999-4159-901E-F9A89327B2FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3585029c5b4296eb2abc6761c202e12a31b2a153","datavalue":{"value":{"entity-type":"item","numeric-id":2181946,"id":"Q2181946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117201$A7888BE8-66D1-47D5-BA0E-AF8D1ED63725","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2117201","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2117201"}}}}}