{"entities":{"Q5222954":{"pageid":7252524,"ns":120,"title":"Item:Q5222954","lastrevid":58489785,"modified":"2026-04-05T10:56:02Z","type":"item","id":"Q5222954","labels":{"en":{"language":"en","value":"Efficient SAT-based encodings of conditional cardinality constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7076868"}},"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":"Q5222954$0B87C8D3-4268-4394-BAD0-5FCF3D3E6D45","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"14533efcc32e715a830a2239576e51165c3f648a","datavalue":{"value":{"text":"Efficient SAT-Based Encodings of Conditional Cardinality Constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5222954$D9A43020-F61E-4C7C-AA15-BDC9AC10C2AB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aa796060be21293f0be16f203991a0e3eaad8097","datavalue":{"value":"1415.68185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222954$D90F4833-1B36-4EAF-B1A4-71AC158C47CE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5eb0584debea9bf65c21453550ef93cecc9c3042","datavalue":{"value":{"entity-type":"item","numeric-id":5222952,"id":"Q5222952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222954$37EAFADD-11F5-46E5-8BC4-B95EBA379B18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"52131f929e9d2e69942ba82e4ebb686db4e996da","datavalue":{"value":{"entity-type":"item","numeric-id":427558,"id":"Q427558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222954$A960D2E1-E8DC-4782-94D8-FAE3B4B7EB00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"65b2a3431954c308f6b6d006e0b7651b242fd37a","datavalue":{"value":{"entity-type":"item","numeric-id":5222953,"id":"Q5222953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222954$25200A7A-AF9D-4F58-8C5E-A209447E434C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"24a1d5a8e56d6b30e8a20d7354b7c9976e279101","datavalue":{"value":{"entity-type":"item","numeric-id":427559,"id":"Q427559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222954$0C961A8B-5593-4B03-A69F-7B6414478FB3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"eae4601ff702bcaa610b94b3434abd8165930c5d","datavalue":{"value":{"entity-type":"item","numeric-id":4645721,"id":"Q4645721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222954$75A41325-AAF1-4EAE-B25F-2303350D27CB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"311afef0a4b95245df7f6c2908ad6e9d40f3f2be","datavalue":{"value":{"time":"+2019-07-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5222954$B2086BCD-A586-4CB8-A3E1-B5481C5B1815","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fb5987a463bbc923d2add75315aaf76757bc60d6","datavalue":{"value":"https://arxiv.org/abs/1804.00211","type":"string"},"datatype":"url"},"type":"statement","id":"Q5222954$E938FC39-AF6A-4CF3-8372-DE2F63E98523","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222954$F1D3B4C2-6F83-4490-99A6-D5E957D04778","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"09b45c8988dfcc0e0d48da08a04a37256de4fcdc","datavalue":{"value":"7076868","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222954$B3AFF55D-5720-40B6-9844-07397F995086","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55f22188f120daab160d89caf625f27e583414e1","datavalue":{"value":"cardinality constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222954$D56146D6-B484-402C-976B-EB48CE213528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9778e1c50ad040fdbd47bced21cb9b0823eb5ce","datavalue":{"value":"modelling","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222954$595F0FA3-4699-49D2-9069-B2FC8B102187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0307adf3981e6daf4015e05d74e44424dc3084a","datavalue":{"value":"propositional satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222954$8BCAFC5D-73D9-4FC3-A5DC-DDE3A23CCAD0","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":"Q5222954$C3322BE4-CDF4-4EDA-ADCD-2D9EF45520BA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"72d4beddaa5092c6ae9df75e11dcbdb6e714fd61","datavalue":{"value":"W2908513458","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222954$8FB272EA-4312-4FAB-820C-90CFF72265F1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dddb2adf1948fa9aca55444cb4f863718305b76f","datavalue":{"value":"10.29007/KFJB","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222954$0F272090-96D8-4FED-91C1-A1788EB62C40","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":"327ae8b98dc892b8bb5d6d6fcda4ba9ce3ed095d","datavalue":{"value":{"amount":"+0.8224760890007019","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":"Q5222954$0579572F-7A5B-4E0F-8CFF-E359A77EFE47","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":"4d7a58da0939e696fb3fb02f88e23fa8cf9fdbb4","datavalue":{"value":{"amount":"+0.8137931823730469","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":"Q5222954$0C88B823-ECB0-47B6-863D-B7C205B3510C","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":"8a6243e59b4597d046475022080c23c6bf8bfe1b","datavalue":{"value":{"amount":"+0.8102161288261414","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":"Q5222954$24C1B92C-0D81-4F25-A4B9-E5639303D36C","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":"f0450f3dc8861185edc0e208a21a11c93a45c687","datavalue":{"value":{"amount":"+0.8045632839202881","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":"Q5222954$1B7DC7E0-B9F2-47E4-9938-E5AF87034EC2","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":"0d8fb045369158b3c1099061a636821c9ec3109c","datavalue":{"value":{"amount":"+0.801582932472229","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":"Q5222954$560B4E73-C95C-43FB-A789-CBD9A7FA0698","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5222954","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5222954"}}}}}