{"entities":{"Q4916058":{"pageid":6945639,"ns":120,"title":"Item:Q4916058","lastrevid":51697727,"modified":"2026-01-19T13:13:44Z","type":"item","id":"Q4916058","labels":{"en":{"language":"en","value":"Compositional verification of a baby virtual memory manager"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6155873"}},"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":"Q4916058$2AB28EFD-678C-4E35-8B8E-46E76F349341","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"69fd86f318e4f16bc4ed838a2d0d26bb6fa6949b","datavalue":{"value":{"text":"Compositional Verification of a Baby Virtual Memory Manager","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4916058$B176B2DC-C131-4D56-93B8-7F8859A269CF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"67e0270c3925b3db039dda3f82b785f74bb54850","datavalue":{"value":"1383.68022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916058$70163DE9-8E79-44FA-A9BA-E572E2EDC21D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0bb2d06804a64c707219914f0dc80634ee5063ce","datavalue":{"value":"10.1007/978-3-642-35308-6_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916058$0C20E7E5-4400-4513-94BB-5EC13F5F83F6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"667060a7423c545772376e421b7ebe58c1a5c855","datavalue":{"value":{"entity-type":"item","numeric-id":4916057,"id":"Q4916057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916058$E73C405D-3996-44B7-9749-733A83472668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b45204622bfa7b343b3d270acbf7de72b0faad61","datavalue":{"value":{"entity-type":"item","numeric-id":835763,"id":"Q835763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916058$BB8DD9EE-F1CD-47A5-ACFF-3F21A44227C3","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":"Q4916058$A27530A2-62BF-4766-83B1-DCCA67315966","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09328fefd4bef3fd48b14da7de769686b3303861","datavalue":{"value":{"time":"+2013-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4916058$30191E64-84FA-4464-83A8-346986FED1A6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916058$79FC408F-5C75-4C9B-B185-DCD7F38907A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916058$D13D035B-8FCB-40C4-B72C-667A28D07775","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"58bf1facb722340721ff9697a0ea86ddff4e6fdf","datavalue":{"value":"6155873","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916058$43FFE52F-3899-46A9-96BD-46A0765E13A4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916058$CCB7CDBB-6935-4BD4-B4F9-B5C7AC06BA13","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":"Q4916058$75757F5B-A824-4F67-A3E5-47B9DECEBD55","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7c1e38894c2b757b0d52d42ed97cea23525b43d4","datavalue":{"value":"https://doi.org/10.1007/978-3-642-35308-6_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q4916058$C2918A7B-2E50-41D6-A5A3-31CD7B63C3A7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7fee040a2387607538cdc06b2eb9120b5f079a60","datavalue":{"value":"W71887237","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916058$5E2080FA-CEE9-461A-871E-C44C8566642E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f366e5466d4b0621aaf9bb2b1370668cd91fe511","datavalue":{"value":{"entity-type":"item","numeric-id":5493234,"id":"Q5493234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70c25420767943d34a82d8e07870502571447d3c","datavalue":{"value":{"amount":"+0.7690608501434326","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":"Q4916058$AB5ACD42-EFAA-4877-9F50-C90D0F0D9ADA","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":"9bdaa1e318e7ffaad77772d8819732577324140f","datavalue":{"value":{"amount":"+0.7257156372070312","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":"Q4916058$AAF23A5A-3C26-46BF-8116-F3A7EC2195E2","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":"efcd295b4f8a54100c7108c925c1e88e758641e0","datavalue":{"value":{"amount":"+0.7101345658302307","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":"Q4916058$CF9CE10C-F9A7-4A70-9D98-5A38E72C3690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66a3f8a355563eb18ff564805dfffead5696effe","datavalue":{"value":{"entity-type":"item","numeric-id":5458324,"id":"Q5458324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6073728222cbdeb831bd2a869fc59a19ed882552","datavalue":{"value":{"amount":"+0.7037509679794312","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":"Q4916058$D431DA1F-F611-4A65-BD66-B403E271B2CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e275c1a99869a76ee490b3efdd8e3243321e8c2","datavalue":{"value":{"entity-type":"item","numeric-id":2968409,"id":"Q2968409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f004deb33a3505d5c855da5d803b7d66d620e309","datavalue":{"value":{"amount":"+0.6943691968917847","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":"Q4916058$BCDBC522-BA8C-48B6-80CC-D15774B68E37","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4916058","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4916058"}}}}}