乐胖代购免代理版

{"entities":{"Q55897168":{"pageid":55850142,"ns":0,"title":"Q55897168","lastrevid":1461675377,"modified":"2021-07-17T11:43:44Z","type":"item","id":"Q55897168","labels":{"en":{"language":"en","value":"Comprehensive formal verification of an OS microkernel"},"nl":{"language":"nl","value":"Comprehensive formal verification of an OS microkernel"}},"descriptions":{"nl":{"language":"nl","value":"wetenschappelijk artikel"},"uk":{"language":"uk","value":"\u043d\u0430\u0443\u043a\u043e\u0432\u0430 \u0441\u0442\u0430\u0442\u0442\u044f, \u043e\u043f\u0443\u0431\u043b\u0456\u043a\u043e\u0432\u0430\u043d\u0430 \u0432 \u043b\u044e\u0442\u043e\u043c\u0443 2014"},"de":{"language":"de","value":"im Februar 2014 ver\u00f6ffentlichter wissenschaftlicher Artikel"}},"aliases":{},"claims":{"P356":[{"mainsnak":{"snaktype":"value","property":"P356","hash":"f337c1eb83178144a356fd2e2891f0b334b98099","datavalue":{"value":"10.1145/2560537","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q55897168$1C72C6E7-0599-45AA-9545-7456C24DE7F8","rank":"normal"}],"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"29465f78f13add11b617f0de4ade56cd1122c19c","datavalue":{"value":{"entity-type":"item","numeric-id":13442814,"id":"Q13442814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q55897168$04C79A99-1B28-43F8-B031-C8FC14E47252","rank":"normal"}],"P1476":[{"mainsnak":{"snaktype":"value","property":"P1476","hash":"ce3a0364718b8895e0ee129f95f8d28b3f158a4a","datavalue":{"value":{"text":"Comprehensive formal verification of an OS microkernel","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q55897168$BB7BCC5F-F66D-4132-B324-16403099C37E","rank":"normal"}],"P433":[{"mainsnak":{"snaktype":"value","property":"P433","hash":"962ed10012ef254020e2a8c8a6c8ba7647d35a12","datavalue":{"value":"1","type":"string"},"datatype":"string"},"type":"statement","id":"Q55897168$23AE1303-8179-4372-A883-01D3629855D1","rank":"normal"}],"P304":[{"mainsnak":{"snaktype":"value","property":"P304","hash":"0f338ff7eb1a105caf87f837d35ca6852cded738","datavalue":{"value":"1-70","type":"string"},"datatype":"string"},"type":"statement","id":"Q55897168$27E5A76E-2F41-40AA-A0D4-FAD776FEE030","rank":"normal"}],"P478":[{"mainsnak":{"snaktype":"value","property":"P478","hash":"0e910e9d16133d54a468f079f63f6b565a7e2a31","datavalue":{"value":"32","type":"string"},"datatype":"string"},"type":"statement","id":"Q55897168$FA75F90C-FB91-488D-A8F8-0A04F8CB8DDA","rank":"normal"}],"P577":[{"mainsnak":{"snaktype":"value","property":"P577","hash":"dd5c356876d1e291aa111734affc6201fad0ba9e","datavalue":{"value":{"time":"+2014-02-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q55897168$0568B878-D105-44BC-8D4E-C919265D5593","rank":"normal"}],"P1433":[{"mainsnak":{"snaktype":"value","property":"P1433","hash":"9ab9174046ee0b95f0a4e8128a4aa7881c022c09","datavalue":{"value":{"entity-type":"item","numeric-id":15752815,"id":"Q15752815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q55897168$D1D80ED0-EC4B-45A4-8230-251463B5C7A4","rank":"normal"}],"P2093":[{"mainsnak":{"snaktype":"value","property":"P2093","hash":"419b91b3681dca9ab2aca4d482f2a3c4b23604d4","datavalue":{"value":"June Andronick","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"7241753c62a310cf84895620ea82250dcea65835","datavalue":{"value":"2","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q55897168$B8D9754C-3974-481F-A76C-41DA1857A153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"63738f7d22c282cdf786f366620d317e73fbe89b","datavalue":{"value":"Kevin Elphinstone","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"0e979f28bf306fefdcd352b4eb8dee5da2153a6d","datavalue":{"value":"3","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q55897168$39C3F265-7011-4236-8FD0-42387087B88F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"494cd088148a545e1e803e0939305c813e68d941","datavalue":{"value":"Toby Murray","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"cbff8d4b3b7b35f905ef3147a7a6cb88845a774f","datavalue":{"value":"4","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q55897168$FB7BD760-A050-41D9-B914-E7572C8FF459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"f1b6b491c8f4393687286caf50bba1de1921eae8","datavalue":{"value":"Thomas Sewell","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"ea4583c18f699186700d21642b477a2dc1d345c8","datavalue":{"value":"5","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q55897168$6C64F838-D238-4870-9ACB-FFC91E1B363C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"59ca7c248ea56e675f41727b000ad6a91ce744a6","datavalue":{"value":"Rafal Kolanski","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"32387bd293902a2430b5bb680033d36ecea00dd0","datavalue":{"value":"6","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q55897168$641FA540-D084-4BD5-81D4-D9AE7342FD71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"b76cd816d28f6cdc88f5ff78300b78cb35325bd6","datavalue":{"value":"Gernot Heiser","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"9a4403310d2d27312d0a93830981a1e51b735843","datavalue":{"value":"7","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q55897168$32F6EC28-70BD-45C9-A4E4-F5CF89217111","rank":"normal"}],"P2860":[{"mainsnak":{"snaktype":"value","property":"P2860","hash":"fa7de69d65f374bfc4fa44d2a8d554ec89d7ce0d","datavalue":{"value":{"entity-type":"item","numeric-id":55878732,"id":"Q55878732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q55897168$5D782CFE-CD37-4686-8B74-B1105BC026FF","rank":"normal","references":[{"hash":"c241f31043be97933c9c320c55457fa3a3f4e21f","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"a185ae64d472c92d128e6bcb1de168a4b46a2019","datavalue":{"value":{"entity-type":"item","numeric-id":5188229,"id":"Q5188229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P854":[{"snaktype":"value","property":"P854","hash":"d7f33eae9761131abdc534914438a12c2e9caa04","datavalue":{"value":"https://api.crossref.org/works/10.1145%2F2560537","type":"string"},"datatype":"url"}],"P813":[{"snaktype":"value","property":"P813","hash":"895c087a671d62b8d23a1c5f9df41dd563438528","datavalue":{"value":{"time":"+2018-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P854","P813"]}]},{"mainsnak":{"snaktype":"value","property":"P2860","hash":"304c4735633113f8142d194b7e266bbf5a1acb44","datavalue":{"value":{"entity-type":"item","numeric-id":56142439,"id":"Q56142439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q55897168$56876E8E-5F16-45C8-98B0-5AB362E4F0D2","rank":"normal","references":[{"hash":"c241f31043be97933c9c320c55457fa3a3f4e21f","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"a185ae64d472c92d128e6bcb1de168a4b46a2019","datavalue":{"value":{"entity-type":"item","numeric-id":5188229,"id":"Q5188229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P854":[{"snaktype":"value","property":"P854","hash":"d7f33eae9761131abdc534914438a12c2e9caa04","datavalue":{"value":"https://api.crossref.org/works/10.1145%2F2560537","type":"string"},"datatype":"url"}],"P813":[{"snaktype":"value","property":"P813","hash":"895c087a671d62b8d23a1c5f9df41dd563438528","datavalue":{"value":{"time":"+2018-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P854","P813"]}]},{"mainsnak":{"snaktype":"value","property":"P2860","hash":"c9540f402cf07a86478d93cbe48b5a3b288614b0","datavalue":{"value":{"entity-type":"item","numeric-id":56057488,"id":"Q56057488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q55897168$A3A53040-E5AE-4FEB-B1C7-070DBF590B3E","rank":"normal","references":[{"hash":"c241f31043be97933c9c320c55457fa3a3f4e21f","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"a185ae64d472c92d128e6bcb1de168a4b46a2019","datavalue":{"value":{"entity-type":"item","numeric-id":5188229,"id":"Q5188229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P854":[{"snaktype":"value","property":"P854","hash":"d7f33eae9761131abdc534914438a12c2e9caa04","datavalue":{"value":"https://api.crossref.org/works/10.1145%2F2560537","type":"string"},"datatype":"url"}],"P813":[{"snaktype":"value","property":"P813","hash":"895c087a671d62b8d23a1c5f9df41dd563438528","datavalue":{"value":{"time":"+2018-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P854","P813"]}]},{"mainsnak":{"snaktype":"value","property":"P2860","hash":"f9d4b2f6ad0ffc257006c6609decafd92347f05a","datavalue":{"value":{"entity-type":"item","numeric-id":55897162,"id":"Q55897162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q55897168$C6CCFD52-D47B-408C-AEBF-6E5FC7655BB4","rank":"normal","references":[{"hash":"c241f31043be97933c9c320c55457fa3a3f4e21f","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"a185ae64d472c92d128e6bcb1de168a4b46a2019","datavalue":{"value":{"entity-type":"item","numeric-id":5188229,"id":"Q5188229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P854":[{"snaktype":"value","property":"P854","hash":"d7f33eae9761131abdc534914438a12c2e9caa04","datavalue":{"value":"https://api.crossref.org/works/10.1145%2F2560537","type":"string"},"datatype":"url"}],"P813":[{"snaktype":"value","property":"P813","hash":"895c087a671d62b8d23a1c5f9df41dd563438528","datavalue":{"value":{"time":"+2018-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P854","P813"]}]}],"P5875":[{"mainsnak":{"snaktype":"value","property":"P5875","hash":"e8d38e14cdc7b4be6680b571f866ea6de76341d8","datavalue":{"value":"262350163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q55897168$06007201-0673-4483-B476-732216349EB0","rank":"normal"}],"P8978":[{"mainsnak":{"snaktype":"value","property":"P8978","hash":"5d079f6f6bfa6d4550c5134428944c257ce9f6f9","datavalue":{"value":"journals/tocs/KleinAEMSKH14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q55897168$141CCB63-9A3E-4137-AB87-2BA93042ADFE","rank":"normal","references":[{"hash":"d88fbec0cac4521f90a250c57f1a64d2343d70bf","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"bbb16bcda319d1e785962e87a501c58b95f0519d","datavalue":{"value":{"entity-type":"item","numeric-id":105160373,"id":"Q105160373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P813":[{"snaktype":"value","property":"P813","hash":"c86a671b50b0f3f6bb9776680e9ffd2db39c1bc1","datavalue":{"value":{"time":"+2021-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P813"]}]}],"P50":[{"mainsnak":{"snaktype":"value","property":"P50","hash":"31995c45a35f6eab50e8a4f7453ecec4e59ab32b","datavalue":{"value":{"entity-type":"item","numeric-id":88908200,"id":"Q88908200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"2a1ced1dca90648ea7e306acbadd74fc81a10722","datavalue":{"value":"1","type":"string"},"datatype":"string"}],"P1932":[{"snaktype":"value","property":"P1932","hash":"f8b57ab4b4a355c2c3526f334c2f069ff921a1f8","datavalue":{"value":"Gerwin Klein","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545","P1932"],"id":"Q55897168$77A4F163-32B2-4C47-8D48-72154B15CFDC","rank":"normal"}]},"sitelinks":{}}}}