{"entities":{"Q2818031":{"pageid":2828769,"ns":120,"title":"Item:Q2818031","lastrevid":58016175,"modified":"2026-04-03T11:24:35Z","type":"item","id":"Q2818031","labels":{"en":{"language":"en","value":"On Stronger Calculi for QBFs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6623526"}},"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":"Q2818031$B459D5DE-0D2B-4EA5-8774-92F51A439AED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a8c96be4ae6429bba772804e6c441c8bf77f2148","datavalue":{"value":{"text":"On Stronger Calculi for QBFs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2818031$317F3EF6-7958-46EC-B688-4950D5B76417","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0d2db9dc9889122e288f4e99696add31e09022ee","datavalue":{"value":"1475.68434","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818031$DC4DC4E9-5341-437C-AE23-9D575659649D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"68a8e2635959913d03bc92098fb932d21e11f7b4","datavalue":{"value":"10.1007/978-3-319-40970-2_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818031$834EB320-6458-42B7-ABC5-B3FCB99110AE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d140f15ea14007eb49a1fd3fff371fc795569921","datavalue":{"value":{"entity-type":"item","numeric-id":229734,"id":"Q229734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818031$17D593E2-8045-4E18-A997-F4BB83FD57F7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0c83d828fab67264ee3effdcbdeab1b4c818c4e9","datavalue":{"value":{"entity-type":"item","numeric-id":2817996,"id":"Q2817996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818031$418C2CD3-89CC-4BD3-8E06-2F4DF28CB95A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c42ad213f9b7f39d3e9ee142840c36c28e5864b9","datavalue":{"value":{"time":"+2016-09-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":"Q2818031$5DDC45EA-07FD-49D0-A20B-E672A05540FE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1786a6046825e0978e705f176ff8cc0ff47b5061","datavalue":{"value":"https://arxiv.org/abs/1604.06483","type":"string"},"datatype":"url"},"type":"statement","id":"Q2818031$CFA1082A-ABF8-45D7-B08F-01A983EBA67B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818031$148C1636-F4F5-4503-937D-F660D5A963E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818031$EE332F5A-45AF-471C-B184-D2BB5F3EFE4D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2bdc725d89093c92bc387786ea9ec6933f7b2054","datavalue":{"value":"6623526","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818031$E2A67E82-5118-4F77-91F3-BC625F9F18A2","rank":"normal"}],"P1463":[{"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":"Q2818031$A665224E-6C53-44D5-BEA9-30523D51D1A5","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":"Q2818031$232D4477-096A-48C3-B61E-3B06028CBD54","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b2e81d68e27e85c4425dbe87b23998b36beda476","datavalue":{"value":"W2494237651","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818031$D0014867-98EB-465C-9B83-65C09A7E2DC0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9d43b2a1f5b23f5e07e09c2947ef1c6f323b764","datavalue":{"value":{"entity-type":"item","numeric-id":2751356,"id":"Q2751356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818031$C710DC06-8646-450E-A66E-0A4EB4C853E5","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":"Q2818031$EFD79A37-3F63-42C4-9CC7-ACB1AFD65D10","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":"Q2818031$5D38E374-576B-4E80-AE45-58BE8F86342B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04c9dc9e7a7e7ba60691fd7bebd8fdd9e32563f8","datavalue":{"value":{"entity-type":"item","numeric-id":2922598,"id":"Q2922598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818031$935A8B8A-E033-4715-9BAD-775038DBBB17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85c9f74c9e2f323d6a6a8fb50accb2001547c77d","datavalue":{"value":{"entity-type":"item","numeric-id":2954985,"id":"Q2954985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818031$368FE70C-D6ED-465C-BD9A-F57C4A0DDA41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"178be2bba26e00d89c1fedb5de20ef69ad61d344","datavalue":{"value":{"entity-type":"item","numeric-id":2388433,"id":"Q2388433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818031$4404B272-D3A5-4155-AB77-343E25F4F292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91b17ca5304b07e27db69bbaad41f776f31427c7","datavalue":{"value":{"entity-type":"item","numeric-id":3997615,"id":"Q3997615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818031$B153B58D-AF17-43B3-95A8-DCF7825820B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"039d7d777190c0b1fd3eefc651ea59a6829228b5","datavalue":{"value":{"entity-type":"item","numeric-id":2843326,"id":"Q2843326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818031$988C7AAD-4C7C-4A2E-A7E5-9146C34623C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dce0d194e94aa900edfcf3b209fc48c821383699","datavalue":{"value":{"entity-type":"item","numeric-id":2818031,"id":"Q2818031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818031$824BD2BC-20FD-47B2-A42F-A38A1FE6198B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e0f9367fcada7729fe0f23d3b73250a0b1a897f","datavalue":{"value":{"entity-type":"item","numeric-id":1020501,"id":"Q1020501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818031$82C14AC3-EFF4-47E5-BE11-6D56CB87017A","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":"Q2818031$C5B5D433-44B7-4644-A58B-23060171BAEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2fa04d400281f100817ce7e13bdaafd2683670","datavalue":{"value":{"entity-type":"item","numeric-id":1071750,"id":"Q1071750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818031$3FA46DAA-0983-4F48-BFA5-9EE54E4EDBCF","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":"Q2818031$16DD91A4-652E-4E82-A606-80EA9656CD0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fa34ae3e34f6a863a9f8db67c2bfb8bb6401943","datavalue":{"value":{"entity-type":"item","numeric-id":4856172,"id":"Q4856172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818031$6F80D906-36A8-4B80-B88E-86D6B9E75E25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"008723b33cb14bbda59226503d753d137dc6f8ef","datavalue":{"value":{"entity-type":"item","numeric-id":1098330,"id":"Q1098330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818031$948890EB-64A1-43AB-8475-A7D8FFCD0FA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72ac12e02b617aafe51a4fb4bf3ef107c99fd816","datavalue":{"value":{"entity-type":"item","numeric-id":3192076,"id":"Q3192076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818031$87253FDC-21A3-477F-AC0F-D818F41074CD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3db7f57505a4a5149a46c14f89c4fb20314fac17","datavalue":{"value":{"entity-type":"item","numeric-id":2870148,"id":"Q2870148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d8aff7b76afc08578d2a1a031e27c8cf14348ba","datavalue":{"value":{"amount":"+0.8899945","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":"Q2818031$8D3B9840-F024-4220-842D-BA17CFE258AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f21b62d6f5a132d14e9d9226e3f1ea566d331b8","datavalue":{"value":{"entity-type":"item","numeric-id":5205822,"id":"Q5205822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"515248329b76d3cfb330f09b3eae410e9505e0d8","datavalue":{"value":{"amount":"+0.88030946","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":"Q2818031$33B33C6D-AA1E-4B28-AFE5-246422470055","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":"c07a4153b88adef2c604ebe2d29009f9bbcf1e7e","datavalue":{"value":{"amount":"+0.88024133","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":"Q2818031$E7BBE99E-C902-42C7-B2C5-FB62404E03BD","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":"3de32068b1bed9e8661225bc534722278800b697","datavalue":{"value":{"amount":"+0.87315273","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":"Q2818031$1CAA91BC-E670-4814-864F-DEF55B2DF8DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b359e247de57dc72d52b95262e72847480fc874c","datavalue":{"value":{"entity-type":"item","numeric-id":1656581,"id":"Q1656581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3522cd1a00abcf2ae50042a8e205a20ada00801","datavalue":{"value":{"amount":"+0.87197965","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":"Q2818031$16E76B52-5310-44A2-A9E8-265C0F2E1F76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9670fe18be89cf3cad248c800d823bc742d1919c","datavalue":{"value":{"entity-type":"item","numeric-id":5713726,"id":"Q5713726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4d5d425fe68e55521ed771e47a4b6d876de9696","datavalue":{"value":{"amount":"+0.8651475","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":"Q2818031$6DBF4432-CE75-423B-9B85-633761C91028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ba1f5f7606a684270cde25ed6b548b52e2bbb0a","datavalue":{"value":{"entity-type":"item","numeric-id":1656580,"id":"Q1656580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b35816e14cf16b091efd5446747e75d4a0a312e","datavalue":{"value":{"amount":"+0.86507237","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":"Q2818031$F1F2B00D-78CE-4E71-8F60-76E27CA73CDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dba73bc93b36b44c3e17c0494079c469ef5e18a","datavalue":{"value":{"entity-type":"item","numeric-id":2996134,"id":"Q2996134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3799a0ecf734f346d0a4dee62feedd434cddbe5d","datavalue":{"value":{"amount":"+0.86477095","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":"Q2818031$8903C92B-BAA3-4113-AF4E-32ABAE8FD241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3da6778f0e2be7ef4cce15a8de2f73d0b2989082","datavalue":{"value":{"entity-type":"item","numeric-id":3794168,"id":"Q3794168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd8541b62f4959310cddf7e3af5ce425c4487b6d","datavalue":{"value":{"amount":"+0.8634831","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":"Q2818031$ACCC2EF4-2293-486C-9A15-C5C8BD99E256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d07069691ba3230e60b31cb0b078b1a65ebb0a1b","datavalue":{"value":{"entity-type":"item","numeric-id":5898815,"id":"Q5898815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92facef4a7f18ce72e6ba789f5ae75c30d60a13b","datavalue":{"value":{"amount":"+0.86242205","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":"Q2818031$136D677F-C860-4A94-80DE-56B31600DC41","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2818031","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2818031"}}}}}