{"entities":{"Q4601867":{"pageid":6631450,"ns":120,"title":"Item:Q4601867","lastrevid":40695291,"modified":"2025-04-04T09:36:47Z","type":"item","id":"Q4601867","labels":{"en":{"language":"en","value":"Are Short Proofs Narrow? QBF Resolution is not Simple."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6829356"}},"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":"Q4601867$94ABF218-13FA-4522-8BC9-B34C157C71C5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"19c8f4315f24c34109d4944257c37e8a534bf2cd","datavalue":{"value":"1388.03053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4601867$25B4DEA5-46FD-4B94-99CE-5F691F368BF3","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":"Q4601867$CB56AAD3-793D-47D2-894B-9B044E853B89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"797d737085edf99df070e3ed71108f1cc7edbccd","datavalue":{"value":{"entity-type":"item","numeric-id":1784952,"id":"Q1784952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4601867$D8848755-C02E-4BB1-BF22-98F31EE41FF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"255779f34e1857f1e1d5d34372c6a4a28e1cfdd7","datavalue":{"value":{"entity-type":"item","numeric-id":371192,"id":"Q371192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4601867$78B3B32F-0867-4C84-9B72-A6D39E885F9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b0009674822f22156a0423b202eea1363b0e6415","datavalue":{"value":{"entity-type":"item","numeric-id":2201427,"id":"Q2201427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4601867$BC830F4A-7EBE-454B-BF2F-51B92940103A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1335161379199d9038091fb354c2f0e9ba953e5b","datavalue":{"value":{"time":"+2018-01-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4601867$EF0BC923-120A-4F12-A4A5-35ECA2572AE5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4601867$CC9BA4E1-6F0B-42CB-AB53-191381B738C6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6f48cd1afd652bd09db5588f4092a5240c645fe3","datavalue":{"value":"6829356","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4601867$CF194D80-9055-4861-BC53-6A3DBC946ABB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4601867$FAB121F1-03B0-457D-B8EF-5AAE2BD049D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dc78b1e4558056e875de92cbf8329d0562afe86","datavalue":{"value":"QBF","type":"string"},"datatype":"string"},"type":"statement","id":"Q4601867$97FD3F27-BDE1-4C1E-BFBA-D1224F34B11B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4601867$FDD70C7E-0294-49EE-8A7F-7FD8F1B0786D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"604484c26c2194bb230e9dd80db20cacc250c261","datavalue":{"value":"lower-bound techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q4601867$F2E094E0-19C6-4678-9AB1-2B9DCEF56902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6face949411ba012398a60ca5a40c69df448333","datavalue":{"value":"simulations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4601867$E3B6B746-030F-4252-AF88-6CE73E629508","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":"Q4601867$1B2C81A7-C844-4EA4-A926-AFDC177B3B69","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cd8d9a932db317b8b6e14c1170b0f5ccf4330746","datavalue":{"value":"https://doi.org/10.4230/LIPIcs.STACS.2016.15","type":"string"},"datatype":"url"},"type":"statement","id":"Q4601867$6E49E63F-D9C0-45F3-B473-5CA9F297C950","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4a958c8fa60a3051899b735fd33a5ae09407b509","datavalue":{"value":"W2288678542","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4601867$66A81053-A2A0-4940-825F-64729125534D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"96058f4343e9dbaa7f1f52ded7a27c5f962f0cd5","datavalue":{"value":{"text":"Are Short Proofs Narrow? QBF Resolution is not Simple.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4601867$121F23A4-E6EB-479A-93AC-F4218DD61367","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"667fae2527ab01b4d12cd7f47f0cedab142c72e7","datavalue":{"value":"10.4230/LIPICS.STACS.2016.15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4601867$B90E27D2-0A63-42F9-8A1D-E14D1969C94F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f75d58a9fba9ceef778618030eccb0ed9b1e160","datavalue":{"value":{"entity-type":"item","numeric-id":4608723,"id":"Q4608723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a455690be9cbb2b936ac8678a1e8381140a8ed9","datavalue":{"value":{"amount":"+0.9901658","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4601867$04E4BC68-9210-432F-9E80-84D07FDF6A49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29568667d6424b287c6206f9b1baf4d1ee7e6943","datavalue":{"value":{"entity-type":"item","numeric-id":2819584,"id":"Q2819584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e4a94cbe8af0bc6524ee33e53be6bff10519543","datavalue":{"value":{"amount":"+0.880004","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4601867$EA8E1904-7DC2-4F62-9DDF-1C203DE423F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67ff8464602a5033ddbcbed7710f98cb87c90ec1","datavalue":{"value":{"entity-type":"item","numeric-id":2181919,"id":"Q2181919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"906336570324c782df6250350b42e6a81de6b57e","datavalue":{"value":{"amount":"+0.86042804","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4601867$58557ADB-7178-4D6E-88AF-EA4DA6AD7601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"507b3bfe8aab15501c87e7358c5f5c7db473c6f4","datavalue":{"value":{"entity-type":"item","numeric-id":4406287,"id":"Q4406287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3803c5838cae619669245403900f5af97ca9eabc","datavalue":{"value":{"amount":"+0.8538508","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4601867$2299EABE-AF18-4E00-B854-B7B3AFDE15E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2a2496ea2c4da2cfae5cfd72cb8059e957e6ea5","datavalue":{"value":{"entity-type":"item","numeric-id":4699307,"id":"Q4699307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2840f2a3d73bccf768e0dcb3cd543d4f28a6dc4","datavalue":{"value":{"amount":"+0.8460259","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4601867$B64544A9-1895-4149-B727-62A27B59F7AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f63a7860184cdd81bff16907d8ba0c68bd5a29e","datavalue":{"value":{"entity-type":"item","numeric-id":2656352,"id":"Q2656352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f0ccaa9bd84e22a112e811d507c51f9faf18355","datavalue":{"value":{"amount":"+0.8272662","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4601867$DBA110AB-A1A5-47C0-A656-907D348B4746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fa89057f4906c43e874fd26e87e45b702550108","datavalue":{"value":{"entity-type":"item","numeric-id":3192061,"id":"Q3192061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"182ebb5b9945a0b231450021ad89695ebabe4b2b","datavalue":{"value":{"amount":"+0.82568586","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4601867$12C3BDE3-2F36-4BF9-8912-22B39F3FA3D4","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":"0aa2bbfc4c62577eb21799c4594bdc01a1a2c3e4","datavalue":{"value":{"amount":"+0.8238633","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4601867$1270B142-4782-407D-B032-6726500298B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e6e396fa66334b947dcd82b2b6879e797832123","datavalue":{"value":{"entity-type":"item","numeric-id":1680258,"id":"Q1680258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4178afee87860ef29da03d89151c3640bf6814ae","datavalue":{"value":{"amount":"+0.8202888","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4601867$3D93A630-06CE-4DD5-8021-8AF76483DF0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f7206b8f92a7a4e7fadebf0526f74b03924b66f","datavalue":{"value":{"entity-type":"item","numeric-id":5087078,"id":"Q5087078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21e6af4f14755075852aff9fbd5ba47743699d1e","datavalue":{"value":{"amount":"+0.81578135","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4601867$CE5CB213-9587-4B16-AA73-573C653E694B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4601867","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4601867"}}}}}