{"entities":{"Q4583960":{"pageid":6613545,"ns":120,"title":"Item:Q4583960","lastrevid":53187098,"modified":"2026-01-24T10:15:26Z","type":"item","id":"Q4583960","labels":{"en":{"language":"en","value":"Clause simplifications in search-space decomposition-based SAT solvers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6928625"}},"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":"Q4583960$04D13213-B82E-446A-9DB2-419CF9D6FCF6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7e833dd44e80ca1059be3902410ad9efc64016c2","datavalue":{"value":"1394.68361","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583960$E1A529B3-A0DB-406F-9685-0029214A279A","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":"Q4583960$01BB0424-C8AA-4300-A72B-48D0B5929B28","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d467f198e8cd5f81e8828c7ef265401fce8f32ba","datavalue":{"value":{"time":"+2018-08-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4583960$AC62C4EA-E631-4E98-8D20-AD7B7E0793A5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"879f838306c310884531ca688c20d44f078d8b72","datavalue":{"value":"http://ebooks.iospress.nl/volumearticle/37210","type":"string"},"datatype":"url"},"type":"statement","id":"Q4583960$7F130517-6DF2-49A2-B322-E7CF760556E8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583960$D9825125-2C84-469D-B8DE-7EB9BF27D239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583960$E7C048D0-0BCE-4E57-93F3-FBBE358F3F35","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ca97157b61bf764ae54c152ede8d067bfdd35f81","datavalue":{"value":"6928625","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583960$2FC526AF-1C36-4AF4-98EC-7C995C359CA3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5867ec7b44aefc01672736513dfe6410a0300cd5","datavalue":{"value":"SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q4583960$68936A5C-C691-420A-BA85-9D5FE399C012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13e55fd81064650a4758506373849cda145591bc","datavalue":{"value":"guiding paths","type":"string"},"datatype":"string"},"type":"statement","id":"Q4583960$FB25CAD1-7E24-48FF-8C51-E15674D3102E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"937d1a8291efa5fb72abf410556ad2ba68471434","datavalue":{"value":"inprocessing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4583960$854B19B4-50ED-48E9-B1F5-7306EF086EA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4144432c0fe63ea586df1255a048f5ed33474cb","datavalue":{"value":"blocked clause elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4583960$4A56BEC3-2F19-4BB1-BDCB-66215097DCE5","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":"Q4583960$7571A5EF-D97F-46D6-BCAC-5725A8E068E1","rank":"normal"}],"P1643":[{"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":"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":"Q4583960$6A88EF42-F990-4419-82E1-F7E91C5904DE","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":"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":"Q4583960$3D3E1843-4A20-46CF-9C15-7DCDC87C9ADE","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":"3966fda540758dff7621eac0a8515d5be4b770e0","datavalue":{"value":{"amount":"+0.7691830396652222","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":"Q4583960$635D614B-F66D-4184-A6A6-C0368B9D5A6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f7b3faa9abd503adab345f00e95ef47b1edf47c","datavalue":{"value":{"entity-type":"item","numeric-id":2941732,"id":"Q2941732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a5c1fd0ae634e2af29f979ef2c62beafe00ac5d","datavalue":{"value":{"amount":"+0.7490100264549255","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":"Q4583960$88C861B6-0C6F-4301-A390-904A1577587E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbec6be17472caefc87a5824c9c9eb710d82824b","datavalue":{"value":{"entity-type":"item","numeric-id":5326457,"id":"Q5326457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82b3c3c0453363827eecb158740b7603b4cb7a77","datavalue":{"value":{"amount":"+0.739931583404541","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":"Q4583960$FDE7217F-5044-4720-8700-3F926CEAB491","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4583960","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4583960"}}}}}