{"entities":{"Q3000648":{"pageid":3011372,"ns":120,"title":"Item:Q3000648","lastrevid":58099488,"modified":"2026-04-03T19:27:59Z","type":"item","id":"Q3000648","labels":{"en":{"language":"en","value":"Optimal base encodings for pseudo-Boolean constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5897405"}},"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":"Q3000648$8325918B-C84B-44A6-8A31-80281468FE93","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ef9675a8628492106928d682fb70423bd880b5d0","datavalue":{"value":{"text":"Optimal Base Encodings for Pseudo-Boolean Constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3000648$EA73874C-41C2-490A-A759-4FAE3395F6A3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5a5abd361481c78ffec300a4134e2bd9012d1da3","datavalue":{"value":"1315.68227","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000648$388849DF-AD97-40B7-98E1-7F6D82B05B26","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a3e62cadc570dca7d891c4a7fdbb7c6ba22ccf18","datavalue":{"value":"10.1007/978-3-642-19835-9_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000648$ABA94499-DE20-4EF0-BFD7-173BCBF81EBD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"97931dbd51a6e915b5cab2b02cecf55ce08aab9c","datavalue":{"value":{"entity-type":"item","numeric-id":340572,"id":"Q340572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000648$3E2F0517-1116-4C45-81C9-507D31ECDD18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a05b395fa4cd61e73efe346fc56111c3501a02bf","datavalue":{"value":{"entity-type":"item","numeric-id":3000647,"id":"Q3000647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000648$A14875E2-DAE4-42E6-9D5C-A0D3D71152F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5320a359c64bceee0a4053edac274f2ae03f2ee","datavalue":{"value":{"entity-type":"item","numeric-id":438534,"id":"Q438534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000648$1F59E7D7-AA39-4D85-B7B9-0A8B3A6DAD9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ee03ce229dce1ad90ba116368ba88145bf746ab","datavalue":{"value":{"entity-type":"item","numeric-id":340574,"id":"Q340574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000648$B5425648-3A80-4858-A3D7-AB55943E3124","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000648$B05939E1-C3F7-4E51-8383-5DED899A4FF6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"07154ee076353c2b0adec8e531d763756f4412f7","datavalue":{"value":{"time":"+2011-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3000648$36DAF669-5D0C-4025-BC1D-763650FDFB53","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"acdb9547c58bef56c581c9af68b215a8c02eeb11","datavalue":{"value":"https://arxiv.org/abs/1007.4935","type":"string"},"datatype":"url"},"type":"statement","id":"Q3000648$2DF8AEDF-18C4-4BFA-A510-54CA719533FB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000648$E8F60047-9BE4-42D0-BF62-5E0D095665A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b5048bbab25074ec834fd79519369d02a3569eac","datavalue":{"value":"5897405","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000648$03751F27-0111-40BD-9E12-4D6EEFE776D7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7a8fee25e01d850fe1797c5dea8e7ba6a8ae2da7","datavalue":{"value":{"entity-type":"item","numeric-id":17176,"id":"Q17176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000648$DE7E3D49-2F74-4653-89D3-1EEA56228101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f3d4aca78a7df260cf2c9340be52081d0d969d02","datavalue":{"value":{"entity-type":"item","numeric-id":16254,"id":"Q16254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000648$732FB3E6-D8FC-4DC2-9A07-3B6624876A44","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":"Q3000648$A7106678-ACCB-4AC6-9B29-B37762CBF4C5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"412e9c5e16082e029660c62baee22a49aae3be3c","datavalue":{"value":"W2093039789","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000648$886955F6-3BDA-45B0-B013-371C13E2D7AC","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":"Q3000648$21A8DDBD-2E94-4FE5-8259-1F3E2E527263","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":"Q3000648$FECC9A5D-27A2-4BD2-8E49-C461E631DB87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5351a8116336b7a53cc7a49ddcf01cabaee7a050","datavalue":{"value":{"entity-type":"item","numeric-id":1906223,"id":"Q1906223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000648$859CAA60-467C-483F-A094-1E419CEC06A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6528091c895efc35d52546d73016a9b87d109939","datavalue":{"value":{"entity-type":"item","numeric-id":1972137,"id":"Q1972137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000648$157ACB48-EAEE-4B9C-980B-F368B0563172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6894bc3ca4e6a05b915af9425c4495cac6902469","datavalue":{"value":{"entity-type":"item","numeric-id":3000648,"id":"Q3000648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000648$71F74902-7FE3-42D0-B402-186845D5E727","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":"Q3000648$CA7C3053-D8AF-473B-94C2-4A46C2E4106B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff81489e80366438468bf6dfe10c7a159bc3ea8c","datavalue":{"value":{"entity-type":"item","numeric-id":4057549,"id":"Q4057549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000648$D7246425-CCE2-4769-8D90-6595D27A6C71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38e1fccc99698c14d7e57ebaa0e58c68bcce15ab","datavalue":{"value":{"entity-type":"item","numeric-id":3429158,"id":"Q3429158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000648$A31D154E-3808-4417-BE44-C2BB2A5F7E1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"327a0d59f2b4354d81b6be1e5eb51e4b7acb7721","datavalue":{"value":{"entity-type":"item","numeric-id":1966356,"id":"Q1966356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000648$090EE6C8-25BD-44EA-BD6F-A1A8C072227C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a877c9392587c9bcea882f9d9d400c81495e59f","datavalue":{"value":{"entity-type":"item","numeric-id":2009185,"id":"Q2009185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d849c5f02810725385cb7b47d3ca14fd205bd6c0","datavalue":{"value":{"amount":"+0.8164374232292175","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":"Q3000648$EC020252-4F7E-40F9-97CE-C441ED7CC218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea59ca7126dc47ce4dbd316f4ffbfc244b903b67","datavalue":{"value":{"entity-type":"item","numeric-id":3192081,"id":"Q3192081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c4bc237a9bc40acaef569e4f27dc470beccee9c","datavalue":{"value":{"amount":"+0.8152114152908325","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":"Q3000648$BC606A49-CFCF-4835-A112-3126B9AC0C91","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":"35502e3ebddf2dd48e52bdb39089f38eed136915","datavalue":{"value":{"amount":"+0.8126458525657654","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":"Q3000648$2598DFC3-4F4C-4E88-A0B6-FF777DA30A10","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":"d138a426f1f7da463819b482abf89babc709fd54","datavalue":{"value":{"amount":"+0.8057764768600464","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":"Q3000648$80C08F9D-8B08-4E5B-91F9-6F2462553170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44a4d9d44482ef2b2e6eb69318a624b464406c5a","datavalue":{"value":{"entity-type":"item","numeric-id":3453205,"id":"Q3453205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7014a2f4d28a9b5f64aa87cb1a0fa49164175642","datavalue":{"value":{"amount":"+0.7995988130569458","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":"Q3000648$46BD56DE-F3C5-49D5-B191-F0EDF0B53E70","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3000648","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3000648"}}}}}