{"entities":{"Q6109586":{"pageid":13243893,"ns":120,"title":"Item:Q6109586","lastrevid":58683309,"modified":"2026-04-06T07:43:17Z","type":"item","id":"Q6109586","labels":{"en":{"language":"en","value":"Recursive online enumeration of all minimal unsatisfiable subsets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7719936"}},"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":"Q6109586$0C33AE02-EF16-45CA-8734-53EFF152D9F4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"320aac0ac14e2a03a54b6e1e8a3b63e0566f1d7c","datavalue":{"value":{"text":"Recursive online enumeration of all minimal unsatisfiable subsets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6109586$601AB9D9-02A2-4250-8A35-5A9EF4F4BAF0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"970c4ea5f1389b6b830a5273997d91e20468b182","datavalue":{"value":"1517.68265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6109586$482FCB61-B84E-42B5-A091-14C5D5BC4F7C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"51443667b03910540cb4f5f2970eec7cb0a602e2","datavalue":{"value":"10.1007/978-3-030-01090-4_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6109586$45AE2316-C230-443B-91AD-DC4F6AB59A65","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":"Q6109586$26DBF670-AC25-4131-ADF8-E6BB4D6D65C6","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":"Q6109586$770C4186-16C2-4E26-83A9-4C11D2653352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8fa84f57d804aaf31f58858be616d04e3d77b666","datavalue":{"value":{"entity-type":"item","numeric-id":282092,"id":"Q282092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6109586$DD333E9D-8C8A-470E-9A7F-9BC61F678161","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6109586$212E359F-1E5A-4260-BE96-B57E6C9BEF2E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0c9357104a5534685ffa2f9bcbb37e5590217e6f","datavalue":{"value":{"time":"+2023-07-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6109586$9EC3DE67-19CF-4CEC-AF1E-91ABFBB207A2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6cc3c46dfa7ceaa261cadc0a1921d36a581b1830","datavalue":{"value":"https://arxiv.org/abs/1708.00400","type":"string"},"datatype":"url"},"type":"statement","id":"Q6109586$179A72BC-A866-4BD8-A181-EB509D06E898","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6109586$1E1C0052-003B-404F-AD79-97C4735A0813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2d5a866d412ef8af951814448fda0a03016cd3a5","datavalue":{"value":"68W27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6109586$AA0E34F2-750A-47AA-BE78-0AFC452F1EEF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"859f6c97c940985be4377be6c0e4e52bb248760e","datavalue":{"value":"7719936","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6109586$25C3CB18-ADFB-4A86-B302-01EAAB478891","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":"Q6109586$CA5AC38D-F749-4EA2-BAF4-650CC98D3FED","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"37e5edd08edaf0d3b91fcf1dbe39bc162f49c2a5","datavalue":{"value":"W2741064700","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6109586$76D03F40-5ACE-47B1-8682-BBC47E984CCF","rank":"normal"}],"P1643":[{"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":"ecc89ee28ba655bd8e65ad0332e59c5749129a5f","datavalue":{"value":{"amount":"+0.8879772424697876","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":"Q6109586$87BCE094-3D27-40F2-8B03-4F1978B1A666","rank":"normal"},{"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":"39d674140e0e879063fe864bec7a493bb1edf31b","datavalue":{"value":{"amount":"+0.8668278455734253","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":"Q6109586$A384EC61-59DC-4218-B41E-7E13F6DC7816","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":"001f31cf00c34a5908f82955249172fb63d0dd3c","datavalue":{"value":{"amount":"+0.8548213243484497","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":"Q6109586$5089C31E-B023-4828-94CC-FF5321CEEFFA","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":"ce8563f7976fdce5f43acca3d4b24fd972c78cb5","datavalue":{"value":{"amount":"+0.8517807126045227","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":"Q6109586$F9001A31-FDD4-496C-B518-A76E7A342E89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74af731f2076822b7adc12e761cd0ff71fbf959d","datavalue":{"value":{"entity-type":"item","numeric-id":5222949,"id":"Q5222949"},"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":"Q6109586$6D660BCB-E512-451F-B0E5-EC782252344E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6109586","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6109586"}}}}}