{"entities":{"Q6070795":{"pageid":13205103,"ns":120,"title":"Item:Q6070795","lastrevid":93790310,"modified":"2026-06-05T05:07:55Z","type":"item","id":"Q6070795","labels":{"en":{"language":"en","value":"Compiling sandboxes: formally verified software fault isolation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7770437"}},"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":"Q6070795$22DE4955-DF48-4116-8DCF-057F0B3AA8BA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"435062864be7cab65970abd84fd412ff8d26204c","datavalue":{"value":{"text":"Compiling sandboxes: formally verified software fault isolation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6070795$7FDD9FD4-AB16-4449-A559-DDEBFFA72E6A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2ee251dd009ebd9012e2703fdc816767d68eb4a0","datavalue":{"value":"1524.68065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6070795$4B12714F-CB99-4789-A7C3-2AC0A7337383","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4b565481994cf096075b500a285f043f904c0193","datavalue":{"value":"10.1007/978-3-030-17184-1_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6070795$6449164D-E2E5-4C98-AE03-5AE8D2338197","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6070795$A0C53CB5-A317-4DB7-9DA2-0EE589823D6E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23cd7302534ebac1f5798f1388e7a545a7b25124","datavalue":{"value":{"time":"+2023-11-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6070795$87D50DC4-B92D-4EE8-95B7-0B26490D70DD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6070795$64353C2A-ED95-486E-A2D8-6AE78CB943DB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c5fff4724cf0bb4709a609f9e2261dfe89d78287","datavalue":{"value":"7770437","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6070795$FF67C7D1-F917-4EB0-A5B8-B029C60F66EC","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":"Q6070795$7C5539BF-40E5-4F30-81FE-193A7CF2C0A0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2e8d3c192206d8e2cfbb4e1bbd4118cf0d78d17a","datavalue":{"value":"https://doi.org/10.1007/978-3-030-17184-1_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q6070795$99496B72-B98B-46B0-8162-DEBFAC659B9D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3d7522ca2072e6592f1164bd1a47edb6bad6cf81","datavalue":{"value":"W2930837359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6070795$81502246-F0D0-4DA4-89B2-D7869C49DABC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d686d37504c1931dfad13556a5fb75cac17462d","datavalue":{"value":{"entity-type":"item","numeric-id":6041170,"id":"Q6041170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ee5e4f2216747032affff4856980ed1765bc887","datavalue":{"value":{"amount":"+0.8700755834579468","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":"Q6070795$C4331279-8F8F-4777-8ACA-E055CD158D17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b219b6d7b95e38ed7a29c3183761078250d4e26","datavalue":{"value":{"entity-type":"item","numeric-id":1687720,"id":"Q1687720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07ee7c83a197caf938be1bfe0f7527126e36036b","datavalue":{"value":{"amount":"+0.7171872854232788","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":"Q6070795$24D8EF90-68C9-49C6-8947-04123EC0180E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68430109aae979bda0ec257514eeef17dfed57d3","datavalue":{"value":{"entity-type":"item","numeric-id":2319992,"id":"Q2319992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2010c5c61cc06a657272a528869cf77735808c74","datavalue":{"value":{"amount":"+0.715812623500824","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":"Q6070795$09326848-016E-480C-BD3F-E5785F3B1489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c6c9e47a6f87f9556c5932f106c5ec71edfaf09","datavalue":{"value":{"entity-type":"item","numeric-id":2819813,"id":"Q2819813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fbd4b04b5090aeed617b59fd6f6010fcdc0aee7","datavalue":{"value":{"amount":"+0.7076693177223206","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":"Q6070795$189AD329-EED6-4F82-AFE4-8257F153DA55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"563b03ec74aae24d93815da9b0039614e6cf63fa","datavalue":{"value":{"entity-type":"item","numeric-id":2828254,"id":"Q2828254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05e01f2b03e132cdbe9c3d96353fc7ccdd5fbd34","datavalue":{"value":{"amount":"+0.7031864523887634","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":"Q6070795$65B6776C-5AE4-4961-A5EA-207C117FAAC3","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6070795$7A77441B-C27D-4596-8614-AAB153902C31","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Compiling sandboxes: formally verified software fault isolation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Compiling_sandboxes:_formally_verified_software_fault_isolation"}}}}}