{"entities":{"Q3082962":{"pageid":3093677,"ns":120,"title":"Item:Q3082962","lastrevid":51210539,"modified":"2026-01-17T06:29:04Z","type":"item","id":"Q3082962","labels":{"en":{"language":"en","value":"Minimal unsatisfiable formulas with bounded clause-variable difference are fixed-parameter tractable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5867721"}},"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":"Q3082962$630FA65E-F84F-4CA7-B037-219DC92F2E77","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a66b987bf74fd09b3d0a4c4a738df85722e22479","datavalue":{"value":{"text":"Minimal Unsatisfiable Formulas with Bounded Clause-Variable Difference are Fixed-Parameter Tractable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3082962$E7FD3BE0-4E7C-4273-A827-2924EFDD62FC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f2b3ee23b985a91f5b155f22d33860faa2f4522b","datavalue":{"value":"1276.68086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3082962$F30B4DE9-62EA-42F8-BC97-07DD8E130108","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a5c7e45f00dfc66ede63d90afb2061ac2669d1ae","datavalue":{"value":"10.1007/3-540-45071-8_55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3082962$8E5A6C8B-9AFC-46F8-BE41-CBE29C3F86E5","rank":"normal"}],"P16":[{"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":"Q3082962$01CA4A61-CD2B-4ED9-91C0-04BCB9558C56","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":"Q3082962$A1DEED7C-5EDA-47EA-AF34-32855EA93C4E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"491e77b99273305a3a3bbdb2dd66a2b0304c39fc","datavalue":{"value":{"time":"+2011-03-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3082962$61D88262-3E1D-4E51-938F-26634759F2EB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0ea48c8db76147ebf7d678f27cd54027d07e0197","datavalue":{"value":"http://dro.dur.ac.uk/610/1/610.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3082962$33C738D4-AE0C-4225-AE70-FAFC67970EAE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3082962$50823ED7-99C4-422C-BCB7-BAF6440A97AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79b3bc872b6637176b35f9e46ac855febbf884f5","datavalue":{"value":"68W05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3082962$4442C3C6-A7F9-43B9-B5C8-E4D0FD8943F0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1987b15c6286e913d628358acdcc07110989749d","datavalue":{"value":"5867721","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3082962$D61BAD07-A6A5-434E-979E-A3F45F6AA895","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":"Q3082962$B93E38F0-6A69-4E74-9A3A-7162B51FC4D1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"861952c039625115cd5672f7de0f9e8a5ed150e1","datavalue":{"value":"W1493350325","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3082962$27185AEB-8ADF-45EF-BCFC-A56A294DA9E3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d9ff714fa2bf0640f604531d7bbd74f6f4b166a","datavalue":{"value":{"entity-type":"item","numeric-id":1765303,"id":"Q1765303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8355e5a9969b9daef5a839da560565179794558","datavalue":{"value":{"amount":"+0.9798240661621094","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":"Q3082962$FBAAB66A-9BC0-4003-918E-142A4C038BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ecdb3146117de732fbd82638b7e590a701a54eb","datavalue":{"value":{"entity-type":"item","numeric-id":1853541,"id":"Q1853541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12b0c552d34ecf585d98840227eaa525b5323e35","datavalue":{"value":{"amount":"+0.8892991542816162","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":"Q3082962$5D8C105F-324D-4741-83B4-3831A57BFD87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e46b9d50bd05642ead4f78dd5455c8bbbb978580","datavalue":{"value":{"entity-type":"item","numeric-id":1961649,"id":"Q1961649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d98d17c51b67ba0c9e9bdbd2b788e5b8e853c684","datavalue":{"value":{"amount":"+0.8429666757583618","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":"Q3082962$120BC416-C8D5-4190-B575-D8855A04C36C","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":"bd5dfed966779e601838ffd2b67b4d8642bb3013","datavalue":{"value":{"amount":"+0.8428040742874146","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":"Q3082962$CFF36E3D-4CCF-4BE3-981E-892A8874025E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2cfb41756e8ccfefb4b225fce6e9d3280f5e028","datavalue":{"value":{"entity-type":"item","numeric-id":1841884,"id":"Q1841884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b52b565f4f9cd5389ed5dcd3a8e1c45b9df6d14","datavalue":{"value":{"amount":"+0.8114954829216003","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":"Q3082962$3D557036-DDB7-4D84-A764-F6184966661F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3082962","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3082962"}}}}}