{"entities":{"Q3007682":{"pageid":3018406,"ns":120,"title":"Item:Q3007682","lastrevid":45247636,"modified":"2025-12-03T18:25:21Z","type":"item","id":"Q3007682","labels":{"en":{"language":"en","value":"Faster Extraction of High-Level Minimal Unsatisfiable Cores"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5908745"}},"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":"Q3007682$109E504D-9E48-4C71-9772-BB07D0E98659","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"934167a4f452741ad454729fc4406d87f86a5687","datavalue":{"value":{"text":"Faster Extraction of High-Level Minimal Unsatisfiable Cores","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3007682$A55BF522-5613-48EE-931B-D8715C369C49","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c8578ff88584b179e77475f87318671d6ad2584b","datavalue":{"value":"1331.68211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007682$0357909C-63EB-474A-BA86-E22ADBF96499","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8be5696b75bde735cc581f35bcda567b7790d872","datavalue":{"value":"10.1007/978-3-642-21581-0_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007682$C058864D-3CF0-44B3-9184-EFED2BCCEF6A","rank":"normal"}],"P16":[{"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":"Q3007682$E96F9C60-86CB-41E3-8C14-7BF66D974C2B","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":"Q3007682$1D89D3E5-45D7-466A-81FD-15E4FC1F7F02","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6452220a6eadf7eee4b5550999a260b280ba469e","datavalue":{"value":{"entity-type":"item","numeric-id":3007670,"id":"Q3007670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007682$3D10616E-F3A6-4266-806A-57DAE5F16F7F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7c5acb12eb16cd36e6bd9603815f2e919f7d5ec","datavalue":{"value":{"time":"+2011-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3007682$68933EAA-5238-4131-8C4E-0EA2160F2DC5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007682$FEEB35E8-2DC2-4E99-AE9A-376FBABB53CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007682$0C2BF228-8A0A-4367-9075-AB924115FF9D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"26d1f19c76411296a7cc74727a02ceb3ad069f09","datavalue":{"value":"5908745","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007682$51BD9D33-41B3-4A94-810D-9515FF7D645B","rank":"normal"}],"P1463":[{"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":"Q3007682$DA1B3C2B-7073-4167-902E-3C6A28F6D44D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b7940ddd2cf390857912577a8a65fd86fda5b260","datavalue":{"value":{"entity-type":"item","numeric-id":23851,"id":"Q23851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007682$65C579B9-4410-412B-ACEA-D861DA09C2D7","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":"Q3007682$FDB38689-1D0C-4C85-8865-A11D6C1588EB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"db5817311807cd21c15f05f0f725568bfd668999","datavalue":{"value":"https://doi.org/10.1007/978-3-642-21581-0_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q3007682$C8BD4A70-7A45-477D-B9A4-B3243B2F48A3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0505d419d8d372642a4353da9380bcb2514b1080","datavalue":{"value":"W144339668","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007682$756F3D65-1691-45F6-8581-D89D190F2EFC","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":"Q3007682$53DC3334-35CE-458A-A643-0C0113DA1206","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":"Q3007682$2E7D9DBB-893B-4F7D-B3F3-EF9C1E167FD3","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":"Q3007682$54D6E2FE-9685-4F7D-9C99-F775338FDE67","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":"Q3007682$221C4949-9510-4E71-BD12-1F41F6CE3F56","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":"Q3007682$06A9E81A-5330-4D75-80C8-90A2AEB56A50","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":"Q3007682$1D29A497-F101-42E2-A902-EF3F8E69CC3B","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":"Q3007682$E3E738CD-F2E5-4B38-9BDE-A7BC394C2B55","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":"Q3007682$CCB17584-9F10-46CD-B6B9-F2F4D60FC306","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":"Q3007682$1D887B06-45D6-45B4-839D-EA6CF259ABF6","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":"Q3007682$5901A695-BBF4-4030-8F9A-0D49A23F8753","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":"Q3007682$74656FEC-3ECB-4B07-8DDC-E527B7709EBE","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":"Q3007682$0F7B8A73-7FF4-46C6-8E17-2BD7377F2C04","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3beb2810e239cf0cc4cdd9a5e54de1f961edc6a","datavalue":{"value":{"entity-type":"item","numeric-id":5015593,"id":"Q5015593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86d9a7e59ab5fd9b00b8e25d3960ef27912360d9","datavalue":{"value":{"amount":"+0.92125314","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":"Q3007682$21D4889B-578B-4FE5-ABAE-38EAC8B470E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba772fb1218ff87451e256784c9e0de37186f24b","datavalue":{"value":{"entity-type":"item","numeric-id":1980482,"id":"Q1980482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2039e6f4d3ca50fe7951f5f2776609a50bfde31b","datavalue":{"value":{"amount":"+0.91925806","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":"Q3007682$A23B11BD-8B24-4EF2-BCA7-A891656CAF84","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":"1fac03ee79a6d3677956da8c34ebda25bd6e237c","datavalue":{"value":{"amount":"+0.9158246","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":"Q3007682$BA61CF35-D665-4791-ADB6-C145EADB4774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09231ae8a20b1e131db35571dd9efa02b405a9fa","datavalue":{"value":{"entity-type":"item","numeric-id":5711497,"id":"Q5711497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02896582bcaf982fdf2b921a46f19832875ec8a3","datavalue":{"value":{"amount":"+0.87109","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":"Q3007682$8C491270-697D-4B9D-BC75-4247A745F459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"798c8537fe65fde6ccd0b6ec261a9f9844c27ce9","datavalue":{"value":{"entity-type":"item","numeric-id":5505540,"id":"Q5505540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4258deb2643512f0a75b6ffff20c200b7d25190c","datavalue":{"value":{"amount":"+0.86076605","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":"Q3007682$E5A9A48E-7530-48A6-A6DD-B21D8AE97BB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7096f47b9d27f8c1e87f020fcdf13208c9657ba","datavalue":{"value":{"entity-type":"item","numeric-id":1028724,"id":"Q1028724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0182cae602eb215fae066b4b6981d31e8ae53e3","datavalue":{"value":{"amount":"+0.8584808","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":"Q3007682$7AF50B73-7FA9-4AE7-B4CC-D6101D5D41BB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3007682","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3007682"}}}}}