{"entities":{"Q2898000":{"pageid":2908725,"ns":120,"title":"Item:Q2898000","lastrevid":42466858,"modified":"2025-06-28T08:13:48Z","type":"item","id":"Q2898000","labels":{"en":{"language":"en","value":"Solving Difficult SAT Problems by Using OBDDs and Greedy Clique Decomposition"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6057340"}},"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":"Q2898000$E8032403-828D-47CB-AAD5-83F87362AC87","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"16eea8389b2ca81aa91f9808f71d5194b4dc974b","datavalue":{"value":{"text":"Solving Difficult SAT Problems by Using OBDDs and Greedy Clique Decomposition","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2898000$F13DA2BF-C9D3-4748-A181-99899EA96D1C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"72610f337d2d2713f49c0cf8776075097eab99c1","datavalue":{"value":"1304.68166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2898000$BE16C260-B6D7-42CD-A815-AFFF2E46AA80","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6d4307ddcd7fd895232fe6597b0b99194fe36988","datavalue":{"value":"10.1007/978-3-642-29700-7_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2898000$5E26EA98-AA99-4C7F-BF23-6EFC8CE9B0F6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"68944b8e3d558061863c79007f74ff843e161a6b","datavalue":{"value":{"entity-type":"item","numeric-id":2002163,"id":"Q2002163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2898000$F986D0DE-D252-47F1-BBE0-2CD5A399A089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9067f8663bc4535221a064e05e63cdbfbb8b607","datavalue":{"value":{"entity-type":"item","numeric-id":238000,"id":"Q238000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2898000$E58B5D90-98B9-44BC-8F28-51AA0EBBEF86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"700a7ab3c2173bf5b546ffeb63a43807e035e8a6","datavalue":{"value":{"entity-type":"item","numeric-id":250171,"id":"Q250171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2898000$06270861-F9DB-4B9C-8620-4BEFAD547A49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5df4a9c66c1b13af4dfe07a1c5137ede82a660de","datavalue":{"value":{"entity-type":"item","numeric-id":6053764,"id":"Q6053764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2898000$178B1BF0-F140-47D8-AAB9-8B0C589042CC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"87148b6b26f6b5e5442673b325db5c754d79d2c6","datavalue":{"value":{"entity-type":"item","numeric-id":2897976,"id":"Q2897976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2898000$10FC91FA-CE45-4063-A98D-213A23E14331","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fe89deaa1ca0e49e45cc01dd05640dfc255fa677","datavalue":{"value":{"time":"+2012-07-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2898000$4900E69E-FA4D-4E2E-892B-44A585093CA7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2898000$BFA4EA13-CBD5-4F36-B43D-4D4FA4D28C27","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"faa4c7abef2d7b38f7715110cc6ad445638b9642","datavalue":{"value":"6057340","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2898000$6F251129-0A72-4631-86A5-1C88C9AAFE2C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"656dcb3eb788c3316c4e3a6808f3e7a570544894","datavalue":{"value":{"entity-type":"item","numeric-id":13575,"id":"Q13575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2898000$21DF92C2-BE69-45BE-90D9-D12C2A6FAD7B","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":"Q2898000$407903C5-D9E6-4437-BCC5-F36EF274D73A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"69d03ace66e3d75c22e66334760666dd88c4bc34","datavalue":{"value":"https://doi.org/10.1007/978-3-642-29700-7_24","type":"string"},"datatype":"url"},"type":"statement","id":"Q2898000$A49F7CD3-7AD1-4505-8FA6-B7BDC4275D30","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2ff6762f34cddf80ae2b1b30ffb6e15289c78c40","datavalue":{"value":"W195133914","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2898000$46427E8D-459D-449B-95B7-EDDFB718E4B5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2ec5decd8a2de4ba0bffe506f6c78a70150606d","datavalue":{"value":{"entity-type":"item","numeric-id":5377330,"id":"Q5377330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8b4e3a0f12249279172e0dc8236f031092cbe58","datavalue":{"value":{"amount":"+0.88469505","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2898000$4601FCD3-2DCF-4179-9F3C-2ED0B921714A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf278264a00a100cbfe922117ab0f2fcdbea1b37","datavalue":{"value":{"entity-type":"item","numeric-id":2741535,"id":"Q2741535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d17442042799ae7ffe6270f71e529c2c08b2597e","datavalue":{"value":{"amount":"+0.87354374","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2898000$6780E6C7-3C10-4AE2-8D6A-D002200C697B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f4315323875c6003c6af0815b7ca79ecfa743b0","datavalue":{"value":{"entity-type":"item","numeric-id":487632,"id":"Q487632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"162d313202490c1ab90ac928c806c91ed673badd","datavalue":{"value":{"amount":"+0.8697307","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2898000$7F25EC7F-5E49-450E-92D0-9D9D7EE2BC7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1c2a4a52a974f465051dfaad6d36ce2d5859a91","datavalue":{"value":{"entity-type":"item","numeric-id":4962605,"id":"Q4962605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a63c0c1749ed95ab5081c4b82e6a4b9c74d8667","datavalue":{"value":{"amount":"+0.86697227","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2898000$303A2847-58CF-4084-BA37-0D2200F16820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"950964d65a724e0810d1250e681666c08162cdd5","datavalue":{"value":{"entity-type":"item","numeric-id":2843331,"id":"Q2843331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b29b7aa9d501879a6534dbaef4cfdb7431eacd18","datavalue":{"value":{"amount":"+0.86590064","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2898000$09DE8908-07A6-4694-BB39-7B3E7289159D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"495ad910e3b87188ae394e70d24503dae9ad821e","datavalue":{"value":{"entity-type":"item","numeric-id":1198012,"id":"Q1198012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b967d481259b62e35d270ac96883d00d9d53d560","datavalue":{"value":{"amount":"+0.86466813","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2898000$AD28A053-C0C2-468C-927E-5D7170CEB2C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3183fd4d00b8287185181665f8626e4cc43580eb","datavalue":{"value":{"entity-type":"item","numeric-id":3634956,"id":"Q3634956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecc67654beafe466afabbd396efdb8f0ddd79c79","datavalue":{"value":{"amount":"+0.8641026","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2898000$A3A08239-8F02-435C-8E49-7A1B74ADF1B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c0c0aa7232ccea3f5a80f7b1903d3b548263e08","datavalue":{"value":{"entity-type":"item","numeric-id":5150489,"id":"Q5150489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2570e60fcc758d5bcbe9951a3ac2476e33955596","datavalue":{"value":{"amount":"+0.8607249","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2898000$E5FBA553-46DF-474D-AED6-DBAC3D0AA84F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2898000","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2898000"}}}}}