{"entities":{"Q3453205":{"pageid":5232605,"ns":120,"title":"Item:Q3453205","lastrevid":52400414,"modified":"2026-01-22T13:45:58Z","type":"item","id":"Q3453205","labels":{"en":{"language":"en","value":"PBLib -- a library for encoding pseudo-Boolean constraints into CNF"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6512561"}},"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":"Q3453205$F768DF0C-D39D-423C-B4BB-AE28979F3C61","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0193cc52d78e73e46ef967254536633af9def4d9","datavalue":{"value":{"text":"PBLib \u2013 A Library for Encoding Pseudo-Boolean Constraints into CNF","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3453205$C4171AB3-BA6D-4752-8203-2BA68CCF6119","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ca9005a03464aeaf2b27a58fcaf94d2dc478cb53","datavalue":{"value":"1471.68261","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453205$E0E5DCB6-B776-42E7-B0B4-E693274720EA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"033759af6be1fe0017f8363814766a4a4d5fd8d8","datavalue":{"value":"10.1007/978-3-319-24318-4_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453205$DB6A9894-0D31-4342-8887-C82A651BA343","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d9c35b29d433053427621eb4581b543e27f092a","datavalue":{"value":{"entity-type":"item","numeric-id":2835887,"id":"Q2835887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453205$3673AF59-042B-45EA-A592-A8D99F8A6CD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"263f6f1aa2dad68df1377c3d11f5e2a6676bc68d","datavalue":{"value":{"entity-type":"item","numeric-id":3166691,"id":"Q3166691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453205$71C85B3C-2A94-40F8-A32D-4ABCA1425923","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453205$449255B1-6E1E-416F-BBB9-2B85506F6779","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7bc62645abb22752583f6909ba0e58feb505ce9c","datavalue":{"value":{"time":"+2015-11-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3453205$0B63057C-248D-40C4-8577-8F6BC0943CF8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453205$3DA0A3A5-C6F2-4F77-A015-D465DF60A02E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"827185f8e5bdd0383d20baa2d96172b7565f370a","datavalue":{"value":"6512561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453205$28291355-F347-4E3A-9154-2CD56E01B2E3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cc87be0dd022e5665e0c2cfd60b320be87befea5","datavalue":{"value":{"entity-type":"item","numeric-id":19021,"id":"Q19021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453205$9FA25415-F7C3-494B-9B49-DD8A757F020F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453205$7948FA01-4690-49DD-A0E5-FFC0EB47B6EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"47c20e3448459c0cf2dd44e6fd65a8d347bae1e4","datavalue":{"value":{"entity-type":"item","numeric-id":25493,"id":"Q25493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453205$79021FE9-8D12-4B0C-8D47-FC24DF43E432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6ccc177a7f8e59c3ebde84310e5100b17479d603","datavalue":{"value":{"entity-type":"item","numeric-id":25494,"id":"Q25494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453205$FE6E063E-B82B-4D84-BB1C-2784AB3154A3","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":"Q3453205$60C6F354-6D8F-43F0-881C-DEF1D901E0D4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"517b4f27fb02cffb0c33a03f36eb7426655d9050","datavalue":{"value":"https://doi.org/10.1007/978-3-319-24318-4_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q3453205$380E6406-D0C4-4EBA-A3E0-F7412456D20E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5a0d275c8232e2e0a305979887af887175d5a944","datavalue":{"value":"W2223094528","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453205$64802257-A473-499D-AB8C-EC87EEA16654","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"150aa801de356297a68a75e1eebbbf0a3f17eb8a","datavalue":{"value":{"entity-type":"item","numeric-id":5415453,"id":"Q5415453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453205$B578EAB7-8C92-4161-86A9-7BAAF1823C16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73478e84063fd441e7ba32a9b38b7b89ac50deb2","datavalue":{"value":{"entity-type":"item","numeric-id":862408,"id":"Q862408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453205$16F36911-500C-47A6-B7C7-EDBD54813265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94ff8f1c19496727f99d8fe271f1509db3d0697c","datavalue":{"value":{"entity-type":"item","numeric-id":697569,"id":"Q697569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453205$C5E802AC-0D26-4311-AAFA-F784573FD3A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ef5f661c4f0016c7fdb92e88e8b94907f8385b","datavalue":{"value":{"entity-type":"item","numeric-id":5713748,"id":"Q5713748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453205$6841C905-3C4B-45C3-9B34-520A5020CBAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22485e2e7f5d751287059d6c89f8749b6a408a20","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453205$68062F3E-F4FD-4EB0-9233-E4145986D0E2","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":"Q3453205$A53EA400-24AC-4B78-B97F-B4192907466C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c665990d80d9f32b7fb2103aec0cb3819a5ad2ed","datavalue":{"value":{"entity-type":"item","numeric-id":3007674,"id":"Q3007674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453205$375A6151-1D5F-4EF4-BF23-DA59AC6B4BD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c625dcf0809403f5b84f6d7cdfc8c33766e0658","datavalue":{"value":{"entity-type":"item","numeric-id":2471741,"id":"Q2471741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453205$3E8ECB73-9B04-4323-8774-695142BF3694","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":"Q3453205$C6618765-BC8A-4852-BF24-85F1A93690DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"008723b33cb14bbda59226503d753d137dc6f8ef","datavalue":{"value":{"entity-type":"item","numeric-id":1098330,"id":"Q1098330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453205$56E3F2D6-938A-4D72-B11A-218328C9CF6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7516fc65ecac37755fe011fe1711991dc2a48599","datavalue":{"value":{"entity-type":"item","numeric-id":3184605,"id":"Q3184605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453205$699263C0-9305-48BB-ADEC-E037D4D751E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b107d69d8ca98db7620611ee6ace5f0ce2d290cb","datavalue":{"value":{"entity-type":"item","numeric-id":3524229,"id":"Q3524229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453205$8CEFC268-0EB9-41CE-A636-D0554BCB6660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"822937a9d01cc9dda5e4376303179bea61b01a37","datavalue":{"value":{"entity-type":"item","numeric-id":5714759,"id":"Q5714759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453205$95CEFC0D-FC86-405A-9A66-B03908379A79","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":"58dfe20ead1fddcfb608d09317a5f50b4bac9c9f","datavalue":{"value":{"amount":"+0.8551980257034302","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":"Q3453205$EF04DCEF-3E18-4A68-81E4-02543F41E9D8","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":"77a3edec58606209e2a63a5fa4101603d2eb4413","datavalue":{"value":{"amount":"+0.8345026969909668","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":"Q3453205$1AD02E44-3B90-44D0-99F5-DDC640E8B534","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":"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":"Q3453205$306717B1-ADEA-4B1F-8F58-D8C38B763741","rank":"normal"},{"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":"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":"Q3453205$DBB8E0C9-0C80-4D47-AE6A-FCD561CF591B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e628192e1fd84f9e3278a662d27304b474e50b6","datavalue":{"value":{"entity-type":"item","numeric-id":3429161,"id":"Q3429161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1980d72de30f336ca4e8b34c7379ebfdb6c93ac","datavalue":{"value":{"amount":"+0.7907845377922058","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":"Q3453205$0E0D5B53-5C7E-4DE2-959D-2CCA76855041","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3453205","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3453205"}}}}}