{"entities":{"Q4589245":{"pageid":6618830,"ns":120,"title":"Item:Q4589245","lastrevid":52952957,"modified":"2026-01-23T21:37:56Z","type":"item","id":"Q4589245","labels":{"en":{"language":"en","value":"Twelve years of QBF evaluations: QSAT is PSPACE-hard and it shows"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6804763"}},"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":"Q4589245$B8F7DC21-877D-4E71-9114-2AFB491D1A68","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"66207e1f15167faa35a5f8035e292d1d1b1fa68e","datavalue":{"value":{"text":"Twelve Years of QBF Evaluations: QSAT Is PSPACE-Hard and It Shows","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4589245$6B42C052-5318-4928-8A30-D73AF2691CD2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8322dcb8994fddc18172f1c6fe5faeb694522c8e","datavalue":{"value":"1373.68380","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589245$1D2B5D28-F428-45CB-9B67-BE6E84BBB296","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3255a60b0e8135023a7e5f49d0f22f34099b0d67","datavalue":{"value":"10.3233/FI-2016-1445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589245$CA508A13-8954-4E6B-B84C-E9B51781BF4D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bba63e34e3a8a202413de5666cba2bb459cfcdcf","datavalue":{"value":{"entity-type":"item","numeric-id":4589095,"id":"Q4589095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4589245$8BBEDBE6-D82B-4040-9770-E215B3A60140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"50a184f8e1810a1ef5255b0ff0f33bfd71675e2a","datavalue":{"value":{"entity-type":"item","numeric-id":814444,"id":"Q814444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4589245$CA6FE40D-731C-426F-B7D8-FBBBCE657414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef25a536e77eb935a4fc311a784de2ad12200bb6","datavalue":{"value":{"entity-type":"item","numeric-id":421444,"id":"Q421444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4589245$9EDDDA41-717A-45A0-B120-3DD55479CF9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b27fb2de17ba7f26cc1dc0d940e72cb82218af6","datavalue":{"value":{"entity-type":"item","numeric-id":421445,"id":"Q421445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4589245$847E40C2-03DF-4E78-8F7C-1E4DB065B6E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5fbf1d9c0b0e83239511c911eb40c1e2a2b73d12","datavalue":{"value":{"entity-type":"item","numeric-id":414854,"id":"Q414854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4589245$778DDBA3-FCB3-4F43-B80B-65EF66E3EE10","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4589245$D57C4FB7-07C8-4C64-BD8D-24E158E88834","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"643ded717d0ce40d496d15f1c6bbff7aeafb4a27","datavalue":{"value":{"time":"+2017-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4589245$2C85746D-A46E-4393-9DF4-2DF04C362974","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589245$FA0FAC4C-EFB8-4B3D-A8B1-33892DCD82E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589245$3E10630B-22CD-4C38-814D-20B9BD6BA890","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ac672e92498eb2661e29f29f518633c325b06bf1","datavalue":{"value":"6804763","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589245$15582EF6-219F-4277-9ADA-AF0BCB18A679","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b2cef954dd0ee8c08b878399f229c3329f33f8a6","datavalue":{"value":"Q62040536","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589245$A768E893-35DC-46EB-BAA9-8794ADC9C9F7","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":"Q4589245$138D38A3-BE8C-40C7-ADCB-22196F1BC325","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"43a0699c75cbdbbc5e65052ab2bdda135a9ef7fd","datavalue":{"value":"https://doi.org/10.3233/fi-2016-1445","type":"string"},"datatype":"url"},"type":"statement","id":"Q4589245$47D96450-A19E-4EF9-9EF2-AF476985D1FF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e18496cda40005cc048f8675f2dac654a1e89cde","datavalue":{"value":"W2566415304","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589245$30FB2038-5805-49F8-8632-1E0E9D2E807B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae2c407c9d263a0164835ab2ab00e250470b2d5e","datavalue":{"value":{"entity-type":"item","numeric-id":5325883,"id":"Q5325883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddf84996552f8f966a573bca6f3561bac4f718d9","datavalue":{"value":{"amount":"+0.8203772902488708","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":"Q4589245$E9671AD5-932B-4F85-83B5-AEAEE21A1581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e4381427977ff5f7ecae9b21009f38a9564b868","datavalue":{"value":{"entity-type":"item","numeric-id":4930592,"id":"Q4930592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de4abceef4e5f360810f139ec47766d754741888","datavalue":{"value":{"amount":"+0.8166413903236389","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":"Q4589245$BDFEE267-38D6-4CBC-8CB0-D5D6ECD03CCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fd59fe52cfdcc9ce0c690e13935dc1360068227","datavalue":{"value":{"entity-type":"item","numeric-id":2321317,"id":"Q2321317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e94e173215695158dc0ed5c3973fe7f39061d05","datavalue":{"value":{"amount":"+0.8064126372337341","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":"Q4589245$610A1B67-C700-4BBF-AE35-8F3150E9C68E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5241b39e344f70f66cdde4696489a4d4873ddbc1","datavalue":{"value":{"entity-type":"item","numeric-id":3429159,"id":"Q3429159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"474ed1617ed5938587fb77f076ad0cc2ad32523a","datavalue":{"value":{"amount":"+0.7991125583648682","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":"Q4589245$CAF57FB2-E9C5-4074-9A4A-B1440C2ECC8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6047830cf588e34758fb7a32efd60a0a8d4a2998","datavalue":{"value":{"entity-type":"item","numeric-id":5714770,"id":"Q5714770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1570e8c9d5e1dcc0628bab17f430f6c2738120a0","datavalue":{"value":{"amount":"+0.7852802276611328","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":"Q4589245$FF6A6CCF-75BC-4470-AF22-E1502F2740AF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4589245","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4589245"}}}}}