{"entities":{"Q2050104":{"pageid":2060846,"ns":120,"title":"Item:Q2050104","lastrevid":57643338,"modified":"2026-03-31T18:37:40Z","type":"item","id":"Q2050104","labels":{"en":{"language":"en","value":"Model checking boot code from AWS data centers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7388004"}},"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":"Q2050104$C55E19B3-B761-4686-B07E-DFA891F252FA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d080cf473b612af68d6ccfe59fd69a6e3e577a4a","datavalue":{"value":{"text":"Model checking boot code from AWS data centers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2050104$41880285-DB82-41CE-8D24-4208EDEA637F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"afa51276dc7c745a3bd764db344fbb2e1cd8df8f","datavalue":{"value":{"entity-type":"item","numeric-id":470002,"id":"Q470002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050104$36D94CE0-FF6F-41AC-B5C8-42043914E9A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b34176b4c3465184705af7d51b11ee369987f0bd","datavalue":{"value":{"entity-type":"item","numeric-id":2050102,"id":"Q2050102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050104$67A2DB12-D277-4450-A4EB-02B293A7D47F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de4a775b741b129661b3807102896dab39bea660","datavalue":{"value":{"entity-type":"item","numeric-id":438554,"id":"Q438554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050104$F192207B-2001-446E-A5D8-52FC5003FE75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"efc258155bc6debe998a6723e056c58cf0faa3b9","datavalue":{"value":{"entity-type":"item","numeric-id":2050103,"id":"Q2050103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050104$200740EC-C265-40B3-B7D9-42AE64BBDA8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7abe3373612ef12de8fe2ea813d236ae04c8ed41","datavalue":{"value":{"entity-type":"item","numeric-id":888430,"id":"Q888430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050104$0502964B-6FBE-487E-92F8-07E7E1783F09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"10be6f06ce033e746bf091af8d150d8542a9026e","datavalue":{"value":{"entity-type":"item","numeric-id":1104073,"id":"Q1104073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050104$D3774FAD-A212-45F4-A1C7-F7B0CE28E13F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050104$C6DED91B-0839-467F-997D-2B464642C9FC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a528095c8f4b12338bec4f86ea87b7aff5bd49b4","datavalue":{"value":{"time":"+2021-08-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2050104$85ED2461-E625-4E47-B7BD-1D962F092272","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2050104$6655BD0F-1461-4D2E-A3B4-9A9243B8980D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7d5d11fe7227bdbfe6043a440e5bcdca96e4d4af","datavalue":{"value":"7388004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2050104$6F880F09-5B20-4FC6-BEFE-5F68E4F8DB8C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2050104$B1297FD1-DB9E-4232-B931-51A0F70A2636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2050104$7FFC1F23-023F-4A7B-B07A-C58E2718E35D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"225a740915d62cb6ec11490d4b1927f21cde993e","datavalue":{"value":"CBMC","type":"string"},"datatype":"string"},"type":"statement","id":"Q2050104$64236B5D-2B65-4DCF-B95D-DBF7626ECFFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f708331e3e25f899908981f6e2c48c52a4b60b1","datavalue":{"value":"boot code","type":"string"},"datatype":"string"},"type":"statement","id":"Q2050104$30C4703F-0F95-4468-8986-EAECF3F1FC58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"248f777ca6e29a58badbbf3ede403a093de67214","datavalue":{"value":"firmware","type":"string"},"datatype":"string"},"type":"statement","id":"Q2050104$D18E1C1A-8377-4439-836E-0784437F79E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41b38f9adde41f8bfebe28c65d7fb32d40c9def5","datavalue":{"value":"linker script","type":"string"},"datatype":"string"},"type":"statement","id":"Q2050104$414AF2BA-B37A-4896-B264-1892788DF0CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d7186d481d99a2c21627db69295f9701fa7c4d6","datavalue":{"value":"Amazon Web Services (AWS)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2050104$900768DD-9CA2-4EFF-A11B-232739A90523","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"03006484479517660af8b2d7913247b11e1103a2","datavalue":{"value":"Q114689969","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2050104$C7157478-3EF0-4215-9D3F-72521AED9D4E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bb4ac1b3e6590933f07db2ef44e8e77f8844e4b4","datavalue":{"value":{"entity-type":"item","numeric-id":19271,"id":"Q19271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050104$5909F993-DA91-4716-AA3D-1A3CDB6BE078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c7107a3607349765606fad319a8423745e29c6d1","datavalue":{"value":{"entity-type":"item","numeric-id":24728,"id":"Q24728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050104$4BE9D554-3E21-45E1-951D-47D5B3B7A116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4d34b64bfacefc96e74a5b50b80616116f688f32","datavalue":{"value":{"entity-type":"item","numeric-id":32047,"id":"Q32047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050104$934B5850-C617-4F07-9B86-5820A19D3075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a923863d4780d2a5f575f7c1c0ba271a5319e840","datavalue":{"value":{"entity-type":"item","numeric-id":38543,"id":"Q38543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050104$FA4E7FA0-4275-4019-AE8C-8C7BDAE03210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"72bb045a967cece1c020aea1f7a6ca46cf3bda32","datavalue":{"value":{"entity-type":"item","numeric-id":46053,"id":"Q46053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050104$F29F0EFB-36BC-4970-B59F-A9E670A3F4D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"550af4745ee61c125520a209383c6305679e155b","datavalue":{"value":{"entity-type":"item","numeric-id":35084,"id":"Q35084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050104$2D5D147C-457A-413B-9707-7E8486C9B5EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fdab07d39556d0075d882dcfd5a58c05fcf1a7e9","datavalue":{"value":{"entity-type":"item","numeric-id":21698,"id":"Q21698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050104$4D7AD20E-78C8-4DAA-A2AE-1AE9E6518899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d5dcb486ea2ffc39531287854f4a7be9ffb011b4","datavalue":{"value":{"entity-type":"item","numeric-id":17045,"id":"Q17045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050104$E3564966-A503-4B79-8421-B59870E1C343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e1655b290b91a673f0538ce14f6694f64d961977","datavalue":{"value":{"entity-type":"item","numeric-id":19440,"id":"Q19440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050104$51504E42-6F6F-40EB-925F-C4C1F1F2E60D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a4f636583a26240d6177ac1ea0a1a2046a522c7b","datavalue":{"value":{"entity-type":"item","numeric-id":21551,"id":"Q21551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050104$16336DC8-ADB7-41A9-9F69-D73D157DC354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19db008058ce3a679389c190541b4b00e350555f","datavalue":{"value":{"entity-type":"item","numeric-id":27113,"id":"Q27113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050104$CC2313D0-7514-40EC-AD9A-AA4091F59CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0afab0a09719c5f1ff3d1cf6740bd746b1ff7675","datavalue":{"value":{"entity-type":"item","numeric-id":42770,"id":"Q42770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050104$78052B0E-857F-462D-903C-6195459A4534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050104$9088D0BA-558E-46E2-8C6E-3341C1328A9B","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":"Q2050104$9F91DCF6-0BC9-4D5C-831C-A1B7CF9C21FB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"97feb346fc332ca29d41e8a336ff52d6156452dd","datavalue":{"value":"https://doi.org/10.1007/s10703-020-00344-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2050104$0EA21536-D2E9-40EF-99CB-653FB1047D3E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c26dff3dc41fd198605445e1099a2b520e68823d","datavalue":{"value":"W4250014270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2050104$C0A2E9B9-90A9-47EB-B9CE-3DDCBA3EE31A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b18cd87c66cb61c181e01e0b251e5cd421045008","datavalue":{"value":"10.1007/S10703-020-00344-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2050104$EFE08794-908D-41E2-9EB2-FD7C4065408B","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050104$838A7991-9324-4F5A-A912-ED0526F4C2B3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2050104","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2050104"}}}}}