{"entities":{"Q3323253":{"pageid":3333961,"ns":120,"title":"Item:Q3323253","lastrevid":45961078,"modified":"2025-12-21T00:42:44Z","type":"item","id":"Q3323253","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3854401"}},"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":"Q3323253$51D0A41D-D5F9-47BA-BCFC-7C340862E6C5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"99d11b64c1c99c81878fbe8d69deabba28b5682d","datavalue":{"value":"0537.68028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3323253$C1486476-5C5F-4D0C-B194-5CD84E496F28","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3323253$AB1EB657-7D86-49E2-BC73-F95C3BE9D918","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3323253$9B543C9B-ED1A-4242-B8F4-2E8C8A5C465A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3323253$9917D919-E381-4DCC-AD83-EE2F7FD6DFB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3323253$53E97A67-797E-47F0-BB75-F98AD889C85E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd857b4d539debc924b23d4d2c029b3554136b84","datavalue":{"value":"03B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3323253$0D072B67-024E-4289-B4D8-B3047A0ABB64","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"290b41bb1d46d7aa711be1f1ebbed79612a1ef6c","datavalue":{"value":"3854401","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3323253$06E65F37-7F96-4457-B8DA-75F4C016EDDA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97c7e463edd64cdf18c7d816e3d9e9c164a7208e","datavalue":{"value":"operating systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3323253$46E61B0B-D5B9-4B1A-87A9-A62BC824E6B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe05cd57e25692c6fec95b7bcab2da0ffb867001","datavalue":{"value":"abstract specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3323253$3DABD1D4-0476-4C99-954F-08C72CC881AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3323253$528AF260-80D1-44F8-9090-F99E4374422A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a6be860b21db7d21de6563f5c550146b5bd4dd0","datavalue":{"value":"data representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3323253$82B1E8C2-3116-48C6-9575-1C4366C798BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3da404b8d92192d24f22d5bd5254d9f160fdc2a9","datavalue":{"value":"proof techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q3323253$43E339BE-693D-4E08-A769-76D1EEE3A6D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3332558d6f9fcc71e60d6501d10674f4d4687ef7","datavalue":{"value":"UCLA security kernel","type":"string"},"datatype":"string"},"type":"statement","id":"Q3323253$CF1A0C71-64CD-462B-9124-1E05B0D111D4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1e9ee15e04024166fbc010b993d29589f250cf1","datavalue":{"value":{"entity-type":"item","numeric-id":1401258,"id":"Q1401258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3323253$71F9FDBD-E820-4EDE-B1F9-FF92A9772C45","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":"Q3323253$94B5E167-E6A3-4DA7-A251-C51BB7A7C3A4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8805aa92624cfbb19a11d2ff590d515b177211cf","datavalue":{"value":{"entity-type":"item","numeric-id":5754574,"id":"Q5754574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"caac543e056830490ffe444e9f935bca61d72635","datavalue":{"value":{"amount":"+0.86175525","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3323253$A83A4BAD-9E5C-4B4D-AB51-7511709D31F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"983366cc153cae27be16c2535db5be25ad3578a6","datavalue":{"value":{"entity-type":"item","numeric-id":1040002,"id":"Q1040002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f9eed8de80a331b6de7c9539d81ea540595a2ed","datavalue":{"value":{"amount":"+0.84744275","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3323253$E32DA9C3-EDBC-4405-B6B6-C1719EDB9298","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3323253","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3323253"}}}}}