{"entities":{"Q2694579":{"pageid":2705323,"ns":120,"title":"Item:Q2694579","lastrevid":82766387,"modified":"2026-05-06T21:53:54Z","type":"item","id":"Q2694579","labels":{"en":{"language":"en","value":"Computing smallest MUSes of quantified Boolean formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7671896"}},"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":"Q2694579$707E79A2-E231-4802-B34E-88C5BB4E865A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"70d6c75f89cfdb23294e4efd55389b6ac163c4cf","datavalue":{"value":{"text":"Computing smallest MUSes of quantified Boolean formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2694579$9A826A7B-1F88-480B-84BE-462DDE7DA2A9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d45d895f30cd159a64ad038b3cb0a1cf439db8e1","datavalue":{"value":"10.1007/978-3-031-15707-3_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2694579$9225D01E-5C75-4536-A5DB-4D13FEDD3FC4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3535ea06d1b3d2712ed6420536eb2544745f3eee","datavalue":{"value":{"entity-type":"item","numeric-id":2124465,"id":"Q2124465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694579$EB3CA766-16AC-4436-BC4A-517E37C7E60C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"784e5f6232c6cda0e383680007d1dfa834c3ef89","datavalue":{"value":{"entity-type":"item","numeric-id":2694578,"id":"Q2694578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694579$4427F34B-93B3-4502-BA6C-BB3ACE2DC36E","rank":"normal"},{"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":"Q2694579$2F9F69C0-6613-493E-8B60-8507E97A7BAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"58d1d7d14c02d5fd66164eb2f51bc923e39cb8db","datavalue":{"value":{"entity-type":"item","numeric-id":269491,"id":"Q269491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694579$1A6A2D01-E40C-48D0-B279-A0B79E80E672","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3231911715c88eeda68ab5624fcc2c3ec367b8db","datavalue":{"value":{"time":"+2023-04-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":"Q2694579$8ED4DCA6-BEE4-4E52-9D70-017D60F0D5E3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a8ad18899f7daee4ed2b96373381fb2ababe12b4","datavalue":{"value":"68Q80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2694579$2FF5C70D-BAE0-4EAF-9295-268BCFABD2EF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aae7ae9ec9da674090c6e08253f6afcd0d5de4f6","datavalue":{"value":"7671896","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2694579$F506FFEA-728B-4E79-81F9-10A9799E5EBF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f805b7faea11905894680953dd9b9dfc3dd4258","datavalue":{"value":"quantified Boolean formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q2694579$ED5FCF95-F1D6-42FC-B7F0-E767BC8B7178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b9c651e151b8278c23beb41d73af8f160b2000f","datavalue":{"value":"minimum unsatisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2694579$50535F96-04AC-490C-BAE8-CFC66FFFD906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13c77b4231922cd57d42bac9b81da5ba946aa73d","datavalue":{"value":"abstract argumentation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2694579$3260C81F-509B-4DDD-8A03-30E4A05DF75E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bb66b5b318abd249cd7c2bb1770a6945cc3efe5","datavalue":{"value":"strong explanations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2694579$E8BD48D6-0AD7-436D-975C-500F4014BD34","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6b38d41f42be9a63abc418d73603b2d531b26a9","datavalue":{"value":{"entity-type":"item","numeric-id":21713,"id":"Q21713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694579$A93E4266-7E71-4447-B353-B2DCF0B8BAA7","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":"Q2694579$9D0A48D2-B9A2-441F-AC2F-EB539A45A8B3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ed53ef5af47d2c358e36aa14e60fd1aa2b12f25b","datavalue":{"value":"https://doi.org/10.1007/978-3-031-15707-3_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q2694579$A4C4F38A-AC74-413F-8512-4A6A186715EA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fe366699411ddc590d855a2c58318da9e7245ab3","datavalue":{"value":"W4293179750","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2694579$AF4BCD11-B956-471A-A347-05B1A0A22BE1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"77314febffea549b4cacea9de208a7c7133a2c77","datavalue":{"value":{"entity-type":"item","numeric-id":2446545,"id":"Q2446545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694579$5293BF29-3568-4535-BF1D-F7F9CCB89153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8252ce6c5d03a72d886dd1e723425baf1e504d4","datavalue":{"value":{"entity-type":"item","numeric-id":2238645,"id":"Q2238645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694579$412119A9-6B19-4AF7-B871-A3383D85067D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1b6904cdc3e679a0d07a7ddb7d4086ca03cce1","datavalue":{"value":{"entity-type":"item","numeric-id":2321259,"id":"Q2321259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694579$5FCD70E6-C1F5-4136-8389-75CB8BCBB08F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6ac4bf752c3c8ad8a7b668dabba6ad3e2dcb76d","datavalue":{"value":{"entity-type":"item","numeric-id":2185462,"id":"Q2185462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694579$035270F8-C335-4DD7-9C54-9FDAFFC32713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef0f7e101a0ec1c49d6dbda6afd04acdf641c074","datavalue":{"value":{"entity-type":"item","numeric-id":1855240,"id":"Q1855240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694579$FE608521-0320-49B3-A077-E9F04E5A1526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e54d65cec629a4bc2c3dc401d1faa06a3b01aec","datavalue":{"value":{"entity-type":"item","numeric-id":272016,"id":"Q272016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694579$CE56E321-8A08-4BF9-A929-DF236084ABC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2278598748f41c4d80d92c015f95eb36e154faf","datavalue":{"value":{"entity-type":"item","numeric-id":253964,"id":"Q253964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694579$820B599C-908D-490F-8ACD-6371A2269871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f7f7b41cbf8e7677b95d005680bc21b9f8ae86d","datavalue":{"value":{"entity-type":"item","numeric-id":5326462,"id":"Q5326462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694579$06E12BF0-78FC-48B2-9336-86573614AE21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63019fd555042b1e8808a516f4903ec6bfdd79ae","datavalue":{"value":{"entity-type":"item","numeric-id":2457681,"id":"Q2457681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694579$1BF3576C-7DB1-4D65-98FE-1EE24B2D8858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10440edeb6411a5dffebd950ae30bdddc7f27e76","datavalue":{"value":{"entity-type":"item","numeric-id":1037642,"id":"Q1037642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694579$50459702-276A-499E-AA37-337B1050421E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e007ee0e6cfbb434c91ac7a30e844e9c77b84348","datavalue":{"value":{"entity-type":"item","numeric-id":3453224,"id":"Q3453224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694579$154562B6-CD02-4F81-8881-1F70AA7ADFEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a555c78e813a5bcccbb1c854682ba4748e2c2baf","datavalue":{"value":{"entity-type":"item","numeric-id":2405263,"id":"Q2405263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694579$40D4B7A5-C59E-4613-B2B2-D2CDB101EB8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"022daa72b4a0e8ab899f959200783b78426e4c4e","datavalue":{"value":{"entity-type":"item","numeric-id":2661359,"id":"Q2661359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694579$FB8DEE6E-E52C-48CD-BA99-130DB372E80D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694579$552F82CD-31E0-4E04-830E-DAEB770714F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ebf50b3b231b28dd36b98369bafa45d547ad97d","datavalue":{"value":{"entity-type":"item","numeric-id":1109565,"id":"Q1109565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694579$84EE2D0D-DF66-49C1-9272-6C8317E69CEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3043584a63fc36f34b1f253742062e5fc8b4f9b1","datavalue":{"value":{"entity-type":"item","numeric-id":1102126,"id":"Q1102126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694579$C5D28D62-D9DC-4AC9-81CE-489C64EF685C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba680ad06d74076eb413cf04e31a73cf217adb90","datavalue":{"value":{"entity-type":"item","numeric-id":4685530,"id":"Q4685530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694579$6A28AEB1-06C2-415C-9C3E-9DFF7C440187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b83907aef9e8667d460a4ca3df254274dd6d20a","datavalue":{"value":{"entity-type":"item","numeric-id":4999292,"id":"Q4999292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694579$6C6639D6-AD20-4829-915D-8C1F88FCA435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa00a110050e5d85c5a24858ac2e13dadfbca898","datavalue":{"value":{"entity-type":"item","numeric-id":5207045,"id":"Q5207045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694579$7134E279-F31A-4DA4-B9E4-DB8B3E177F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25a9f3677602a06f0759118b4a2ea8c0bba70a7b","datavalue":{"value":{"entity-type":"item","numeric-id":2211858,"id":"Q2211858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694579$B81CEFF3-DBC6-4C11-8CF7-6EA4A32CAD0B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f614cc1a4b9163a9b7ded2de992f438ad7d9bf4","datavalue":{"value":{"entity-type":"item","numeric-id":619911,"id":"Q619911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0607fbb90fc970214e4a99d3f6ea1303ade2709","datavalue":{"value":{"amount":"+0.8888445","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2694579$94304621-A00E-42B5-BA16-15E26FDF04FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2369832fe5edfe5290cf1d5c4616390b7a8fe088","datavalue":{"value":{"entity-type":"item","numeric-id":3521905,"id":"Q3521905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0607fbb90fc970214e4a99d3f6ea1303ade2709","datavalue":{"value":{"amount":"+0.8888445","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2694579$E618EFCE-7A05-4C4E-9A51-E66DEF49883E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4048e1ff823dbd3c370164b4e7d8484fc67d13d8","datavalue":{"value":{"entity-type":"item","numeric-id":955019,"id":"Q955019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"147f58ef31417c34ea5e00cc905ad4e89576537a","datavalue":{"value":{"amount":"+0.8768777","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2694579$737AE966-9A3F-43C3-B64A-519F79E3D61E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9064644a4a5048e797959a1e4aba711194bab39","datavalue":{"value":{"entity-type":"item","numeric-id":1768604,"id":"Q1768604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43577f4f2245066e0af6a4196203fec78d0c1a5d","datavalue":{"value":{"amount":"+0.8706266","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2694579$8AC7D884-4120-46A7-87EC-874B8C27B973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4732629a4972652d98f4bc9874c86637a0c91c78","datavalue":{"value":{"entity-type":"item","numeric-id":4899301,"id":"Q4899301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d3e7d09bf5debd0aec2564c63a084399f45b7ba","datavalue":{"value":{"amount":"+0.86931556","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2694579$334BA68E-BD31-49B9-9C85-FB93B0BBDF4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c229517954d211b6f1c4f984dffa0b196a82702","datavalue":{"value":{"entity-type":"item","numeric-id":4828947,"id":"Q4828947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33b26105c2f8b92f3ba40a8c0f251b3ce99d0396","datavalue":{"value":{"amount":"+0.8689573","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2694579$CE098E93-5D8B-448A-B29F-DFC2F0E27444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76063991b7c0a6f1a80b8fffcc3f1944be68421c","datavalue":{"value":{"entity-type":"item","numeric-id":4785629,"id":"Q4785629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09e15f328286cff06a516398e1de8e0bd174a0aa","datavalue":{"value":{"amount":"+0.8601879","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2694579$A43F5081-B3D5-4294-8FD2-20E33F40F530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a6bbb5e1a3a2447aa22aa16e34f75135c5de521","datavalue":{"value":{"entity-type":"item","numeric-id":3474280,"id":"Q3474280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"905a25074cfa98350885045e25dfb848b1937926","datavalue":{"value":{"amount":"+0.8582091","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2694579$DF228C43-7344-42C4-AFC8-6E146205ED44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcca5783ea171e0d81fcd52ceebd7d2203fe8dca","datavalue":{"value":{"entity-type":"item","numeric-id":3409861,"id":"Q3409861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17a55121e34cdefa878a260f510be71d36e1491c","datavalue":{"value":{"amount":"+0.8571855","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2694579$E899F81E-3F93-42DB-80ED-73EB6055C423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c980c67a5622287b9a0d25f9862d842ce52cab53","datavalue":{"value":{"entity-type":"item","numeric-id":3429018,"id":"Q3429018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ee2b5ec4644384d829aa58ddc5f4ab67eff9ceb","datavalue":{"value":{"amount":"+0.8571826","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2694579$724720B2-5C7B-43E6-9F69-4DF9C33CE273","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computing smallest MUSes of quantified Boolean formulas","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computing_smallest_MUSes_of_quantified_Boolean_formulas"}}}}}