{"entities":{"Q3543657":{"pageid":5573561,"ns":120,"title":"Item:Q3543657","lastrevid":50516525,"modified":"2026-01-14T06:35:01Z","type":"item","id":"Q3543657","labels":{"en":{"language":"en","value":"Secure Microkernels, State Monads and Scalable Refinement"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5378180"}},"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":"Q3543657$9FF5FB6B-1C54-4060-83D8-4C743FAB32E2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e543223a7a4f9760b39a40c593f9e3af718441a6","datavalue":{"value":{"text":"Secure Microkernels, State Monads and Scalable Refinement","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3543657$1D0C90AA-BFE1-44E2-8B80-B7F55011D467","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"562627a19be731dd3ab23bcc81cb50001bc716fb","datavalue":{"value":"1165.68454","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3543657$D3365920-3A82-4755-942E-DC33595C5984","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7962610c3d0ffc1deda00c4b9d788ee473a1f35d","datavalue":{"value":"10.1007/978-3-540-71067-7_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3543657$3DE27EC1-A223-4E5E-95DE-2679B054BBC8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c750fddd215cea179ba0fc2fc54be55f2272e76e","datavalue":{"value":{"entity-type":"item","numeric-id":1791134,"id":"Q1791134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543657$9CF3BF9F-A32F-4259-9A34-BEA8F2C63116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"008a47245ae11ee2f12e0bd284b000b43ab772af","datavalue":{"value":{"entity-type":"item","numeric-id":736847,"id":"Q736847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543657$3B81872C-2846-4E84-B22F-BF037AD69140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"50d312af30877232f30bb9c23fdc31fcdcb768e4","datavalue":{"value":{"entity-type":"item","numeric-id":2631536,"id":"Q2631536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543657$FE3564F7-1A20-40B1-9EFE-2BB6D0980C72","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543657$9811C25B-E92F-4BAB-B1A9-3C3779466BA1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9390341f6bd0adb4a80933997da5182af87828a8","datavalue":{"value":{"time":"+2008-12-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3543657$5E2CF635-84F3-429A-917E-E44FB1EE492E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3543657$155FDF29-333C-429B-9189-8F51F02174B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3543657$E4DDA387-FF77-40FD-AABF-50F9EFB9CB05","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a361157b255aacda661447ccad125923cb71b8e9","datavalue":{"value":"5378180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3543657$B4B1D7F9-D020-40FC-9F37-3E56D2EF971E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543657$E377F4EC-EC22-4CC9-B8BB-013B128D427A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543657$22E6E9D1-46F8-4F62-95B5-393F7715B7A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab1d940260f20d8e15c2593184ef71f159cef550","datavalue":{"value":{"entity-type":"item","numeric-id":34113,"id":"Q34113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543657$8F9F905E-28C2-466C-97E2-A6C825A1DC6F","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":"Q3543657$20BFD410-9AFD-4B4B-AD5F-E85A7953BA1D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e6ddff164e760a73d710c7446c00a91a1e0ff5f3","datavalue":{"value":"https://doi.org/10.1007/978-3-540-71067-7_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q3543657$A8CB2F29-1CEE-4E9A-9E3C-EDCCF9D3D662","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"227a0880dda2ee51304d586ba3231909a15e1f5d","datavalue":{"value":"W2146530476","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3543657$39AE73ED-11E2-4EC0-9B29-3F7712BB4FEE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"19f6c194330051269cbb2031658aa6b4220e257c","datavalue":{"value":{"entity-type":"item","numeric-id":4702189,"id":"Q4702189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543657$78E7D3D9-BC04-488A-99E9-24D8680319F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1265d63b4599a3fae507d9b15943296bbefa977b","datavalue":{"value":{"entity-type":"item","numeric-id":4066568,"id":"Q4066568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543657$C0AC8D4B-F528-45A1-98AF-1D56BF3B51FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22875be1e213267ecc860639cc98aa09a7758549","datavalue":{"value":{"entity-type":"item","numeric-id":5477643,"id":"Q5477643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543657$01F13134-C7FC-45EF-8352-F5AD3585354A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5416746f0d23b1ca43c649dd468fc93fa8225ea","datavalue":{"value":{"entity-type":"item","numeric-id":2936775,"id":"Q2936775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543657$33444107-7483-4CE9-BE10-C3786F1D17A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b5d01408d1d1c287e244523e2c4a5a0a8b8e3aa","datavalue":{"value":{"entity-type":"item","numeric-id":5708288,"id":"Q5708288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543657$E5881483-799D-4724-A52B-7ADE965074BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c82348539a9abdb43fbaa5beca3b7e0847dfca6","datavalue":{"value":{"entity-type":"item","numeric-id":5477652,"id":"Q5477652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543657$5927FCA2-4130-4ADD-8210-6E56AAF7E13C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19d68f92fffaefe72b592d24843b2770631f989c","datavalue":{"value":{"entity-type":"item","numeric-id":3189788,"id":"Q3189788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543657$4D40F056-3B1F-481B-A51F-06EE148B28E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60b38947aa70ea970521d878b67d07ff7c71b08f","datavalue":{"value":{"entity-type":"item","numeric-id":3863057,"id":"Q3863057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543657$DF172AEF-43C9-4153-BE8E-1AD4D4454BE0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"731b099c7ac38cd7fa2db362ec7da180829ad7e3","datavalue":{"value":{"entity-type":"item","numeric-id":2936807,"id":"Q2936807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6d0b8db94cb631fbc24c15586477f3fb7a2c456","datavalue":{"value":{"amount":"+0.8185794353485107","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":"Q3543657$563A31DE-BD95-4927-8308-F9224E44ABFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36ed055ec8f5656036578820cd66c4de107a3a8d","datavalue":{"value":{"entity-type":"item","numeric-id":3067529,"id":"Q3067529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a764c54f882411846d82daa32a303bc40d1bb7e3","datavalue":{"value":{"amount":"+0.7708508968353271","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":"Q3543657$34B5E64F-1FC7-430A-A0F5-5DE7BE0293CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"331384bea230c29b7d079e91947264e1368e041d","datavalue":{"value":{"entity-type":"item","numeric-id":3088017,"id":"Q3088017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec8dfe3e44eb175a3cfda9d3559bc983e29c1857","datavalue":{"value":{"amount":"+0.7358967661857605","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":"Q3543657$3E977CE7-8F66-45BD-B734-78B338DFC3B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e31fe9d9b48030a64718f05e076a7d4f6bc71e8f","datavalue":{"value":{"entity-type":"item","numeric-id":736848,"id":"Q736848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01c1099ed33da7cdba396216b9f294ee66fc058f","datavalue":{"value":{"amount":"+0.7216561436653137","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":"Q3543657$6CF779B3-1F81-46C6-810C-796B92D57685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad0b077a05f43e46ebb20a054225d3119e45453e","datavalue":{"value":{"entity-type":"item","numeric-id":5168878,"id":"Q5168878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daa6b4ad46998add8cd559f92205220e32bb223f","datavalue":{"value":{"amount":"+0.7173795104026794","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":"Q3543657$DF84A4BE-3B00-4626-838A-018C80C5FBCB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3543657","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3543657"}}}}}