{"entities":{"Q5481425":{"pageid":7510985,"ns":120,"title":"Item:Q5481425","lastrevid":92417819,"modified":"2026-06-05T01:40:14Z","type":"item","id":"Q5481425","labels":{"en":{"language":"en","value":"The structure of a type-safe operating system."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5044780"}},"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":"Q5481425$93EF170C-83B1-49CC-902B-87D13040CED5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"935758b29990e1c9ffc59037a48f2e1a531e8ad5","datavalue":{"value":"1098.68026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5481425$45653569-49FE-46DE-BB70-D2796F2BCF51","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"35d52f87431e1ff8588d9ddbb459e77cbc19e8b1","datavalue":{"value":{"entity-type":"item","numeric-id":5481424,"id":"Q5481424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5481425$543EA951-591A-423A-B5D6-B00D5DEC5457","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39bc363c9909984de532d3f18f52c2ff55d24a91","datavalue":{"value":{"time":"+2006-08-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5481425$9B373B89-7889-4F99-A294-19DCA9652ED1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5481425$5B38105C-F6E5-463B-B3A2-F45535C7CDFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5481425$1A68D375-1B10-4651-96E0-968CF9EC2249","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d5ddbe249fc66e3d8c9f467d39a33fcde577399a","datavalue":{"value":"5044780","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5481425$04526855-B1E4-4387-8EBF-3FBFAAFB2F86","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8440e6da190de518303a70503b5cf021ac46dca7","datavalue":{"value":"modular microkernel","type":"string"},"datatype":"string"},"type":"statement","id":"Q5481425$76E9A802-E2B0-44FC-8CCB-4CF6ABCC4D66","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":"Q5481425$6B7AD02B-C0D0-4982-875B-C7B45E4D7392","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1cbc23c7a6244e6d08cb007991b900aa5e3684f","datavalue":{"value":{"entity-type":"item","numeric-id":3437352,"id":"Q3437352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ed0ce94f4645c89efadad8fa06ec7074a9b24ab","datavalue":{"value":{"amount":"+0.6958649158477783","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":"Q5481425$70E81E3E-1C0C-4BC0-A516-75BD472D0454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"041ad8d51f5d9ddf4e0b039da1572407c9f97ca9","datavalue":{"value":{"entity-type":"item","numeric-id":2763691,"id":"Q2763691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3451113ecc49c541a7b8126afb2bb2f583371212","datavalue":{"value":{"amount":"+0.6899403929710388","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":"Q5481425$E6FCD05E-BD01-47D2-955E-FBE4923B15DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"692eaa62c6daba5ff22022792cbfeba82e9bdf42","datavalue":{"value":{"entity-type":"item","numeric-id":1405989,"id":"Q1405989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10733a1596fb95370ffa629d226b6cb522f28d7d","datavalue":{"value":{"amount":"+0.6876965761184692","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":"Q5481425$B1F9E7FA-24E1-4676-B071-76912ACB6058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fbf854d645657474aee93ef96889e923bb7a892","datavalue":{"value":{"entity-type":"item","numeric-id":4532092,"id":"Q4532092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b0a315036d50b659c81d76176af92da3c16b1ed","datavalue":{"value":{"amount":"+0.682483434677124","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":"Q5481425$A38BE409-B5D3-4141-A137-9846165FB04B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67ad0d3adcaf757e648cd3b437786b1bacfd9c99","datavalue":{"value":{"entity-type":"item","numeric-id":4501479,"id":"Q4501479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"285feba71076662eb5493c9aa5861771fb525932","datavalue":{"value":{"amount":"+0.6805296540260315","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":"Q5481425$ED91518C-46B8-4357-9724-95876FE1F3A6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The structure of a type-safe operating system.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_structure_of_a_type-safe_operating_system."}}}}}