{"entities":{"Q3384880":{"pageid":3395583,"ns":120,"title":"Item:Q3384880","lastrevid":55395562,"modified":"2026-02-17T15:29:19Z","type":"item","id":"Q3384880","labels":{"en":{"language":"en","value":"Solving QBF by abstraction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7447736"}},"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":"Q3384880$76641704-2945-4EA2-881D-A520C4FCD693","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5aaaf79945ca22e0f3477140cbecb983df8b222d","datavalue":{"value":{"entity-type":"item","numeric-id":2226721,"id":"Q2226721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384880$85E779D1-2DEC-4B28-A6D9-FD5E38B67CC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b101b98a6bd34faf7b0864d086dc15dbfa8592e6","datavalue":{"value":{"entity-type":"item","numeric-id":1784964,"id":"Q1784964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384880$3FFE5ED5-FA29-4E8C-A6EF-ECC3E06C0CBE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"34b299fdbfa6203a276028105b394bb6d77f2b95","datavalue":{"value":{"time":"+2021-12-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3384880$755BCD47-6349-4702-B4DD-88441E712D06","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3d90ea9345b587b7fb482f63d6c0d9f53936012a","datavalue":{"value":"https://arxiv.org/abs/1604.06752","type":"string"},"datatype":"url"},"type":"statement","id":"Q3384880$523FDD9E-0935-40B6-B904-3D0397B60F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"20f4dfd915018a6190ad4bc6a5efea4259e700fc","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?GandALF18.7","type":"string"},"datatype":"url"},"type":"statement","id":"Q3384880$9C3F069A-E3D2-4FE5-B211-C5DF04AC401C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384880$58986A60-A04F-4600-9A41-E2F0F0B9BAB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384880$AD0341DF-8CA6-4442-B99C-50AD62CF432A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384880$006EB797-433A-4D42-AA86-29CE9A563DC5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8ac866b505ba4c3631720d7f69d1c38f004893f3","datavalue":{"value":"7447736","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384880$2145CA21-14C9-413C-80BD-83EC9013FA95","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":"Q3384880$FADA6A58-B0C7-4431-9138-5D7FDFE87065","rank":"normal"}],"P223":[{"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":"Q3384880$725E84FE-1508-46F4-9AFF-428640D914EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9aa645a19372cb1ba6d08bac7b7f2329fc96427","datavalue":{"value":{"entity-type":"item","numeric-id":2800571,"id":"Q2800571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384880$8F8A3102-0CA9-4961-8FB4-47A98D29DC45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16381af0cca809d96a3239e7f95bab63296fc5da","datavalue":{"value":{"entity-type":"item","numeric-id":2938057,"id":"Q2938057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384880$BD20F7BD-6738-4B5F-99B9-2C616D3FE22D","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":"Q3384880$FB39773E-E6C9-48E5-96BB-AC04C674F851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"792b8833b1e7f005667900de9120fb86dc0801c3","datavalue":{"value":{"entity-type":"item","numeric-id":3303904,"id":"Q3303904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384880$0FD20769-D2FA-416A-B71A-881A8FD56BB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14aad40e50dc07b7f7de0a5587443b999e837b95","datavalue":{"value":{"entity-type":"item","numeric-id":3449635,"id":"Q3449635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384880$0F28ECD7-C986-41CE-8C2F-4182E13EF394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa28f7cce45b79df67b0f4e78b2d37ed34847f2d","datavalue":{"value":{"entity-type":"item","numeric-id":515654,"id":"Q515654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384880$06F139B3-F758-4602-AD29-D0EF939A19FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebc69fcb735ff5c234178efdba7bdcac7edb1841","datavalue":{"value":{"entity-type":"item","numeric-id":3196343,"id":"Q3196343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384880$11EFC1B9-49D7-4B6D-B990-99BE471F65F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dedc1a1dc66375148bfb7c52438affa8128f4c1d","datavalue":{"value":{"entity-type":"item","numeric-id":4930601,"id":"Q4930601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384880$E6E65555-51A2-4633-8DA3-C5194E1B842E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c29080afe6ea65229b5d1a0c0697db86e7d8d8c9","datavalue":{"value":{"entity-type":"item","numeric-id":3637177,"id":"Q3637177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384880$B1C35C8E-6577-410C-843F-1E0EFB27638B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fe8e7013ed4a362871e8001f8913772c237e81d","datavalue":{"value":{"entity-type":"item","numeric-id":1656577,"id":"Q1656577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384880$C4092187-BACE-4BEF-9F8E-AD21A40DA709","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":"Q3384880$E17741B2-7398-4165-B5CA-4B2E912EAE15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46a64f5d8bb8796d929b170b9a451b694680664c","datavalue":{"value":{"entity-type":"item","numeric-id":2339467,"id":"Q2339467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384880$C28BB2FB-2EAC-42E8-BB4D-468E74C822D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc8e7aa6809d54e2ccf2352967b475ad93db72d0","datavalue":{"value":{"entity-type":"item","numeric-id":4930584,"id":"Q4930584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384880$DA8FFEE8-803E-4EE8-A490-4FB5D0E795A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a27d1fb90cccb11f35259877f3ba9e207a2057f","datavalue":{"value":{"entity-type":"item","numeric-id":3502708,"id":"Q3502708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384880$354C532C-9B3A-4E66-8E8F-2DFA2162DBB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a7dbfdfd0ea6f84dc6b357e958197548f1f9e28","datavalue":{"value":{"entity-type":"item","numeric-id":1680261,"id":"Q1680261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384880$9901DF84-D1CD-43FE-BF64-04AD56EE4732","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":"Q3384880$EBF0DF59-279F-4795-ACDA-AF2FBA337B23","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":"Q3384880$B29B1DDF-6CC1-4DE0-8D13-254B84B7C934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"981d4e1f93ad645c6ba44dd2e1c8e2ebc3bb913b","datavalue":{"value":{"entity-type":"item","numeric-id":2164249,"id":"Q2164249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384880$B731D815-536B-4755-91C9-E7F3D854B517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4629c081970510c149c2cd537ca1f4bf05682828","datavalue":{"value":{"entity-type":"item","numeric-id":3453239,"id":"Q3453239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384880$0B8563E3-2823-4465-B584-830676F11AF0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f89fc255e92eccc916a706837acc484a8f070186","datavalue":{"value":{"entity-type":"item","numeric-id":5015608,"id":"Q5015608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b08e84373b9d1588566af4a5a8aa82e34193e9ef","datavalue":{"value":{"amount":"+0.8567100167274475","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":"Q3384880$88EB7713-DD14-482D-8852-BC278B89F1E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44fd65f52ee036a7c3846fcf7643553a6b9cd9ff","datavalue":{"value":{"entity-type":"item","numeric-id":2843327,"id":"Q2843327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3058cbfaf61b1df2bf349e2196e81c3ddc89f52","datavalue":{"value":{"amount":"+0.8433058261871338","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":"Q3384880$3B8E747C-FB75-4807-8CFB-F441D2B1A41F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0547585d8f8a34dc989b699b2faf640176d826c3","datavalue":{"value":{"entity-type":"item","numeric-id":2441712,"id":"Q2441712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"810631a6653bbb804af6b324c14351122fe5a2b9","datavalue":{"value":{"amount":"+0.8149112462997437","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":"Q3384880$510D24DB-0FE8-439D-80B1-4F29AFAD004C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bd1b49c9409f8ad03f037c2b4b421bcc44fffb5","datavalue":{"value":{"entity-type":"item","numeric-id":2181947,"id":"Q2181947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3fb2d0982cffd2499d139b813dc6e91b3cc91b6","datavalue":{"value":{"amount":"+0.8025684952735901","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":"Q3384880$3002E926-ECD6-4BA7-B2D6-8CF7ECEF9012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e90393cb1a4862c6b22503feae877e5b45f2365","datavalue":{"value":{"entity-type":"item","numeric-id":3007686,"id":"Q3007686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6235d4c5e22ac4105b35e6b00ab8993886a1375","datavalue":{"value":{"amount":"+0.8024861812591553","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":"Q3384880$52FB6C46-034C-441E-8259-3B07AAC93341","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3384880","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3384880"}}}}}