{"entities":{"Q2380072":{"pageid":2390815,"ns":120,"title":"Item:Q2380072","lastrevid":50938517,"modified":"2026-01-15T20:24:14Z","type":"item","id":"Q2380072","labels":{"en":{"language":"en","value":"Adding cardinality constraints to integer programs with applications to maximum satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5686498"}},"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":"Q2380072$F95E26A1-A492-4566-A0EC-98EA119B1518","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"110410af9c5e84b9065d1d6508445e987f48b70e","datavalue":{"value":{"text":"Adding cardinality constraints to integer programs with applications to maximum satisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2380072$BB3F6E17-61A7-4C5F-80BD-549F0090BC4B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b9ef42da49c059678e4f43e7d4b938b4c586ed3f","datavalue":{"value":"1190.90084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2380072$F97954FA-47A4-40BB-A495-8DA072E438C2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ed75fe355bf422dbd134d7f0546a550f899d934","datavalue":{"value":{"entity-type":"item","numeric-id":172539,"id":"Q172539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2380072$60851911-A8EF-48DF-BD77-BE0E6A3112E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"10d8b4096193cacf244aeef996c2209b5cbbd54b","datavalue":{"value":{"entity-type":"item","numeric-id":2380071,"id":"Q2380071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2380072$C1338829-C98B-4DCB-8677-2771A03D0E50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e1ecc98d20b5458e3f956136811b77bb5e3f39e","datavalue":{"value":{"entity-type":"item","numeric-id":323057,"id":"Q323057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2380072$F8078D2E-247F-4BBF-9BCF-AFEB53D4721C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2380072$76C6F845-1016-4125-81A3-7F01E262F483","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2b2597d51ab54359972966267a61b08692759225","datavalue":{"value":{"time":"+2010-03-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2380072$8CB6DD2C-EC50-40A9-ACFD-C04DC52F9E7D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ad37711539483f94ecc5e7c9236f6acd7c19a03","datavalue":{"value":"90B80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2380072$EC3B1EE3-3DC0-4207-9D60-30E8FBBD61DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3feee98fb6a1a95642ba0c6a16390527874922bf","datavalue":{"value":"90C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2380072$05E7C7EE-E0AB-4EC7-88EE-46BFAF96B532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d42ae7884b9335550c4d21f090798ce9c56a9bf","datavalue":{"value":"90C59","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2380072$38232D73-9C3F-4AF6-80A4-AA02B05B6CD7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3e5d0861a2777e1c9dcc2504e78a881fd130dc7d","datavalue":{"value":"5686498","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2380072$07384760-EECD-4E83-83E4-402D8E7CB977","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49eb4dac5aeb1a5fd4804122c81f369b6968def6","datavalue":{"value":"randomized algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2380072$92AE0F57-A2C5-4E20-93A0-C5BA1A3266ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2380072$0D5C8D21-26FB-4B1D-86F6-453B93160063","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":"Q2380072$5F663E9F-9E07-4ED2-904F-59E8D4FC97D5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7dff040e5f9e4324f689d5abfed50e280c3f6381","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2007.08.024","type":"string"},"datatype":"url"},"type":"statement","id":"Q2380072$B0FC47DD-4F90-44D3-8EBF-AF4B3B1C5778","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c9d400fd74855b4245b3247912b284782d9998c3","datavalue":{"value":"W2135219217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2380072$079745D9-FB82-4C31-ABAF-114558FFC07A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"65cf35b562876c27d6e77d9ac8995f46fd2ea4f1","datavalue":{"value":{"entity-type":"item","numeric-id":1888170,"id":"Q1888170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2380072$E181FCC3-BCD4-436D-91B6-B717626A2B7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cba9fbdc9039e838f889a936b0c489041fe1517","datavalue":{"value":{"entity-type":"item","numeric-id":2777611,"id":"Q2777611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2380072$DB31FA0C-FF41-4686-9536-9C897A77258F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0f12e261feb1278b8f95d4f0af29d2dbd2989b5","datavalue":{"value":{"entity-type":"item","numeric-id":4425953,"id":"Q4425953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2380072$6FD818D1-6EC2-4DAA-BCF4-E9EC7A7E81EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84c0e22f331210c53f296a5a3b073cbae610e0f0","datavalue":{"value":{"entity-type":"item","numeric-id":4705321,"id":"Q4705321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2380072$06046E05-DA8A-4F63-944E-442D750271B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"783f5b77f65178466163307ca17329fb72140e4a","datavalue":{"value":{"entity-type":"item","numeric-id":3158517,"id":"Q3158517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2380072$FC3F896D-0005-4A0A-BF47-C4487C87534C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f73a40325dd6ccbd07c8cdeabd3636cb7d9c050b","datavalue":{"value":{"entity-type":"item","numeric-id":4317711,"id":"Q4317711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2380072$795DE28A-E194-40B7-AA6A-5FAB0077BF5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63223a2b10e799e0a620d9698b0286ebd9668db5","datavalue":{"value":{"entity-type":"item","numeric-id":5441360,"id":"Q5441360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2380072$FFF802B0-0B72-4C0A-9EEC-F88D5959EA2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc7f57f9d388954b73fbfb6060b9c51c67ab23b9","datavalue":{"value":{"entity-type":"item","numeric-id":5897255,"id":"Q5897255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2380072$CDF765AB-79C7-4894-8FC5-99E8CF0B81A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e92b62a3a88a9b841dea88b22ab8f03da659592","datavalue":{"value":{"entity-type":"item","numeric-id":4446321,"id":"Q4446321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2380072$6B877671-D701-4BE0-8C48-2AD35E098B7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ef084f10d5052aa95a9073c13c47081d88c2036","datavalue":{"value":{"entity-type":"item","numeric-id":5945919,"id":"Q5945919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2380072$669DB0BE-3768-47D4-BBEB-1CDF63BE5311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a20d09513baf32113955ba3ecf79c8e2d6ab34f2","datavalue":{"value":{"entity-type":"item","numeric-id":3512428,"id":"Q3512428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2380072$F7F01BEB-B1F0-481E-A456-50573A61B978","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"879201f1dd1e82203c56c6ece55bc0e08d7921f5","datavalue":{"value":"10.1016/J.IPL.2007.08.024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2380072$35CB40E3-9FCD-4BB8-BA06-5A9D11F0D485","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7445760a00e4c5ff9da6691487cac6ad1237c02","datavalue":{"value":{"entity-type":"item","numeric-id":4425953,"id":"Q4425953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"495edf5d15643ae5c4e78c4c26835ddd50dc41f2","datavalue":{"value":{"amount":"+0.8733332753181458","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":"Q2380072$A6F6CF98-21BD-4101-A9AF-8CED02748F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a89323791523b4b3f1ecaa4896eca5ee8a9cff7d","datavalue":{"value":{"entity-type":"item","numeric-id":5897255,"id":"Q5897255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c498242a569476a1c1f6442d3c646c257c795629","datavalue":{"value":{"amount":"+0.8489751815795898","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":"Q2380072$CF52434A-8754-4A25-ABC0-5783A266FC98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba61be9b32e23c4f9f12e0ef8962485cb0d4046b","datavalue":{"value":{"entity-type":"item","numeric-id":5945919,"id":"Q5945919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcbc19ec0ebbcd5201a3c85cb14ca55958a00e0b","datavalue":{"value":{"amount":"+0.8285493850708008","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":"Q2380072$0040F92E-DE35-445D-AC5C-62A5CA706F9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2ddcb57c83b7a52a1d7e56f67fdc3ce0566bb5d","datavalue":{"value":{"entity-type":"item","numeric-id":4400857,"id":"Q4400857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18944485cd94d87e867f89bdddc83da250fe771c","datavalue":{"value":{"amount":"+0.8263388872146606","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":"Q2380072$E1D846AD-2CD8-4B92-BA20-68EB1BEB029B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c15d820d2802a6d56d2a102938e4ed4dd8b1d64a","datavalue":{"value":{"entity-type":"item","numeric-id":4250183,"id":"Q4250183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18944485cd94d87e867f89bdddc83da250fe771c","datavalue":{"value":{"amount":"+0.8263388872146606","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":"Q2380072$A4496AD5-0327-4A37-8A56-266654AF0562","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2380072","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2380072"}}}}}