{"entities":{"Q2938055":{"pageid":2948775,"ns":120,"title":"Item:Q2938055","lastrevid":52170644,"modified":"2026-01-21T02:19:24Z","type":"item","id":"Q2938055","labels":{"en":{"language":"en","value":"Machine assisted proof of ARMv7 instruction level isolation properties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6385870"}},"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":"Q2938055$D7836E43-AC6D-4A44-977F-0A9E4F9B4D35","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af470526f972dbdfb9d388d2e6dff22651bf232f","datavalue":{"value":{"text":"Machine Assisted Proof of ARMv7 Instruction Level Isolation Properties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2938055$355351E5-4971-4BB8-9EBF-B1F8442F0DA1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7ef892947d2f23fcb9b5a9a569690fda74b03a11","datavalue":{"value":"1426.68286","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938055$02D77591-924E-466E-911A-BCDE40351B3F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7ed8c2f79734e78be9166eb9dc3e72fbca1d64e4","datavalue":{"value":"10.1007/978-3-319-03545-1_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938055$2295F3B8-A260-453E-89F5-5148DF30703A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c5ea7c97a3827d84e91218de8f7d911f30559b8","datavalue":{"value":{"entity-type":"item","numeric-id":282086,"id":"Q282086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938055$389720F0-C995-47E2-BBC1-1E67D0DC680C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9db5f4e3e700d384383b3c38d5713cc06dec9fc1","datavalue":{"value":{"entity-type":"item","numeric-id":2938054,"id":"Q2938054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938055$82B112FF-BAC7-4344-8187-7680807709F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6786702c945efafa0740aa01768ef3c300be6d14","datavalue":{"value":{"entity-type":"item","numeric-id":931114,"id":"Q931114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938055$62749509-6DC9-4902-A4F0-C62648277A9C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e7468504fbcb9c3a09d3a38cdd67d03e02eec6","datavalue":{"value":{"entity-type":"item","numeric-id":2938035,"id":"Q2938035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938055$BD5B3076-7C86-48C9-9901-CCAB356838B1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7326fd6e0963f01b5d05d75894cb7d24907c61f1","datavalue":{"value":{"time":"+2015-01-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2938055$5502D2D1-B1EE-461B-9E2A-63FD2B8059A6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7990d1ad7e9fb580bdd118fb6c522e874059d78c","datavalue":{"value":"http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-136354","type":"string"},"datatype":"url"},"type":"statement","id":"Q2938055$D2BC25D6-13F7-4F0A-90B4-5C69E02BDB48","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938055$98D278D5-F6C0-45A4-A518-663E517EA5A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd80e9ade304e6b9b43fd50d0c3436276c3c217e","datavalue":{"value":"68M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938055$0AE4B182-443D-4FFF-9B04-9F84B1F46A68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2335101d556243c88261e1fccd8d7026b2856a8a","datavalue":{"value":"68M25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938055$C06C2869-FCB6-49F9-9891-A14399FC9265","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"509b1bdeffb199f17de3cf6797c5520c05b43ce4","datavalue":{"value":"6385870","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938055$7176C525-2BC1-414E-A43E-226C4E0D0D34","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6fa2340a1e335f36ff15a745f7beac9229239340","datavalue":{"value":"ARM instruction set","type":"string"},"datatype":"string"},"type":"statement","id":"Q2938055$A97E5946-B412-44BF-ADB2-85EF84B4F23D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61870c981b19bcee212c9c2ebab0264994cbe384","datavalue":{"value":"noninterference","type":"string"},"datatype":"string"},"type":"statement","id":"Q2938055$7D823992-277F-43CB-B2E8-718910449825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d01a3fbea264bfd79629f216d78edb839140b2a","datavalue":{"value":"user mode execution","type":"string"},"datatype":"string"},"type":"statement","id":"Q2938055$EB492238-7D12-4F91-A2DC-B6FAF4A8805E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be8ef1277b29a854d215f012aac60502138dfa09","datavalue":{"value":"kernel security","type":"string"},"datatype":"string"},"type":"statement","id":"Q2938055$6C238C41-05B6-4BC3-93C6-BF25DF2C37DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2938055$7B1779B6-4231-47D5-8EE5-730AA36BBA29","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":"Q2938055$C0A7C5B5-F1D6-4D67-B04F-A6F606EE4024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19db008058ce3a679389c190541b4b00e350555f","datavalue":{"value":{"entity-type":"item","numeric-id":27113,"id":"Q27113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938055$DC6509C9-58A7-4E6C-A691-515BCD5F2DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e7cc90e3a9bc43e21c528da8ee18b2654a863a7c","datavalue":{"value":{"entity-type":"item","numeric-id":30118,"id":"Q30118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938055$4FFDA4D4-EB77-4052-BE93-A4A281AE2686","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":"Q2938055$3B4B4E42-EFBE-4601-8FE3-65EF762F139D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a85dff25074467b010c2ccc0d5278b9c480abe4c","datavalue":{"value":"W2105482908","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938055$6DDE0068-54AF-41D4-BD70-5CA3B0B4DD51","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e65dd9541a1dbfd1ad7026b9e1124c3d9e26f061","datavalue":{"value":{"entity-type":"item","numeric-id":5747653,"id":"Q5747653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"757f9c29e59627ca7622be441159d10896d27d5f","datavalue":{"value":{"amount":"+0.7723846435546875","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":"Q2938055$D77C7728-09ED-4D44-90B6-81AD21660B5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82591264ebb39f3da7354f5b26f0c8340e158859","datavalue":{"value":{"entity-type":"item","numeric-id":3508532,"id":"Q3508532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08e661a4093a7e6eaa1deedc1337e816edcfbbb5","datavalue":{"value":{"amount":"+0.7348917722702026","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":"Q2938055$85D58705-2BD8-48A1-8011-CC4EF64C6312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"331384bea230c29b7d079e91947264e1368e041d","datavalue":{"value":{"entity-type":"item","numeric-id":3088017,"id":"Q3088017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2021a5369d56d4806dee072b7267869314ca5ba7","datavalue":{"value":{"amount":"+0.7317293882369995","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":"Q2938055$AADAE4BB-82E7-46C0-BA9F-F11A6512E54D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f2dc9bd6dbc1f155afd372f6c99fa5e842bb1a5","datavalue":{"value":{"entity-type":"item","numeric-id":5045393,"id":"Q5045393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cea75b87c93c42ab3ee651e2c81fad71351a8226","datavalue":{"value":{"amount":"+0.7097811698913574","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":"Q2938055$830D6E10-0730-4062-BFEF-BB48EBA9344C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10ccc0f0e4b4348836fd6f1262847346b269403c","datavalue":{"value":{"entity-type":"item","numeric-id":3179279,"id":"Q3179279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b563090657b031dd0fc0c6e49b6f2c45c15d64f","datavalue":{"value":{"amount":"+0.7064576148986816","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":"Q2938055$38749A4B-FBDF-4479-AED4-AFFC43F6C6F7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2938055","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2938055"}}}}}