{"entities":{"Q5015593":{"pageid":7045170,"ns":120,"title":"Item:Q5015593","lastrevid":91101164,"modified":"2026-06-04T22:15:42Z","type":"item","id":"Q5015593","labels":{"en":{"language":"en","value":"Accelerated deletion-based extraction of minimal unsatisfiable cores"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7441845"}},"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":"Q5015593$A8FFFCE3-9C7B-4F23-ADA2-42B557797B7B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e1be66529e30f652922eb81ed0654027b37baff1","datavalue":{"value":{"text":"Accelerated Deletion-based Extraction of Minimal Unsatisfiable Cores","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5015593$1E91A80A-2DF0-447A-A18E-B9D54E6E0FE7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a468584a854235d41820bf0c64e7adb6fa73be3d","datavalue":{"value":"1484.68223","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015593$772ED23A-C0AA-491A-857B-8B12985AC882","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"872327a7367292e990108aeae8121a9f7cfd9877","datavalue":{"value":"10.3233/SAT190100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015593$353A447D-3578-4D80-9ACD-D623A099CE26","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb85832ecb9136476175ff03ddf74d77f7a7c330","datavalue":{"value":{"entity-type":"item","numeric-id":746771,"id":"Q746771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015593$4854A9C4-B928-48C7-B2EC-E9BB98C96CF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"87e339dd7bfbda36ac1d0ca0bbb1694595f418a2","datavalue":{"value":{"entity-type":"item","numeric-id":746772,"id":"Q746772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015593$D7F68425-63A5-40A3-BE3F-69D4C65A2EE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"521ea2cb6a301fe9f22d88a2561e7746fdb48379","datavalue":{"value":{"entity-type":"item","numeric-id":246145,"id":"Q246145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015593$4C7B6888-AFE7-4B9E-B4F5-CD471F7A3819","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e8ef780f8c191fed22e1ac9c059ebec4d3cf7c73","datavalue":{"value":{"entity-type":"item","numeric-id":5014281,"id":"Q5014281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015593$8DD42DFF-D597-481F-A861-5039A4553AB0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"179d64d567eb65d7ced64a9cbb5733ee98b610d6","datavalue":{"value":{"time":"+2021-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5015593$7C53AAB2-EF23-4AF5-B014-9CA43CA9CA2C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015593$ABE31C27-E92A-4BEF-8CF1-AE86498A98F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015593$B3A33840-B6D5-4496-9B96-3149724C7ACC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3761b784320a249514645b2c491b65513600f613","datavalue":{"value":"7441845","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015593$3F4AB95F-5A3A-45CE-A9CC-C24FBFBE4FBF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1ab56f94bb86aaed3ae2773f1f60e01e50b16ed","datavalue":{"value":"minimal unsat core","type":"string"},"datatype":"string"},"type":"statement","id":"Q5015593$005B7580-BCA7-4CB3-8BD1-7CCFC0C700B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ab8b595c2ea28f4c989807b0ad264040fc60e1c","datavalue":{"value":"minimal high-level unsat core","type":"string"},"datatype":"string"},"type":"statement","id":"Q5015593$210EE06A-855B-4FA1-A843-BD9DE8C5D570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q5015593$B48B1583-8568-4804-9351-7D2331D4D6D3","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":"Q5015593$B9E8C853-D13A-4473-824C-91EC181A7924","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"23224e3892fc052d1fb671ca2b1b95a24f84df75","datavalue":{"value":{"entity-type":"item","numeric-id":5505540,"id":"Q5505540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015593$21A13EE1-E30D-44E2-BE50-9D61A4497C02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"652707f3c517fc0bc45fb7ef7e533228515c0c0d","datavalue":{"value":{"entity-type":"item","numeric-id":5715680,"id":"Q5715680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015593$0CD13CA2-B1E2-4D0F-87A2-BFDBBFB44839","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":"Q5015593$EEC8056C-6C41-43B8-A378-E5DF31F5CB1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"191734449ceba4bc2a76e944da27595387f6a747","datavalue":{"value":{"entity-type":"item","numeric-id":3194802,"id":"Q3194802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015593$F69D632F-F556-49F5-A6BB-44CDD2DD9B9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9370899dedc1d653d16f1f5aaa8b6c6be96f529c","datavalue":{"value":{"entity-type":"item","numeric-id":3604000,"id":"Q3604000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015593$535FF863-BBE8-4A2A-8FCD-35A5BDC851FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b37d3694c50f3395e78b82e401f4b3dee259c900","datavalue":{"value":{"entity-type":"item","numeric-id":1408373,"id":"Q1408373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015593$5C71F056-267D-4A79-AEB3-3CF357650DCA","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":"Q5015593$BD9A3C1A-E4FA-44C8-A84B-7F624F7BDBD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2d22e5be1cd0086b4ca5f0b22a7cc8d2ad226c0","datavalue":{"value":{"entity-type":"item","numeric-id":5756585,"id":"Q5756585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015593$3B3F4515-0610-45AF-B7C2-342031590C16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c4cdf856af282ee8447b2c021f82bbd4429c00a","datavalue":{"value":{"entity-type":"item","numeric-id":1037449,"id":"Q1037449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015593$18B0DE8A-DDA4-467A-80C3-577965196566","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":"Q5015593$C7EC3497-4FCF-4423-9E98-B73DC2A69960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d421342230c67a224b42e44ea336b06445d9587a","datavalue":{"value":{"entity-type":"item","numeric-id":2845506,"id":"Q2845506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015593$A5C54272-4E64-4714-960B-E0AFDF0C03C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53ace1ca00d0f981a30fb584f0d2f61bf11eec24","datavalue":{"value":{"entity-type":"item","numeric-id":1028724,"id":"Q1028724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015593$040EA158-7475-4D5A-B939-A250C8ED176D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"055a8b99184593f13e46527bd7d965d30b729d5d","datavalue":{"value":{"entity-type":"item","numeric-id":1042194,"id":"Q1042194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015593$F1F84810-7CC6-42F5-BED8-4A3F8F4D1F6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d46594f607f07797d1af3021edc64285e206c85e","datavalue":{"value":{"entity-type":"item","numeric-id":5326470,"id":"Q5326470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015593$427BD380-1F81-4F0A-8543-9FD712180D1A","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":"Q5015593$69104462-5D9C-491A-A214-15C11152D612","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":"Q5015593$A9FE7BEE-4DF5-4222-A752-7774A6B3A6D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca60c6bd18a73ea64a5c853bb097ca2240be4eaa","datavalue":{"value":{"entity-type":"item","numeric-id":3007681,"id":"Q3007681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015593$DD0718A9-44A8-49D1-A874-AEDDA47143EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7ee42bcb5651ff1d6441d36735f61656172044f","datavalue":{"value":{"entity-type":"item","numeric-id":4417909,"id":"Q4417909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015593$B88FF537-B532-4403-B333-FEA1254BF7C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"348369ca3fccbe91226809a75cbf31afd7f3186d","datavalue":{"value":{"entity-type":"item","numeric-id":5900666,"id":"Q5900666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015593$478D70F9-8FA2-4837-821F-4D6B2D474DA9","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":"Q5015593$5D172946-4ECB-4978-BD16-CE1C4E48BDCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c83cf76badf0119646262d348456ffc2b1fa48db","datavalue":{"value":{"entity-type":"item","numeric-id":3655210,"id":"Q3655210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015593$DE2B0750-C06B-46C7-9F6B-93131CB1284E","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":"Q5015593$22CC2D09-1C2E-420B-8E14-B1BC9871EF5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6122a690b53da78bbd661f67fb142d629fd3a5f8","datavalue":{"value":{"entity-type":"item","numeric-id":4787213,"id":"Q4787213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015593$BEA0B0B5-14B9-4BDC-819B-75CC57CE3FBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fb737acaf9b258a46f538a45cc30017d84a826c","datavalue":{"value":{"entity-type":"item","numeric-id":3502716,"id":"Q3502716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015593$757FAB44-A8DB-48C8-ABB0-B8921BB8E7ED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"756b0b8327168cf438155b0c689f5a057f8c030a","datavalue":{"value":"https://doi.org/10.3233/sat190100","type":"string"},"datatype":"url"},"type":"statement","id":"Q5015593$D8D9C1E2-FFFA-4E8A-AA8E-82A875EA81FE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b8f192dfc317b6dad3a6b1e7dc6fb56f3af4a131","datavalue":{"value":"W2187266564","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015593$D03A72F8-2D7B-4262-B48E-C53268B759D2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8baa14e88319bb40aae8bb111e040434ebce5abb","datavalue":{"value":{"entity-type":"item","numeric-id":3007682,"id":"Q3007682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35ad13f2016100b31391a61c7b0f015001cd058f","datavalue":{"value":{"amount":"+0.8718807101249695","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":"Q5015593$E035DCA3-CDA9-488E-9773-8B5A13E99368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f2cacb87b686e06c1aff918d140272459c0fa3c","datavalue":{"value":{"entity-type":"item","numeric-id":3192054,"id":"Q3192054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc5a34d06955bf9d9237bf32bb27cf0b76231c3c","datavalue":{"value":{"amount":"+0.8236464262008667","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":"Q5015593$41B06A5B-7CE4-4EF8-B504-13FF66757CD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c40afb41161c7640ecf57dfc49b396f460d084ab","datavalue":{"value":{"entity-type":"item","numeric-id":903912,"id":"Q903912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10653c86ba7eb2d6369c875320bb1cbc19ddb185","datavalue":{"value":{"amount":"+0.8232937455177307","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":"Q5015593$01C54EA3-5995-4718-896A-0D7416C02FFB","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":"9e1d91ac3dde211287f852c752ac3592a54fc6b8","datavalue":{"value":{"amount":"+0.8169538974761963","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":"Q5015593$D28DBE32-9EA1-4DFF-AE23-D066071FF02C","rank":"normal"},{"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":"de359efa14f7c790a9cf9629f9da1ed8a3930509","datavalue":{"value":{"amount":"+0.8024402260780334","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":"Q5015593$2E223193-1F81-4554-AF9B-C4CF94E5923B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Accelerated deletion-based extraction of minimal unsatisfiable cores","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Accelerated_deletion-based_extraction_of_minimal_unsatisfiable_cores"}}}}}