{"entities":{"Q5053061":{"pageid":7082638,"ns":120,"title":"Item:Q5053061","lastrevid":54456551,"modified":"2026-01-26T20:44:53Z","type":"item","id":"Q5053061","labels":{"en":{"language":"en","value":"Reasons for hardness in QBF proof systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7626546"}},"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":"Q5053061$D1A99EF4-78CF-415D-9829-6C420C18A323","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b30ea17b4cd3d4a17a09868c232842b63508c49d","datavalue":{"value":{"text":"Reasons for Hardness in QBF Proof Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5053061$7855AAE7-BB64-4205-88D4-7D98E669DCCB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"87080326813b659cc0265b468ba23904b1c88538","datavalue":{"value":"1499.03053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5053061$842795C6-6A1E-4CD6-ACD7-E1D4492EAEA2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"902e00af228bd0c5b36b7064a461983b815d82e4","datavalue":{"value":"10.1145/3378665","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5053061$52717EBA-07F0-47F8-B14C-EDCA01DB0450","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f204cca5cb3a5d17167bf45cc964ea1212f0eef1","datavalue":{"value":{"entity-type":"item","numeric-id":553295,"id":"Q553295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5053061$566C40D7-7B62-4200-BFA8-F1004BBC7FF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c39671edb67b981ee5694c2c0f25c16bebfaa80c","datavalue":{"value":{"entity-type":"item","numeric-id":2272982,"id":"Q2272982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5053061$204987C8-0936-4534-9766-FF6FBF3C74E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbd280028d852be0bb1791a3912dfc76b7046ce1","datavalue":{"value":{"entity-type":"item","numeric-id":466446,"id":"Q466446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5053061$6DDDA778-4511-463F-8290-FBA8202A3B03","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"64bbaa3c401dec878328d8d72c14b0373fd9aac2","datavalue":{"value":{"entity-type":"item","numeric-id":92716,"id":"Q92716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5053061$5C89D387-F7A9-4C60-B48C-33095F399BC1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f0a25f233647d1bcbaee47b52fc4ae8005a47e7d","datavalue":{"value":{"time":"+2022-12-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":"Q5053061$A89B1021-AF30-450B-AB08-DF7476D122CD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5053061$C26BACF8-4C60-4DCC-922E-180505EB578A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5053061$665C3645-1F54-4B21-A7A6-EB1366E9E99D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0407ec79921664aedad69f2ea12eaf32b1bb5b90","datavalue":{"value":"7626546","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5053061$6F632E40-1F7E-41F5-AD89-45FE49B7CA38","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5053061$2AD64DD7-D493-4957-BECC-9C6DEE2B602E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e0192fb524376f45dfdd3eb1a809bf3cd5a9489","datavalue":{"value":"lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q5053061$A8AB5475-2122-4105-9BF5-49E02E590198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f805b7faea11905894680953dd9b9dfc3dd4258","datavalue":{"value":"quantified Boolean formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q5053061$1CA0ECE9-56AC-4036-B0F0-97AFFBAB6658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q5053061$C9E832D4-AC24-4DC7-AD82-46EBA642C665","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":"Q5053061$3F47FADB-2ABD-482D-B7E6-E5EE1EBE9ECC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d5743d9cba003157b7045869056e6ef09f52c71f","datavalue":{"value":"https://doi.org/10.1145/3378665","type":"string"},"datatype":"url"},"type":"statement","id":"Q5053061$9E908542-40BB-4153-9E78-9CCB194F226E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0d200bce02535cd5731ec993e2f688e2c2045447","datavalue":{"value":"W3009797996","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5053061$BF8EC5CC-D22F-499A-B341-5AC823FBA51B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec40f5cb86fb2828fdd2637c742e85534e14189b","datavalue":{"value":{"entity-type":"item","numeric-id":5136303,"id":"Q5136303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a271e0f4db2b4d3692fc3b2fd7c780033cfb5f8f","datavalue":{"value":{"amount":"+0.9883726835250854","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":"Q5053061$AA45D716-E589-43E1-AA36-D8C14F985707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f579c5174dbc904f2d81d8da1b65db3df333552d","datavalue":{"value":{"entity-type":"item","numeric-id":3304096,"id":"Q3304096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3601afbb824aaa9afdd68c703e9f1b7ec03bb7f","datavalue":{"value":{"amount":"+0.8606486916542053","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":"Q5053061$C8757525-BD03-4211-8325-13A5A10ED38A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfce90d13d4e18b12fc2cb127f32b95c58d30a6a","datavalue":{"value":{"entity-type":"item","numeric-id":2954985,"id":"Q2954985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7e6c0dc0d030b69cd138f9629153a2ae4e6073d","datavalue":{"value":{"amount":"+0.8594271540641785","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":"Q5053061$530394FC-AFA8-4411-95E3-E3EDF287B142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50cf41f596b930f7a683c9f042edf9877d0c3bb2","datavalue":{"value":{"entity-type":"item","numeric-id":2800571,"id":"Q2800571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ea3eb0bd50d3d4be19be44e0289ee2f5a14eaef","datavalue":{"value":{"amount":"+0.8552557229995728","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":"Q5053061$78C08296-DCFF-4CE3-9250-5A9108F4F671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36552accf57401e43f029f0f3b2bcad86a873f98","datavalue":{"value":{"entity-type":"item","numeric-id":1987510,"id":"Q1987510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c12e07488b47422dd9d04e13d9cb08a08054a4a8","datavalue":{"value":{"amount":"+0.833572506904602","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":"Q5053061$69B1CEF4-F6B5-43F4-93CA-5977F5709122","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5053061","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5053061"}}}}}