{"entities":{"Q2817997":{"pageid":2828735,"ns":120,"title":"Item:Q2817997","lastrevid":79746221,"modified":"2026-05-06T14:37:08Z","type":"item","id":"Q2817997","labels":{"en":{"language":"en","value":"Parameterized compilation lower bounds for restricted CNF-formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6623501"}},"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":"Q2817997$78A114C1-CB10-4E15-8328-3AB862E6CCF1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"87499734cdc18974070f43c45cef3218e3b1b084","datavalue":{"value":{"text":"Parameterized Compilation Lower Bounds for\u00a0Restricted CNF-Formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2817997$024C2CBF-F162-4B99-BA79-080BA6A09723","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b53237d7edde85dca014072bda7f6c6edaed5114","datavalue":{"value":"1475.68221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817997$15DD6026-9EC0-4805-9AF7-0A765E629D88","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7ef3591cb11d1e7aa2933bd2d13c74e2d018b24d","datavalue":{"value":"10.1007/978-3-319-40970-2_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817997$739692F5-B671-431B-91D7-F919BC5CDE29","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"39a64a952a06abada0a21aa13e218a56ddab0066","datavalue":{"value":{"entity-type":"item","numeric-id":269341,"id":"Q269341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817997$7320A612-BBAF-46BF-BBFF-32A1138BFDE3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0c83d828fab67264ee3effdcbdeab1b4c818c4e9","datavalue":{"value":{"entity-type":"item","numeric-id":2817996,"id":"Q2817996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817997$49702A85-343C-4B4B-B752-CB1E0C21B5F3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c42ad213f9b7f39d3e9ee142840c36c28e5864b9","datavalue":{"value":{"time":"+2016-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2817997$747DF663-0A74-4445-AE40-09D02E4617B2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"70305c91a3ded8908efe3f648fe97e7a7895c194","datavalue":{"value":"https://arxiv.org/abs/1604.06715","type":"string"},"datatype":"url"},"type":"statement","id":"Q2817997$A21573F3-EDE5-40DE-8DC3-64DC36CD4790","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817997$78D9BDC3-B419-41BA-B461-F1D27C890B12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817997$BF4AD618-3899-4923-8419-C6194C56DCBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817997$99466962-A16E-4A16-B261-43FB79FF12F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"26d486c2c3d8ef75612120cdd198013f75f5ac2c","datavalue":{"value":"6623501","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817997$ED3C4AEC-21D8-408A-90FF-6A01D97607BA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ce9cbcc0fc2b6a78318bde796c3568f4cac70749","datavalue":{"value":{"entity-type":"item","numeric-id":28582,"id":"Q28582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817997$174712D5-3291-4AE9-825E-F4660606E606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"059723faef5cc3f017dd5c912a005e78010c0a2c","datavalue":{"value":{"entity-type":"item","numeric-id":1354198,"id":"Q1354198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817997$96891153-AFC9-4EAA-92EE-292DA89F6D5E","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":"Q2817997$63E01CF9-6EDE-4E81-8FD9-3E6DDD2A3C52","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ffcbb9a7aae734864649cc921e3fa60a99e2ef8b","datavalue":{"value":"W2345030715","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817997$57DA125C-7A43-4A5D-AA7C-A311D5719E60","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5055f3ea458ef6ca5de02238b7254fe4e4933cdc","datavalue":{"value":{"entity-type":"item","numeric-id":3453225,"id":"Q3453225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817997$FA4A203E-C37C-4DD5-96D9-6916C4C1CC68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db8fe5dc7b628d11c2ffa299dac6511aa6793694","datavalue":{"value":{"entity-type":"item","numeric-id":2954991,"id":"Q2954991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817997$922BCF68-7421-480F-ACB8-999B1DF415FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7cd3eb411519b74b45d96c46b965e4c961db773","datavalue":{"value":{"entity-type":"item","numeric-id":5363766,"id":"Q5363766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817997$79D70D1B-D592-4684-B54D-4E0CC4590098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6058e41538d30b2785f508777500d056457628f","datavalue":{"value":{"entity-type":"item","numeric-id":5441353,"id":"Q5441353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817997$066BC258-9D72-4E40-B6E3-2326CE024DB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74710e9d2e1ae04d62da8162f48ee143c6479921","datavalue":{"value":{"entity-type":"item","numeric-id":4411139,"id":"Q4411139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817997$96501077-6A1D-4A47-BD3E-3DC9C04A24DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"114ade8b50ed5e5cdb0b0dc0a69a86d5910aa02c","datavalue":{"value":{"entity-type":"item","numeric-id":5363783,"id":"Q5363783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817997$A0F14A7E-8C6D-4F3A-8B23-1C333C5ECEB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db49dc2d823334d7863c8812e07ae2a69426f27b","datavalue":{"value":{"entity-type":"item","numeric-id":4507228,"id":"Q4507228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817997$7093D0AD-D6F7-42E2-8B1A-0CB1EC264EAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9579c8803fb53b27a71a5b479e41fe7d6cff68f3","datavalue":{"value":{"entity-type":"item","numeric-id":1886038,"id":"Q1886038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817997$0F4F7113-4AEC-44F7-80CA-3861DBB46883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4833820114d49b855c1ddeae8c5b185482158006","datavalue":{"value":{"entity-type":"item","numeric-id":3586492,"id":"Q3586492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817997$9C52297D-3C26-4283-BDC0-0315A13B3267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2d59f94165f4c40f7e505b0c1b9c64e67f83f94","datavalue":{"value":{"entity-type":"item","numeric-id":385062,"id":"Q385062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817997$6D486C8E-967D-49F5-AC6C-95C1B7BC3D40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f49c93e55293901f4b81ba6d96be3bae50e5114","datavalue":{"value":{"entity-type":"item","numeric-id":2957871,"id":"Q2957871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817997$D683C5AA-C269-4734-8EC8-99CB5DF1D492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2a27ac1359142dc877e852fc55fbeb35704441f","datavalue":{"value":{"entity-type":"item","numeric-id":2946031,"id":"Q2946031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817997$F44984A8-B2E4-4E64-8007-431BB52FF0F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b71433eec38a1673822bae4985954505aa142a27","datavalue":{"value":{"entity-type":"item","numeric-id":2945207,"id":"Q2945207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817997$C8AF184A-B6F2-44BF-96D5-337BA2D878E3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf33fdc72f71f8a8c50dc8cd22a004924b08d750","datavalue":{"value":{"entity-type":"item","numeric-id":778533,"id":"Q778533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90c8611afb7f5e75e3f890ac65f8e7a2e5785684","datavalue":{"value":{"amount":"+0.8402460813522339","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":"Q2817997$44BD2354-D712-4A62-BAE9-3B060AA3BA25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48078a13e984f22f5a3e13cf5e26ecda0f82336d","datavalue":{"value":{"entity-type":"item","numeric-id":3453225,"id":"Q3453225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4b5a0d5d9808d05116cb94c0fd0818a4def99ba","datavalue":{"value":{"amount":"+0.8366447687149048","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":"Q2817997$0C7CC81F-DDFB-42B0-B1B5-967E9A69F1F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bc2c3dcb5f11e24150f095c08a4d9e0ad266a79","datavalue":{"value":{"entity-type":"item","numeric-id":3305349,"id":"Q3305349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4299ed241b3e72ec3c6413d71fc574e138d69c4","datavalue":{"value":{"amount":"+0.8189768195152283","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":"Q2817997$182ABDDF-EC36-4E3F-A15F-8F113DD6E325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad5763e537190f9cb222ffb9a431897f264cd024","datavalue":{"value":{"entity-type":"item","numeric-id":5283031,"id":"Q5283031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1880a601e144effa708be393d76ebead41f5a4f","datavalue":{"value":{"amount":"+0.8186385035514832","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":"Q2817997$45999454-66CA-4FCF-AD4C-F08E10283EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d89e06115eaa85914ce2a1a826759ae367983eaa","datavalue":{"value":{"entity-type":"item","numeric-id":2181934,"id":"Q2181934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2aa8316de60489136af16e1668ae91082beda3fb","datavalue":{"value":{"amount":"+0.7777551412582397","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":"Q2817997$1D1017A7-804F-4BDC-82EA-87E100BC084A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Parameterized compilation lower bounds for restricted CNF-formulas","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Parameterized_compilation_lower_bounds_for_restricted_CNF-formulas"}}}}}