{"entities":{"Q6166140":{"pageid":13301022,"ns":120,"title":"Item:Q6166140","lastrevid":94156619,"modified":"2026-06-05T06:01:30Z","type":"item","id":"Q6166140","labels":{"en":{"language":"en","value":"Scallina: translating verified programs from Coq to Scala"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7721429"}},"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":"Q6166140$25EF4DA8-DEE0-4121-83BE-6AD7E7839094","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"652aef815a7dcdb0a1f362aa16f2e8d135e1ff6d","datavalue":{"value":{"text":"Scallina: translating verified programs from Coq to Scala","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6166140$68BB7B07-7B3A-4C8D-86FF-75DD2E3A676A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c7f6bf8223dcb1e2c4441d4b6ec79aefabceafc5","datavalue":{"value":"1519.68048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166140$ECDE6D2E-FE50-4A5A-8ABE-D37387A73FF3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1f0b16deb7b70c7469cd0929da83f7fb507c5cf7","datavalue":{"value":"10.1007/978-3-030-02768-1_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166140$41A8B877-D327-4046-9B51-45E3403AA97B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c920b8cfd7bd2eea6f79ca7993ac04d783f9084a","datavalue":{"value":{"entity-type":"item","numeric-id":6165886,"id":"Q6165886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166140$BF5279FA-6C19-4DFD-B721-95B8CE06A80C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b77255b82102f2a299c8a0e66b82d7ed096e1f4b","datavalue":{"value":{"entity-type":"item","numeric-id":6165887,"id":"Q6165887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166140$ABD6AE89-8104-4D80-9654-766C601E1A59","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166140$8C1FE159-1421-4C68-AC83-84C7EDBE2736","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c377ab7875b781eda1304e6f4ef79ea097f76f82","datavalue":{"value":{"time":"+2023-08-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":"Q6166140$63E7966F-E8B6-489B-9FA0-DBB5A5E72294","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166140$C14A0FFB-2053-4430-ABF9-7E44092D00AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166140$AF3D77D3-1CD8-4C7D-BBA7-BBEA23B5FF0E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3c6e698ebe01b4b79256ac7922af5285e702fc51","datavalue":{"value":"7721429","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166140$D5CD6B78-F70D-4ABC-91B1-52D9C532462B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q6166140$4B162F50-5B41-408F-AE8F-B4DA1D250622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q6166140$0AE31844-04E3-46AE-B0EB-D0B9D8EE9A5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"901c6d511d35303a6a968c1174234f4350020c8b","datavalue":{"value":"compiler","type":"string"},"datatype":"string"},"type":"statement","id":"Q6166140$CAC75F6C-F0DD-4D69-97D5-6BD7AE2C5720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q6166140$6C56AF3D-3715-4289-961F-974602EE8282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34ed4687cce651929f9e5e5114db76a2b5f7c532","datavalue":{"value":"Scala","type":"string"},"datatype":"string"},"type":"statement","id":"Q6166140$1E1DDD3A-12E5-4AD3-A894-4698AFA473A6","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":"Q6166140$C3538196-9372-43AF-B5F4-C2A17FE426A3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"18544676fa728996a4cc07e6cc8900c0ab3be32c","datavalue":{"value":"https://doi.org/10.1007/978-3-030-02768-1_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q6166140$9D51D425-7D77-4D5E-A54A-51F96A5B05BB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6d5891a8d8a48e82311e8019a97deb628132dc3d","datavalue":{"value":"W2897253092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166140$7554EC0A-E972-4145-AF37-C96654A2D16C","rank":"normal"}],"P1643":[{"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":"28bef897c18307fad1951ca83a6eb551003fc04d","datavalue":{"value":{"amount":"+0.883516788482666","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":"Q6166140$387DA998-4514-4238-8F94-5D4535B0654D","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":"fe8fd24fd07f28d36c7deef6026bbc83359eb035","datavalue":{"value":{"amount":"+0.79537433385849","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":"Q6166140$B03DDC4D-FD25-41B7-985E-5B24C49F1D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"488a470c886d0695b34887a15fb9e8c0821bba26","datavalue":{"value":{"entity-type":"item","numeric-id":5018778,"id":"Q5018778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0243d22d404a279f8e0cc2873355ed72b249f25e","datavalue":{"value":{"amount":"+0.7472639083862305","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":"Q6166140$0323727E-6CD4-425F-985C-B1AC88647C8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"952c565cec2234704fbec9f4b173de9c3f77bd99","datavalue":{"value":{"entity-type":"item","numeric-id":3507450,"id":"Q3507450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a05c6024ae18e833e3061f335551bf4876fce5c9","datavalue":{"value":{"amount":"+0.7364668250083923","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":"Q6166140$6F111BEA-0F99-4423-8E5C-E2C5C7A11952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"126be7296d6b7110e1000144e41a4b9d8fcc6ece","datavalue":{"value":{"entity-type":"item","numeric-id":4435471,"id":"Q4435471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29a21f727309cfa7b5df14904626846e096db6db","datavalue":{"value":{"amount":"+0.7231023907661438","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":"Q6166140$8F38DFEE-77E9-4316-B8C0-C2023925B4DD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Scallina: translating verified programs from Coq to Scala","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Scallina:_translating_verified_programs_from_Coq_to_Scala"}}}}}