{"entities":{"Q3863057":{"pageid":5892962,"ns":120,"title":"Item:Q3863057","lastrevid":90808196,"modified":"2026-06-04T21:26:01Z","type":"item","id":"Q3863057","labels":{"en":{"language":"en","value":"Specification and verification of the UCLA Unix security kernel"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3666187"}},"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":"Q3863057$EEB41A5E-F58C-4255-B8DC-0C85A69C8B89","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"98cc4d5b18bfb4d38087b2d8981bedda45b3215f","datavalue":{"value":{"text":"Specification and verification of the UCLA Unix security kernel","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3863057$D084F2E8-1B05-4DF9-A400-4A6F14DB0737","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"58f5e26814c4d3b27d860cd5454de89b733a4085","datavalue":{"value":"0427.68032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3863057$008CB989-B6A2-40D6-8753-C5E9CC6879FD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"760631a5a4bfd553e775b15b9471bf3a1766983c","datavalue":{"value":"10.1145/358818.358825","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3863057$EFF06AE7-BA1C-4C2E-A87A-75B3719D73AC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0aabc52cb1f870d4a1734e7fd1126eda3746f93c","datavalue":{"value":{"entity-type":"item","numeric-id":3863056,"id":"Q3863056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3863057$DCA4C1E3-97B3-4AD8-B4FB-5DFFBA9C7178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec84aad04fb2257252d897d6db096ce48f0e4201","datavalue":{"value":{"entity-type":"item","numeric-id":218037,"id":"Q218037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3863057$2C247892-19BF-454D-AD3D-C15A3598E26B","rank":"normal"},{"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":"Q3863057$B75F0CD7-A6A7-4FAE-A0D1-71FC7A207A51","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-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":"Q3863057$4DC2B9D6-C6C7-408D-AA1F-4690D946B985","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3863057$26C6ADD3-1F1C-49B7-B613-B849F8F9A1A9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"14a8412368a4e7b3259c714a12aa8513be7932bc","datavalue":{"value":"3666187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3863057$A1DCB201-EA5A-4294-A6C3-0234385A6C9A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3863057$02467CB5-A4BC-4DFB-8D22-D50C955D9B1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84c612e97d0bbc5f0fc0c1fc6c648d85c6d9bbe2","datavalue":{"value":"security","type":"string"},"datatype":"string"},"type":"statement","id":"Q3863057$F823B384-951E-4F1F-965F-267276301EBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97c7e463edd64cdf18c7d816e3d9e9c164a7208e","datavalue":{"value":"operating systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3863057$1264C421-2DED-47ED-AA46-DDFC283F378A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69781480695396eb51d0f18e240fbd84635aab72","datavalue":{"value":"protection","type":"string"},"datatype":"string"},"type":"statement","id":"Q3863057$CA02C7FE-070A-4BE5-93A4-8BB3F39F5A80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8e3175863b5e9983e03318c2c3bfadc070173de","datavalue":{"value":"Unix","type":"string"},"datatype":"string"},"type":"statement","id":"Q3863057$30B26303-FB14-43EA-A41E-9FEB216CB719","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":"Q3863057$D5478C6C-1615-4EDD-852A-FE6D686E0088","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"260d36194f53a3756bb2320545db5c95334fcbc0","datavalue":{"value":"https://doi.org/10.1145/358818.358825","type":"string"},"datatype":"url"},"type":"statement","id":"Q3863057$934C2313-30D1-462A-A883-84F705510072","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0ae1cd18fd1117960ff844b2eff587b32df6f39c","datavalue":{"value":"W2014942166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3863057$813F24D6-4C13-4147-B4B1-65F0158AFEBD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"087426e75e65ba42be09a15851f31de13b7aa5f3","datavalue":{"value":{"entity-type":"item","numeric-id":56730,"id":"Q56730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3863057$96A4A7C8-70D5-4DC5-9A17-302F67D43714","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Specification and verification of the UCLA Unix security kernel","badges":[]}}}}}