{"entities":{"Q5145443":{"pageid":7175014,"ns":120,"title":"Item:Q5145443","lastrevid":53911931,"modified":"2026-01-25T22:23:59Z","type":"item","id":"Q5145443","labels":{"en":{"language":"en","value":"Resizing cardinality constraints for MaxSAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7298908"}},"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":"Q5145443$813C70C5-B4FB-4242-92F7-660F76DA9B30","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ec49a317db99cbce6f0f941550743e2546633d58","datavalue":{"value":{"text":"Resizing cardinality constraints for MaxSAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5145443$DD638394-1911-44BE-A2A2-57563139B947","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3edd997d5814056391ac4deb98a7fcb413b9de54","datavalue":{"value":"1462.68175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145443$930496E5-08C9-49D1-B51F-D85841EDF21D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"549903925b7138fd929f341c5337a5a0ff2ec0ce","datavalue":{"value":"10.3233/AIC-180768","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145443$E9C3FC1E-7F04-44A4-B08C-A52F0B632D01","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"277c862d409f1363abeee26dec2d98dc2a00d27a","datavalue":{"value":{"entity-type":"item","numeric-id":1639281,"id":"Q1639281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145443$00907EBC-1B4F-47A3-9A47-DC5C5602DD9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c01bfddbc37febf90768e3e23ca3884f7bb4543a","datavalue":{"value":{"entity-type":"item","numeric-id":5145442,"id":"Q5145442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145443$EBEAA011-106A-439C-9AE5-8C871CBF6CF6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b0d5ef245f17a6ec236579b9502514ae3fc93c36","datavalue":{"value":{"entity-type":"item","numeric-id":2811219,"id":"Q2811219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145443$1F8C3BBA-CA4A-4282-BFD1-351D58B683EF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"233394734482eba32ed4ee15da745b1ac2b96149","datavalue":{"value":{"time":"+2021-01-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5145443$275CEBE2-8569-4EE1-8663-527F80C85000","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145443$4F922B89-2C11-4A6B-9409-4C83227A75F0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8d137574af7f7de593fcd009b5da89e0b293e793","datavalue":{"value":"7298908","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145443$2387D7ED-0360-431D-A833-20504E17E595","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f90035379f033d8c779548ef0daf0c9417d7c5a3","datavalue":{"value":"MaxSAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145443$A4950634-FCD8-480A-8757-35837AC6352C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ee95657eb08828b5f2f2de44ce8ae642adc1439","datavalue":{"value":"cardinality encoding","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145443$63DFE89E-E44A-43DD-AAF1-77B8801E25CE","rank":"normal"}],"P1463":[{"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":"Q5145443$6211B2D9-0EAF-4809-BF8C-63E5DEF86599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b4080854e6c3efd73caa0f3157d5ed5b72457336","datavalue":{"value":{"entity-type":"item","numeric-id":21549,"id":"Q21549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145443$4F5B5BB8-6BE1-48A7-BE17-74638FC0748E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bd2d1f95a77da74a3a1f74809707a51d6a42d70","datavalue":{"value":{"entity-type":"item","numeric-id":22014,"id":"Q22014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145443$562CDED8-CB6E-49B6-A900-C154AB906B57","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":"Q5145443$C5AE1A16-8315-46EC-BABA-5C3853D09D3A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"150aa801de356297a68a75e1eebbbf0a3f17eb8a","datavalue":{"value":{"entity-type":"item","numeric-id":5415453,"id":"Q5415453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145443$AF9BAB52-70E3-4FD2-B73C-AEE442843F8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b44ed555aed1fbc544de1802074fd0df13fb2c0","datavalue":{"value":{"entity-type":"item","numeric-id":1056541,"id":"Q1056541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145443$E56C6044-AA09-4A2C-B609-45086344359E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"704665b56e53536dcd69ac6d4918592980b87809","datavalue":{"value":{"entity-type":"item","numeric-id":3637178,"id":"Q3637178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145443$01FFD780-9C0F-417D-A9A6-CDD3FF005C13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4a3bf808aa5ef496afec981d0bd4d91c12c920","datavalue":{"value":{"entity-type":"item","numeric-id":538318,"id":"Q538318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145443$67A24528-EDF7-4E80-ADBD-5F1EF09CE298","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":"Q5145443$7B5F62B2-075C-4C0C-A08B-FABFC0230471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17cacec2890c36ff273013586f5d98141e41486f","datavalue":{"value":{"entity-type":"item","numeric-id":3066098,"id":"Q3066098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145443$ADE2B2E8-EDC7-4598-A2C2-3E9F6F25B76F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6621af1112e146c4efd7765447f3c25a8765a85d","datavalue":{"value":{"entity-type":"item","numeric-id":5326460,"id":"Q5326460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145443$790025D2-A13D-4F0A-AA1B-526AF03A0ED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ef5f661c4f0016c7fdb92e88e8b94907f8385b","datavalue":{"value":{"entity-type":"item","numeric-id":5713748,"id":"Q5713748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145443$A061A8B4-5F2E-4E91-AFA4-202E27E30656","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":"Q5145443$3BC26A35-6290-4872-8928-493E4DC4037E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e648849759be406c9eb52fea228820e1c04a6864","datavalue":{"value":{"entity-type":"item","numeric-id":5756559,"id":"Q5756559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145443$36A99394-D1D8-4515-829D-FD137AC1A5A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ed4ece76f4ab904d4327d98033c70a14ec294ba","datavalue":{"value":{"entity-type":"item","numeric-id":2786911,"id":"Q2786911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145443$491E9CF5-A094-4656-AE66-E3E0A38207B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6aaa89ed985707f250206a8821c212cd2e6e5dd","datavalue":{"value":{"entity-type":"item","numeric-id":3624095,"id":"Q3624095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145443$50C876E9-EC0C-405F-9F22-E91E5F14A361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0802a9e9650f39ffcd90892ce28352abdc01207e","datavalue":{"value":{"entity-type":"item","numeric-id":3192090,"id":"Q3192090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145443$99CDFBA3-9240-485B-AC61-4892A20EA419","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2f64d1002669ed93b49ac02e386bc5a663c6a720","datavalue":{"value":"https://doi.org/10.3233/aic-180768","type":"string"},"datatype":"url"},"type":"statement","id":"Q5145443$0D04185E-D569-4ED9-8C60-91196A667B52","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fba0f5482b2c5c766ad98d80eafb2356a741857e","datavalue":{"value":"W2803778482","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145443$F3E8CE0B-0333-4D01-A7FD-10FF5E55B4A9","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"538b38ec9952b62a551ac3e32dc1d6b3a1c2fd01","datavalue":{"value":"Q129890347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145443$2D9E9B62-C7D2-4759-9F9F-34E991F9055A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e806b67f85600bb4fcb050af553bbbd449983369","datavalue":{"value":{"entity-type":"item","numeric-id":3457805,"id":"Q3457805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92399c2a5e72090375c3cf2679ae9e0d402fa25c","datavalue":{"value":{"amount":"+0.857750415802002","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":"Q5145443$4B0D2E7F-DA0A-4D8E-8E8E-6FD9FFB1B5C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4601125705a4d0f52b78cb9ee4c303f22e04b582","datavalue":{"value":{"entity-type":"item","numeric-id":5015594,"id":"Q5015594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fd5b2b6bf165712cdd8234238e17685b714c1b6","datavalue":{"value":{"amount":"+0.8266380429267883","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":"Q5145443$53F29A1D-DC9B-4FAD-B106-FB08457039B7","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":"08dfc1b4982e9f4f2e1794bb1ba6849deed26e35","datavalue":{"value":{"amount":"+0.8066060543060303","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":"Q5145443$6B8D87B4-D152-47C8-8679-E87DA3E2C89A","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":"ddad114103727596d628e28e1d762d61d78d9f84","datavalue":{"value":{"amount":"+0.8024508953094482","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":"Q5145443$93019BAC-7052-48E6-BBC1-DB79526A4774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d6ae75201ef83af672229a6b6085fd52c4019ae","datavalue":{"value":{"entity-type":"item","numeric-id":2786911,"id":"Q2786911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7402ae88f7cc9f47956633df3bfa4514f8f46c40","datavalue":{"value":{"amount":"+0.7914182543754578","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":"Q5145443$3E8E207B-2E18-43D9-BB3B-C38C25EE73CA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5145443","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5145443"}}}}}