{"entities":{"Q6108818":{"pageid":13243125,"ns":120,"title":"Item:Q6108818","lastrevid":47868649,"modified":"2026-01-02T22:39:32Z","type":"item","id":"Q6108818","labels":{"en":{"language":"en","value":"FMUS2: An Efficient Algorithm to Compute Minimal Unsatisfiable Subsets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7704986"}},"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":"Q6108818$ACF291B3-D0DA-497E-82AF-D6EC98C97411","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ce6e58f3b027f1cbd0e6011b736c07c1f0fd716f","datavalue":{"value":{"text":"FMUS2: An Efficient Algorithm to Compute Minimal Unsatisfiable Subsets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6108818$2B071733-F4CD-47B0-BB9C-4DE7F96BCC1A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"327b50da5c4ce995ff9c2d1a0b648f1d5a4da609","datavalue":{"value":"1515.68292","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6108818$84BAAC7A-1181-41A3-8E62-974B2885BF2A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2ad0329a2c9126851368404a6ddd94281ec95b8a","datavalue":{"value":"10.1007/978-3-319-99957-9_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6108818$4284351D-8B64-4912-AA15-8F53B093196F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"83417ce74160a94ec95b7007ce198c8922935ad3","datavalue":{"value":{"entity-type":"item","numeric-id":6108817,"id":"Q6108817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108818$A17226C5-253E-40DC-A8DB-5C899513ECD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"73209c3bd7bc97bd55ddd0a444e770fe2c5d82b7","datavalue":{"value":{"entity-type":"item","numeric-id":269712,"id":"Q269712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108818$87B1DBDF-5DE7-4034-9BC4-1D05A09F4239","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d890af79c9ca3ac61d434a598eaae0d88b56c6ae","datavalue":{"value":{"entity-type":"item","numeric-id":5302894,"id":"Q5302894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108818$D0274F86-95C4-4207-B576-BA6D2235AF17","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"71476e68174ce61b1b2a41ccdbdaefb9b107de95","datavalue":{"value":{"time":"+2023-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6108818$FA9CEC8C-08F6-4FD7-930F-343B7547CD9A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6108818$2218A6A0-93A8-4B8E-807D-E6722E4897AF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c8d10d9a61fe5b1dacc5ef7c1fa5524a5f4d813b","datavalue":{"value":"7704986","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6108818$61C5E7AE-3001-40E3-80D4-035FDAE0B4D2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e0121f233cd065aa67e2153971c0587891e91d5","datavalue":{"value":"minimal unsatisfiable subsets","type":"string"},"datatype":"string"},"type":"statement","id":"Q6108818$EBDF528F-23E1-4C26-952D-1018EC4E9B8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2af51969b73542d6aab2bcded7015ec65969c29e","datavalue":{"value":"heuristic algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q6108818$D2A8DD86-7E27-472A-BE9F-09D68F681195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26db72f15781d44a77d689728252a2a8ef49794d","datavalue":{"value":"optimization strategy","type":"string"},"datatype":"string"},"type":"statement","id":"Q6108818$36B174FB-AE37-4029-8C9F-4E58DFA77DF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5867ec7b44aefc01672736513dfe6410a0300cd5","datavalue":{"value":"SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q6108818$6C56A272-9F30-42AA-A21B-311846240EAC","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":"Q6108818$5CE543F8-04B0-4B9D-B3A5-9D1ED3A4145A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"30524773ac901bcc7bf9111fa8cb938167e8aa8b","datavalue":{"value":"https://doi.org/10.1007/978-3-319-99957-9_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q6108818$8AD3DF2E-7579-42BD-B1B4-65735FCC8ABA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cc9c051a8bc38cbbf5636a5e434e9a7af81ee729","datavalue":{"value":"W2888046464","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6108818$0CF42105-BBBC-42FC-A145-5226CA4D10C9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"85a0da5461a77e3d1740266a13fa2f767ff2372e","datavalue":{"value":{"entity-type":"item","numeric-id":2815093,"id":"Q2815093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108818$6626DC08-60D6-4A38-86B0-AD86C5C35AA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2a719daf5fb0c0d7efb4db15da2d4a13f1a6fbd","datavalue":{"value":{"entity-type":"item","numeric-id":3164969,"id":"Q3164969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108818$BE3416F7-6846-4A00-AF11-3F13CC8DEE51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22485e2e7f5d751287059d6c89f8749b6a408a20","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108818$B4D1F771-5144-41AC-A8B0-D5A01EEC67E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b58a49b061045da260f55882550e1cfe3d409f1","datavalue":{"value":{"entity-type":"item","numeric-id":1321062,"id":"Q1321062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108818$11730E73-3B88-4FE3-A287-BF2BA589416C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d835fa459b73410c61bf5c354506b5995c700aad","datavalue":{"value":{"entity-type":"item","numeric-id":272009,"id":"Q272009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108818$6955A69A-4086-41B3-AE8A-CC0A784D2F5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c625dcf0809403f5b84f6d7cdfc8c33766e0658","datavalue":{"value":{"entity-type":"item","numeric-id":2471741,"id":"Q2471741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108818$DC288A76-D09F-4AC8-8F80-72294205A17B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"052116ab8ce996088f825065ec80b1a90577663f","datavalue":{"value":{"entity-type":"item","numeric-id":351018,"id":"Q351018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108818$AD085064-8290-4E31-8272-D310369D0E9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33e61914e50345b341b28acb200abd5acaa24faa","datavalue":{"value":{"entity-type":"item","numeric-id":3007682,"id":"Q3007682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108818$EBB6FE10-9F5D-4344-AF30-FAF8AC4AEAB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f82f0f40ab66cf033c5a229880b34de6b2284f9c","datavalue":{"value":{"entity-type":"item","numeric-id":1694574,"id":"Q1694574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108818$2995F400-DB6F-489B-84FE-517E235B01E8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d8c52bd953e9c62610877b37ac8a67577777d58","datavalue":{"value":{"entity-type":"item","numeric-id":3007681,"id":"Q3007681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4097c15868828d41ba46bb7ab7dbc2a93b8ac6cf","datavalue":{"value":{"amount":"+0.8617948889732361","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":"Q6108818$CC8E603F-C2E8-40B5-A5B4-717D4F95156B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e919585733e4e0e444af90ed3a2b761251c84723","datavalue":{"value":{"entity-type":"item","numeric-id":3164969,"id":"Q3164969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1313c89664c188514cb4adb5c33c51a1f2cd4a46","datavalue":{"value":{"amount":"+0.8391346335411072","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":"Q6108818$F25E29CE-A966-4350-ABA9-1D8F75B47075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d78e76115a51ba3497ed472251f0345044b210e","datavalue":{"value":{"entity-type":"item","numeric-id":3194802,"id":"Q3194802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"253797a492e896ce78d6edc7384d51497bab6d08","datavalue":{"value":{"amount":"+0.8389754891395569","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":"Q6108818$E0778579-5185-445B-9442-B8474EB1DD16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ad905d83d2a10e210e82c599b9f179dad7ea7fd","datavalue":{"value":{"entity-type":"item","numeric-id":5713708,"id":"Q5713708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8954378352063fbcf2d494941c89749d870452b9","datavalue":{"value":{"amount":"+0.8346518278121948","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":"Q6108818$305F3683-41C4-47BF-971D-148D63EBBDDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0f69a8b554f9ba68c31b509186653fbce98a5c9","datavalue":{"value":{"entity-type":"item","numeric-id":2471741,"id":"Q2471741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a78c1a309f5c57e0573b5d41d77adf01481ac232","datavalue":{"value":{"amount":"+0.8256259560585022","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":"Q6108818$E5162FDD-EB2B-4BF1-A785-1B85C4FC1B0F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6108818","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6108818"}}}}}