{"entities":{"Q2843331":{"pageid":2854051,"ns":120,"title":"Item:Q2843331","lastrevid":51798692,"modified":"2026-01-20T02:32:00Z","type":"item","id":"Q2843331","labels":{"en":{"language":"en","value":"Efficient SAT solving under assumptions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6197758"}},"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":"Q2843331$65761A6C-29C6-402F-B681-2470948CA39D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e07c2d1e36d8a0aeafbda078044b85243a40ad58","datavalue":{"value":{"text":"Efficient SAT Solving under Assumptions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2843331$421B6DE5-1BEE-4C5E-9B50-38C5D1DDF699","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c90e862f796535dff837bf4007ee9f2f3e37465d","datavalue":{"value":"1273.68358","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843331$3DB18819-B5E2-4C7A-9811-DEDD8F309D21","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"22d07316d90be24ed6484b31bd085bd2b2a1bbef","datavalue":{"value":"10.1007/978-3-642-31612-8_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843331$FC151C88-4D1B-4652-BAF4-61EC803B3A80","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb85832ecb9136476175ff03ddf74d77f7a7c330","datavalue":{"value":{"entity-type":"item","numeric-id":746771,"id":"Q746771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843331$FBC0B1EC-4527-4DF7-B160-C24631CB087E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"87e339dd7bfbda36ac1d0ca0bbb1694595f418a2","datavalue":{"value":{"entity-type":"item","numeric-id":746772,"id":"Q746772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843331$1ABA8368-D2FC-4D07-8508-44E969A2DA50","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"99d453d9b3b27bd3cc6141a9b9e45331f29a9235","datavalue":{"value":{"entity-type":"item","numeric-id":2843316,"id":"Q2843316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843331$58DCE678-B26C-4ABC-9A72-8E8B66316AD8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f821b5a4e1b97d333daa587d84e241971425051f","datavalue":{"value":{"time":"+2013-08-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2843331$9E281B2F-A49F-424A-B5ED-37840A285E7A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843331$5052CF9A-A470-48CB-A7B4-B0D7E3C36CEF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"65dfca94efbc1d526d1b2ed72ee960c647727366","datavalue":{"value":"6197758","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843331$13D90664-2C59-437B-A331-02A51DDBF7AE","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":"Q2843331$92DEC2C4-4072-40FF-BF83-7AE47B734029","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"84e0a5815620e9838f85f6ae9c6de4822f9ce3ed","datavalue":{"value":"https://doi.org/10.1007/978-3-642-31612-8_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q2843331$1257CDB6-7292-4756-91F3-6372530464D1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bc5f5f0a14e6726e0194c121fc3c06415743fe25","datavalue":{"value":"W94133491","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843331$CC5A94B4-B2D6-4F1C-AD05-8A62ABA7BE16","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce6ad6abcd48709383c08e822d5e3fa1c12b6396","datavalue":{"value":{"entity-type":"item","numeric-id":3192067,"id":"Q3192067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"feb161be02a7d0028470f94c6315abd610e92cb6","datavalue":{"value":{"amount":"+0.8805180191993713","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":"Q2843331$505E42D4-4831-4233-978C-0278944501DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc612c398256282a7234f9abb169713f46b99396","datavalue":{"value":{"entity-type":"item","numeric-id":2181929,"id":"Q2181929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7ca1397690321a34d131a143e768a703a3f152f","datavalue":{"value":{"amount":"+0.8547403216362","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":"Q2843331$8FB5573C-DBA9-45B0-8AD8-0DB550430C6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d421ec7b2abbbdba7b6179718329367b3f0f712b","datavalue":{"value":{"entity-type":"item","numeric-id":5326470,"id":"Q5326470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ae6e4a23fadc05e4495c6fb748b05ec9ec1f089","datavalue":{"value":{"amount":"+0.7603172659873962","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":"Q2843331$23C6E3CA-065F-42A4-BBFF-786711DE93A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a786d0f3b40f02cd8fc35a540b23f86ae32c07c","datavalue":{"value":{"entity-type":"item","numeric-id":3502706,"id":"Q3502706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50994c68c11f8ca3000ba9cc150efa9b9c7d8fe6","datavalue":{"value":{"amount":"+0.7593991756439209","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":"Q2843331$841534A1-F1BA-4C6F-ABFE-AA46D73E1246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1004003ee1ea4a0828e42d10bfdbd2952cf833c9","datavalue":{"value":{"entity-type":"item","numeric-id":2181926,"id":"Q2181926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6f5a04717dea3b3020eb37e72b3e4a6909abd6e","datavalue":{"value":{"amount":"+0.7528550028800964","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":"Q2843331$B9FFFEB9-25DA-4A96-8527-90500480A772","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2843331","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2843331"}}}}}