{"entities":{"Q3007674":{"pageid":3018398,"ns":120,"title":"Item:Q3007674","lastrevid":51269525,"modified":"2026-01-17T13:07:48Z","type":"item","id":"Q3007674","labels":{"en":{"language":"en","value":"BDDs for pseudo-Boolean constraints -- revisited"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5908737"}},"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":"Q3007674$E4A87F53-A1B2-4B03-9D30-68A13FE7AF12","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"62934007983ecf3e5616400ee2f4a5655efa9bdf","datavalue":{"value":{"text":"BDDs for Pseudo-Boolean Constraints \u2013 Revisited","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3007674$C2BCF365-FFCA-4E94-AC05-E2C0A5753690","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fce2cc3d1e4fe91fd7861152c8f685e8b93203dc","datavalue":{"value":"1330.68098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007674$57C909F7-F451-4DBC-8D26-94A285F9E91A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"223eb964d9b618a3c1defd44c7e6a24e5014a758","datavalue":{"value":"10.1007/978-3-642-21581-0_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007674$A52857CA-66A9-4B23-A4AF-37D780092632","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"419ed6786057dd5bfe113454f3de6d82a3dc0c2e","datavalue":{"value":{"entity-type":"item","numeric-id":2815088,"id":"Q2815088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007674$6C3084A3-30F5-48E7-81C6-23F5507DA8C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e6a58ff964b9ca97414f0c42659717fa8e6fc43","datavalue":{"value":{"entity-type":"item","numeric-id":475169,"id":"Q475169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007674$FA5BCA5E-A437-4A43-9C1D-A33C0BBBBA1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfd1da8b09a3144b32ef026d1d9b2bca68560b37","datavalue":{"value":{"entity-type":"item","numeric-id":438574,"id":"Q438574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007674$AFD707B0-E7AA-4F62-AB94-850D1E6C3A6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1c6f3313098f94ac950042b92865f2f95306b33","datavalue":{"value":{"entity-type":"item","numeric-id":438575,"id":"Q438575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007674$874610D8-728C-4FBF-BCA2-D2162673988E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6452220a6eadf7eee4b5550999a260b280ba469e","datavalue":{"value":{"entity-type":"item","numeric-id":3007670,"id":"Q3007670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007674$DE43DE92-660C-4C89-8898-8A9A025575D6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7c5acb12eb16cd36e6bd9603815f2e919f7d5ec","datavalue":{"value":{"time":"+2011-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3007674$5DA5DCDB-FB17-43FF-9A2F-EF98BE7731DB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007674$336EDD15-3131-48A5-BCAA-FBBADF165BCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007674$5B3E5ADB-44E7-4EFE-8E1E-B84710421491","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3cab74ed0642c5f73d1e454708c1872ec25d9852","datavalue":{"value":"5908737","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007674$577309DF-C4D6-4860-B229-946EF8F41224","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":"Q3007674$CFA40CB0-2A71-489F-B41F-245A9786E3BC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"22ec0dc913444ec687da6f431ae3e39461d12d30","datavalue":{"value":"https://doi.org/10.1007/978-3-642-21581-0_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q3007674$A83FD732-9C94-4927-B439-0A81417E7700","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1ab7a7b91ed8921b98125d3c05020f73ab969bda","datavalue":{"value":"W1829927364","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007674$180E35B5-A05A-44AE-B2F4-428ECF28DC01","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdfdc3eaa2f6b84752ed0d70637ff5b1bc7bd9f4","datavalue":{"value":{"entity-type":"item","numeric-id":3429162,"id":"Q3429162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007674$37899141-FDE0-47F0-865C-4AC115C8E41F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed237118c4d9ee9debbdfc08007731301d82af29","datavalue":{"value":{"entity-type":"item","numeric-id":3637167,"id":"Q3637167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007674$E3060631-3319-49B4-B2A1-E87B9AE464D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05c63aa1ca0034cf2acbcd10fd43a17db9a9b2d2","datavalue":{"value":{"entity-type":"item","numeric-id":4417941,"id":"Q4417941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007674$34AF475E-51AC-41A7-8211-70DD598D5F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007674$5D9DE3B5-537F-4B55-9FA5-914A2A3FDFD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8828146480c327d9a17971b5fa330d92b4921c90","datavalue":{"value":{"entity-type":"item","numeric-id":3429154,"id":"Q3429154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007674$601D0BA1-4F4C-42AF-8227-73806DDF4F3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b586f36aa6c1ba96c7eb4f9dd31d31f8679cf230","datavalue":{"value":{"entity-type":"item","numeric-id":3612425,"id":"Q3612425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007674$E7276786-E493-47C8-ACCD-64DA4D5EFB94","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df7437481109637301480816e3534db937f37401","datavalue":{"value":{"entity-type":"item","numeric-id":3143578,"id":"Q3143578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"314bf33b092a8aa7459c7154c91123009c4ffb08","datavalue":{"value":{"amount":"+0.9658762216567992","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":"Q3007674$1039E887-E593-405F-86E1-D69ACF9CC7E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8478003450a18e2774cd48b1003fd2b783a02169","datavalue":{"value":{"entity-type":"item","numeric-id":3637167,"id":"Q3637167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2f0bf6f95aa2aff17b5341f6ff443b97e89fa46","datavalue":{"value":{"amount":"+0.8258540034294128","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":"Q3007674$DE217D90-15F3-4072-8295-E534A54AF396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a089539d02e4be8b12875565745307d94e0f69a","datavalue":{"value":{"entity-type":"item","numeric-id":2815090,"id":"Q2815090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ff7101bfca1dce176d6872c0f26b624488e96e9","datavalue":{"value":{"amount":"+0.8093546032905579","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":"Q3007674$85E197F2-3449-46EC-A34E-598CE2CE8F1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5acb1edd21c23a4caa49967f778b3c1ff2122d0","datavalue":{"value":{"entity-type":"item","numeric-id":3429162,"id":"Q3429162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cc31a7165497d476a4939fedf19359c8ea615ce","datavalue":{"value":{"amount":"+0.8084002137184143","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":"Q3007674$A21DE76A-F5B7-4273-B609-CE95C4AE084C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d3e9f23a7460851b246e1eb6911475e60b8c87b","datavalue":{"value":{"entity-type":"item","numeric-id":3000648,"id":"Q3000648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4336b9ee206b8685cd22ced3c3455445a7d8f7ba","datavalue":{"value":{"amount":"+0.7856314778327942","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":"Q3007674$7FE4DB5D-28FC-4C95-9C14-FB76BB51A459","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3007674","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3007674"}}}}}