{"entities":{"Q5200039":{"pageid":7229610,"ns":120,"title":"Item:Q5200039","lastrevid":94427870,"modified":"2026-06-05T06:47:22Z","type":"item","id":"Q5200039","labels":{"en":{"language":"en","value":"Scala to the Power of Z3: Integrating SMT and Programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5934365"}},"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":"Q5200039$A3AF1892-17B9-449B-BBC1-33521B42DB95","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5831dbd6fd43d78dbd2dd8da0016614fdbb85b3e","datavalue":{"value":{"text":"Scala to the Power of Z3: Integrating SMT and Programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5200039$4FFC3413-A6AA-4C35-9095-49735BC18DCB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b7d0a36536646e583b8ab16e6fe289b1ff167445","datavalue":{"value":"1341.68192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200039$70637664-C8B8-4A4D-9401-BEA98FB13DEA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bde778a01704d36b09311e8856a7caf07c0eeaa2","datavalue":{"value":"10.1007/978-3-642-22438-6_30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200039$86EAD57E-D6F0-4235-A4C9-27A1A17891B4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff0da8b6faf470c3514cc491be9fa96c5cf76407","datavalue":{"value":{"entity-type":"item","numeric-id":2931823,"id":"Q2931823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200039$57C47185-660A-4EF9-96F9-2CA5D9918DEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c4a981688ce96064434c07429a9f8191c6df21c","datavalue":{"value":{"entity-type":"item","numeric-id":746766,"id":"Q746766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200039$F22167AF-7469-43AE-8B81-010FF4D7AF13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dafcd003cea28da873091b3c225f35dad8078543","datavalue":{"value":{"entity-type":"item","numeric-id":2926640,"id":"Q2926640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200039$A8863283-BB55-4D16-8675-87A7BB617391","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":"Q5200039$403E6E6E-42D4-4075-98E7-D49B959530FF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d00523700407e21ae71debe0fbbbb012ba59e567","datavalue":{"value":{"time":"+2011-07-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":"Q5200039$0C67E2BA-D213-44A5-BE8B-F5A92578561D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200039$E3836F53-C351-473D-8A33-89FCC985F7A6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cd10ddce5f1ad5ca077bcfefc07768a2148defe6","datavalue":{"value":"5934365","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200039$765D8699-7F87-4BA4-B848-E33E06459633","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200039$A2FC3065-E6B0-4CF1-BD34-960A4C8558BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"854b234eb9a95f8c5e737feeb323e817bee5cabc","datavalue":{"value":{"entity-type":"item","numeric-id":19233,"id":"Q19233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200039$5F57F897-93D5-4B3A-AF13-0F0195C209F0","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":"Q5200039$5703AACC-4C58-436F-B03E-3C757B15396F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"07ef6dbb6340ea37766c1a5c66282959037da939","datavalue":{"value":"https://doi.org/10.1007/978-3-642-22438-6_30","type":"string"},"datatype":"url"},"type":"statement","id":"Q5200039$4CA7DC66-4FE2-4B66-99C2-0B25924F8069","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d85b7782ec174e7715205dadf69e0582329375fe","datavalue":{"value":"W1549774509","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200039$451ABE0F-7660-48BA-A401-FCBA8708E639","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f6489cf91e9b20f63ed7456f579d1977e07a3f9","datavalue":{"value":{"entity-type":"item","numeric-id":3075499,"id":"Q3075499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200039$E8D23C82-B7F9-40E0-8EFA-F35917B0A642","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9e7970e95d1351188434a532310522ca80d18b6","datavalue":{"value":{"entity-type":"item","numeric-id":6166140,"id":"Q6166140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27ebdb46ef87a168ad0b10ab270949641ea0851e","datavalue":{"value":{"amount":"+0.848894","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":"Q5200039$C3CAAC1B-69A7-40A7-B6DC-145F29C84969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b909ebd62958a70f6a40ac36b5eb36f9490c768e","datavalue":{"value":{"entity-type":"item","numeric-id":5756695,"id":"Q5756695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15dd1a527cdc4168c066fa52b4c00f7ff1d7da88","datavalue":{"value":{"amount":"+0.8258847","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":"Q5200039$0541BE10-C6E8-46BC-8C1C-8633702307E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"585238235c96bd2bbefd094d10c0c4dc2f1a38ba","datavalue":{"value":{"entity-type":"item","numeric-id":2817953,"id":"Q2817953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85037155ccfc3cef9f38eaa92886c299ae6538c2","datavalue":{"value":{"amount":"+0.8230682","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":"Q5200039$88C86A5A-808A-4476-9337-9274E3F89ABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20647404c6e7487c5d6ef2058118be4547a83c04","datavalue":{"value":{"entity-type":"item","numeric-id":4381711,"id":"Q4381711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb4ff0e81a4bce319907749a985b54b0e0df2c3f","datavalue":{"value":{"amount":"+0.82141984","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":"Q5200039$4E738F9E-0935-47C5-A69A-49773DF8CEBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdfdb17d09311dccdf7463779143ad7c428c2248","datavalue":{"value":{"entity-type":"item","numeric-id":6165888,"id":"Q6165888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7598b96d6a5c0f7117e8d457308135a419a9992b","datavalue":{"value":{"amount":"+0.8093303","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":"Q5200039$87D96143-A507-4C91-961A-408213A40F18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c09ea2c702df1394bd67a8b7e0045dc10ffa1b53","datavalue":{"value":{"entity-type":"item","numeric-id":6083696,"id":"Q6083696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3350d39367f1b097156b5bfe85930b11e220a0db","datavalue":{"value":{"amount":"+0.8079383","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":"Q5200039$44AC4E84-2D9D-4784-8CE5-F343EAB74C85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20385066fbf419377214560f6334f543e1fdb4e3","datavalue":{"value":{"entity-type":"item","numeric-id":2956675,"id":"Q2956675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"101844482819fa57aa722efcf5698ef6fa3eeff3","datavalue":{"value":{"amount":"+0.79461503","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":"Q5200039$BF6E776F-61F9-4EF3-B992-FD212C8D0258","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Scala to the Power of Z3: Integrating SMT and Programming","badges":[]}}}}}