{"entities":{"Q2968409":{"pageid":2979134,"ns":120,"title":"Item:Q2968409","lastrevid":52762736,"modified":"2026-01-23T11:06:13Z","type":"item","id":"Q2968409","labels":{"en":{"language":"en","value":"Formally verified implementation of an idealized model of virtualization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6694178"}},"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":"Q2968409$D4967456-64D3-46CA-B1E6-3620AF1914B7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bb92c836cce2477423845b491a9f19854fa6a49d","datavalue":{"value":"1359.68048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2968409$1051EAE1-3B10-4D09-9DAD-9BDCC598FFD3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"df85df02f9f01c867f5b97dc99ba15582bedbdd2","datavalue":{"value":{"entity-type":"item","numeric-id":236461,"id":"Q236461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2968409$07CF125F-BF0A-4AEF-A922-FC01E3ABE150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"15a57b693560fd34c9f1a1c205f9ff110b249458","datavalue":{"value":{"entity-type":"item","numeric-id":1671158,"id":"Q1671158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2968409$1BFB358B-9761-42B7-B0C1-A42DA7003D9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1232bfe00ec5b15f16706a7b9c196a611f7a5bc3","datavalue":{"value":{"entity-type":"item","numeric-id":2402554,"id":"Q2402554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2968409$D7C46D6D-A5F8-4B4A-8146-5FCB0AFE884F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"98b1d0c3bcc0f90d6fd18a317c6452cb60f2ad98","datavalue":{"value":{"entity-type":"item","numeric-id":1671161,"id":"Q1671161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2968409$58C8A140-91D6-4666-AF7F-3FE5A8B25211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"25b25a080b2a9378f05d9de4d0c4a4329519376e","datavalue":{"value":{"entity-type":"item","numeric-id":2228438,"id":"Q2228438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2968409$83BFD754-C3AD-40CE-9423-58061C749751","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"856edffdf82e86092e797d3b8ee58dc208c2c6a3","datavalue":{"value":{"time":"+2017-03-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":"Q2968409$3B8FE559-FF6D-435D-A990-A6934A22D3F8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2968409$93F53C68-8BAA-45E3-924C-177983A2A3AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2968409$E6B32AF9-13BE-4ADF-8245-6EF05998C465","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"66ae1a8befa86f48e4696fc9eebccb047b6cfeb0","datavalue":{"value":"6694178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2968409$3085DEE0-5F8B-4FB2-A5E0-8CC47CE7EE3F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41ce4e8ab32db80ea999503e5d4fdcc4fe91bd97","datavalue":{"value":"virtualization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2968409$1CCCC252-0A13-435F-B041-286ED659E3DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65e866144d4772a8f36a4e782e1a6250977d9d78","datavalue":{"value":"cache","type":"string"},"datatype":"string"},"type":"statement","id":"Q2968409$9C53F762-A08B-4992-9C57-3FAFB4A88562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74d91018d64e7975357c40c8884e93e6bb95e86b","datavalue":{"value":"TLB","type":"string"},"datatype":"string"},"type":"statement","id":"Q2968409$5146BD2F-5B3E-4F38-BF5E-D8C005614CCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"935988cfed4c83c572bd5d706bc07ae9e3a3eb4e","datavalue":{"value":"executable specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2968409$84455457-4DB5-4EE8-9504-0EC84125CBD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed6f9fb38ca8d596e7d17050b11af580ee3c16e4","datavalue":{"value":"error management","type":"string"},"datatype":"string"},"type":"statement","id":"Q2968409$857A2AFE-6C3A-4FC5-B8F1-77BAF45AD1E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbb05578d002d7b735498ea4da3820af057b7eff","datavalue":{"value":"isolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2968409$8EBB67B6-4CB1-4053-AFF1-8F468477EA6A","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":"Q2968409$C92A53A1-5EA1-4E80-83F1-30240A264BB3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cea31d7b1a1b6aa802ac0cddf7f281244fb2d281","datavalue":{"value":"https://drops.dagstuhl.de/opus/volltexte/2014/4625/","type":"string"},"datatype":"url"},"type":"statement","id":"Q2968409$6C6E1349-6A02-4EBF-A3A0-C1AC470CE803","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c5374419f63981d65c85e6ab0e671a46adf3bcfa","datavalue":{"value":"W2249550213","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2968409$CE9F82A2-6A29-448F-AE7E-6FF203B65DAE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c15012f155626f9e3bd32619630375d3ca40e5bd","datavalue":{"value":{"text":"Formally Verified Implementation of an Idealized Model of Virtualization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2968409$1BBA8551-F24F-4A47-ACEF-1BF596E5BB07","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bd3e0985c13f83082996ceace6f120153ff3cd9f","datavalue":{"value":"10.4230/LIPICS.TYPES.2013.45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2968409$456C32F8-D35F-4FD5-A3A1-757BF29B8EBF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d17da9cef2f48ebf323095a26797b980b6702d1d","datavalue":{"value":{"entity-type":"item","numeric-id":2894314,"id":"Q2894314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17710e9ea1e88a87ca0577b105ed9da1bdfe48c1","datavalue":{"value":{"amount":"+0.7082459330558777","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":"Q2968409$CB1F2134-EE71-400C-BE43-5ED1D839C361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ba83feba1be4951b2507336d05662777d195de9","datavalue":{"value":{"entity-type":"item","numeric-id":835773,"id":"Q835773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24f9cef15f9fe00813abfd832bd1077a5de5c8dd","datavalue":{"value":{"amount":"+0.7074499726295471","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":"Q2968409$8F798476-1896-4806-A5F9-84D94A9389BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7fa846a4bb685e66c5f210b6da5ac9a633c63c8","datavalue":{"value":{"entity-type":"item","numeric-id":2938055,"id":"Q2938055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39e180816c946e8dd90623981e19176f780abf2d","datavalue":{"value":{"amount":"+0.7023781538009644","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":"Q2968409$8EEC696F-E36B-4A28-A439-45D5FDD2F1E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e03597b0d4c9d87fca417c12c4f049fcacdba50b","datavalue":{"value":{"entity-type":"item","numeric-id":2819848,"id":"Q2819848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41bec44a42d8ce00c2ef382e928f2f8d40fa4719","datavalue":{"value":{"amount":"+0.6998933553695679","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":"Q2968409$0770C271-2D33-45DB-9A9B-EFE1BB5A3AB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b14f327a6498d5dc29fa547294ad5c9b297b12f0","datavalue":{"value":{"entity-type":"item","numeric-id":2417947,"id":"Q2417947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"168c08cca696679cd81f922cf30cc78304fc1359","datavalue":{"value":{"amount":"+0.6977759599685669","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":"Q2968409$CD2DC982-F2D1-4072-8AD8-CC1740BF33C0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2968409","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2968409"}}}}}