{"entities":{"Q5326451":{"pageid":7356025,"ns":120,"title":"Item:Q5326451","lastrevid":51791441,"modified":"2026-01-20T01:39:28Z","type":"item","id":"Q5326451","labels":{"en":{"language":"en","value":"Soundness of inprocessing in clause sharing SAT solvers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6195185"}},"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":"Q5326451$A84C1ECA-B5AD-480B-812D-E1077413E861","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fe7b30bd5ce8a81883b730e79836ad37b3e69008","datavalue":{"value":{"text":"Soundness of Inprocessing in Clause Sharing SAT\u00a0Solvers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5326451$83CD4C7F-8125-4107-BEA6-250323BD8003","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8528600127d0dc88ac6a40e435e712a0dba23819","datavalue":{"value":"1390.68582","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326451$E64049E6-9C18-4923-91F7-2209C5BE9966","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a50970b1b9c18bada0598ede09680713631204ce","datavalue":{"value":"10.1007/978-3-642-39071-5_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326451$03BF1D7D-5688-4117-9CAC-35DC31D4A2F3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"63463e2ddaf3f2f568848f59f2b8d314cfe6b5bc","datavalue":{"value":{"entity-type":"item","numeric-id":2118328,"id":"Q2118328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326451$F69E1A9E-BF47-4721-A07E-B046C2E9BA01","rank":"normal"},{"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":"Q5326451$F8B39F2E-39B0-4E57-B213-E835348D82E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3313867e180f61d15d3300f2a46593d6b3819e03","datavalue":{"value":{"entity-type":"item","numeric-id":429593,"id":"Q429593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326451$5F4A44BC-A907-4DC3-A33A-4B2FF4CFDDE5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fc95ee6522268c529548061426c9a2b08954f382","datavalue":{"value":{"entity-type":"item","numeric-id":5326449,"id":"Q5326449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326451$7DA4D5A7-CE74-4409-8FCE-5BBB4AC71AFE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95aa5aea465a8772f3ec0450c3b06f16f93c1446","datavalue":{"value":{"time":"+2013-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5326451$F35C2F9A-58B4-4B57-9507-9076820A8E0F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326451$2AD75557-3A00-43D9-8098-656AD69EE96E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c05164a439daafed2477534469b8bf32248ed9ca","datavalue":{"value":"6195185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326451$C99FABDC-CA9C-454A-8133-39189EFA6C04","rank":"normal"}],"P1463":[{"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":"Q5326451$B5625708-5B20-4D7C-BDBB-D81157DFCAEC","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":"Q5326451$52AC0AEE-EFA6-42D0-BD24-11D0ED36F05A","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":"Q5326451$23212CE4-080B-4F29-BA4F-5A3F9E2CA366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"13535746bd7cbeebdac40964f20e4617b2399076","datavalue":{"value":{"entity-type":"item","numeric-id":23403,"id":"Q23403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326451$389447DA-0B21-420F-978D-E5CE06031AF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7e4b916dfeef280942e96b55da6911aeff0acb37","datavalue":{"value":{"entity-type":"item","numeric-id":24849,"id":"Q24849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326451$98B1BB63-8611-48D9-AD2C-20B88D0B4639","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":"Q5326451$8B62B2A5-0AA9-4839-A12E-4E5C5C51FCF6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"43072af72d3d20b7fbe083333d75d224ba128533","datavalue":{"value":"https://doi.org/10.1007/978-3-642-39071-5_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q5326451$969A22AB-B87E-46AE-95B5-C1D37D11CBA3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"04b86f4058264e162f51b089e50dfd40f275b931","datavalue":{"value":"W134175813","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326451$0EC7DE07-F345-4B8E-8FCA-3C18E873A1BF","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":"eb4a5c3192844d0c635a3035c32e86390525240e","datavalue":{"value":{"amount":"+0.8210544586181641","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":"Q5326451$78C90EE6-E18F-4148-93AB-FEF566A61E1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72e9642ab3fce5d0fa355ae3de2fba2090b53fa7","datavalue":{"value":{"entity-type":"item","numeric-id":2964456,"id":"Q2964456"},"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":"Q5326451$0B1AED7A-2F0C-443F-A784-E333CFDF5DD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cab374e9f5fe0c258a9395969a4be6c2393e4680","datavalue":{"value":{"entity-type":"item","numeric-id":2908507,"id":"Q2908507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c5ab944e260d65be0c474be0358074fd7da4928","datavalue":{"value":{"amount":"+0.7445351481437683","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":"Q5326451$D6493476-06ED-463A-9A87-DC160D00C141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a102b4299cdcd1142dc21044f6b7447c46cf4292","datavalue":{"value":{"entity-type":"item","numeric-id":543613,"id":"Q543613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5868099205a6db4e617ab1cd0a6a0d708a0c313","datavalue":{"value":{"amount":"+0.7331385016441345","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":"Q5326451$E559EED7-6350-4479-947C-2E2B4F248B63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e050f30d7185276802f36abdec5347610a74e3d","datavalue":{"value":{"entity-type":"item","numeric-id":5715680,"id":"Q5715680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d8f3ce1870ed8d4b55f05757528b5ba63ca7c08","datavalue":{"value":{"amount":"+0.7226901650428772","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":"Q5326451$D9406989-ED87-4332-B1F7-CDF02BEB5DC1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5326451","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5326451"}}}}}