{"entities":{"Q3523075":{"pageid":5552979,"ns":120,"title":"Item:Q3523075","lastrevid":50441552,"modified":"2026-01-14T01:43:46Z","type":"item","id":"Q3523075","labels":{"en":{"language":"en","value":"Towards Robust CNF Encodings of Cardinality Constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5318835"}},"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":"Q3523075$D3634BDC-2B5C-4242-A8F0-218B14668BC0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8f6cda532caf95f0f510f010ad303918c30e1f10","datavalue":{"value":{"text":"Towards Robust CNF Encodings of Cardinality Constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3523075$3099ADB7-871C-4620-9B9E-31FEA88C6FA4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7b477fa076791e49759b702291229124c5e5ddd0","datavalue":{"value":"1145.68525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523075$2367DFAB-1823-439A-9000-7A579042A7C8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7192acddba66bfd7a1ec1a041a54fc2cec599855","datavalue":{"value":"10.1007/978-3-540-74970-7_35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523075$A15FE10C-3399-4B35-AD83-E1B121770596","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"407e41d2014cb38969f273806ce1eb535a6eb9fb","datavalue":{"value":{"entity-type":"item","numeric-id":421450,"id":"Q421450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523075$1D97F5B1-7265-4BF7-A738-C8677D375CC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"41df06f4fe4133fafd7ede4eda94dd022be9bb8e","datavalue":{"value":{"entity-type":"item","numeric-id":1430295,"id":"Q1430295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523075$107E4F79-1BC8-41EB-9CD0-6F35A7560680","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d10184504a8a81c59a001c44aabc72e7fe376890","datavalue":{"value":{"entity-type":"item","numeric-id":3523053,"id":"Q3523053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523075$EAA62CF4-FE9E-4F12-8BE9-B760E36A2C7A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"20b7f535510e218ce28c7540c7cdc4660c15d850","datavalue":{"value":{"time":"+2008-09-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3523075$FC7F4C11-5183-4F4F-B74B-649071387535","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4891b396ec135eb1fc038bc7285d4be3fde708df","datavalue":{"value":"https://eprints.soton.ac.uk/264200/1/jpms-cp07.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3523075$A54BD6E1-DB45-4AF3-8F7C-77588EE1C4B2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523075$E5746D58-78A1-473D-838F-9855046B3ABF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4080d13b57cb095a9a48fa736d8489017ce513af","datavalue":{"value":"5318835","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523075$478CCC94-D64A-4186-9C72-ABF55508947C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523075$50052C83-6599-4FFA-8383-EA5F4DA375E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b029c35ffabe60b7d29584a6d40b4cb278ba542d","datavalue":{"value":{"entity-type":"item","numeric-id":18983,"id":"Q18983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523075$752D90E6-4EA9-4CAE-9190-20F771D895A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f705e695e5daf5c1a4b07b9d249dfa9eda3d87b3","datavalue":{"value":{"entity-type":"item","numeric-id":16613,"id":"Q16613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523075$3FFE3562-A9AD-4F60-88A1-A236C3C07ED7","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":"Q3523075$A298BBF4-371F-48FA-8F2D-D4C653FF9F9D","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":"Q3523075$900DD40D-48C8-4A92-9B31-1BC6274015C1","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":"Q3523075$C37FFAAC-179C-4674-9148-890A94F503A5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8e6af177bce227b1d93c869a9096095b532bf60b","datavalue":{"value":"W2117182791","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523075$EBF17789-9B09-4A65-8EE4-7884E7F95827","rank":"normal"}],"P223":[{"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":"Q3523075$43CB9111-0307-48BD-A3D2-689E94F60039","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":"Q3523075$42AE73C9-08FD-4599-A2FD-EB987A18D8D0","rank":"normal"},{"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":"Q3523075$3EA9F562-D986-4500-80DF-72086B6C4483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523075$1089F968-D848-45AD-9A59-B210C1DEC7DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523075$9FC6335D-30CF-4C08-872C-2523E0A7E27B","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":"Q3523075$C64138E3-7976-4A1E-AE44-1C257A606100","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":"Q3523075$C122C65C-8705-4245-97A3-4068E4AB7B2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3348c4f23a620a7654545e9e3737b9f755ba6069","datavalue":{"value":{"entity-type":"item","numeric-id":2643301,"id":"Q2643301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523075$5C5100E3-04E0-45AC-A836-1EAE5A82E37C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68c924d1eb5644d2999e47059fedb8324a75857c","datavalue":{"value":{"entity-type":"item","numeric-id":2638780,"id":"Q2638780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523075$93C3B928-5C87-4E6B-8D61-A02073943E4C","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":"Q3523075$14112B66-6A44-41D1-AD4C-F4368D5F3D6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18a7befb8cbe0803a8aba2c8dd229a96e36f5476","datavalue":{"value":{"entity-type":"item","numeric-id":4473043,"id":"Q4473043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523075$351BF908-6C36-4CCB-B6A3-745E83CDDADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f217d7c1a8591d173f7a390567150498d1528ee2","datavalue":{"value":{"entity-type":"item","numeric-id":293409,"id":"Q293409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523075$D3B37EB1-AD36-48EC-AAEF-F86378EBA062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7b5fa9b205a479f7043d1f02b59d43eb670dc95","datavalue":{"value":{"entity-type":"item","numeric-id":5234711,"id":"Q5234711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523075$34C1DF12-34AE-442A-89E2-29A867FB1955","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3019261cb3f80ed6ef1e6fcdaf38db61b85689e","datavalue":{"value":{"entity-type":"item","numeric-id":5415453,"id":"Q5415453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53ecaeb6b054b693d7cea41cdb4396af17f62e4c","datavalue":{"value":{"amount":"+0.8554573059082031","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":"Q3523075$5967E360-9DD5-4E46-9BCF-D1573F8F5BB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c34cbbae1ac331190093428bc3ea6b9d5212fe02","datavalue":{"value":{"entity-type":"item","numeric-id":3524229,"id":"Q3524229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01b4680bf7c8b6b6320f3aff37630e5a06e72609","datavalue":{"value":{"amount":"+0.853797197341919","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":"Q3523075$59B07E6A-E5D5-42BF-8FF1-7B2C897C1472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07f5e6f344dd9c773c216c05d942c887d5e35aa3","datavalue":{"value":{"entity-type":"item","numeric-id":5897193,"id":"Q5897193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e1fe1e0171ee1f8696a8decb6ecd00ff077ce4d","datavalue":{"value":{"amount":"+0.8449204564094543","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":"Q3523075$3F17611F-7359-4EF2-BAC2-395D6ADEE7ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dda4ceb48b8fbcc45f120b73c47bb40a785bf889","datavalue":{"value":{"entity-type":"item","numeric-id":538318,"id":"Q538318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38f936a1f3f69d27bd5faf4e8a20522d5bde9b4a","datavalue":{"value":{"amount":"+0.8170568346977234","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":"Q3523075$51339338-C66C-4FCD-A2D6-39A0D95E4588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4ec105112cb1cea23524d211b4b7af2498bbc0d","datavalue":{"value":{"entity-type":"item","numeric-id":3637166,"id":"Q3637166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1a5354cb9122b184956eea731f2526d36dcd2d9","datavalue":{"value":{"amount":"+0.8119370341300964","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":"Q3523075$9088C65D-BBFE-4FEC-9696-5354BFDDCA3B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3523075","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3523075"}}}}}