{"entities":{"Q5756585":{"pageid":7786136,"ns":120,"title":"Item:Q5756585","lastrevid":58609197,"modified":"2026-04-05T23:52:38Z","type":"item","id":"Q5756585","labels":{"en":{"language":"en","value":"A Scalable Algorithm for Minimal Unsatisfiable Core Extraction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5187244"}},"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":"Q5756585$B3CD0349-B24D-456E-955A-23A788AA1017","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c553380539f6aea0fcdf35015d06515e81bbc085","datavalue":{"value":{"text":"A Scalable Algorithm for Minimal Unsatisfiable Core Extraction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5756585$CBCF2BB1-C740-4C99-9750-FA8EF14EF971","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f85a3a438f4350ec88ae7069dc9aef74fa74ee1b","datavalue":{"value":"1187.68538","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756585$FDD8D29F-3E7D-43EF-93A6-714F070976B5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"81282be42ff06dd75ddfb0357db500d289a13549","datavalue":{"value":"10.1007/11814948_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756585$E2B89FC9-7C6C-483D-9322-6DEA85B0EC1C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"423424ed34b7dac382d00344caf66effb4c7fafb","datavalue":{"value":{"entity-type":"item","numeric-id":199247,"id":"Q199247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756585$2738350E-2085-4ADC-A15D-87099ED3EC10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc54f67a4ecde059306e32c7c4714fefe997d7f8","datavalue":{"value":{"entity-type":"item","numeric-id":2845510,"id":"Q2845510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756585$11F5A25B-6656-410F-8CE0-3C7ED0A6D63D","rank":"normal"},{"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":"Q5756585$D591C156-92CA-4800-BE75-40C778D0BC43","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756585$BDBE8B66-E508-43DF-B6DB-331277303AE1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"425e48b9986b227b93d91ab0854d5e88273c1020","datavalue":{"value":{"time":"+2007-09-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":"Q5756585$A7F02D75-C89C-42DF-B28D-7EBC15EBA96E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7d4298756144c37634e1e2fe4585d163a2b5d405","datavalue":{"value":"https://arxiv.org/abs/cs/0605085","type":"string"},"datatype":"url"},"type":"statement","id":"Q5756585$8AD38B79-4CA0-4C73-A6E6-0CA8F1B0AE44","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756585$E808A924-6C66-4234-952E-72800CEBA4B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756585$94759D61-9D51-40AB-A2CF-7768E32DF354","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f204040c2a320f3681f634300911b0595c5f0669","datavalue":{"value":"5187244","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756585$D882E9EF-A422-4093-B4E4-C89E1B2518D4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"10ed1370106ab58118612ce8fef1abc06fcb61d2","datavalue":{"value":{"entity-type":"item","numeric-id":13776,"id":"Q13776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756585$64C5409B-FD0F-4E96-AE25-A306806A265B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7670c1e69038094257a7fc4279dcbbf8d01775a7","datavalue":{"value":{"entity-type":"item","numeric-id":25287,"id":"Q25287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756585$4D99730C-AF5B-4EF5-80E0-3D9DF31A87C8","rank":"normal"},{"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":"Q5756585$F3821814-7F0A-4AC1-A9AA-C7C8E2E7AF21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756585$9231EB75-6866-4349-BAF3-5911361AA3E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b029c35ffabe60b7d29584a6d40b4cb278ba542d","datavalue":{"value":{"entity-type":"item","numeric-id":18983,"id":"Q18983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756585$C15AF1E9-10CF-462A-9FEA-19E16B286931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9610c11cc8a90dd542e7dbbf77c0e56d86b59abe","datavalue":{"value":{"entity-type":"item","numeric-id":23846,"id":"Q23846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756585$3FB40791-0BEF-4641-B215-AA6404F341F2","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":"Q5756585$38F6D15A-B2B5-4E36-81B2-3D460F8AF4E1","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":"Q5756585$3B63C619-D2AF-4BB4-9F61-E6B855138A0F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eaf10239521d3d047fdde6944de434db2970b81e","datavalue":{"value":"W1630321466","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756585$F4C9F82A-0404-4203-AB71-39E521DFAF4A","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":"217e0a3c0de483c998987371c369da00949dcfa0","datavalue":{"value":{"amount":"+0.8519612550735474","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":"Q5756585$3F1191AA-5F02-4BB1-B1D5-4528DBC0DEF1","rank":"normal"},{"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":"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":"Q5756585$B2B0C191-FF8D-4D81-BBCC-84B306FB608E","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":"a63ecd5fdfbc1f00758edf9a78066cabd6130cbd","datavalue":{"value":{"amount":"+0.81434166431427","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":"Q5756585$842AD924-DCF7-4F43-874C-8042980FBE8E","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":"9ca9eb4922ce9d68969c67bb1a441f02133acd19","datavalue":{"value":{"amount":"+0.802222490310669","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":"Q5756585$54378BED-C6DC-48D5-9DAB-418DCBA2CA07","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":"62029425e30b5f3680a6a148eaf5b21a1d190353","datavalue":{"value":{"amount":"+0.795537531375885","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":"Q5756585$BDC9AE19-8BF6-44B1-B9F2-F6F386AFFDF2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5756585","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5756585"}}}}}