{"entities":{"Q2741535":{"pageid":2752274,"ns":120,"title":"Item:Q2741535","lastrevid":47667643,"modified":"2026-01-02T09:26:13Z","type":"item","id":"Q2741535","labels":{"en":{"language":"en","value":"Solving satisfiability using decomposition and the most constrained subproblem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1642931"}},"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":"Q2741535$C1B48E60-6C10-47A5-8EC7-61FC4D04B7C9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"412ce7b245965339c16c1611edf38e2ca474a1f3","datavalue":{"value":"0990.90552","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2741535$6BF5F164-5E85-4DAA-ADB8-CA9B5364B05F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"be8270aeff3b090524a336c3cfc48f20d7a08fb3","datavalue":{"value":{"entity-type":"item","numeric-id":543590,"id":"Q543590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741535$04D8F167-5348-481A-BE36-B2A3ED64E8C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf57a15e60aa9dd2d720b1ac8f7cc15a99ffa6c0","datavalue":{"value":{"entity-type":"item","numeric-id":543572,"id":"Q543572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741535$0903DD53-0EA5-4339-BCC9-3A021929758C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6b975fb917d02ff3cd909fbcf7490582affd2f02","datavalue":{"value":{"time":"+2001-09-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2741535$D672C61E-4F50-4153-9C59-0ADF502752EE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35cb8465ca85ba26995d54be2905dc35556d665c","datavalue":{"value":"90C27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2741535$B4FF60F2-D0CA-4D47-8C73-A01292CBF5D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fcde6944a05b42fc9b58f696b7d5b9f7be8e3c86","datavalue":{"value":"49M27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2741535$1ED54D90-78B6-494D-BC99-A83B1353AD77","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"84667f3da90d7247738e1542b84c2dcc8096a732","datavalue":{"value":"1642931","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2741535$E16E3311-E40C-44ED-AB5E-FEE4FF78E0F7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6db9b60c183f4102d657f7da472cde3966b5bba1","datavalue":{"value":"SAT-solving procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2741535$BF7894DB-2F05-49D0-8712-597011C88993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"615f2a3773e3a9a3bad386a540fbc6c58cfa22ee","datavalue":{"value":"decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2741535$5999F1E3-4835-41E8-B8BC-1AFDB3C2DF80","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":"Q2741535$7E94D344-8CCF-4BDC-97CF-154B5702BBD9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f0aaebab46b0a5fa4d69c5e13db7619ce4380ed9","datavalue":{"value":{"text":"Solving satisfiability using decomposition and the most constrained subproblem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2741535$E46D359B-5501-49B3-843A-12E0FC4F358E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5399cbcf9d1bc633b20d55cf5ecea84ef7446401","datavalue":{"value":{"entity-type":"item","numeric-id":3429163,"id":"Q3429163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b2f34fab444815ba3534ba38e305845d6a18c0e","datavalue":{"value":{"amount":"+0.7791153192520142","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":"Q2741535$6FFCE49C-BDBF-4227-8993-056AFDD803C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66d468b5c540abe65339c26239e6406fad5d3590","datavalue":{"value":{"entity-type":"item","numeric-id":5687266,"id":"Q5687266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81c63ec1db1703e999cdab063eb4d57b47d7bfec","datavalue":{"value":{"amount":"+0.7635015249252319","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":"Q2741535$7395F60A-2DBF-41F7-92F8-7C49FDE07435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a29e179bbf06cf64dcb40b6c39cad4b300e7df5","datavalue":{"value":{"entity-type":"item","numeric-id":1356218,"id":"Q1356218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a84eb3defc851297fb9f7896f67192e17815b494","datavalue":{"value":{"amount":"+0.7600709795951843","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":"Q2741535$5A776571-EE75-4F00-A06D-FFF057E146C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2c4f8541aef8e05dfbffcf2e2596c60c6b9f784","datavalue":{"value":{"entity-type":"item","numeric-id":2741530,"id":"Q2741530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00aedc7ede6d2a0a01b09700f23d5fe96939b337","datavalue":{"value":{"amount":"+0.757494330406189","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":"Q2741535$35EA968C-C7FD-44E2-B29B-0727B9D5DFD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df5ae6243e6aa47481ebe76a21d9558d7cccf278","datavalue":{"value":{"entity-type":"item","numeric-id":3335000,"id":"Q3335000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49be0ea73198e0556247971986c2f003bf9ea9f4","datavalue":{"value":{"amount":"+0.7498825788497925","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":"Q2741535$B503FCED-2A00-436E-9219-5A51C42C7D12","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2741535","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2741535"}}}}}