{"entities":{"Q2060735":{"pageid":2071477,"ns":120,"title":"Item:Q2060735","lastrevid":57717600,"modified":"2026-04-01T01:53:35Z","type":"item","id":"Q2060735","labels":{"en":{"language":"en","value":"SAT encodings for pseudo-Boolean constraints together with at-most-one constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7443174"}},"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":"Q2060735$EB2A5B5A-5C1D-4507-B207-204AAC7CFF86","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6ae8a27eadabe47197df4504cad2f59607540fad","datavalue":{"value":{"text":"SAT encodings for pseudo-Boolean constraints together with at-most-one constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2060735$D9AA2EFF-231F-4068-962E-DD4846732AEB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6fd077f8daa2a4a0130ed877fdb136358a1c47de","datavalue":{"value":"1478.68201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2060735$9504BAAF-67EA-4F45-8EAC-F617B1FEBA22","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":"Q2060735$57420D24-6E54-4FD6-9AF1-89DEBCF5F0E5","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":"Q2060735$84F2FD0A-DE58-42A1-BB11-88433202FB87","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":"Q2060735$F8895FFB-1B06-423B-AFBD-B10E680A9028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c3e95b2aa456f6dac4c4c62abb9ad48e4b9e637","datavalue":{"value":{"entity-type":"item","numeric-id":2060734,"id":"Q2060734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2060735$8EB5FDDE-6E8E-4D42-AFA5-6AD7ABDF5DBB","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":"Q2060735$1CAB6561-8D0A-43C7-A87E-4860927FDAD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"910b08c6245025a75a830514e51f5973905780bf","datavalue":{"value":{"entity-type":"item","numeric-id":862407,"id":"Q862407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2060735$E843B975-B0B6-412F-82C9-BFF8FBADDD00","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2060735$BEA68737-C18A-44CD-85C8-C0469A9412E1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc2f398aa9daa1fa90afc5483e8dfc2d20856f45","datavalue":{"value":{"time":"+2021-12-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2060735$E07ABEF7-A259-44A6-A05E-C2E2C035BEAB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dfbad93384eb1cf39c20a339b7c874afcf6a7098","datavalue":{"value":"https://arxiv.org/abs/2110.08068","type":"string"},"datatype":"url"},"type":"statement","id":"Q2060735$237465A2-BBBF-4E4B-9FE5-873411723419","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2060735$9095F6DC-A4E9-4ED6-86FE-A63A877F4FC8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c59225e3efcf4a83a19c8228923a2662fe4bbcf0","datavalue":{"value":"7443174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2060735$84045C8C-47AF-47E6-BF78-620B73B19208","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d6fcec8e546d133ed330fa44a395a65aabde15d","datavalue":{"value":"pseudo-Boolean constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q2060735$A4701A55-8B14-4AAD-872F-5EEEA5438645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86858b19e06e7f53cefb9a2372bf5b13d0adff66","datavalue":{"value":"encoding","type":"string"},"datatype":"string"},"type":"statement","id":"Q2060735$3F05E20E-28D7-4CB2-BA19-FA364D913D28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c27be3889f81bd199fde0dca5ff7c8d00803544","datavalue":{"value":"at-most-one constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q2060735$97CAF752-BA0B-4103-BEC3-10BCA9820C4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5867ec7b44aefc01672736513dfe6410a0300cd5","datavalue":{"value":"SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q2060735$F2C3D31D-6AC2-430D-A67E-4E3EDD1B27D0","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":"Q2060735$DA0B2218-ED77-4DEF-BCDE-54D7002028F9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fdc485da6c7305a9ac63c91dc4a97de49fed7569","datavalue":{"value":"W3207659231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2060735$4D23FFC7-B08D-403D-A777-98DE42446077","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c669bf5cd4a12083d5de971ce833b5ad1e655f3","datavalue":{"value":{"entity-type":"item","numeric-id":3453205,"id":"Q3453205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2060735$DE83D9BF-39FA-4045-A73D-E64B948888E8","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":"Q2060735$E54BE972-9A5C-4CF6-8C76-5CAF743948FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25c205dabe4d2ea3c84f1f47dc03f57ce5a6c866","datavalue":{"value":{"entity-type":"item","numeric-id":3143578,"id":"Q3143578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2060735$32A0A7E2-317B-4940-8BD6-146C2FA65EB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c07aa3eb3316ec31fca12adb3a6bdaed69e2edb3","datavalue":{"value":{"entity-type":"item","numeric-id":2009185,"id":"Q2009185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2060735$A603EA37-F021-4CE5-B78A-536CBED0E4F9","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":"Q2060735$10820E5C-53CD-40D4-8193-A23EC27CF8A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53be8bd6756ad389cea2934fb992bd7a50c5fa09","datavalue":{"value":{"entity-type":"item","numeric-id":1680696,"id":"Q1680696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2060735$BA47AA61-5D62-4A10-9190-D0986ACAF189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f640c2ea54867b82989f7ff33bc6768e29278e6","datavalue":{"value":{"entity-type":"item","numeric-id":3410327,"id":"Q3410327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2060735$D5967FC5-0A90-43CB-A67C-98BC37F92F97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf92f74e19616cc8fc7f58f827a915d9c3f6dfc2","datavalue":{"value":{"entity-type":"item","numeric-id":5928374,"id":"Q5928374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2060735$8E5170EE-4B5D-43A3-A818-F968BC62C7A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85443e4b929974ede151da70ca3e4d8d938080ac","datavalue":{"value":{"entity-type":"item","numeric-id":2884560,"id":"Q2884560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2060735$3968F175-36D6-4349-A32B-2F4691F91112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cdc8ab92d92234a6c60e69beca185042cc554d5","datavalue":{"value":{"entity-type":"item","numeric-id":3281501,"id":"Q3281501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2060735$783C9A3E-5D39-42EC-BD49-E6FA0E0DE5A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f269fa3e9df1e97c84ca8c2d3b8dacf45d57314","datavalue":{"value":{"entity-type":"item","numeric-id":2327243,"id":"Q2327243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2060735$7F2ECE1D-33EC-4EB1-B32D-0D14B92FD282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37c83eb0bb9c863c487d30856ad78d111fa5c91a","datavalue":{"value":{"entity-type":"item","numeric-id":5897193,"id":"Q5897193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2060735$96BD8F46-2241-4972-A6EA-01378F7076D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74710e9d2e1ae04d62da8162f48ee143c6479921","datavalue":{"value":{"entity-type":"item","numeric-id":4411139,"id":"Q4411139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2060735$98398D3B-7A7B-40BA-8E6F-679D84F8C1F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d9ba67f57cf9c2897ad8e5e8d8cd96aec256175","datavalue":{"value":{"entity-type":"item","numeric-id":1777406,"id":"Q1777406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2060735$18DC5926-13B7-4B73-B1B6-1E4617339FF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f814032017aa40390d4c6f26a550d62bb08ff374","datavalue":{"value":{"entity-type":"item","numeric-id":5503674,"id":"Q5503674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2060735$549F837E-1DAC-403B-9900-E9413A5FFBCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c58f09cdf7b1de91f0a306e4169469d0d9a46697","datavalue":{"value":{"entity-type":"item","numeric-id":1806880,"id":"Q1806880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2060735$5347130D-58E0-4C32-85A6-A155544B223E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8884b7de7ba0755ddafb5c25e554e5c9aa32e1ad","datavalue":{"value":{"entity-type":"item","numeric-id":733540,"id":"Q733540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2060735$DC040024-3AD7-4F5D-B559-9AF23DCAAD2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0adeb29a3573574ba548f8517de3f6ea3da4d2bc","datavalue":{"value":{"entity-type":"item","numeric-id":5714742,"id":"Q5714742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2060735$1975592A-8A73-475C-9362-006335527B39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f036a6e90b69e6b3bafcd83cc2f31814241c1374","datavalue":{"value":{"entity-type":"item","numeric-id":1278481,"id":"Q1278481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2060735$148251D1-2C0D-4010-9116-37203BCD5495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4a3bf808aa5ef496afec981d0bd4d91c12c920","datavalue":{"value":{"entity-type":"item","numeric-id":538318,"id":"Q538318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2060735$FEEC3AC9-2291-40AE-90DC-AC74A5AE2901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731a38beb7dd208e92170f00ab7039eb12a5b2aa","datavalue":{"value":{"entity-type":"item","numeric-id":3386778,"id":"Q3386778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2060735$EC646FF5-37F2-4573-B022-F6B988232AA4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9f40f99bab2c7d1cac1d88a9d62e76bd5bf34b19","datavalue":{"value":"10.1016/J.ARTINT.2021.103604","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2060735$CD1B5056-F9B6-4748-B542-6A1BC484006D","rank":"normal"}],"P1643":[{"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":"1e1399aa7fe8c5530accc936ca65efe79fb4ec1a","datavalue":{"value":{"amount":"+0.8128490447998047","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":"Q2060735$653E78EA-69CD-4124-9816-AD25A6CEA1DE","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":"2bd250d8044f64b96842e61ace67002e1d872a13","datavalue":{"value":{"amount":"+0.8125171661376953","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":"Q2060735$5E218C59-CAF4-4EE6-BF98-C18EEE78F9C0","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":"5cfb376db1c2eb1611605dd9fa7217184d727f3d","datavalue":{"value":{"amount":"+0.8105021715164185","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":"Q2060735$11FA9C85-983C-4AE6-8A8F-67405635BC6B","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":"6152d97d7ec843e69c8363f3e83a93f2a7e8c953","datavalue":{"value":{"amount":"+0.7967482805252075","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":"Q2060735$2D10E83E-AB72-4B60-A847-0CAEDFC34564","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":"1dfe082cac94383e7d7a168faeef17e9c41f1d4d","datavalue":{"value":{"amount":"+0.7925397753715515","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":"Q2060735$65062951-7B98-46D3-9B39-12B4091FBCB4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2060735","badges":[]}}}}}