{"entities":{"Q4930592":{"pageid":6960174,"ns":120,"title":"Item:Q4930592","lastrevid":51093281,"modified":"2026-01-16T15:31:19Z","type":"item","id":"Q4930592","labels":{"en":{"language":"en","value":"The seventh QBF solvers evaluation (QBFEVAL'10)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5793459"}},"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":"Q4930592$FFB3E849-6CB5-4DBB-A92C-82E3B0FFEBC6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6aebba0479d5ad388a0e6ee857a76fa116dc5ae7","datavalue":{"value":{"text":"The Seventh QBF Solvers Evaluation (QBFEVAL\u201910)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4930592$DE72C113-9BB0-4AAB-B680-BDDDAF7B7A38","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c95886b1faf4c331c0c97356565844b738d82853","datavalue":{"value":"1306.68173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930592$7BA36673-21AD-4D62-AF86-FC0F004D23CC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"20049d8f8316cc166de6afe9c47fb79721f897a1","datavalue":{"value":"10.1007/978-3-642-14186-7_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930592$90AE351F-1000-45E3-8D2D-C3333BC76055","rank":"normal"}],"P16":[{"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":"Q4930592$45ED8FF5-697A-44D4-AD28-B05CA14E4F44","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":"Q4930592$6486009C-06E6-4B83-8A23-7D6E23DCF85D","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":"Q4930592$1F0E3D77-AAFF-461E-B81E-A7AA6B87B033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec0087dd29e6cdd418da3bff00462ae1b309f6ef","datavalue":{"value":{"entity-type":"item","numeric-id":391123,"id":"Q391123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930592$05D9FA0F-165E-4569-B883-CB2D0230B91E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"407e41d2014cb38969f273806ce1eb535a6eb9fb","datavalue":{"value":{"entity-type":"item","numeric-id":421450,"id":"Q421450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930592$C81885F5-859F-48BA-AD8F-2E3B90E9E8B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"480d1f14486f5f2b4e32e9c563a24baae88b3634","datavalue":{"value":{"entity-type":"item","numeric-id":944708,"id":"Q944708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930592$39D9BE25-DA32-4A1F-B23E-CD82087CD281","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d1b19733acdd40acbba69ca5d986f1f385209d79","datavalue":{"value":{"entity-type":"item","numeric-id":4930573,"id":"Q4930573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930592$B1126AD3-1B7D-4415-B545-EE05FC4F737D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4858cb14fe2ceb550c09f1dbe5241e082f5548d2","datavalue":{"value":{"time":"+2010-09-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4930592$2FA40A78-3EF1-4A03-AFA0-4B23966C7786","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930592$C7139671-13A7-44B8-98CB-3F2CB760C2F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930592$8079EDDE-8714-4EFA-914B-B2D8B2DACFA4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fa610335d971d09385f9bebbeecd529dc1d6b461","datavalue":{"value":"5793459","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930592$34D84681-3A67-4F59-A017-84F740BAAC2B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1ef66678d684041b8de78c7576de4cf0ad3466f3","datavalue":{"value":{"entity-type":"item","numeric-id":21560,"id":"Q21560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930592$097BF427-C908-41F2-93D2-C6B6A9F8E3DE","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":"Q4930592$E158BF87-05E7-4AB5-83DB-24068A70DE4D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"720dfbd546756fdcc6294fa2b2ffd33394292a17","datavalue":{"value":"https://doi.org/10.1007/978-3-642-14186-7_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q4930592$224B2709-5FD3-4426-B608-3815D30C2FB0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"15f6e2296f54dd8ac7b33a8dfcbfceb4973004c8","datavalue":{"value":"W1547005447","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930592$4CA62374-6D13-4EE9-A22E-A3343696A6B3","rank":"normal"}],"P1643":[{"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":"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":"Q4930592$2D8F52B5-FF75-44EF-AC3D-34252FD70FBE","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":"dfea2874ec2e37b48e7f4e8d71a37d2313c25510","datavalue":{"value":{"amount":"+0.8980357050895691","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":"Q4930592$687CACCA-FF5E-48DA-9320-B4F0F506CDCC","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":"3f00251d60cff39b7aee705452944f9edc91887b","datavalue":{"value":{"amount":"+0.874905526638031","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":"Q4930592$534C0D79-83C2-4084-AA58-8522939FCBF0","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":"dc4f3c84490ab0920b040b51ee120e26a8fe44d0","datavalue":{"value":{"amount":"+0.8644077181816101","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":"Q4930592$4CA80846-1F0D-4054-A25E-BFC97CC35B8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fef1540a8cb76f5eb3e31aba0b3b5344abb5b3b","datavalue":{"value":{"entity-type":"item","numeric-id":4589245,"id":"Q4589245"},"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":"Q4930592$75AEB2F1-F70D-4171-A3D5-09B039B317E7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4930592","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4930592"}}}}}