{"entities":{"Q5205822":{"pageid":7235393,"ns":120,"title":"Item:Q5205822","lastrevid":53617955,"modified":"2026-01-25T10:50:06Z","type":"item","id":"Q5205822","labels":{"en":{"language":"en","value":"New resolution-based QBF calculi and their proof complexity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7143742"}},"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":"Q5205822$2DDFD224-044D-426D-888B-FF48732F6229","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5bacc0541a356d6ae031a6f82554c6f6241f83f0","datavalue":{"value":{"text":"New Resolution-Based QBF Calculi and Their Proof Complexity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5205822$7A85E658-B520-4A56-8795-705AA9620A80","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9037f3060d7481a8747918287f674563414a8d83","datavalue":{"value":"1496.68362","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5205822$A03F0E78-E2F3-4418-A88E-C9FA7F1DCFD9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"39e4463a3a6721ddfeb22e0108e725705c4edef2","datavalue":{"value":"10.1145/3352155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5205822$8DFEC0AC-DADC-43FC-AF3F-2C103297789C","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":"Q5205822$4C3AE105-7F12-4A01-A276-C7FF866C397B","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":"Q5205822$D71DA5AF-2E5C-494B-B64F-B5C90C24C8CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e24c4e43654848209a68060f96d6b8df113db0e5","datavalue":{"value":{"entity-type":"item","numeric-id":253961,"id":"Q253961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5205822$896C7928-C499-4047-9CA0-DE31275CEA76","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":"Q5205822$B92CD031-FD8D-4E5B-9082-6B6725FA3234","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cac9a915e77aced7748899892aa9db4ed0b653c7","datavalue":{"value":{"time":"+2019-12-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5205822$8CFB137D-FB40-4467-8587-BB76ED50032C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5205822$71E889AA-AA9B-4106-BA3F-982298415C18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5205822$2D7A0AA0-DF1C-4CE7-A36D-C2DC24DBA814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5205822$D217B21F-56E0-4346-98B9-C803DFE7B652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5205822$3F33A443-DEAC-44AA-823B-99887B614F6D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"36a884366f5088792feaf4e7ff431ef89756bfa5","datavalue":{"value":"7143742","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5205822$33C00561-6A71-41F7-A223-2C81602721BC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5205822$E26750ED-B898-422C-97FA-94BCFF01C525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dc78b1e4558056e875de92cbf8329d0562afe86","datavalue":{"value":"QBF","type":"string"},"datatype":"string"},"type":"statement","id":"Q5205822$A4720584-4599-45B0-9482-761ECAE4FC87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"604484c26c2194bb230e9dd80db20cacc250c261","datavalue":{"value":"lower-bound techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q5205822$133751B7-4246-4CFF-A9D6-0936D3A39D8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96b99193434b160c0229142e122a12419e6dec02","datavalue":{"value":"separations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5205822$08F26338-44D5-43BC-8517-E955B35603A6","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":"Q5205822$DD7F5086-B779-461C-801D-FDDF809E928A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"53df61f4a46cda6fd535c182b3f1e77ae0885b0a","datavalue":{"value":"https://doi.org/10.1145/3352155","type":"string"},"datatype":"url"},"type":"statement","id":"Q5205822$B7568AF0-AC4E-45ED-9098-96F2912AF65D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"75d864fe261b0acdca643f30991fa7ef97cb290f","datavalue":{"value":"W2972754151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5205822$47E14E54-728D-4F36-9B93-E1B003441E8B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9b92b708ac6c1fb7939fcefe26fe50712c2f21d8","datavalue":{"value":"Q127239097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5205822$9EB4B863-EBB9-4433-ACBA-0614B8EE8647","rank":"normal"}],"P1643":[{"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":"22fa155426220c458fefe1bfea4452ac1c513bb9","datavalue":{"value":{"amount":"+0.9656842947006226","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":"Q5205822$EA27D404-ECC1-40FC-8205-297F8D82E9AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"158f5dbceda60edaf127b1a6d8e93d2411f83997","datavalue":{"value":{"entity-type":"item","numeric-id":2922598,"id":"Q2922598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53fb77704487b65092cb68eb222f835ae1629684","datavalue":{"value":{"amount":"+0.8821251392364502","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":"Q5205822$904827DD-FDD3-4131-B816-9824FDDFDF79","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":"60063a70c7f724379f886131a157ed88534b27d6","datavalue":{"value":{"amount":"+0.8576446771621704","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":"Q5205822$523087C9-0CBA-4246-8484-628B6D4BED59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c6505004c7d850880d939618afa2db85f00ba60","datavalue":{"value":{"entity-type":"item","numeric-id":2339467,"id":"Q2339467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f99b38ea8a554c45ea3a3154e982c396a2c62ff","datavalue":{"value":{"amount":"+0.855302631855011","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":"Q5205822$100F825B-74F3-44CD-941B-EBF989297939","rank":"normal"},{"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":"2c423b943a07428185ab297ee4b780c85e9abdb7","datavalue":{"value":{"amount":"+0.8470672369003296","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":"Q5205822$8F5B2DFD-CE11-4D0F-9638-C23EED1D06C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5205822","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5205822"}}}}}