{"entities":{"Q5369245":{"pageid":7398819,"ns":120,"title":"Item:Q5369245","lastrevid":41631887,"modified":"2025-05-06T14:40:36Z","type":"item","id":"Q5369245","labels":{"en":{"language":"en","value":"On the Parameterized Complexity of Finding Small Unsatisfiable Subsets of CNF Formulas and CSP Instances"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6791403"}},"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":"Q5369245$F56BAA3A-0873-4BA6-BE69-AE38329DC088","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1393cb862d8a84a3be6767a36249a7de043cb4ae","datavalue":{"value":{"text":"On the Parameterized Complexity of Finding Small Unsatisfiable Subsets of CNF Formulas and CSP Instances","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5369245$D39FAB88-0BAE-4199-8003-3B88CDFAAD47","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7900a8f3c3c2aad9323348792c0585ed3daa6b52","datavalue":{"value":"1407.68215","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5369245$F1D2D961-8498-4CD1-AA84-BA772DA6F927","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"adf1eead64cdb96a8f031f6805e47860c79d931f","datavalue":{"value":"10.1145/3091528","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5369245$57C6528F-4A84-4765-9464-229CECDBB364","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc7f99df3482afdc290c4262adb0344fcc17508b","datavalue":{"value":{"entity-type":"item","numeric-id":1990310,"id":"Q1990310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5369245$E94C738C-8E63-4724-AB6B-3A92885E5E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df479fb7dd60e36689e004e930ca5d750cdea886","datavalue":{"value":{"entity-type":"item","numeric-id":261393,"id":"Q261393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5369245$2C91D953-AFC0-4CF9-833C-32F68CF057AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"72ce7d9a67faa35e942a183da43448d5f2aacbd9","datavalue":{"value":{"entity-type":"item","numeric-id":557829,"id":"Q557829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5369245$0B6E5795-F8C3-4B8D-B911-5CE3CDF00878","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5369245$501D96AE-D09E-45F6-A5D4-84D1250D5A63","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6c5297401e02788bd3f4d1f30d634c2fb25880e4","datavalue":{"value":{"time":"+2017-10-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5369245$81C18C2A-78AB-43C3-9A00-0AF7DA7D600F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5369245$78902F02-187D-4064-AA69-1FF9CBBCE67E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5369245$5978E1B1-94F1-4938-81DE-17638A448BC6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bf3a23095a4d0fa9126a437d80aa4af98704ada2","datavalue":{"value":"6791403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5369245$3C49D02B-0F16-407A-BBDD-A764665F13AE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4edc983c61d36c1459b56a24ad03d26c05e200eb","datavalue":{"value":"CNF formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q5369245$EE3F89D0-E6DB-459F-BD39-F01EF4AC7EFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee63604621b6fd9d90b10f19ccdd9c167a66b1b6","datavalue":{"value":"parameterized complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5369245$63676045-9DD2-49A2-9CC9-AE8C0CAAB7AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19033d31dc8704678146ebf2cbc129c55b1cefb0","datavalue":{"value":"backbones","type":"string"},"datatype":"string"},"type":"statement","id":"Q5369245$E25FE5DE-8FAB-4D96-9C4C-D148E6C09D11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00fab533cd38d922e3a2c54a153ccdfb1b56ca89","datavalue":{"value":"constraint satisfaction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5369245$3B660CF1-DCA3-4AD9-AAD8-C2C43643E5D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"704254c31ada9bde1fe555a84f8259498d4815fe","datavalue":{"value":"unsatisfiable subsets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5369245$45C5A577-D077-4F3E-AFC7-296F246F45D4","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":"Q5369245$269E47B9-9E9C-4384-916F-615BEFCFEF4E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"261efa968adc0563533a2af836eb37e047b8c077","datavalue":{"value":"https://doi.org/10.1145/3091528","type":"string"},"datatype":"url"},"type":"statement","id":"Q5369245$7C847E76-5E4F-4608-8AF1-1167DF9B5A03","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"249fb8cc4084811bf78994e95f4b03edd08fb7e0","datavalue":{"value":"W2747084554","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5369245$7B88BAE2-1BEA-4065-95D8-A390FF950BC9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1527314967d9e0606d598c234aa494f3e88b630b","datavalue":{"value":{"entity-type":"item","numeric-id":896108,"id":"Q896108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9a84361d5035d94b1e68611adca2c502f44c665","datavalue":{"value":{"amount":"+0.89380324","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":"Q5369245$F2A784D8-C937-424F-B8C9-2BE5A86BE18C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5aa0f4ee0071d95906118d3a9ac09254bb1a6da7","datavalue":{"value":{"entity-type":"item","numeric-id":2942439,"id":"Q2942439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc5187a7e406669de4b7f408836384ba23747a6d","datavalue":{"value":{"amount":"+0.89380294","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":"Q5369245$62330291-5CD5-44D8-9B7A-86BA0639E5A5","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":"e4c31a9045667fc95bb5db4f37b93df11bad85f0","datavalue":{"value":{"amount":"+0.89340466","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":"Q5369245$967EE19B-4237-40AC-B139-E6767F7574A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0711f02118def7b81f9cc7fca898d5cafe36caa5","datavalue":{"value":{"entity-type":"item","numeric-id":814421,"id":"Q814421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07348a718388bcf951040df0f374d759300f894f","datavalue":{"value":{"amount":"+0.89004475","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":"Q5369245$3E96BEEF-331A-4C16-9FF6-12F70FFD49E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de1dbd949096a7d78f21a99ec0daba270838bba8","datavalue":{"value":{"entity-type":"item","numeric-id":5492890,"id":"Q5492890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71155ccf41a9564543ce3b12467844893deea0ba","datavalue":{"value":{"amount":"+0.88786435","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":"Q5369245$32B91267-5325-44C9-9B7D-F1E893CD3101","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":"b571738f73c3b44dfee3fb57e975a4dd1c12f915","datavalue":{"value":{"amount":"+0.88103133","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":"Q5369245$A533FAC8-E592-4757-A45C-6E9ECC2A78B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37e5a3b772940a8ecfa89872bb9d4e7e8b18a3d5","datavalue":{"value":{"entity-type":"item","numeric-id":2093572,"id":"Q2093572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7506252bdeadb2b16f6f17988f8f08b8af8f0da8","datavalue":{"value":{"amount":"+0.8789351","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":"Q5369245$D13668A0-FEFD-4055-9609-14FD7B36651D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd7e255a7d942781aca54f2c4def84adcc7ed289","datavalue":{"value":{"entity-type":"item","numeric-id":814599,"id":"Q814599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f79da72274a7887abd628798e30be144b5725ea","datavalue":{"value":{"amount":"+0.8782452","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":"Q5369245$F308FA5C-B55D-4C79-A7CD-AC5A8D4C716E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a801f4ed30dfd012162cd893c9b88e5ff9609409","datavalue":{"value":{"entity-type":"item","numeric-id":414424,"id":"Q414424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ae711f39c2bf8bf0b65430a451fc2b897af0081","datavalue":{"value":{"amount":"+0.87737006","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":"Q5369245$7FA3F5B7-2FE2-4B1E-A07E-5ED7C7675973","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5369245","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5369245"}}}}}