{"entities":{"Q2327243":{"pageid":2337986,"ns":120,"title":"Item:Q2327243","lastrevid":71852091,"modified":"2026-04-14T00:58:11Z","type":"item","id":"Q2327243","labels":{"en":{"language":"en","value":"SAT encodings of pseudo-Boolean constraints with at-most-one relations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7116689"}},"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":"Q2327243$0FF3E22D-CB14-45C8-8CFF-837A30B9A5D6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"418f65a0c6261f458cd352a9ed3f9927388c6b92","datavalue":{"value":{"text":"SAT encodings of pseudo-Boolean constraints with at-most-one relations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2327243$2B8D2D21-D4AE-422D-B07E-21470079F234","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0574d8cb2d48ffee5a7259d92132a40701a5d072","datavalue":{"value":"10.1007/978-3-030-19212-9_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2327243$39AD1CA1-4A13-4960-9E60-871FA94AEE6E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ce8850632b90b69a6c289735cc288ece6fb9e1a","datavalue":{"value":{"entity-type":"item","numeric-id":352975,"id":"Q352975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2327243$E69F12EF-58D5-49DD-9731-CB180A2FF611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da6ab6c22c78c4e33ac724d9770211a7d7c8a0a3","datavalue":{"value":{"entity-type":"item","numeric-id":2060733,"id":"Q2060733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2327243$29338B49-901A-4333-9752-A3AD50287990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"16555abca52d59c8aa479d032fa86171e977ba41","datavalue":{"value":{"entity-type":"item","numeric-id":487630,"id":"Q487630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2327243$A313D28F-05F0-4235-8873-80575B38F6F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"588ee65877f0d3e81836f8c13b96426bc0fd83a2","datavalue":{"value":{"entity-type":"item","numeric-id":487631,"id":"Q487631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2327243$D3FE9280-462B-4515-9F64-3B622880EB20","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ac4edc9b7c1f9c7da7f9220a9c4be03d5c672171","datavalue":{"value":{"time":"+2019-10-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2327243$EC9F702E-9A33-4D61-9FE1-A55B7F445A57","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2327243$B6DB9534-AC9A-4E3F-A9C7-66036E63F200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35cb8465ca85ba26995d54be2905dc35556d665c","datavalue":{"value":"90C27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2327243$2CD3333C-B189-4834-8529-CE6DD9C232D7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7c01a85e38a9046b387de1afbcdbbb54995371d2","datavalue":{"value":"7116689","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2327243$94E5DA22-8A60-4B56-A548-8241EA05C5B4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5867ec7b44aefc01672736513dfe6410a0300cd5","datavalue":{"value":"SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q2327243$0F783CBD-43AE-4CEE-9147-0F9DBCDD713C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54fc13d85c90406af05dbef85bf312281300c830","datavalue":{"value":"pseudo-Boolean","type":"string"},"datatype":"string"},"type":"statement","id":"Q2327243$65958F0F-7104-489D-9B01-DF0300097660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86858b19e06e7f53cefb9a2372bf5b13d0adff66","datavalue":{"value":"encoding","type":"string"},"datatype":"string"},"type":"statement","id":"Q2327243$F590B86E-B6C6-4A33-A65E-AB1AF0517CE8","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":"Q2327243$578056D3-AC57-4905-96C0-1B4FAE2FAE99","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cb7c183e86c5f4695fef24caa8f5d4e63a779996","datavalue":{"value":"https://doi.org/10.1007/978-3-030-19212-9_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2327243$45F678EC-63B8-41F6-B59C-C084F72AF9EA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bf9383391350bc88bb37e4ff806bc0e55ea7bb72","datavalue":{"value":"W2945958344","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2327243$AC1BE0F5-6DBB-49DC-BAE9-ED7C0F25B34E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e60971c7f2cbfb85bcc36fe0a3a900132157fd65","datavalue":{"value":{"entity-type":"item","numeric-id":2060735,"id":"Q2060735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5033328840561ac8819a67029f57305aa5d2b0ed","datavalue":{"value":{"amount":"+0.9375015497207642","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":"Q2327243$C2028206-E6BD-4984-A0DF-92E57A2E20C3","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":"57bca2abeb9bc6a1d39261d9707152ad1db4e259","datavalue":{"value":{"amount":"+0.8245962262153625","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":"Q2327243$1EE36B1B-30A6-4C5A-BD34-31B786903B50","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":"5aed7f6ee0d6c1211b61013f12e7cd2b5d8ba908","datavalue":{"value":{"amount":"+0.8238901495933533","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":"Q2327243$911F86BD-24C0-4B00-A14B-AEABB4799807","rank":"normal"},{"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":"e0315262bf6d5122f775af8eb9eef8003ceba0ee","datavalue":{"value":{"amount":"+0.7905269265174866","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":"Q2327243$39164649-B8DA-4D47-8CD9-B89E06992355","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":"830a965ca808b7263932d8623e527eb9c9771940","datavalue":{"value":{"amount":"+0.7886057496070862","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":"Q2327243$4822A3C1-5B04-4876-B22F-C831E21F2697","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"SAT encodings of pseudo-Boolean constraints with at-most-one relations","badges":[]}}}}}