{"entities":{"Q3457805":{"pageid":5237205,"ns":120,"title":"Item:Q3457805","lastrevid":88268408,"modified":"2026-06-04T14:04:48Z","type":"item","id":"Q3457805","labels":{"en":{"language":"en","value":"Incremental Encoding and Solving of Cardinality Constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6521682"}},"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":"Q3457805$BBDAD577-A371-423C-B646-529ED1E8D1AC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"34ecb6f8ffd39645e4ef3b83fdadca44c9a6b37b","datavalue":{"value":{"text":"Incremental Encoding and Solving of Cardinality Constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3457805$76121B12-5FD3-4675-B718-5B3F9A894F39","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"76469a32f70d6608ee0c6ac33907fca08b06a227","datavalue":{"value":"1448.68390","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457805$04ECD04B-7833-4CE3-833B-DD89D1A31779","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"64f097709752439babcd6bdb8594d8b3ff01ffaf","datavalue":{"value":"10.1007/978-3-319-11936-6_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457805$D0DD0312-DCDF-4655-B549-AD8C50F89138","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f85139c60a69b1b2d77260b9d974ee435de0a332","datavalue":{"value":{"entity-type":"item","numeric-id":1656558,"id":"Q1656558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457805$7FD0873A-CF44-4CDF-A0D1-8CD31CB4787C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a450a6f3ff1cb0fc5bf8537e5da5d1c90e0d6c11","datavalue":{"value":{"entity-type":"item","numeric-id":2639204,"id":"Q2639204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457805$98B44A9E-EA6C-404E-96B8-7FE06673D83F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"99cfc7b60e7d4aa9e2822bc8bbedca020651b4de","datavalue":{"value":{"entity-type":"item","numeric-id":453487,"id":"Q453487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457805$ABC8D3E8-CC20-4677-8269-729E697A5C4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0db1c1d4758cc84ba91e5181bfa794ba378ebc68","datavalue":{"value":{"entity-type":"item","numeric-id":402124,"id":"Q402124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457805$FA395CEA-EFF0-44F6-B5F2-F665E83DFBB5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457805$4C3D0751-AC7C-4B01-A89B-7F8472E9789B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8c8c48ef6ed00faaf912c712c5311b1d94846d86","datavalue":{"value":{"time":"+2015-12-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3457805$64956E32-CE08-431C-BEC5-C7818DA2BB13","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457805$2D37E8F0-68BA-441E-9C92-BEDDC063B34E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d3dfc58c15c8cedbdf33128b2137547c09c85adc","datavalue":{"value":"6521682","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457805$B08F8E68-9153-450D-89EC-D71FF0BFC23B","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":"Q3457805$2B1D7B7F-AD4F-44EF-8CAC-969125B16A00","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"49895418df6f12441a218a3ff8b2c2ed04ae2eed","datavalue":{"value":"https://doi.org/10.1007/978-3-319-11936-6_22","type":"string"},"datatype":"url"},"type":"statement","id":"Q3457805$6934C3A2-8396-4C25-86E8-B8FE82BC07BD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"de1c7e62d6ae0edd21e625498ac28997fccd6f84","datavalue":{"value":"W193345276","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457805$222C3DC9-BDBC-44FF-A60A-AD9C3DA99B16","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":"426bbf025a7a4168fbd0d1bfb83e87b5c101a781","datavalue":{"value":{"amount":"+0.90679264","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3457805$428A6D13-201C-4281-B736-9DD1E7E9DE5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1c7de327aa68f7c37f138ee37ebebc5b3e2f3da","datavalue":{"value":{"entity-type":"item","numeric-id":5222954,"id":"Q5222954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a832015a304f131ca4c6025813998745c8cf9a07","datavalue":{"value":{"amount":"+0.88259494","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3457805$B2F3892A-71B4-4076-B2F8-F6DE3EE9CD39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50059a66446cfb71ab51279679e32da40a80eff2","datavalue":{"value":{"entity-type":"item","numeric-id":5900317,"id":"Q5900317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cc5a0a7294af96d46a6e8df6192fe09845286f4","datavalue":{"value":{"amount":"+0.8772223","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3457805$4FB03A3F-8EAE-47DF-9FED-EBC92317B31A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83481197aa19174c53be9966d2d4aeadd34094f6","datavalue":{"value":{"entity-type":"item","numeric-id":3523075,"id":"Q3523075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55ae9ad8885649536c7866ebec5dd18e1bd9aa64","datavalue":{"value":{"amount":"+0.87687004","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3457805$EE0A78A3-2FD5-4BF7-844C-2F4249BFE0E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4133c517330056686e8cd39633580a6c38d0aba9","datavalue":{"value":{"entity-type":"item","numeric-id":5394124,"id":"Q5394124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd895c5ec2367e051ddfcd1a863f84f62030b548","datavalue":{"value":{"amount":"+0.87238896","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3457805$15D23953-2BF2-41E4-9A6F-C9219B030517","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":"2925e6b26e53595df0ec494d2eecbe335d0a3368","datavalue":{"value":{"amount":"+0.86777735","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3457805$4F06416F-18AE-49A7-A891-E3E7019BF64C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6658d660fa2d88814a1f470b4b131578d1c77ca","datavalue":{"value":{"entity-type":"item","numeric-id":5897218,"id":"Q5897218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f34b2ba5ab6de79b7edbf0e28daaba9ac23faf93","datavalue":{"value":{"amount":"+0.86723584","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3457805$9CFED74B-773D-45BE-B803-C69629CE5DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3848c7e7f99b556e720a8e7a1604f0f24c5e2fef","datavalue":{"value":{"entity-type":"item","numeric-id":816677,"id":"Q816677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f34b2ba5ab6de79b7edbf0e28daaba9ac23faf93","datavalue":{"value":{"amount":"+0.86723584","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3457805$49E71A25-8476-4876-8195-09AA74F084F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b6bd3f3f266143ba10748f01aa1b2c7b6d477fa","datavalue":{"value":{"entity-type":"item","numeric-id":3064168,"id":"Q3064168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb956f1952d38b60f78f1df6d1869f9891a97e9f","datavalue":{"value":{"amount":"+0.86606306","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3457805$E2593BA2-038D-43AD-B2E5-7FEAE8F55020","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Incremental Encoding and Solving of Cardinality Constraints","badges":[]}}}}}