{"entities":{"Q7361194":{"pageid":31519121,"ns":120,"title":"Item:Q7361194","lastrevid":105363854,"modified":"2026-10-07T13:35:04Z","type":"item","id":"Q7361194","labels":{"en":{"language":"en","value":"WebAssembly"}},"descriptions":{"en":{"language":"en","value":"AFP entry WebAssembly"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"17847ce05746c7fd6b9f6dcc49ab4493718d42d8","datavalue":{"value":"https://isa-afp.org/entries/WebAssembly.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361194$D30BE4F4-7EFB-4B8A-A463-41BC3F73B885","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6235ca0f58dc84f8858a012ac85061ab727e93ad","datavalue":{"value":{"time":"+2018-04-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":"Q7361194$7F4809FA-C132-4817-B770-208017177A2C","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"de291bc848f182b45d51539c69566cf28358ad2a","datavalue":{"value":"Conrad Watt","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361194$52192AAC-10D7-49F5-9A61-0E18C5C61ADA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ca3577bba8a5b804251b065a594b89465b1a35b6","datavalue":{"value":{"text":"WebAssembly","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361194$D00CCE57-B9C6-4F7C-8501-DDBF146FC8F4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f96d81386bc6c9aecbc01cc09389e36736e9fd58","datavalue":{"value":"This is a mechanised specification of the WebAssembly language, drawn mainly from the previously published paper formalisation of Haas et al. Also included is a full proof of soundness of the type system, together with a verified type checker and interpreter. We include only a partial procedure for the extraction of the type checker and interpreter here. For more details, please see our paper in CPP 2018.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361194$D214084E-E400-4C28-B82C-C4CF8262CFA1","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":"Q7361194$C7DE82FD-3A2C-465E-9A93-CF5D517E2A1A","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"1518b44e9920a7e58377edf0d25bb1683f308560","datavalue":{"value":{"entity-type":"item","numeric-id":7361163,"id":"Q7361163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361194$2C1E7604-05B4-4475-9AC2-1D7FB8245CDF","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":"Q7361194$22069C83-FA5B-42B8-91F2-76968735969E","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":"Q7361194$16933AD5-1E2E-4EA3-A057-9B1C8588815F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"WebAssembly (AFP entry WebAssembly)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/WebAssembly_(AFP_entry_WebAssembly)"}}}}}