{"entities":{"Q2661355":{"pageid":2672098,"ns":120,"title":"Item:Q2661355","lastrevid":44590473,"modified":"2025-11-24T04:20:03Z","type":"item","id":"Q2661355","labels":{"en":{"language":"en","value":"Abstract cores in implicit hitting set MaxSat solving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7331027"}},"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":"Q2661355$F29C1F6C-AA40-4083-9742-5B6BA4EAE41B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"16b667b44bf786580b3680172c69c7fa927b42d1","datavalue":{"value":{"text":"Abstract cores in implicit hitting set MaxSat solving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2661355$1719B804-23AD-401C-8A22-17BBD6164E01","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5e03e77889265e60c9db48aace674e77e1287992","datavalue":{"value":"10.1007/978-3-030-51825-7_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2661355$5B6FCE56-AA30-487D-A8DE-2330D0097CBB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ec291fc5099378f73627d6e17cd33de333e7876","datavalue":{"value":{"entity-type":"item","numeric-id":511771,"id":"Q511771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2661355$CC4F616E-6A1D-4D9D-99AA-7D9426B018E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd57859790582ff7e2108efddc2c990ef1bd4950","datavalue":{"value":{"entity-type":"item","numeric-id":2661354,"id":"Q2661354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2661355$8AFB47E5-F518-43E8-B283-D1379449F982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e72237755cee80f4100dfa096b99fdb0fefd7fe","datavalue":{"value":{"entity-type":"item","numeric-id":835824,"id":"Q835824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2661355$8CBC3E73-C5DD-48C6-9F5D-A4492044CA6A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9d00bdcd19b4845662efa642e1e79b87a36e3395","datavalue":{"value":{"time":"+2021-04-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2661355$48E81310-DB58-4A19-9745-2C61943E4E47","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2661355$0B7227F2-1235-4806-B076-45631847DE3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2661355$BAE2905F-11AC-48FE-AE53-3A3E4B84A866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2661355$A69AFF0F-A2BA-4D0B-9B83-D79E2CB9487D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"33d2c764a10759421b38473164040c61e633cb72","datavalue":{"value":"7331027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2661355$5D532D03-5B64-40B2-A60B-5556832DB725","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c123c988a4455db85cc065f2e06e0a8051be65dd","datavalue":{"value":"combinatorial optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2661355$A4044D5E-0538-4D08-B610-BD83CB495E9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7266802113187a96c78397ed692b735dee12e876","datavalue":{"value":"maximum satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2661355$2628BE8E-937E-463C-A167-7B41F22BCA4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9d06bae0e0ce516d850aa5b87785a8d2203c77d","datavalue":{"value":"MaxSat","type":"string"},"datatype":"string"},"type":"statement","id":"Q2661355$5B6941B6-87E8-4145-87A1-166830B45CAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddf16936fade6484f59a496992b327f56de18c83","datavalue":{"value":"implicit hitting set","type":"string"},"datatype":"string"},"type":"statement","id":"Q2661355$5C7F98A0-097C-458E-B3A0-7C84EC53B227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8786241f966ea4a91267ab4da820e3eeed5f66b","datavalue":{"value":"IHS","type":"string"},"datatype":"string"},"type":"statement","id":"Q2661355$C37FC1A8-9A20-43D3-B998-C997E799240D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e24672fd2b7383bea2d8e146b0851e7ba67dce1d","datavalue":{"value":{"entity-type":"item","numeric-id":51750,"id":"Q51750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2661355$3D864CCA-7AA2-4886-9437-1C90D1C9BE1F","rank":"normal"},{"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":"Q2661355$7C1D240F-00C7-46D3-9D03-DCA77E6D1986","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":"Q2661355$A8D4CD07-5682-413C-934D-D42B90517D37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9b26b779cc09e21207a69b2ce242c136f84aa5db","datavalue":{"value":{"entity-type":"item","numeric-id":19328,"id":"Q19328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2661355$434749EB-3277-442F-9D21-ADE36C767ECB","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":"Q2661355$46F7AA2D-EE94-4BE2-A4BD-789A8A8497AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0c37ffd04dc5105d4d852e6e07d9dc8be2efe69f","datavalue":{"value":{"entity-type":"item","numeric-id":28606,"id":"Q28606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2661355$BAFA31AC-5174-4FB2-B08D-C9897F52585C","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":"Q2661355$22B4966B-8D23-41D9-8A5F-FFAB36FFB5FD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"38e31f8f5339300875597d58a412c28231b70b1a","datavalue":{"value":"https://doi.org/10.1007/978-3-030-51825-7_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q2661355$806254F9-50FC-4A5C-AAF7-F80B58005350","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7c79063bc287a2c82d4b2c62034a5ee6b28c15a8","datavalue":{"value":"W3035531262","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2661355$FCF5D6C5-A1A3-409A-995F-594C5651E530","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2661355","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2661355"}}}}}