{"entities":{"Q3429159":{"pageid":3439862,"ns":120,"title":"Item:Q3429159","lastrevid":50065417,"modified":"2026-01-12T20:54:11Z","type":"item","id":"Q3429159","labels":{"en":{"language":"en","value":"Report of the third QBF solvers evaluation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5139166"}},"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":"Q3429159$D34B6B44-76D7-4DE4-B94F-EAA89833C0E2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1ad420f3cc9c93b4b758624b02b53cbd37c2c636","datavalue":{"value":"1116.68089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3429159$4A50016E-D47F-4418-AC8D-BAAF4E44CB33","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":"Q3429159$109807C4-6275-4C12-88A5-46A11C692534","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":"Q3429159$9AFBD4FE-6F5D-4A71-805A-9555BB75DB02","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":"Q3429159$C0A45A9D-1808-4A84-BCBD-46CB7782BD17","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"999c06250c45be6695060c162af57ec5d0c04ef8","datavalue":{"value":{"time":"+2007-03-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3429159$4C2FC87E-3A8C-4941-A3DA-AF6490F38E33","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3429159$A8FB3242-7732-42B2-A08A-B4EA0B7025F3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f79bbaeb5c2fc8e8cd89a43e0642c5b1a6dc1190","datavalue":{"value":"5139166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3429159$B8ED8ADE-0FE1-47D5-BB6D-BA6FD0FDE441","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f805b7faea11905894680953dd9b9dfc3dd4258","datavalue":{"value":"quantified Boolean formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3429159$81D6B62B-C365-4DB7-8FD0-15E6BC6D1C73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef81079ec477e3e8666cb311d5e2ed5a1a26cf90","datavalue":{"value":"automated reasoning tools","type":"string"},"datatype":"string"},"type":"statement","id":"Q3429159$0C4662CE-9925-4CEF-94BB-A2662AFD6E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12a8067252d45d6ca6195c41409fcda85b41a75f","datavalue":{"value":"QBF reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3429159$5D01FFA5-6EFF-4C07-9116-1D17ABBF34BE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"792849c5bee9f07de54f2fa4f04f07c6aa639097","datavalue":{"value":{"entity-type":"item","numeric-id":21562,"id":"Q21562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3429159$1F17DEE4-19C6-4354-81ED-46C466B89EBF","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":"Q3429159$860E38FF-BE5C-43DB-B289-B57A0D953020","rank":"normal"}],"P1643":[{"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":"31ce24edb8e716c440479aadc5113aa165985b83","datavalue":{"value":{"amount":"+0.9395830631256104","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":"Q3429159$5D66807B-46AD-4504-889D-DE99A0743A61","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":"1b161f71f41cb11559673390660b811906d10678","datavalue":{"value":{"amount":"+0.9037100076675416","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":"Q3429159$D94FCE63-BBE2-450B-88BE-8F05A98F3202","rank":"normal"},{"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":"8a334f470cddd2102a3f307380a9ffbee9a24c88","datavalue":{"value":{"amount":"+0.8958489894866943","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":"Q3429159$4B12476E-C13B-4660-83CE-4C881EF862A7","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":"98be872835a4ee0b4ba381efbf29e61309e59727","datavalue":{"value":{"amount":"+0.8633813261985779","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":"Q3429159$C97F6F52-BE5E-4F24-9350-F80DE8DC9AD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f45acf569684e5407f555d4b998b43616c79e474","datavalue":{"value":{"entity-type":"item","numeric-id":5492981,"id":"Q5492981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee4ba8c7a526fea9601a9ef3271f2e0119e841d5","datavalue":{"value":{"amount":"+0.812575101852417","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":"Q3429159$F1EC5EC1-F66A-408C-BA7E-154757EFB72C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3429159","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3429159"}}}}}