{"entities":{"Q6160570":{"pageid":13295451,"ns":120,"title":"Item:Q6160570","lastrevid":55452901,"modified":"2026-02-17T16:42:31Z","type":"item","id":"Q6160570","labels":{"en":{"language":"en","value":"Targeted configuration of an SMT solver"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7691304"}},"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":"Q6160570$BBF8D4C1-E7AC-4624-A822-9E562B906808","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eed2c860a4f6a9a5a1c9ea750aeea404f9df7e14","datavalue":{"value":{"text":"Targeted configuration of an SMT solver","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6160570$0FF336C8-FF07-41C4-8C7D-3CCD73CC3A35","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3eff73d54ac90dd6b984bb64b638da6417c3d522","datavalue":{"value":"10.1007/978-3-031-16681-5_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160570$18EE65EF-9687-442B-BB99-D11703A6C0D2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad40a4cd1b22d978921e9fb4cbd4f086dc617cb6","datavalue":{"value":{"entity-type":"item","numeric-id":6160568,"id":"Q6160568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160570$DFA3BD7A-61AA-4F18-946E-874CCEB14601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"87dc4de4518b8db4a5efca79e388ac462c23bd10","datavalue":{"value":{"entity-type":"item","numeric-id":831935,"id":"Q831935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160570$B26FD7E7-AAE5-4BC1-87D7-37035625FFD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e24c4e43654848209a68060f96d6b8df113db0e5","datavalue":{"value":{"entity-type":"item","numeric-id":253961,"id":"Q253961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160570$7E56E281-9EFC-444D-81F8-FFC4A0C0C725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7bda9cb08c02dccdba725b836c895eb5dd1ba12","datavalue":{"value":{"entity-type":"item","numeric-id":6160569,"id":"Q6160569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160570$727D120A-9FB7-4970-85BE-0583A8981973","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":"Q6160570$A8253C57-0C89-4581-AC6E-7C991E7E0135","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4fa95a2618f91e175d2e6cdf4f6ce4782d828b01","datavalue":{"value":{"time":"+2023-06-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6160570$7B3F8199-25EA-4956-B3B7-8CF74A431572","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51b7800ccceb407b4c9aa81c10252a3a04dbfebf","datavalue":{"value":"68Vxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160570$A87A5A16-BC45-452D-B67E-493640743BD5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"306098362d6c28c917eee92330b29809b4ccb142","datavalue":{"value":"7691304","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160570$06460DCE-621A-4F1A-AA08-1E99B5156E62","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e33510ccd00704dd279a2a008dfe7d16dfcabc24","datavalue":{"value":"satisfiability module theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q6160570$5888501E-B1FD-4FC1-9F39-B66476E7925F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62bb57b344fefde2400ba4ebf653ca6e71d68384","datavalue":{"value":"strategy invention","type":"string"},"datatype":"string"},"type":"statement","id":"Q6160570$D9EDA162-FDBF-4E6F-AFA5-F0BC81957C85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05a102eccead5e8b740e0c8676200dfcf11d0704","datavalue":{"value":"strategy scheduling","type":"string"},"datatype":"string"},"type":"statement","id":"Q6160570$0E2839D0-1332-4171-8FDF-F90B46B1B1EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0afe30fcd4cd25e8e8273c02ad48a97b4a0e001","datavalue":{"value":"machine learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q6160570$EAE5EEBE-BA5F-4742-A5EC-BBEC53C95B6F","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":"Q6160570$CE777532-302B-49E8-8061-714DD16F0D4F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e770ab55f3db1dc816e1628743e37862fe609745","datavalue":{"value":{"entity-type":"item","numeric-id":2817292,"id":"Q2817292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160570$359FD109-28A1-48FD-A5B9-CADC5D2B7371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"896ea052daf842b99cb2c53cb8a5772b44f80449","datavalue":{"value":{"entity-type":"item","numeric-id":2029358,"id":"Q2029358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160570$5AF5CC7F-300F-4C36-9F04-01E2DFA23CDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f6a505c48f7ed8fbc36053c87307f799e1a7f54","datavalue":{"value":{"entity-type":"item","numeric-id":2351158,"id":"Q2351158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160570$15F3DBC3-A8D8-4F51-8A3D-D809486265AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ee178f7541c5d2ed1d6ee17e1e99ce6d2d8a20c","datavalue":{"value":{"entity-type":"item","numeric-id":5195271,"id":"Q5195271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160570$DB3FBE40-85B4-46CD-B76E-6FE87DCEEED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10630f5160097667960414f663a902e7cb3018df","datavalue":{"value":{"entity-type":"item","numeric-id":3087995,"id":"Q3087995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160570$3D02DD83-046B-45FC-A558-EA5F331C90FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb1bab11b75e766c233c3a1b9a3682b90b0e288d","datavalue":{"value":{"entity-type":"item","numeric-id":3075247,"id":"Q3075247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160570$0C3D4C89-0838-4348-BD23-28C14F6A2CC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8bd554443d4def680b4aedb7a5e010af4f212d5","datavalue":{"value":{"entity-type":"item","numeric-id":2128804,"id":"Q2128804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160570$22076627-277A-484F-A0F2-68D6931DD9F1","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":"Q6160570$2EAC29D7-AC5F-454D-BBC1-DE341D335056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1183268b2373a892adc793bed6d4a85aecfed77f","datavalue":{"value":{"entity-type":"item","numeric-id":5145434,"id":"Q5145434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160570$679C3631-EEFD-4CF9-9F09-767AE933C76B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"906219bc380fbc8bec22701ef1f54eb78d0c8f29","datavalue":{"value":{"entity-type":"item","numeric-id":5054669,"id":"Q5054669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160570$EA6068A6-CFEF-4E81-8E0D-2FD6CB106196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e264974062f53b439460b85662778a60b49509d","datavalue":{"value":{"entity-type":"item","numeric-id":2926333,"id":"Q2926333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160570$A6729AE7-C5AF-4858-AE84-D774011C9693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64a83428767e1f7920f2dce5105ba967ac8bf5f6","datavalue":{"value":{"entity-type":"item","numeric-id":2280222,"id":"Q2280222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160570$C4D544EC-38E8-4F41-86B0-42B22F619B55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f44b125cf3594b01960f6a5396e298346e4cfbbd","datavalue":{"value":{"entity-type":"item","numeric-id":2870167,"id":"Q2870167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160570$F6ED7B9D-D66A-458B-8927-A90E34070AE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2667127ff7e04fad7bf3f88432b6dcb7791cab15","datavalue":{"value":{"entity-type":"item","numeric-id":3624141,"id":"Q3624141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160570$6E9D9082-FD46-4BC6-8DB0-4F2A4077798D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"514cf558414e3c64320b944b7be0392e84456119","datavalue":{"value":{"entity-type":"item","numeric-id":4913859,"id":"Q4913859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f37e353d5d45c166402bb7cecc52c260a1b4895","datavalue":{"value":{"amount":"+0.7594579458236694","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":"Q6160570$61E8F0F9-D3BC-4C02-90B6-908141840AC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee6f2d2422f3e8b0f28c1173879439572e0c44a1","datavalue":{"value":{"entity-type":"item","numeric-id":502389,"id":"Q502389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ff79465c84e7937f18268d7b603ebfb61adf87f","datavalue":{"value":{"amount":"+0.7400525212287903","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":"Q6160570$685A5174-7E7E-4296-B849-226A0EAE2608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c75c3c7e49395f8402392bff872e1e41ba74928c","datavalue":{"value":{"entity-type":"item","numeric-id":3453227,"id":"Q3453227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2dfea8a183ace0b0111087dcfa2734fc6d8a872","datavalue":{"value":{"amount":"+0.7352231740951538","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":"Q6160570$6557CBA3-60DF-4F21-9E67-07E5341B8280","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":"2d7d0e0334c683d2eaf39dc8f379254627259111","datavalue":{"value":{"amount":"+0.7263362407684326","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":"Q6160570$F384EFDE-9793-48D0-91DA-C29BFAB9E1B0","rank":"normal"},{"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":"1180c604fa1a883e8966cf34a16a06edb4fc741e","datavalue":{"value":{"amount":"+0.714978039264679","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":"Q6160570$66805C32-F0D8-44DD-A5A0-DC6172A6CB12","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6160570","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6160570"}}}}}