{"entities":{"Q2848051":{"pageid":2858771,"ns":120,"title":"Item:Q2848051","lastrevid":51832652,"modified":"2026-01-20T06:37:16Z","type":"item","id":"Q2848051","labels":{"en":{"language":"en","value":"Combining SAT methods with non-clausal decision heuristics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6211408"}},"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":"Q2848051$41DC67C0-7BDC-4CBB-B90C-BED02DF8FC68","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"decdec0949f739ab6d69ae099b8ce411d7cc8a92","datavalue":{"value":"1272.68370","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848051$D71A9AE0-BC74-44EA-8CCA-89658DF04C22","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad77f9f95b13763d1bf3e18f3ef5b6900b795f74","datavalue":{"value":{"entity-type":"item","numeric-id":518400,"id":"Q518400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848051$106CAACC-7FD1-47BE-BAE1-AB8EE8C37D04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"333ba8ca569d6b3c22b6af2339eb6ef93eca9f21","datavalue":{"value":{"entity-type":"item","numeric-id":2848050,"id":"Q2848050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848051$D856A4D9-18D7-4C25-8C78-883D92F48EC4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"68e9606d4f4e53be9a37b58bd23167a8b2b94aea","datavalue":{"value":{"time":"+2013-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2848051$93DF5606-BFFC-4816-AF77-85D06F95DC66","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fc9245ca4ad6b5f5edbc3d3aebea1f7cfd26e171","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105050681","type":"string"},"datatype":"url"},"type":"statement","id":"Q2848051$BB1579F1-267A-4ED7-BF62-9C312AA8DE43","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848051$441D619A-FC10-45C3-A81F-FCC0432F6FFB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7d36e9aa1575decedadb3d05fc3b95d83792bd7c","datavalue":{"value":"6211408","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848051$CC69CC5C-73DD-44D8-A4D5-353B68AFD34C","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":"Q2848051$F4142036-6908-4919-85C7-6D248D7088BF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b8bdac2c30ec403f8bf30a4487e950d814f523d7","datavalue":{"value":{"text":"Combining SAT methods with non-clausal decision heuristics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2848051$BD3D0267-9BFC-4073-BAC9-4D27F1E802B6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71bee125ea54a8e54d6d488c54ec9675e6f5fb42","datavalue":{"value":{"entity-type":"item","numeric-id":5900552,"id":"Q5900552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0afdd110b14626061eff2d4ca1a0ed0c57432435","datavalue":{"value":{"amount":"+0.7959095239639282","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":"Q2848051$C3FC9F59-52BC-4CAA-A905-1912799ED86A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b449a0bd0229c951dfc5833888215831e1c36d6","datavalue":{"value":{"entity-type":"item","numeric-id":5899156,"id":"Q5899156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dbcd93385945b81b33af7812e7030ffd41b40ae","datavalue":{"value":{"amount":"+0.7858439683914185","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":"Q2848051$67E60552-9B4B-4325-92E8-399A78FC1A15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3e71bfb5b68d2283442ce2c6ed865faa5ef3fdb","datavalue":{"value":{"entity-type":"item","numeric-id":5756564,"id":"Q5756564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65c5637c6b232841f32073f7909d1dfef9760310","datavalue":{"value":{"amount":"+0.7751075625419617","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":"Q2848051$539CE1C5-ADCD-4A65-8752-B97B53BC36C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e83799d172caac9de556d975c6e02093382a2446","datavalue":{"value":{"entity-type":"item","numeric-id":3677735,"id":"Q3677735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aaf401099aa9bf01efc8e5953f18f2dd8fbf8b27","datavalue":{"value":{"amount":"+0.7660468816757202","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":"Q2848051$E75C45A2-B70F-466A-81BD-86B98B6D8BF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e1470a97030887b8d84f75ee646436a0f66f52b","datavalue":{"value":{"entity-type":"item","numeric-id":3766889,"id":"Q3766889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab661d06d3d4b27aeee6eb52298e6814d06bdb70","datavalue":{"value":{"amount":"+0.7632286548614502","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":"Q2848051$30817CB1-EE75-4E9F-87E0-FB16CE3AC23A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2848051","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2848051"}}}}}