{"entities":{"Q7361198":{"pageid":31519133,"ns":120,"title":"Item:Q7361198","lastrevid":105363818,"modified":"2026-10-07T13:35:03Z","type":"item","id":"Q7361198","labels":{"en":{"language":"en","value":"CakeML"}},"descriptions":{"en":{"language":"en","value":"AFP entry CakeML"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b7b3cb551e33166cf5a86daeb2d87686493a845f","datavalue":{"value":"https://isa-afp.org/entries/CakeML.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361198$4B9C733B-3711-4840-9F51-3C1550B6BBBC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3cc8ff785145483794beca95dd57f9ed4de5b6fd","datavalue":{"value":{"time":"+2018-03-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361198$390A8804-8247-4346-B759-1E12338E98DF","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"bf5d485796582ea615cfd5e7c0148e1add1641d3","datavalue":{"value":"Lars Hupel","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361198$E112CF75-A075-4B03-86F4-3128F5A60A8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"c50a956af192729c6b98a043282b4cb2c3b94f84","datavalue":{"value":"Yu Zhang","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361198$DEBD97A0-DF5D-43E8-9DFE-85E4F7FD49D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"d9cb76a4e13cf399e45c354f9480fc0b458baf87","datavalue":{"value":"Johannes \u00c5man Pohjola","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361198$87A1F63F-D201-42CE-A9B1-657A5DFC7F43","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eec42bffb714881f18e0df77b9ce46392ed4b562","datavalue":{"value":{"text":"CakeML","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361198$BD33D52D-1BD3-494E-8BF2-40801B6C19B9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5766879eb3a3f47916cd0cc7fb30773513f8d3fd","datavalue":{"value":"CakeML is a functional programming language with a proven-correct compiler and runtime system. This entry contains an unofficial version of the CakeML semantics that has been exported from the Lem specifications to Isabelle. Additionally, there are some hand-written theory files that adapt the exported code to Isabelle and port proofs from the HOL4 formalization, e.g. termination and equivalence proofs.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361198$F5B1A47E-9ADE-41B0-AE03-BDDBDCC8C3BD","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361198$A801D256-F346-41EC-9554-FB5B6266892E","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"c9d73c02403c0af647a73b8da7299dbef78ebf0b","datavalue":{"value":{"entity-type":"item","numeric-id":7361764,"id":"Q7361764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361198$2834A18B-0D12-4D99-9210-01C60D1578D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"f0a2b8bd1d33f3af4b5e5a7117346c30633890a2","datavalue":{"value":{"entity-type":"item","numeric-id":7361869,"id":"Q7361869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361198$4EA032EC-4042-42F9-B05F-CA2AB2D745B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"c8b055357156b513ebffa05abff4ab0fc053c1d6","datavalue":{"value":{"entity-type":"item","numeric-id":7361662,"id":"Q7361662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361198$3715E3BD-963F-433F-B8EE-DC9A2B58F638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"e63516e58241acf42ac71681fd6610456ac84f3f","datavalue":{"value":{"entity-type":"item","numeric-id":7361376,"id":"Q7361376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361198$1BF58E04-FB60-43FB-B540-42DE4775C8A7","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"9beb5f7be6b27e22c4af581585b828086bbf7950","datavalue":{"value":{"entity-type":"item","numeric-id":7360796,"id":"Q7360796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361198$C47A4629-73E3-45A8-90F8-282CF35237CD","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361198$DF22FBEB-ADF5-4A5C-B8E2-60B2B462BD42","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"CakeML (AFP entry CakeML)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/CakeML_(AFP_entry_CakeML)"}}}}}