{"entities":{"Q5222949":{"pageid":7252519,"ns":120,"title":"Item:Q5222949","lastrevid":53469710,"modified":"2026-01-25T00:29:10Z","type":"item","id":"Q5222949","labels":{"en":{"language":"en","value":"Evaluation of domain agnostic approaches for enumeration of minimal unsatisfiable subsets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7076865"}},"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":"Q5222949$03C838AC-C02F-41D6-95C0-3B31177F551C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8a6323f6a3f7924b4ea01ef53f8af3b55bb7f19e","datavalue":{"value":{"text":"Evaluation of Domain Agnostic Approaches for Enumeration of Minimal Unsatisfiable Subsets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5222949$8DDF8739-8756-4D59-AC6E-F17150661E97","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0c4664edb227fd7f2211607c464b19e754cc8d52","datavalue":{"value":"1415.68184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222949$9C7BBCED-9862-49A8-B239-351B40FEF6C9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b44d9183270609fbf85b361b8fe23fe5412807da","datavalue":{"value":{"entity-type":"item","numeric-id":832271,"id":"Q832271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222949$47F5A765-B61D-4CCA-8B37-DD09F5064DEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"49f82df4d18eab422e11b74b412720f50f68da1a","datavalue":{"value":{"entity-type":"item","numeric-id":1306564,"id":"Q1306564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222949$5A7A1C4D-D1CC-447D-B23A-34179418A06F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"eae4601ff702bcaa610b94b3434abd8165930c5d","datavalue":{"value":{"entity-type":"item","numeric-id":4645721,"id":"Q4645721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222949$32C26E43-0A60-494E-81F8-C9B4535C6C84","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"311afef0a4b95245df7f6c2908ad6e9d40f3f2be","datavalue":{"value":{"time":"+2019-07-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5222949$2CD5A388-5AA9-46FE-A31F-4346FA7C5806","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222949$77164B7A-BE24-4E44-8E4D-D81B510911AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222949$15F26798-E803-4081-AAB1-4897401CD0E1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7a0b1dbd594cc1b763a0f03f4017aec1c4aafe56","datavalue":{"value":"7076865","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222949$4F14AA63-1BAF-4E0A-B12A-220B35C04C6C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bba03c2bd38e10c1d832aa4ccc6cf0a683c01f7c","datavalue":{"value":"domain-agnostic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222949$768311B2-D228-4BD1-8661-90B8D0BCD194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c771f0f7b0a5ba6538b4872b0e65a6a3c5a200f0","datavalue":{"value":"infeasibility analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222949$142B22A1-188E-4F8F-A142-50DCB155281F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e0121f233cd065aa67e2153971c0587891e91d5","datavalue":{"value":"minimal unsatisfiable subsets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222949$1A0DAC29-66FB-40B0-9520-2F5D2681FB29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0e93928b2ffc658d0b210b73b2c14c6f0999753","datavalue":{"value":"MUS enumeration","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222949$FDF51D45-92B4-413D-BCD4-AD1C7A1626DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd4c3e0d714309e5668154a6d065c489b238021b","datavalue":{"value":"unsatisfiability analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222949$E3673B23-8A50-49ED-A233-3AAA35B4F684","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8821405795418a5c5e0247ab7137c769b36b9afe","datavalue":{"value":{"entity-type":"item","numeric-id":15258,"id":"Q15258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222949$3B8ED029-F2DA-43BF-A6F0-2DA262850E6B","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":"Q5222949$1D64AD7F-DD89-436E-B4B3-DF9B7657FB73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222949$61EA730E-2592-4446-BBDE-1D2E035D6DF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c9ac366c95c8f3fd83eb82d5d73f8387dbc29a4c","datavalue":{"value":{"entity-type":"item","numeric-id":25317,"id":"Q25317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222949$35064B3E-21F1-470B-9D5B-756E45CCEB52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a4e1fe9e7e19a9673e889bcce0afc1d800822389","datavalue":{"value":{"entity-type":"item","numeric-id":30365,"id":"Q30365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222949$9F6EA257-F916-4480-90ED-A35C6EC8E7F2","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":"Q5222949$F20EF962-FD76-4637-9603-41DF54AED913","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"983c53e59a6c9fe1fd14f17664924e78b9faa15e","datavalue":{"value":"https://doi.org/10.29007/sxzb","type":"string"},"datatype":"url"},"type":"statement","id":"Q5222949$67A5148C-79E0-4494-B734-EB6F03294676","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"61bb78670ef885e492daeb8be7679c97390fbfd9","datavalue":{"value":"W2907199459","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222949$4DBA62A5-1141-4287-BFC2-D91337EE97A6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c7d816c14448b640640e3d57f57f58a7ca43bc7e","datavalue":{"value":"10.29007/SXZB","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222949$AE3D73B1-2F6F-4B2B-81DA-46A8E03E73BF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e642f023fc52bcaf7eef459cf6156ef8d7a3f042","datavalue":{"value":{"entity-type":"item","numeric-id":272009,"id":"Q272009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4a55fc9f693616c616df109603d275162e5a7d4","datavalue":{"value":{"amount":"+0.8596774339675903","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":"Q5222949$3A7B8734-193A-43E0-88DA-1B89CCE58C92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f9c66a21c7c312b983bf1c1c17f2bbc5968faf0","datavalue":{"value":{"entity-type":"item","numeric-id":6109586,"id":"Q6109586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5676e149ed5d6c413c595db06cbe6c713ec300a6","datavalue":{"value":{"amount":"+0.8469910621643066","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":"Q5222949$50D5A541-3DC8-498E-8281-96CA012F04F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09d974e16d9209bdf16ee00ebd1dc2a9b6befa6e","datavalue":{"value":{"entity-type":"item","numeric-id":4922910,"id":"Q4922910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2aad76f012a1a51d8cd3c7553f4ea5d4ddc74142","datavalue":{"value":{"amount":"+0.836395800113678","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":"Q5222949$41A423AD-1166-489E-BCAB-9DFC3011550D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"120b8362146dbd426fdf57c5835d93069605d90c","datavalue":{"value":{"entity-type":"item","numeric-id":4636600,"id":"Q4636600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dbaee5b6e4c5b3d55522461f9efc80dbfe19a4a","datavalue":{"value":{"amount":"+0.8209423422813416","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":"Q5222949$70778B4A-556C-4B0B-B491-392D54BCDAA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3fef1a8f1118f9b2d91d4a5ddd4430a4348c622","datavalue":{"value":{"entity-type":"item","numeric-id":3453242,"id":"Q3453242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21811aab96e7f7c8387da09731ee4ff93a31a2fa","datavalue":{"value":{"amount":"+0.7962576746940613","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":"Q5222949$18383DF8-8D89-4CAC-9DD5-F8188EC19556","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5222949","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5222949"}}}}}