{"entities":{"Q2049975":{"pageid":2060717,"ns":120,"title":"Item:Q2049975","lastrevid":78423701,"modified":"2026-05-06T11:33:37Z","type":"item","id":"Q2049975","labels":{"en":{"language":"en","value":"On the parametrized complexity of read-once refutations in UTVPI+ constraint systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7387689"}},"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":"Q2049975$141D9CFA-C7DF-41BD-9D46-1FB1B589D4D3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"558af2a0758f1db7702f9b17e36148cb276b3cd9","datavalue":{"value":{"text":"On the parametrized complexity of Read-once refutations in UTVPI+ constraint systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2049975$2299A0FC-1D89-4F04-AC0C-0A63703F34B0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2049975$062E4EB8-6D03-4E3C-B8AF-EBF1021539BF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2049975$F46B7D7E-A4AC-4411-B6FC-224514593986","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"38f1072db89d93604c8c913d1acaf728e97560e7","datavalue":{"value":{"time":"+2021-08-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2049975$D2888B58-562F-4828-8C68-7A1422CE8F09","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2049975$61D3B5D7-A0B2-4AB0-B103-8C0E6E3121C4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6f3a6c4652a53cb6bd6fdc0069ebc8cb5d3e01d6","datavalue":{"value":"7387689","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2049975$F1C406A4-F1D0-4503-827A-6837406521FB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75458ea8919b2ebf29f985459a3df17f711af688","datavalue":{"value":"unit two variable per inequality constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q2049975$0CB04E2A-5C75-4204-AF77-9897AE6FE162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f78ad336d5e5c2e381437cb457b9fde37e3f4f7","datavalue":{"value":"network flows","type":"string"},"datatype":"string"},"type":"statement","id":"Q2049975$CEB23E51-3AB9-4894-BC95-F6F0112FED69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c23ab83b0e0b7402d2b88769b37817a48d25bf49","datavalue":{"value":"branching","type":"string"},"datatype":"string"},"type":"statement","id":"Q2049975$D508D903-39BA-49BB-94A6-18EE1EC5B5DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee63604621b6fd9d90b10f19ccdd9c167a66b1b6","datavalue":{"value":"parameterized complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2049975$740D9070-DD6F-43FD-AE27-64EC738ACCAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6875ec2def16b48a9065ad482b76c42c8d93cde","datavalue":{"value":"strong exponential time hypothesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2049975$87A8DBD8-8B26-4409-B0A6-A0E4DD5F466F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea331a608235275cb46359021c5435d67baad807","datavalue":{"value":"read-once refutation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2049975$27ED04D5-35E5-4A35-81E7-B7211854BBB8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"85575b60ef4d0a8413d3c895be2530b8915bc3fb","datavalue":{"value":{"entity-type":"item","numeric-id":16612,"id":"Q16612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2049975$14813639-94F8-49F0-BC2D-2231A0EAF331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2049975$A4FD4BA8-0060-4113-944F-67B6C145ED47","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":"Q2049975$C0FA199F-7231-4F0E-85B7-D56E3974C63B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"defe7e55713ea448327973db75a6d77b5520e41a","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2021.05.007","type":"string"},"datatype":"url"},"type":"statement","id":"Q2049975$44D29301-3FC9-45C6-9D84-231FBA038397","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"491ebd931933cb5f4bd073a93f1eb16fc233bfcf","datavalue":{"value":"W3179772470","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2049975$6A33D98E-A04D-4E59-B701-96DE6F62EC17","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"beafd09c79dfa9f43f527c7e484481f6934843d2","datavalue":{"value":{"entity-type":"item","numeric-id":3056948,"id":"Q3056948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2049975$01B32A9B-AD5E-4E80-B7F9-8F25D81EFF50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d8653d2e6f53b17cedec7b9470bcf88609d4f1f","datavalue":{"value":{"entity-type":"item","numeric-id":5320667,"id":"Q5320667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2049975$52CD6272-666B-45A2-9726-2A1A54E12A63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41b19a3632c2026e90215c41118dbb16f94a23ae","datavalue":{"value":{"entity-type":"item","numeric-id":1034099,"id":"Q1034099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2049975$DABFDC1C-B229-4187-B9FB-41E5B83C7BB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39247c00a7ce4823ead5de23d97d8ba01016b1f6","datavalue":{"value":{"entity-type":"item","numeric-id":2445839,"id":"Q2445839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2049975$978A1919-0E3B-4A01-9F72-3028A0ED0D9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84cd95cf02b7dbafb93c86ebe14d49c6f978bfdd","datavalue":{"value":{"entity-type":"item","numeric-id":1751662,"id":"Q1751662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2049975$D34799E9-4139-40B0-AF30-2E78CAE8F8D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85900b4df4cad2d3e2046dfcd6398b6a189b934f","datavalue":{"value":{"entity-type":"item","numeric-id":5464752,"id":"Q5464752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2049975$2A634505-758B-4C00-9175-F1329187F7E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f1c9b30d63dba402510d5838237495966fbe464","datavalue":{"value":{"entity-type":"item","numeric-id":5756581,"id":"Q5756581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2049975$62484EE5-0F0A-4B3F-8C2C-CD2870800EF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08cc9cdd9999a46859ae4f667ab34baac016718b","datavalue":{"value":{"entity-type":"item","numeric-id":5502162,"id":"Q5502162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2049975$7CF2E873-2647-4759-B503-E2D297133C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97899b2a503251389d97100a20e4ddcb6332a1d1","datavalue":{"value":{"entity-type":"item","numeric-id":4646517,"id":"Q4646517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2049975$E0743DE4-B7BE-4A03-A322-7EA34DFC0E2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f8578dc33f61f9f52084ab063ce58f84067974f","datavalue":{"value":{"entity-type":"item","numeric-id":619903,"id":"Q619903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2049975$3737E999-3694-4B29-A85A-6F88044EBE3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb17a28cc43d842c9db5f945e5260121e7b7f4cb","datavalue":{"value":{"entity-type":"item","numeric-id":3138921,"id":"Q3138921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2049975$545D4D6D-5622-4ED2-8035-9C33769F6B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9844f0c0b563447e59b77eb7bdae75f92223ddb1","datavalue":{"value":{"entity-type":"item","numeric-id":4419674,"id":"Q4419674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2049975$9CDB67CF-B9D3-4012-A858-3AF94E97B5AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85859d4bf1a3e88a94a43f3e1ce8b0cfd1f2c77b","datavalue":{"value":{"entity-type":"item","numeric-id":3002852,"id":"Q3002852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2049975$A9CEEEAD-4C0B-4F4A-86FC-59F9DE7B9D23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bd1e7bf79c6262e81ef7bc0a6313593b52b403a","datavalue":{"value":{"entity-type":"item","numeric-id":2884548,"id":"Q2884548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2049975$4F8ABC2C-9F2D-41DD-B36C-176ED69EC26F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c9fc22a32f500a3420cc5b4ffc482e11c1338e3","datavalue":{"value":{"entity-type":"item","numeric-id":1749535,"id":"Q1749535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2049975$EAE1D4A6-9AAF-4C65-94A5-16E35CCAF719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54df13eb01be31e77d317d82a5c7216e0c97116c","datavalue":{"value":{"entity-type":"item","numeric-id":2180223,"id":"Q2180223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2049975$E140E8FD-05E2-4264-8F72-EB71E4F4262B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25f2a499aa442a03c1708933f2c21f395f3a4f4d","datavalue":{"value":{"entity-type":"item","numeric-id":1610491,"id":"Q1610491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2049975$6DDCB379-6052-406C-832C-E03B0CC8ED31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b727f36fcbaabb8015ffe634c3469ac7c0019f","datavalue":{"value":{"entity-type":"item","numeric-id":5491898,"id":"Q5491898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2049975$97D65D7E-BD0E-4855-B563-8E06854B7E2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd6f205a11f3d8ebe2e6f8fd38842f98916ec8b9","datavalue":{"value":{"entity-type":"item","numeric-id":4904144,"id":"Q4904144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2049975$615C20D6-40F2-45AE-8092-73AC2F4EF81A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa917cd1e9b5468ee39ca98d36ef385b02222f9c","datavalue":{"value":{"entity-type":"item","numeric-id":465678,"id":"Q465678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2049975$48E8AACD-F993-41CF-9F6A-2AD8B6B3DD3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e61caeb9ccf34c77ec2a456b135b01b408ce9535","datavalue":{"value":{"entity-type":"item","numeric-id":853733,"id":"Q853733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2049975$1741F515-D266-4AD2-9844-066D52BF37ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30b1084f552b72c969bd4feb6fb1c5a8e2058162","datavalue":{"value":{"entity-type":"item","numeric-id":3813613,"id":"Q3813613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2049975$CD3D7A16-8D8A-493F-98DC-224C2C099756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd877b6e0ee76607d8a0a907e313c72ea9b6cbfc","datavalue":{"value":{"entity-type":"item","numeric-id":3079912,"id":"Q3079912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2049975$DD312858-134F-43D1-B906-06CD865F5C76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83ed8ce59c0eb8d7f29eaf2566826020c5c15da3","datavalue":{"value":{"entity-type":"item","numeric-id":846163,"id":"Q846163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2049975$E55DC6AD-BCA0-45EF-8188-5BE02499A641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cc0deca078f11a055615ef53b3ff36babd45ebe","datavalue":{"value":{"entity-type":"item","numeric-id":2415363,"id":"Q2415363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2049975$8D1D0422-1E3C-41E0-8E54-1A7E671906CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"975857b4102edd8f5c3a368d6243f0d960c3b94d","datavalue":{"value":{"entity-type":"item","numeric-id":4539605,"id":"Q4539605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2049975$0E999979-3A9B-4D90-9179-43F64C74E969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ef86d27229f88234625ab5cf631770a7bacc164","datavalue":{"value":{"entity-type":"item","numeric-id":794427,"id":"Q794427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2049975$118EA4F1-205D-422E-94C2-D6E36B7F7C60","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4531cbac83f0da005f5b4191fb80b05baad38ac5","datavalue":{"value":"10.1016/J.TCS.2021.05.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2049975$24DDEF68-C1F6-4B9C-9ED3-F5D255A3BF7F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2acc742d08b68d26ee735bad91beff63dbfd429e","datavalue":{"value":{"entity-type":"item","numeric-id":2415363,"id":"Q2415363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0683c9a8a0975520ae87e64c3a16d4471204b06b","datavalue":{"value":{"amount":"+0.8730285167694092","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":"Q2049975$C2015176-376B-4A9C-8C90-E6B6C2817DD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"261d1ed556af9cc53a111fbe558041d4e6418288","datavalue":{"value":{"entity-type":"item","numeric-id":2684489,"id":"Q2684489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4aed7746e463798310fa3fcebe6c0a902527b1d","datavalue":{"value":{"amount":"+0.8032982349395752","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":"Q2049975$260CE66C-2233-46CB-A370-F9B050F08406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7d6ffa05f43a53257a898e6a064fa9628f9beb6","datavalue":{"value":{"entity-type":"item","numeric-id":777309,"id":"Q777309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5887912e313ab68941eb8ffa13f533b67b66b8f","datavalue":{"value":{"amount":"+0.7987233400344849","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":"Q2049975$578F47A6-E39E-4F13-AF62-51F41A482E9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ef471a74d97e05389ec5460f046dd282dab09c9","datavalue":{"value":{"entity-type":"item","numeric-id":5309034,"id":"Q5309034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edaa97458921d68b9d787a7275a2a1bef4876daf","datavalue":{"value":{"amount":"+0.7621235847473145","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":"Q2049975$BE2908BA-AF1A-4367-9A46-8DCA4C77F8BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac3616577871be6e3df6caca624d2489260d7e79","datavalue":{"value":{"entity-type":"item","numeric-id":2899084,"id":"Q2899084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53e4aeca507e2245df5dfbd29f85d44024e9b712","datavalue":{"value":{"amount":"+0.7565076351165771","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":"Q2049975$1DEFF5EA-C877-4F7A-89D4-1A8E6569F91E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the parametrized complexity of read-once refutations in UTVPI+ constraint systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_parametrized_complexity_of_read-once_refutations_in_UTVPI%2B_constraint_systems"}}}}}