{"entities":{"Q1408373":{"pageid":1419113,"ns":120,"title":"Item:Q1408373","lastrevid":67377258,"modified":"2026-04-12T17:13:13Z","type":"item","id":"Q1408373","labels":{"en":{"language":"en","value":"Approximating minimal unsatisfiable subformulae by means of adaptive core search"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1981502"}},"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":"Q1408373$CF929BB3-0B47-4B3B-8BF8-F24285080D7A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9b72b05ebad43a845e6cecc3f53b2aaefa6ff005","datavalue":{"value":{"text":"Approximating minimal unsatisfiable subformulae by means of adaptive core search","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1408373$F750809B-716D-4D31-8325-4CFB0A9C2848","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5812c31d712aa740658f229f1823513b14a72970","datavalue":{"value":"1029.68075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1408373$F8E3A5AF-C470-4770-BFF7-196CF47A2A3E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"93f8f8c05762eec796d3d21a8cafabc102aa4229","datavalue":{"value":"10.1016/S0166-218X(02)00399-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1408373$8449E3A2-9E49-49F5-8D4A-776FDD36187D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"527715c31d225d5d93893467164e1a8892971b8e","datavalue":{"value":{"entity-type":"item","numeric-id":655182,"id":"Q655182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408373$92CCE0FE-68D5-49E7-A989-9EF75366B942","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"087f55844cc920aae060b09644168bf17b022e1a","datavalue":{"value":{"entity-type":"item","numeric-id":96294,"id":"Q96294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408373$ED2FE659-F68F-4795-A235-1A02866A97B5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bdb952d10b49f391b9728d4aaf2d3506fc5000a3","datavalue":{"value":{"time":"+2003-09-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1408373$2D0A07E1-FEC9-4101-A0BF-424AE8BD09F4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1408373$F0C553AE-2138-472A-B564-2C01C738653E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a039cc417a78baad21bb406ef82968fcffa70f96","datavalue":{"value":"1981502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1408373$57020575-DE1C-4A05-A209-0A2C29499B97","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f6995c455af74c726fc58f97d7b88713083e51d","datavalue":{"value":"Consistency restoring","type":"string"},"datatype":"string"},"type":"statement","id":"Q1408373$5E0FBF7C-DC34-4884-8072-67D8800BC49D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d25e954d3d19ad6d22fe55f53bf231601527d766","datavalue":{"value":"Enumeration","type":"string"},"datatype":"string"},"type":"statement","id":"Q1408373$3E5D3993-8E9E-43A4-B339-BCE9B36C89A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5b4a02af89d84ec5e7fe97156ab156277c92381","datavalue":{"value":"(Un)Satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1408373$568DC0C2-9106-4686-8D36-F1C64738EA83","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5834864074172f90c0db592b61fbce75f9303a03","datavalue":{"value":{"entity-type":"item","numeric-id":16627,"id":"Q16627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408373$FCD6364A-42B7-4B6B-9B32-7F6EB79B0857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2a216d6c09dac0df49b00b19ed2bb5c4336ef7f4","datavalue":{"value":{"entity-type":"item","numeric-id":20231,"id":"Q20231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408373$6B9629C0-C62C-49CE-9BF2-929B0BD36CDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"56a9ecaca2ef35efc3f134af231037d82db08c02","datavalue":{"value":{"entity-type":"item","numeric-id":21683,"id":"Q21683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408373$38F28763-1139-4151-B17A-49CE5A064919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"314cb7db240b78b9fdebd1fd8b43c1b0f383061e","datavalue":{"value":{"entity-type":"item","numeric-id":24795,"id":"Q24795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408373$F5ABEB18-08E5-4545-B1DF-39FEAAE7F680","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":"Q1408373$655A259D-7A61-4579-ABCC-74DA31157AE6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3895ea8f194c4433a73616abd37844fe94876222","datavalue":{"value":{"entity-type":"item","numeric-id":4263701,"id":"Q4263701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408373$F251C863-CF13-4E15-8A4C-3BF5C85C27D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8340ae5c929511377425cf6fbe66f3827938e85a","datavalue":{"value":{"entity-type":"item","numeric-id":4247437,"id":"Q4247437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408373$FAC133EB-CA12-4306-B0BD-D9D0C1093E5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e70db95b7ec7f4a1cfcf9b5a4c3fde9077866fcf","datavalue":{"value":{"entity-type":"item","numeric-id":4444470,"id":"Q4444470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408373$0B82C54D-6A06-4EDE-9D78-0457856FB3D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408373$C9FE252E-B00C-4306-97B9-511A693A7006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bd2d94005cf638be560bebea9f4aaaa8555421d","datavalue":{"value":{"entity-type":"item","numeric-id":4255462,"id":"Q4255462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408373$A0167DA9-5B95-4EA8-81CA-937B94FE7A17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"351e6790b87d174878f83df2eb0842ae7e7104f3","datavalue":{"value":{"entity-type":"item","numeric-id":4025905,"id":"Q4025905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408373$660F750B-6352-458B-89E8-B38F42A2F655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408373$8B35BAAB-ECFC-4A63-A5F1-9D40DE02588F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408373$F5A45F64-4261-40EB-ADBE-D8AC9217A713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5a384833facfee1bed7555c136a9c348cab3dd0","datavalue":{"value":{"entity-type":"item","numeric-id":5687266,"id":"Q5687266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408373$F44E78FF-9057-4BD4-9636-3AB57BF07357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3af833cb6c2f278650e57fa9adf052fcaf7a52e2","datavalue":{"value":{"entity-type":"item","numeric-id":1853541,"id":"Q1853541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408373$47C57889-CEAB-42EE-A694-F9478FF5D950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1478273e0e33a79d374260ca5dc8c9927268f336","datavalue":{"value":{"entity-type":"item","numeric-id":5687274,"id":"Q5687274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408373$965F4318-5828-427A-AF83-82F46FE5435B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35acb7c065d2a9d2147e073cef035eae32034dca","datavalue":{"value":{"entity-type":"item","numeric-id":2703800,"id":"Q2703800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408373$C551BB08-A32A-4A0C-89F8-A2A45011F8B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb6d3551c28e8173d291f95019cf63f4ea7788b4","datavalue":{"value":{"entity-type":"item","numeric-id":2749861,"id":"Q2749861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408373$AE6DAFBB-501A-46D4-8E4F-059F7BBD78DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1963aa24001373e5ceaa7806d80ed90d73b392f","datavalue":{"value":{"entity-type":"item","numeric-id":4840102,"id":"Q4840102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408373$7D5B0487-5355-43CF-9F44-F977BFD2E9CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d84fc41555f9112589e7a37710ae8c701d08ff8","datavalue":{"value":{"entity-type":"item","numeric-id":3145805,"id":"Q3145805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408373$B94A562A-7D3E-4A5F-B39E-EF88AD040455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f4ee378a41d931cd10f216e48f4b910155e1a89","datavalue":{"value":{"entity-type":"item","numeric-id":1904401,"id":"Q1904401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408373$3BD6FEEB-3BB5-47FF-9CC6-65912D9B9BA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c3cf7cbf24f5ad1e6d8cb76fb93a3b15d7aa5c2","datavalue":{"value":{"entity-type":"item","numeric-id":1356218,"id":"Q1356218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408373$D9530136-4555-4CA9-97BC-675039F7545E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"789c812451654d083d299e8fdb119e99ac2c02ab","datavalue":{"value":{"entity-type":"item","numeric-id":4714131,"id":"Q4714131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408373$F96C26C2-840D-4CBD-89DB-C7C5407F0C3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"923b31e26f24766e3ddda421d81a92188fdc771e","datavalue":{"value":{"entity-type":"item","numeric-id":2749859,"id":"Q2749859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408373$E0798AAA-10A9-435A-9188-EB29D42182EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1aa9e8bb4ef37ec285d6c238c3f5aa5ed5c9a38","datavalue":{"value":{"entity-type":"item","numeric-id":4139711,"id":"Q4139711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408373$E81774AF-6B18-4B58-B06D-31C5DF8B1760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9269e64d2adca53bb2f298ca1a02b550d98c27a7","datavalue":{"value":{"entity-type":"item","numeric-id":4571400,"id":"Q4571400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408373$39868613-BE31-421D-9E8B-2A03AC3EAEB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"633481678a0836b3846b49aa8db13fb38104e9a2","datavalue":{"value":{"entity-type":"item","numeric-id":1082830,"id":"Q1082830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408373$F0F3495B-D749-4222-B33A-4BC7193F85A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06844938098368d2f2cf613285d701ed35dce312","datavalue":{"value":{"entity-type":"item","numeric-id":5687269,"id":"Q5687269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408373$2D5E35BE-C1E0-4441-88DC-4B8B6D0C6BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31b266c721655122dbe400bbee292733bb46b20d","datavalue":{"value":{"entity-type":"item","numeric-id":1244202,"id":"Q1244202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408373$F4CC1B47-9FC4-4897-8088-B344449E89E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96b9f1a7b9d16bc3c8d7642391067b84091013a6","datavalue":{"value":{"entity-type":"item","numeric-id":4705311,"id":"Q4705311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408373$F58A7BF1-EA54-4540-940C-DEBD925F1F34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb6b44d3ab57341d3a87da9b9124773b1ca70df9","datavalue":{"value":{"entity-type":"item","numeric-id":1977761,"id":"Q1977761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1408373$39123734-0C77-46A7-A7F8-1E0D351D7BF5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1536bf8c2cadd22efa4a8651783666c3a27c892c","datavalue":{"value":{"entity-type":"item","numeric-id":4583686,"id":"Q4583686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69200a8c48065269a415d88408b4a0d136f17ea0","datavalue":{"value":{"amount":"+0.90632707","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1408373$EAA50E9C-7FE5-49AC-93CA-6E7EAC1C78EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35ca2c9c0c2484fb1d2a29c3735b9e8dc10cf37c","datavalue":{"value":{"entity-type":"item","numeric-id":1037642,"id":"Q1037642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1908d369870f4bc3a8657f4cec950c8f1706b38","datavalue":{"value":{"amount":"+0.9018133","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1408373$039CC15D-2046-465B-A259-0B0078E6A92E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f39563c7a98c34a833ae5ca4a4d7d0915f18b0c8","datavalue":{"value":{"entity-type":"item","numeric-id":1037449,"id":"Q1037449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8f7ee43d60cf77f6c34348d84022d1e5acd63ed","datavalue":{"value":{"amount":"+0.89401037","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1408373$83730D66-61DC-4491-A828-0F278CCA9165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bd8c25f8e8adce9d13af2a2e2cd39bbfdcc7479","datavalue":{"value":{"entity-type":"item","numeric-id":1777390,"id":"Q1777390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"987a1795650f4585e6c54a6069c93a7d7d28159f","datavalue":{"value":{"amount":"+0.8923466","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1408373$7F59DE49-73CF-422D-A54E-645AD9750E0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65dfa35810581070e46f5460196bbfa0b7cfee83","datavalue":{"value":{"entity-type":"item","numeric-id":4473049,"id":"Q4473049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e33f1cc57577e925285a5ecfe1903f9f6beb440","datavalue":{"value":{"amount":"+0.8885969","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1408373$E4F6C466-84BA-467B-A1DC-FAD8200EE32D","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":"8bd567f9044503c3591b5f72c09af3422ba13e43","datavalue":{"value":{"amount":"+0.88448083","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1408373$322AB146-1C5E-4403-8292-49C119847BD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ae02f1045f7565e768e0af18e78dc11abf32c96","datavalue":{"value":{"entity-type":"item","numeric-id":1277336,"id":"Q1277336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6bcfe5902ba786bc577f6af7751800eaedba329","datavalue":{"value":{"amount":"+0.8805711","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1408373$96A0AF05-0999-41F0-ACF7-A29307B7BE63","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":"b3b743f4008a85893651b4e49f5ee7ad5ec6dc80","datavalue":{"value":{"amount":"+0.8768095","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1408373$4BB3B04D-52CE-4E3C-B8BE-F22A63F443FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd15885a5b8b0934c2129f31489db29033f99dbc","datavalue":{"value":{"entity-type":"item","numeric-id":5713745,"id":"Q5713745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c33562efbad3e6e40da094ed1edf76456816d3f","datavalue":{"value":{"amount":"+0.8731401","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1408373$B509EF6A-C3F8-4BBD-BA04-A3A1211433C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"305314cd53c45094fbe0975e30108a02ae33267c","datavalue":{"value":{"entity-type":"item","numeric-id":5756585,"id":"Q5756585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe78f0e9290647b9df9d98e5080fec5abfb1a310","datavalue":{"value":{"amount":"+0.8718357","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1408373$82FC71B7-5D8A-4895-84A9-8AF172A6D0D2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Approximating minimal unsatisfiable subformulae by means of adaptive core search","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Approximating_minimal_unsatisfiable_subformulae_by_means_of_adaptive_core_search"}}}}}