{"entities":{"Q6572558":{"pageid":14183713,"ns":120,"title":"Item:Q6572558","lastrevid":42356177,"modified":"2025-06-12T17:06:21Z","type":"item","id":"Q6572558","labels":{"en":{"language":"en","value":"Taming an authoritative armv8 ISA specification: L3 validation and cakeml compiler verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7881133"}},"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":"Q6572558$AE7FE1BD-0F0A-4C98-A2C0-E5B4E4FC6A97","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7be177283be0f35d5d13aa397c13a206ade3fcdd","datavalue":{"value":{"text":"Taming an authoritative armv8 ISA specification: L3 validation and cakeml compiler verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6572558$46FD6473-B3E3-4835-81EA-396E8F3E93D9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5be6e39293f1ad8a58e29dc1e8fae0b51d6255c","datavalue":{"value":{"entity-type":"item","numeric-id":2208291,"id":"Q2208291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6572558$0D4E984B-DD2F-491D-9203-04CE36637364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"30e84c1c161a78deee54f35997c4f862ecf81aa5","datavalue":{"value":{"entity-type":"item","numeric-id":172359,"id":"Q172359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6572558$9B697B45-D4C8-45CC-A077-A9B31C9D10DF","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":"Q6572558$C9FF450F-83D9-40FB-9860-B20DCD95BF19","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7dae1a09e0b079923de71e99f58f11ff9161f5ec","datavalue":{"value":{"time":"+2024-07-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6572558$2D4F4D16-E497-4CC1-947A-31FD1790CFDC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572558$0B9FADF0-00AE-4807-840D-1EBC635001E1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"22835cd74ebae89f466398dd3eaf3e84f7d342ec","datavalue":{"value":"7881133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572558$8FDE5661-1BFC-48C7-A126-8447B9DD5E6C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acd9c52c59d07d5822d39f1d47e4205b4637b9d3","datavalue":{"value":"compiler verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572558$C9E73985-EB58-47FF-8DB6-CED738134B4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4232a3788ae17803de8e19df819025b65286bc72","datavalue":{"value":"ISA specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572558$975A72B2-F189-4554-9EA1-3C90A5698326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a98f4f63c134cf5f8bbe7dd8160815c1e044dd6","datavalue":{"value":"HOL4","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572558$068D507E-3190-499E-BF93-6B82FF8C600D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21cf102e52d55bb9e3ba4ca1c32b8839281988dc","datavalue":{"value":"interactive theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572558$720B45B2-E77C-463E-8DDE-96F782054BAB","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":"Q6572558$E045E348-046D-438F-AD96-60D79774FDE4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8aabb449dc55c0cdfc4a24690d5382adfb5c029c","datavalue":{"value":"10.4230/LIPICS.ITP.2022.20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572558$BD61D18A-C00D-40AF-A370-C1C2F61D6C16","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6572558","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6572558"}}}}}