{"entities":{"Q3460052":{"pageid":5239452,"ns":120,"title":"Item:Q3460052","lastrevid":80524025,"modified":"2026-05-06T16:23:38Z","type":"item","id":"Q3460052","labels":{"en":{"language":"en","value":"Automated benchmarking of incremental SAT and QBF solvers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6528781"}},"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":"Q3460052$07C56CDC-DED3-400B-9ACA-7A7222AC67C5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b5a157f851d41cce64ea201c53c2f8816638791c","datavalue":{"value":{"text":"Automated Benchmarking of Incremental SAT and QBF Solvers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3460052$9464842D-387F-42DB-B476-B67139B8C7E0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9b54b1b3ab395fe6d42003c66d808ea1f65e17a9","datavalue":{"value":"1471.68306","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460052$E158C846-B2C1-4315-A4DE-5556BEC32377","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ed4bc1691df7fe0e10a4e443523ce547bdf94df4","datavalue":{"value":"10.1007/978-3-662-48899-7_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460052$11CC1447-3436-43F8-9F5B-C92DC2BC2B00","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d140f15ea14007eb49a1fd3fff371fc795569921","datavalue":{"value":{"entity-type":"item","numeric-id":229734,"id":"Q229734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460052$BC1B2280-1CBB-4DCC-B73D-0C7251A3B0CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da0a3b9db4e00166cd3cb753494ad16f6a97e6dd","datavalue":{"value":{"entity-type":"item","numeric-id":286394,"id":"Q286394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460052$ECF98C7B-8F5A-4E57-8D00-29B39A3A6DDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"04bec051d04b3524f670265dcce325e94b5275b8","datavalue":{"value":{"entity-type":"item","numeric-id":2296764,"id":"Q2296764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460052$C1E039F0-6B20-437C-A9E0-2CA98AE1EF71","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460052$C2B4F622-FD97-459E-B5AB-4E0809D27EAC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f91432dc3d3ba35c1a5312422600047e5b632480","datavalue":{"value":{"time":"+2016-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3460052$363AF535-3CF5-46FF-9810-1079D1ABEEFE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4b5638da85566f9e2951f0a15c20a082c670b9c0","datavalue":{"value":"https://arxiv.org/abs/1506.08563","type":"string"},"datatype":"url"},"type":"statement","id":"Q3460052$0ECDAD46-EFE4-42EE-A92E-C1E6D8BFEEC9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460052$9E46F4F2-DDDF-45D5-96FB-4EB2C7C3815B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460052$B74EEA86-7032-4B5F-9A75-BE252C2C3844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460052$A40945EA-F570-41CB-A2A7-E45F88FC1C6D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b6008cee05fab88496745bc31f856a1ce0183c5a","datavalue":{"value":"6528781","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460052$2260AE28-75A4-4C1F-B0D5-441A3917D056","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":"Q3460052$1F2E2C9F-EE2B-4CF5-8E9F-86CB3B054029","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d08d75895aca57725bb056653024865d1c07b5c4","datavalue":{"value":"W3099535388","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460052$62B76BEB-BD4E-4C21-97BE-E44D5894FCF7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ce1fcb06b0c1223160a39dcef1f6b076a95dd86","datavalue":{"value":{"entity-type":"item","numeric-id":4589096,"id":"Q4589096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9401109501f73ea3a058ab6c72fdbad47b15848f","datavalue":{"value":{"amount":"+0.8290093541145325","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":"Q3460052$3FCC4480-F741-4075-ACEB-F9132463DF88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e31b3868b35c8adfea7f296c098db6a941e819fc","datavalue":{"value":{"entity-type":"item","numeric-id":2879140,"id":"Q2879140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e00bc3b6ca4ba5918b02c3b728c11e81f7c98562","datavalue":{"value":{"amount":"+0.8140538930892944","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":"Q3460052$E5EEA959-0D66-4595-ABF1-209BDC99F846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce6ad6abcd48709383c08e822d5e3fa1c12b6396","datavalue":{"value":{"entity-type":"item","numeric-id":3192067,"id":"Q3192067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adf4a0c38ac883a5a2a78a68c4046d134bff49d5","datavalue":{"value":{"amount":"+0.7821130156517029","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":"Q3460052$A2BBDA2E-7393-4C0A-A597-C92DF12481BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d467a109f219e937eec475a5e2589f3d9785fa97","datavalue":{"value":{"entity-type":"item","numeric-id":2398267,"id":"Q2398267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3614d799a5f3144539c5a46f740b13db9ab44cdd","datavalue":{"value":{"amount":"+0.7789876461029053","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":"Q3460052$1B024393-7D4F-4EE7-B8E2-7E46B5078C68","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":"ae711c277dc2d7e1d60af4ed732e6b8f26db8afb","datavalue":{"value":{"amount":"+0.7725178599357605","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":"Q3460052$5E24923D-B0FA-4280-AA89-B15CC613198E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated benchmarking of incremental SAT and QBF solvers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automated_benchmarking_of_incremental_SAT_and_QBF_solvers"}}}}}