{"entities":{"Q2062864":{"pageid":2073606,"ns":120,"title":"Item:Q2062864","lastrevid":82434347,"modified":"2026-05-06T20:53:59Z","type":"item","id":"Q2062864","labels":{"en":{"language":"en","value":"Correction to: ``Near-optimal lower bounds on regular resolution refutations of Tseitin formulas for all constant-degree graphs''"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7451420"}},"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":"Q2062864$873C8736-8CBF-4F51-9E95-9B600B6CC226","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"508467dc221f328e096a2f9dc6b8e9ad4c83d48f","datavalue":{"value":{"text":"Correction to: ``Near-optimal lower bounds on regular resolution refutations of Tseitin formulas for all constant-degree graphs''","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2062864$4A2B406E-5D5A-4D93-BF1F-3655D53C7CEA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"74efe74cf6a1a588fa17da7c35604ff1c2aea60c","datavalue":{"value":{"entity-type":"item","numeric-id":1625179,"id":"Q1625179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062864$1F3610C5-D071-4A4D-AB86-51444EC77B45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"05437bba94b845806f30a1c8fcf0e8e57922d1ce","datavalue":{"value":{"entity-type":"item","numeric-id":1983327,"id":"Q1983327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062864$9C08DB9A-3116-40C1-A3C6-90EC6B0D418C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4455f008bf4e3ec1c2a5c221796cad2c75b53183","datavalue":{"value":{"entity-type":"item","numeric-id":1983328,"id":"Q1983328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062864$D235B2E2-F97B-49CB-9208-1BDB11886BAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9dd58384b41cd0e0a1a2a3006084e0e7c07e0e8","datavalue":{"value":{"entity-type":"item","numeric-id":413275,"id":"Q413275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062864$5F945098-2D99-49B7-9B84-35F7C7E2448F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4472b31ebff52fa964618256e5b76c8eb3e874c2","datavalue":{"value":{"entity-type":"item","numeric-id":172540,"id":"Q172540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2062864$B17A55B4-37A2-489E-B101-072AEBB1507D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"af49efd26010b4160b051c86a282dcb3745069b3","datavalue":{"value":{"time":"+2022-01-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2062864$D87A7D21-A305-435F-B7DE-53A00986F2A6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2062864$DE3C2117-BC7D-4FC8-ABCD-F1B6B3AAB379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2062864$54C8B45D-E2F8-47BB-9754-D22A907E36A7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fba7787ba5705ace4b825c5e5333729982ee05d1","datavalue":{"value":"7451420","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2062864$6AE8625D-369B-4453-A59C-5DA89A5904AB","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c1b081136b4d8ce4ec614e0ea42a687a48f1a0f6","datavalue":{"value":"Q113906240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2062864$FED856CE-67BD-42B6-8AC0-350333A34DBB","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":"Q2062864$2AA0BDD8-A18B-49A7-B72D-5261AC4895FC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"04fbb3882e5af83529acc59886837abeb809b040","datavalue":{"value":"https://doi.org/10.1007/s00037-021-00216-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q2062864$AEEA15A5-95E7-447D-AD9A-E9B6F2585473","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f2544132abf2c05abfdc5b5d64991af570a0056f","datavalue":{"value":"W3211919789","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2062864$345CED11-C748-4665-BFEB-89A1B2EEEBAD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4d5ab7b33e41db195be5c29b2f3470f3411d8a35","datavalue":{"value":"10.1007/S00037-021-00216-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2062864$CA362BA0-B9AE-4D62-A6FF-26BA374C1AEF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Correction to: ``Near-optimal lower bounds on regular resolution refutations of Tseitin formulas for all constant-degree graphs''","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Correction_to:_%60%60Near-optimal_lower_bounds_on_regular_resolution_refutations_of_Tseitin_formulas_for_all_constant-degree_graphs%27%27"}}}}}