{"entities":{"Q3524229":{"pageid":5554133,"ns":120,"title":"Item:Q3524229","lastrevid":55977229,"modified":"2026-02-21T16:57:35Z","type":"item","id":"Q3524229","labels":{"en":{"language":"en","value":"Towards an Optimal CNF Encoding of Boolean Cardinality Constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5323112"}},"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":"Q3524229$8EBEC4A4-3DCE-4706-93B9-75B4BA6B9B84","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"13b009e313f8431f039c22df64e7d75b3350eae3","datavalue":{"value":{"text":"Towards an Optimal CNF Encoding of Boolean Cardinality Constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3524229$EF5ECA83-C206-4FEF-8657-8DE8BEF7589C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7f1c1960076b125561593e8881910b9f5d9dd5e0","datavalue":{"value":"1153.68488","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3524229$5F06CD92-8345-405E-8E04-54581E573C9B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4b5fa0fac21a1567ea17614621862f0c42b694fa","datavalue":{"value":"10.1007/11564751_73","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3524229$EF1CDEFA-9583-41EE-9E9F-9F11FA9974A7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e10bf65e5a4274c744e96c2490ec0f51941a808","datavalue":{"value":{"entity-type":"item","numeric-id":334794,"id":"Q334794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3524229$F143BA6C-5F28-4CAF-A445-8D80102A2FA3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e691ea6495e7faeed227cefc6e05f72a0339a4a5","datavalue":{"value":{"entity-type":"item","numeric-id":3524160,"id":"Q3524160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3524229$F80DE7E4-8081-45B0-AC51-042DE237BE2C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"38c410b8e6c6f16e495cecdeb38de7754dabfa1e","datavalue":{"value":{"time":"+2008-09-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3524229$FEF51B88-CDA6-4EB4-8B13-BC9C37FA170D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3fee6bffd7f7b8d18f44da6ca93af86b01bc78f8","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.87.6156","type":"string"},"datatype":"url"},"type":"statement","id":"Q3524229$C850B78F-5DAD-4EBE-A0A6-DC8995FF9504","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3524229$E8EF5B1D-4B79-4A79-8938-0C96C812C240","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ee3e847e9d55cf1088c1b1c2a21a4ed72c1bc139","datavalue":{"value":"5323112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3524229$C06165D4-5F83-4427-A12F-247A03DDCEBC","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":"Q3524229$DA81161E-926B-435E-A0C3-A03521082A8D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a1108a476248ddf82cd5350fec34a4fb4f1def4e","datavalue":{"value":"W2100609826","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3524229$29F5C089-97C6-49D2-8137-785495713417","rank":"normal"}],"P1643":[{"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":"c8a4ca4a5612b01a79c9a2753acdbaba1bd80cb4","datavalue":{"value":{"amount":"+0.9061540961265564","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":"Q3524229$FEDBB444-7675-4AA8-8B3F-C8EE441A6EB7","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":"f6d8a93a8adf11a41693ee71ee7ac6b93ddafe90","datavalue":{"value":{"amount":"+0.8736287355422974","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":"Q3524229$EEB8F5B7-87D5-451B-8A8E-686BB37EC84C","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":"29ebc9798f3068fa36fef5513448989205b690c5","datavalue":{"value":{"amount":"+0.8694559335708618","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":"Q3524229$49338CB9-BD5D-4CBC-9F17-473D6BC20466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f14bc86713494544dcfe7916bc23afd5aad821a","datavalue":{"value":{"entity-type":"item","numeric-id":2843343,"id":"Q2843343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2476d2ab2f5ffcfc33e5976d72c990a0a0165370","datavalue":{"value":{"amount":"+0.8624568581581116","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":"Q3524229$9E459988-6E6D-4749-8E23-A1FE412265ED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3524229","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3524229"}}}}}