{"entities":{"Q2118330":{"pageid":2129073,"ns":120,"title":"Item:Q2118330","lastrevid":43521117,"modified":"2025-07-30T13:45:47Z","type":"item","id":"Q2118330","labels":{"en":{"language":"en","value":"Proof complexity of symbolic QBF reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7495588"}},"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":"Q2118330$81148218-6459-4E13-9A97-A8764EA2BD95","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4c39bf1a947129d3f8a24f8b785735b55324fec6","datavalue":{"value":{"text":"Proof complexity of symbolic QBF reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2118330$06853616-80F6-4602-B446-772B4EBB4273","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bf6d32fd78a67e25381f9fe972bf188d8b128631","datavalue":{"value":"10.1007/978-3-030-80223-3_28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118330$ECB4E9E3-10D1-4B59-8F70-AE803A45D58D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"39a64a952a06abada0a21aa13e218a56ddab0066","datavalue":{"value":{"entity-type":"item","numeric-id":269341,"id":"Q269341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118330$6885C3C0-3009-4633-A0C4-62F67CFEE8EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea7245a8985e7729dbb2100021fb8a2a32efed15","datavalue":{"value":{"entity-type":"item","numeric-id":287385,"id":"Q287385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118330$A7F87C7A-594F-402D-B132-D21DEDD779FD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39b1515277af1c7c28c7fc6f6f97d2379899717d","datavalue":{"value":{"time":"+2022-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2118330$4C979129-42B5-4327-B91B-F7FED3926744","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"09e29b9c81337311bf584404aa43579387fd60af","datavalue":{"value":"https://arxiv.org/abs/2104.02563","type":"string"},"datatype":"url"},"type":"statement","id":"Q2118330$5380D2F1-1422-43EF-9C11-0BC3AE8C5395","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118330$85C10380-0C9E-47C4-B646-B39969FCE9E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118330$B06444DF-7BC2-430C-9614-F4E00E5216D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118330$074E5B89-60D9-4815-B4B5-547E9898394F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"82142defa762c6826580f2a832394112b27ba2df","datavalue":{"value":"7495588","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118330$F917BF24-AB09-43AA-9271-0AFC43FFCE52","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1bc012cf10551bf42bb05efd85ce69678e698524","datavalue":{"value":{"entity-type":"item","numeric-id":16622,"id":"Q16622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118330$8DD4156C-A240-430D-BB15-0442A2FFEA5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8cc02a4d5cfe357c7398b8045c9b55b5580560aa","datavalue":{"value":{"entity-type":"item","numeric-id":19323,"id":"Q19323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118330$80084BF5-B55B-4F20-B7D9-E85983A22278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6b38d41f42be9a63abc418d73603b2d531b26a9","datavalue":{"value":{"entity-type":"item","numeric-id":21713,"id":"Q21713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118330$A02F8EA5-BE0F-4C06-8EA8-9CB4E6B01232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"62d5577a6426dd4bc6f53a7537d5e52c18adb6e4","datavalue":{"value":{"entity-type":"item","numeric-id":5974402,"id":"Q5974402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118330$9744B5B7-D246-4FB4-B6FF-867B0E9F2AC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f977d90147989768e21daaa75bb9e675b4c21143","datavalue":{"value":{"entity-type":"item","numeric-id":5973448,"id":"Q5973448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118330$1EEC331A-FEE3-4BC2-8A23-0F32D9030469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"36ac489b116ea9c72cdd6f5aeb7f35ddb61dc6c4","datavalue":{"value":{"entity-type":"item","numeric-id":37655,"id":"Q37655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118330$F63A82A8-81E2-46FE-882E-20B55AD0F224","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":"Q2118330$F1E07B35-EB15-4607-AAD7-A982D1F9D61F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3500c93ea46ef604552e2fd11979e127121e8512","datavalue":{"value":"W3184676641","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118330$8D347A4B-12DB-4ECE-954E-7D390AF19768","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4690405eee8895f3745c3a69ec2e82721cd12da","datavalue":{"value":{"entity-type":"item","numeric-id":5900286,"id":"Q5900286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118330$47AB6706-CC22-468D-B254-D0B21D51236A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"024f5f642d34b86085d7b9145b61316e312fd268","datavalue":{"value":{"entity-type":"item","numeric-id":2441712,"id":"Q2441712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118330$483ADA25-26E4-4208-BAC2-E77A7E0C2E9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1df79eccf9b3fe480906a64470a2d0251e219797","datavalue":{"value":{"entity-type":"item","numeric-id":3192061,"id":"Q3192061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118330$2B3C77F8-ED43-4CFE-9903-221B91B1A492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24e52d8577359975ecff53cb75a5eaac57b25e6e","datavalue":{"value":{"entity-type":"item","numeric-id":1987510,"id":"Q1987510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118330$72C1DEB2-BE2A-4BA5-91A1-9C89723524B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4c1425331244edab5d5c3eea9925db8c385ca69","datavalue":{"value":{"entity-type":"item","numeric-id":4625702,"id":"Q4625702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118330$2CBC973D-63D9-4299-845E-5613ED7BDB9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"186fb58597719ba9662a9164df91ae3f701697fd","datavalue":{"value":{"entity-type":"item","numeric-id":5145632,"id":"Q5145632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118330$E7A21EC8-6F9F-41B5-9AAC-F7ECBD5D1FDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca85511458d1e8ffc3112b636b30e90d46ee5ec8","datavalue":{"value":{"entity-type":"item","numeric-id":5133965,"id":"Q5133965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118330$E84A34F5-A191-4E58-8C66-413C22A74AB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca94ae032d3cfe3b72112ec4150fa2e5f4c2395","datavalue":{"value":{"entity-type":"item","numeric-id":5205822,"id":"Q5205822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118330$CA847A1A-60A4-4192-A65F-4E03587AAAEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bda68c490d3eacdbb4c205fd2cca76126f0a9248","datavalue":{"value":{"entity-type":"item","numeric-id":5714773,"id":"Q5714773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118330$F6E66131-812A-4710-B003-669DB7753CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118330$43179CBA-8D61-44E1-BAA6-C14126324509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1f570ef748005c3e1036187934de5f932361642","datavalue":{"value":{"entity-type":"item","numeric-id":5121904,"id":"Q5121904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118330$E21B37C3-D32B-493F-A03C-D04A3981A671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eef362b4227425d7be281b15d7f64e65896e9a09","datavalue":{"value":{"entity-type":"item","numeric-id":4988300,"id":"Q4988300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118330$104F8BC7-5CF5-4D1F-8A8D-67C170E956C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bea75da9fa67a5f77faa9362cd4aa6c737c792a","datavalue":{"value":{"entity-type":"item","numeric-id":4194955,"id":"Q4194955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118330$D915CDE2-F497-44DB-81FF-78183D7C737D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95bdc9438d9e2b58081e55820080b64330d3e430","datavalue":{"value":{"entity-type":"item","numeric-id":5111890,"id":"Q5111890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118330$E2CAB3ED-CCEB-4233-B11A-909179471C08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa44e7477708cf15aafbeca2fb67e3a90886b530","datavalue":{"value":{"entity-type":"item","numeric-id":2870136,"id":"Q2870136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118330$B3671B48-970F-4598-953A-1EA2B5B67355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"971ba83d7d765f79fbaf732cdd687bed4bd634fb","datavalue":{"value":{"entity-type":"item","numeric-id":5387860,"id":"Q5387860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118330$8FAF97B2-07F3-4C5B-A1EB-84FE5F9A8791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d4ba72b99f6b7c8f1619ec42b1fca7ba63faae2","datavalue":{"value":{"entity-type":"item","numeric-id":4899301,"id":"Q4899301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118330$62FBA32D-8237-4CEB-AD73-01D20E2F248C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca4be033dc1e037b43c1538205386964bc6ef38a","datavalue":{"value":{"entity-type":"item","numeric-id":3514498,"id":"Q3514498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118330$AD96A504-02AA-44F1-B1BC-0F33E509089C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2278598748f41c4d80d92c015f95eb36e154faf","datavalue":{"value":{"entity-type":"item","numeric-id":253964,"id":"Q253964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118330$1D72C54D-3C63-4341-96ED-3826A2794408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72df03d77e1bc06662d09c4718408a862df26da2","datavalue":{"value":{"entity-type":"item","numeric-id":1891159,"id":"Q1891159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118330$3BDFCF5E-087E-47C0-8632-46E7D1EC82AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ec4896edc35f1e12505542682c8c6b6145a21f0","datavalue":{"value":{"entity-type":"item","numeric-id":4875692,"id":"Q4875692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118330$F09350E8-3B77-44D0-B6A0-97637267BAC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad5843107a675ef426cb1b75becf5e9aa46b5362","datavalue":{"value":{"entity-type":"item","numeric-id":5900311,"id":"Q5900311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118330$F09FAEB6-E109-4184-873F-1EDC28F44E8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cc791ea6031f9274a6c599a5a61a3da3960fb26","datavalue":{"value":{"entity-type":"item","numeric-id":4968372,"id":"Q4968372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118330$D1036481-B26B-4128-BC45-BB0B13BF0327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15eecfeac02b56820c0f4e58290467293549debf","datavalue":{"value":{"entity-type":"item","numeric-id":1020496,"id":"Q1020496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118330$11C8CB49-CE60-4B67-A6A4-12E6363DC0B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"759a3fe35509401001b165ba0d5ab1dfe3649ee5","datavalue":{"value":{"entity-type":"item","numeric-id":2818029,"id":"Q2818029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118330$096CF3AF-1771-46D0-B6FF-E111EDD30C40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ee9bdbd9786926088840fd488fe60b509eb451c","datavalue":{"value":{"entity-type":"item","numeric-id":4485697,"id":"Q4485697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118330$B7944003-5B60-4D47-8628-89BAE28A1973","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2118330","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2118330"}}}}}