{"entities":{"Q3453227":{"pageid":5232627,"ns":120,"title":"Item:Q3453227","lastrevid":88353014,"modified":"2026-06-04T14:18:17Z","type":"item","id":"Q3453227","labels":{"en":{"language":"en","value":"SpySMAC: Automated Configuration and Performance Analysis of SAT Solvers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6512575"}},"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":"Q3453227$E28EF063-D916-4F46-9528-7F432E26DF9B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"82f59e5ca95f3e8b1fbd7a59671b7fbc24417bb8","datavalue":{"value":{"text":"SpySMAC: Automated Configuration and Performance Analysis of SAT Solvers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3453227$B544E45B-5E90-45E9-8444-220D4FE9E53D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cb9a2b075234c7c985ccab3a8e7f317fd6c8bfdb","datavalue":{"value":"1471.68243","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453227$8F78B380-5CFB-4E0D-A90C-AD97BCDD09CE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3115b5d2d7878b9413354715cc91bd9e194e90df","datavalue":{"value":"10.1007/978-3-319-24318-4_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453227$B24CD099-F89C-422C-A680-1A302CE93AFC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc74b1c360e58f7043185df3a441438177d40fb2","datavalue":{"value":{"entity-type":"item","numeric-id":3453226,"id":"Q3453226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453227$3AE6AC1F-E784-4115-B277-A06382601393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ceed65a6a5b8ae21a480d79068a15e91574641c1","datavalue":{"value":{"entity-type":"item","numeric-id":286384,"id":"Q286384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453227$2CAA5D05-56A3-4CD4-A889-A05A85312170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf706cc7e4baa11e4c34cd29d82989f4fce6c5fd","datavalue":{"value":{"entity-type":"item","numeric-id":286387,"id":"Q286387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453227$6A9BC55F-625A-49AD-8B71-24C954E5D1DB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453227$26E19685-36FC-4115-ABAB-4CB7961573EC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7bc62645abb22752583f6909ba0e58feb505ce9c","datavalue":{"value":{"time":"+2015-11-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3453227$BFDDBB91-BB21-4E99-A00B-BD682C72BF9B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453227$C739AD84-92DB-4C0A-BB96-AACF6BE2702A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453227$CCE085CB-3EF3-4EC6-838F-18CF3C6B0A72","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f081ad96c00c5b4102bd9cf5085963f0fc745cc6","datavalue":{"value":"6512575","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453227$84FFADFE-4624-481A-AA49-DEDC15F3BD96","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"94874e3d47702cbae713106381472e14544818a0","datavalue":{"value":{"entity-type":"item","numeric-id":28609,"id":"Q28609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453227$737D5261-AC16-4ABC-963D-FC6A260E6D5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0a3128c90e03896ee0d98cf8f52b2e52fa0a4d4e","datavalue":{"value":{"entity-type":"item","numeric-id":13432,"id":"Q13432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453227$E29A6B90-04A5-4786-92E0-44FC6355CC2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bbe2b9a97ce0ea3098b4e4971345da27fad3d33e","datavalue":{"value":{"entity-type":"item","numeric-id":39735,"id":"Q39735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453227$B21F91D5-BFC1-4FB9-94CC-C3A7F208C4D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e14aff3b5921bcfb0a4e4d178ae4c7b6aa538a8","datavalue":{"value":{"entity-type":"item","numeric-id":38933,"id":"Q38933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453227$FFB2783A-8FFB-4708-B291-F804CC87466E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b51b570823446ee76f989f321a33cfe300150223","datavalue":{"value":{"entity-type":"item","numeric-id":20023,"id":"Q20023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453227$71BEA9AF-07C7-424F-AADC-D0C5A60BFBD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b607ed63de0262a5bfbd451f92dec1ed2e08de79","datavalue":{"value":{"entity-type":"item","numeric-id":26138,"id":"Q26138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453227$90B57511-97F4-438D-9EEB-656F2E5F4B22","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":"Q3453227$CF0E73DB-EFE5-4C00-8B56-7497FD90645C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e4ea86919a6e06dc7d70c5b159ef8c29715e3a30","datavalue":{"value":"https://doi.org/10.1007/978-3-319-24318-4_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q3453227$93DCAA10-305A-4AC0-99F0-E981D52C4838","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3c74450a25a4c41dfe3ee4958fc6d611047d4802","datavalue":{"value":"W2155840847","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453227$E4DFA7CB-5D02-495E-A01C-D488084DD6C2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ca98daa9b6c754a2aa9f9116fc0c16578202f57","datavalue":{"value":{"entity-type":"item","numeric-id":2843318,"id":"Q2843318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453227$20FD4199-8FC7-4564-B5B1-A970BA618145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5a73b7e48adb4260cb48d91e95198beb0803e94","datavalue":{"value":{"entity-type":"item","numeric-id":5952197,"id":"Q5952197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453227$3977B7B3-FD8C-44C5-825F-23394303945D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cdf64b2a914be509f334d011c8426b5f7796a0d","datavalue":{"value":{"entity-type":"item","numeric-id":4930578,"id":"Q4930578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453227$E33E831C-8742-4A85-ADD5-710DCD077C6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d984d2aaf66bd30ce5219e85ca632b5286520333","datavalue":{"value":{"entity-type":"item","numeric-id":428474,"id":"Q428474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453227$6240331C-A9F5-481D-94C6-5AF35CA82A56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d65be6b84798d28cf87a0d7ae277068dab641b7","datavalue":{"value":{"entity-type":"item","numeric-id":1761291,"id":"Q1761291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453227$EA3AD3E6-69ED-435D-9EEE-3464EFBAB092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cec92487e0774e4ecd565c4d24d646490b018f3c","datavalue":{"value":{"entity-type":"item","numeric-id":3651487,"id":"Q3651487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453227$ED8FBC19-993B-4A2C-9EB6-6AFB2E0C7D72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11d851b43cc825fe5357151b169748d35d9167b6","datavalue":{"value":{"entity-type":"item","numeric-id":502389,"id":"Q502389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453227$1730ECE5-FFEA-4573-B846-AD9AD66E0D12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90f2bf684bd99feba7f2d4b4ac6659dfad85f89c","datavalue":{"value":{"entity-type":"item","numeric-id":2634473,"id":"Q2634473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453227$E69EB8D0-98E3-48BA-A24F-467DD6A667E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13d8ca037fbe7cf729f714a862ea062c7333e1b1","datavalue":{"value":{"entity-type":"item","numeric-id":3007692,"id":"Q3007692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453227$708F92BB-0FE4-40AC-8B7E-492C830FC21B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a50a675015c1d2c64578ff0881e201d923ee4375","datavalue":{"value":{"entity-type":"item","numeric-id":2818043,"id":"Q2818043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6c790c8c5dc40b733c08407018f997b4a17fc80","datavalue":{"value":{"amount":"+0.8927245","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3453227$B1AE6C1D-CB0F-40BD-BF2D-6782BFAB0719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ed1245857b58a02451557ca19ed26fe7eb2e3d3","datavalue":{"value":{"entity-type":"item","numeric-id":3460052,"id":"Q3460052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ca8cacbd23ba99aa142069213b1ac0e3c52368d","datavalue":{"value":{"amount":"+0.83248585","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3453227$6431E19D-81C0-4583-A2BB-8594BE4A26BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07c647744274850ccef5a15f5cc3ce686ccc5200","datavalue":{"value":{"entity-type":"item","numeric-id":3007695,"id":"Q3007695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d98f0da8bcc53ec34e7c0ad39754bfaf11e90d0","datavalue":{"value":{"amount":"+0.82442737","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3453227$BE384E77-D5F0-4F50-9DCF-03231D301284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6db7f63855891cc6d180fca0c5fe57c12c56447","datavalue":{"value":{"entity-type":"item","numeric-id":4904223,"id":"Q4904223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8308198baf93f505390b78a6046784ce11b1cece","datavalue":{"value":{"amount":"+0.8195117","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3453227$8E5B914C-1F57-4130-8EE6-DF141F972259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39474b4ca0e59e761405a95a5ee889ad3eb49624","datavalue":{"value":{"entity-type":"item","numeric-id":3453240,"id":"Q3453240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30249f9c377878ce58535e35a7e1035ca08945a9","datavalue":{"value":{"amount":"+0.8179194","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3453227$4F703CE0-6190-4D15-BC54-56759E31EC1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e7a4d1a04c45052288a22f119e0f9aae5fc8e6b","datavalue":{"value":{"entity-type":"item","numeric-id":3453211,"id":"Q3453211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95cdfaec570568ef6f8a04192b2eac2d8dd87f6d","datavalue":{"value":{"amount":"+0.81407934","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3453227$5535446F-EE05-4689-8BE2-C08819C6C036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9156c547f9e4dcaa41b713dd7c24243717580c6","datavalue":{"value":{"entity-type":"item","numeric-id":2634473,"id":"Q2634473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44600282c88b8aac9d51c82742ae89455cfe643b","datavalue":{"value":{"amount":"+0.8138183","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3453227$B969A036-6F82-478D-9908-E14D5CBED129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7237aee3a5e9393d1bad9b271d7d57ac0128bb77","datavalue":{"value":{"entity-type":"item","numeric-id":4930578,"id":"Q4930578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6df51275388fdb7273b06ef8ba65a8be9102c72a","datavalue":{"value":{"amount":"+0.8137268","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3453227$0980B08E-32C1-44D4-AAB5-04F901AA0922","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"SpySMAC: Automated Configuration and Performance Analysis of SAT Solvers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/SpySMAC:_Automated_Configuration_and_Performance_Analysis_of_SAT_Solvers"}}}}}