{"entities":{"Q3612425":{"pageid":5642331,"ns":120,"title":"Item:Q3612425","lastrevid":50600930,"modified":"2026-01-14T12:59:03Z","type":"item","id":"Q3612425","labels":{"en":{"language":"en","value":"On Boolean Functions Encodable as a Single Linear Pseudo-Boolean Constraint"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5527164"}},"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":"Q3612425$A3479369-7F52-46B3-96EC-AD96F3A47F38","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"379d486d453792b6fdfebdfd0250c79d0b18805f","datavalue":{"value":{"text":"On Boolean Functions Encodable as a Single Linear Pseudo-Boolean Constraint","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3612425$8B220E43-DA3E-408F-8E48-208B167D63F5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"628bba4d186a9ec1e6407a72656273f674a1acf9","datavalue":{"value":"1214.90091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612425$99E1C449-619E-4E8E-83C2-2A567300D042","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6f853c3309ab13b0ab9721cd2b165efda2b8593d","datavalue":{"value":"10.1007/978-3-540-72397-4_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612425$BB4E0A08-DF12-41DD-9448-E7B21AAF98EA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"94641c8c41609ae12c24fccaf13910d4ca73205e","datavalue":{"value":{"entity-type":"item","numeric-id":2723917,"id":"Q2723917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612425$5CD34E34-6A89-4506-BD5F-E3FD8982C06F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9b5703dbefadb0dc8a94567ea5d35c321580fcba","datavalue":{"value":{"entity-type":"item","numeric-id":3003269,"id":"Q3003269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612425$E7482FB4-5BA0-4B69-96F0-50DA8388FF0B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a78c90783bcf9fdd01d3c043b3bd0817808259e2","datavalue":{"value":{"time":"+2009-03-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3612425$4727B1E5-7377-4FE5-951B-44C646D55C52","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3feee98fb6a1a95642ba0c6a16390527874922bf","datavalue":{"value":"90C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612425$28A5558B-D6B9-4F66-8D5C-1D2C13B245F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612425$5B2A63B3-C06F-4F2C-B7D3-604310983B84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f3eb9b2932c3fdc120e877804d57f4cb2d94e9","datavalue":{"value":"06E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612425$99FC56FA-F53F-4D71-B2F9-A4F65D60FEB3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"29ae2b8e6fda0814d0f3135cc7861099237064f7","datavalue":{"value":"5527164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612425$F18C2D76-633B-4024-8ED4-DF51DC14D85C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"22fc318c6c2e42dbf1c86e8b56323826ebc2c596","datavalue":{"value":{"entity-type":"item","numeric-id":14528,"id":"Q14528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612425$4A4AB769-4984-474A-957E-50AA2D641403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5834864074172f90c0db592b61fbce75f9303a03","datavalue":{"value":{"entity-type":"item","numeric-id":16627,"id":"Q16627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612425$A75CC19F-AE94-41D1-8C7C-57DA404DA523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d8159bf0a919a0b8aef1e30e19d8f9c6cbe3ba79","datavalue":{"value":{"entity-type":"item","numeric-id":16793,"id":"Q16793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612425$1D9B3D85-75DB-49AE-965B-B61D5B671AD9","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":"Q3612425$0381E48E-CED7-450C-B401-F5EEFFF6DB5F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"73ac850050f6fb06b9f7f8282dafa50be2bfa136","datavalue":{"value":"https://doi.org/10.1007/978-3-540-72397-4_21","type":"string"},"datatype":"url"},"type":"statement","id":"Q3612425$F0A413FF-1AB7-4ABD-994B-6D1259150226","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"14cae2c7f23a357378a048d168a87179da4b458e","datavalue":{"value":"W1712173076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612425$773F232D-6AA6-4ADA-A179-4066E67547B2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24e7edaca44a4942d07964c326de5f7d88aa9d38","datavalue":{"value":{"entity-type":"item","numeric-id":2870060,"id":"Q2870060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72ae80f32caf8bb3b6c74bd6aa13b36f1295efba","datavalue":{"value":{"amount":"+0.8305530548095703","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":"Q3612425$7EAED239-CF34-42B7-926A-2853B5A4D399","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":"0ed087a53f08a344eb545ee7577ae3adbfca17ff","datavalue":{"value":{"amount":"+0.7775514721870422","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":"Q3612425$C4F2BD5C-8CED-4FCC-A458-D0C0423094C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e5614790dd6442948e7fba151b43be76ae9235d","datavalue":{"value":{"entity-type":"item","numeric-id":4520821,"id":"Q4520821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d10271d55e1adc19fa19f1b20ccd729e89bdebe","datavalue":{"value":{"amount":"+0.7698156833648682","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":"Q3612425$C74309D7-3F8B-4160-B3FD-76A4CDA2E8E5","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":"a91562020ac47b77292fed743efba12bc8e16c3b","datavalue":{"value":{"amount":"+0.769448459148407","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":"Q3612425$19F053F9-D976-4401-88C6-23AE59515C11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"223bc0235494b5d93f1fa7361a6f76465058f12e","datavalue":{"value":{"entity-type":"item","numeric-id":1841879,"id":"Q1841879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8904fd03c210c7320d3b5c73a4d4a25bc9104c4a","datavalue":{"value":{"amount":"+0.7638998627662659","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":"Q3612425$19955F22-941F-4193-9DB2-ABAB4F13CA06","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3612425","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3612425"}}}}}