{"entities":{"Q3400890":{"pageid":3411593,"ns":120,"title":"Item:Q3400890","lastrevid":50889830,"modified":"2026-01-15T14:44:47Z","type":"item","id":"Q3400890","labels":{"en":{"language":"en","value":"Evaluating and certifying QBFs: a comparison of state-of-the-art tools"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5663766"}},"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":"Q3400890$85F289A1-FF24-4EBE-80AD-4DC05F382C8B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"02585ee7e50217735f5a42be1bdb6be00fd74e62","datavalue":{"value":{"text":"Evaluating and certifying QBFs: A comparison of state-of-the-art tools","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3400890$D42EB3E2-B2CC-4041-8D91-BA91813BFBE2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"63ded6770a40f1a76ad1f73f13c835deff8e9498","datavalue":{"value":"1186.68440","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400890$3122C0E3-78FA-4DF4-A28F-3119ADCAD53F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e3ec98ef4f33c8db578e53c500be46a18a73930e","datavalue":{"value":"10.3233/AIC-2009-0468","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400890$D38298A0-8DF4-48D7-BFE0-1D3637FF7F6C","rank":"normal"}],"P16":[{"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":"Q3400890$2CB302D8-FA56-49B9-874A-43F6D17B933C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f943650e2da0180ca10a94fa75d2e7ca16b3bea0","datavalue":{"value":{"entity-type":"item","numeric-id":3400889,"id":"Q3400889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3400890$B7C0BE99-1155-48EC-9CF1-DD8E656A3680","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":"Q3400890$5E5CFF78-5B98-4944-9D9F-1B27986CCCFE","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":"Q3400890$6C090377-2DEF-4ABD-A995-46388F77A26A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b0d5ef245f17a6ec236579b9502514ae3fc93c36","datavalue":{"value":{"entity-type":"item","numeric-id":2811219,"id":"Q2811219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3400890$9C98B853-4C61-4665-BAE2-3D9BA2C3868D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f2baa01130b988b9ec714c1f647f041d2757e18","datavalue":{"value":{"time":"+2010-01-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3400890$668D0501-556A-4840-972B-4D6AFB3A8D30","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400890$173A11B1-527E-4FF0-9425-C88B2605F2F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400890$5CDA8C52-2F5B-42E1-A74F-781FC35165A8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"14501fc9462a4f28b973821b5fc6fc22cb25cfd4","datavalue":{"value":"5663766","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400890$33F4E6C4-DDA5-41FA-9368-6B8546F3C30B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3400890$5B6621D6-547A-4E24-9C57-610E9706F863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f805b7faea11905894680953dd9b9dfc3dd4258","datavalue":{"value":"quantified Boolean formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3400890$35E237F8-8BBD-4EBF-B99A-ADDB0796551E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3400890$ADF9E54B-B5E4-4765-8070-CDB99A4A765C","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":"Q3400890$84DBDB9E-B271-4D3E-B9C6-2580D5550394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ca9a3b7221d86f39ba625c5cdafb4b84300080f1","datavalue":{"value":{"entity-type":"item","numeric-id":13515,"id":"Q13515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3400890$26812D5A-0D6E-4CB2-911F-C0107AA6281B","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":"Q3400890$C5A3B50A-8DA6-4C7E-8C8D-328800EB99E7","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":"73c4b64b6c96d607637ead87654a72aa8533f5fd","datavalue":{"value":{"amount":"+0.8080223798751831","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":"Q3400890$D89D487E-5FDC-424E-9F36-198E8E162CC1","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":"2914fe3b47339940cc2c19a57d7798a178d0ab3b","datavalue":{"value":{"amount":"+0.7997876405715942","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":"Q3400890$11487EF2-5003-40BE-A242-2BEA93885011","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":"8d3f98094923aea9c3a56fe72fef66e67aa9b43c","datavalue":{"value":{"amount":"+0.7926082015037537","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":"Q3400890$E8437881-EA2C-4769-A7A6-7680A64B9E4C","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":"85697d5dbbff3c1eea9d250bcc806a24fa394929","datavalue":{"value":{"amount":"+0.7882464528083801","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":"Q3400890$A0C27A75-C47E-4B93-BB84-B75D885AD167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"297d7ca756a0fe9edb01e6c2d45d7d8ced12f185","datavalue":{"value":{"entity-type":"item","numeric-id":3088005,"id":"Q3088005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7803d13c7f1c50ab601fa41fe5248be43731d86","datavalue":{"value":{"amount":"+0.7870322465896606","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":"Q3400890$52AF0BBC-ABB1-4329-A664-4C2E5B6C0D2C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3400890","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3400890"}}}}}