{"entities":{"Q5408415":{"pageid":7437989,"ns":120,"title":"Item:Q5408415","lastrevid":41545835,"modified":"2025-05-05T16:56:45Z","type":"item","id":"Q5408415","labels":{"en":{"language":"en","value":"CakeML"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6282421"}},"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":"Q5408415$040DB357-CA56-41BF-A238-67863E95889D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eec42bffb714881f18e0df77b9ce46392ed4b562","datavalue":{"value":{"text":"CakeML","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5408415$A3470CB3-156A-4CD7-A5EE-CC200FA6EA35","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0605330f0194ce5d6ade613e8129898bdf0ee4d2","datavalue":{"value":"1284.68405","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408415$D7E7E286-F4AF-4A19-9273-8EEF1B6BCE85","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"669db2b17e9e91e2746593c88570a7963e1ba6ab","datavalue":{"value":"10.1145/2535838.2535841","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408415$F379DA1B-24FE-4F65-B26D-9AFE487ADF31","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"62025305e3524f61b1fc8b1f7bbd2484241846ea","datavalue":{"value":{"entity-type":"item","numeric-id":287359,"id":"Q287359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408415$0E36790F-2C47-4380-AE32-1C1EA1B0101D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c330e55e5dc72ba4e46dcf35457734e0df28701e","datavalue":{"value":{"entity-type":"item","numeric-id":286789,"id":"Q286789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408415$EB5396EF-C52D-4BA2-9A96-7A74155E9A13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"145fb4ab3c36a5f99f91a0be2758a779e5bceae8","datavalue":{"value":{"entity-type":"item","numeric-id":386031,"id":"Q386031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408415$248063C4-30EE-4901-804A-172D7DE556E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"57155b56d8fbcd7c5881cc6580886a49385bb630","datavalue":{"value":{"entity-type":"item","numeric-id":287360,"id":"Q287360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408415$D9BC686B-A95A-48D8-9E93-420A3CFC82A3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"640f3283bf4ebaf19f5992b18fbb1bf0f8463c2b","datavalue":{"value":{"entity-type":"item","numeric-id":5408394,"id":"Q5408394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408415$55B1FF7C-640B-4DCB-B837-B669C7FA4FAF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d29d162184913e14034b04455ad3f441d2a1856b","datavalue":{"value":{"time":"+2014-04-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5408415$496F54A1-118F-4DAC-8579-4C5474971A11","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408415$815DACC5-BAF2-49A3-981A-B451EE72F463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408415$B41A2EC6-A5BB-4F41-8C68-7444C19FF913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408415$A5275876-DB14-42A7-9C3A-1DB73E9CF92C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408415$A179711D-7F5D-4A3F-A2E6-49BBAEC0B0E1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"de505c1877e22e5f13473c30b6b80a1f8e1fdeff","datavalue":{"value":"6282421","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408415$CECEC465-FEDE-4C6B-AD4C-F3B09403854B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9247578e9ed3f7eb1c91418af0599c592a92727d","datavalue":{"value":"ML","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408415$4FD2188A-CB08-468C-B918-14E499F2B3A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ee85b3a1923dd6d07fb6656979593e2022900df","datavalue":{"value":"compiler bootstrapping","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408415$F0A7D5E6-C609-4907-9DA2-F6B3EDF3DC5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acd9c52c59d07d5822d39f1d47e4205b4637b9d3","datavalue":{"value":"compiler verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408415$565C4693-2E3F-4953-AEA5-B050E6985F41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb6645fece556a1c93ea6112aee10b675af34d29","datavalue":{"value":"machine code verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408415$29E397B7-667E-45F2-B954-ECADFFE1B26E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd2187d4a1259548a0ac2f9b53ba3e4808a3ca70","datavalue":{"value":"read-eval-print loop","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408415$FEE0E4AF-F168-45FF-B1B7-85C89A68C398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0284c9a9a2b813b2ff7f3144a9734000405090ad","datavalue":{"value":"verified garbage collection","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408415$38FD3067-4EA5-4825-8BED-E37F4FAFF49F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0388d51fcfc7f0e53081b36f548afe854059cff","datavalue":{"value":"verified parsing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408415$76836D37-05A8-4277-B69D-A2AB0A8923B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cc2c468593a4cfe24daf1e9a17bd936a825e4c0","datavalue":{"value":"verified type checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408415$D52F466A-0E6D-4B70-BCA5-9E930B27E73E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408415$187C2626-AEEE-4974-BAF2-A6DAA010D8CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"533959f24a509b955614f607e46b8aa4cec190ef","datavalue":{"value":{"entity-type":"item","numeric-id":20799,"id":"Q20799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408415$25AE1EEC-1AF2-44F5-A0ED-641A34E608C4","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":"Q5408415$1A3B07B4-0D7F-47F0-A049-3C5758F8CD2B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d9b461880a05add59b3ae9cd4ae1b46d2b6111e9","datavalue":{"value":"https://doi.org/10.1145/2535838.2535841","type":"string"},"datatype":"url"},"type":"statement","id":"Q5408415$937293CC-EAF9-46F4-A59F-46BAAB64D38A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4cafd8287e1726c82bd928a0e5f68c45e1319d82","datavalue":{"value":"W2006731094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408415$9EC393C9-EA3F-4BBC-8BA1-9FF806AFFB34","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6e719922ba9485be185698af13118ce9341a112","datavalue":{"value":{"entity-type":"item","numeric-id":4972072,"id":"Q4972072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e65329a1bba5eef1ece496e05da9181326bf271","datavalue":{"value":{"amount":"+0.87820417","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":"Q5408415$D453F206-50FC-4A85-B9D6-476358FCF874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb9e31deb0202532d85629a31746b5bf5d495c5e","datavalue":{"value":{"entity-type":"item","numeric-id":5919585,"id":"Q5919585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b551038924de43dc07c83f67baa40bcafb856fa0","datavalue":{"value":{"amount":"+0.82954353","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":"Q5408415$F2C760F4-4EA0-42B7-9A6A-19755533035E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69ce337b7c579a62aaad5c5a0a94d8e153c1e28a","datavalue":{"value":{"entity-type":"item","numeric-id":5915786,"id":"Q5915786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b551038924de43dc07c83f67baa40bcafb856fa0","datavalue":{"value":{"amount":"+0.82954353","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":"Q5408415$114B3D2B-5F14-417B-BA58-3E17B483446D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"269549f17b1ca89f28d9ad1297c137c6f13491e8","datavalue":{"value":{"entity-type":"item","numeric-id":6157241,"id":"Q6157241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c4a6a8bcb28ba0eca677520ca80e2a0c9017221","datavalue":{"value":{"amount":"+0.8291534","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":"Q5408415$726E9837-81F9-4CD3-8E14-8701C69232A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb636f355d8796679a448ab2f0465b71bf2a95f4","datavalue":{"value":{"entity-type":"item","numeric-id":3459922,"id":"Q3459922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e8ae4c9ce9773c950d4346fe10931ccf8542023","datavalue":{"value":{"amount":"+0.82551014","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":"Q5408415$2F12D3D1-B2E0-4BBD-922E-E5AA6342E739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c8b9f7343efe63e57ddd2bd2ef0ae5831271484","datavalue":{"value":{"entity-type":"item","numeric-id":2324018,"id":"Q2324018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9069ab8db92549de86304fadfccf84d7721b7f16","datavalue":{"value":{"amount":"+0.8237976","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":"Q5408415$E46DE9C8-A0F4-4650-A605-CD4AE143145D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"474ed12c7afbfe003c7c20a5a286c58c7ecb39e3","datavalue":{"value":{"entity-type":"item","numeric-id":6060675,"id":"Q6060675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d415a6eacf413381aab4b773eb43a5cd4f018467","datavalue":{"value":{"amount":"+0.82122934","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":"Q5408415$B5A6C78E-5B19-4635-A7E9-3F32EB9BBE38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfe8eee1f1216d7bb659bfe158a802f82adb2992","datavalue":{"value":{"entity-type":"item","numeric-id":2988660,"id":"Q2988660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0df3b652556e1fe2aca4929c67eacbccb21135ab","datavalue":{"value":{"amount":"+0.81905866","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":"Q5408415$842B61BD-36C0-4913-A3A2-C7E1F8690C6F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5408415","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5408415"}}}}}