{"entities":{"Q2848675":{"pageid":2859395,"ns":120,"title":"Item:Q2848675","lastrevid":51834704,"modified":"2026-01-20T06:53:08Z","type":"item","id":"Q2848675","labels":{"en":{"language":"en","value":"Adaptive application of SAT solving techniques"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6212126"}},"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":"Q2848675$0E71B2A6-4B63-4CD0-B4A6-49B1E0418855","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ac932d48368f5bad996f649fed726abc1708be71","datavalue":{"value":"1272.68375","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848675$4B5699A7-5110-4422-BCE8-0D2C01CEA126","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"93d03a3bf150f3684095e480d2bce0cd159f0697","datavalue":{"value":{"entity-type":"item","numeric-id":882146,"id":"Q882146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848675$ABA38BF8-D3ED-4E1C-848F-CAED796E0BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b93a7ab83eb4b01c8fa415c14a8ae5c22018daae","datavalue":{"value":{"entity-type":"item","numeric-id":1039849,"id":"Q1039849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848675$1F0EB395-2455-4A34-A37D-0714492C2F40","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"43e878d8f753446abefa1b1ceb0637b91afae47a","datavalue":{"value":{"time":"+2013-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2848675$0882D8CE-D660-488C-BF92-E610CF596EBB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2a3542ddebd8c34a38f2b5bf873e558476c00f2c","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105052424","type":"string"},"datatype":"url"},"type":"statement","id":"Q2848675$5F95516A-91AC-4D0B-BA2B-ED55BEA68762","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848675$B4C0E051-7ACD-498B-84C9-B747E88FDA5C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e47f0dd4eb283b418c78e8cb7500bc049c28008","datavalue":{"value":"6212126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848675$E14859A8-DE48-4FF6-9827-6CAC0296E4A6","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":"Q2848675$068D9E98-07F8-48ED-828C-CE4EE6F1A883","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a633b2f6f52b0132c03827336d3e33e4186acf22","datavalue":{"value":{"text":"Adaptive application of SAT solving techniques","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2848675$470E4256-DC3D-4AA1-AF76-B40CD4EE6E80","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9c76d825cea4b2e6ec560ea8734d9aad773b2a7","datavalue":{"value":{"entity-type":"item","numeric-id":3502690,"id":"Q3502690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c756cded331e3821631812d6ed45c770ee4edac3","datavalue":{"value":{"amount":"+0.7953096628189087","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":"Q2848675$CFE656B9-264C-47BE-BBD6-C91EAA3BA56F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92c395ce850d0e09094a6271daaef0bb30d1236c","datavalue":{"value":{"entity-type":"item","numeric-id":5191554,"id":"Q5191554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7abd5aaec7d215c69baf1d92b8e94bf0dd674cb","datavalue":{"value":{"amount":"+0.7682346701622009","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":"Q2848675$2FC5B2BB-6FCB-488F-9B02-56CC42A888A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2e8b676e4df73b916e8709fcdd73767eda5020e","datavalue":{"value":{"entity-type":"item","numeric-id":5713744,"id":"Q5713744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8bcf8073419639da8d32b3249d958d492d60d64","datavalue":{"value":{"amount":"+0.7678545713424683","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":"Q2848675$E6AD4635-217F-47F7-AF60-9242171E3F99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8097d1eefc1f6e412a410df106c4993c529d518d","datavalue":{"value":{"entity-type":"item","numeric-id":3429156,"id":"Q3429156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c6f5c2376f93d8147df1ba41159b6db18dcaaf0","datavalue":{"value":{"amount":"+0.7645600438117981","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":"Q2848675$A68A499E-FF9A-4D46-99B9-D4697D257BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"859b19809b2f9f2765bb53fedb4ebbeee97c998d","datavalue":{"value":{"entity-type":"item","numeric-id":862398,"id":"Q862398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c19b1b86c1fc669a7a31ba70f6daf1256964215","datavalue":{"value":{"amount":"+0.7584218978881836","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":"Q2848675$2B0C4CA1-FD3A-4DF0-95FD-3DD3B7AA55EE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2848675","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2848675"}}}}}