{"entities":{"Q3523175":{"pageid":5553079,"ns":120,"title":"Item:Q3523175","lastrevid":50441483,"modified":"2026-01-14T01:43:45Z","type":"item","id":"Q3523175","labels":{"en":{"language":"en","value":"Using XCAP to Certify Realistic Systems Code: Machine Context Management"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5318944"}},"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":"Q3523175$5607C9C0-A195-4B0E-B90A-04E4A2BB5C14","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"53effdb12e983c0eae1877a8a6cc83b869fdf218","datavalue":{"value":{"text":"Using XCAP to Certify Realistic Systems Code: Machine Context Management","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3523175$093ADC48-138D-43C6-B8A3-FC02BB1D3032","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c30dd9bffc4f3add85ba2ee3dd25c5ceefe12ecb","datavalue":{"value":"1144.68325","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523175$4E9BED30-EDD4-4144-8D78-82E1AE77B6AB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9f619cc750ece1f91f3584afa80147ee7ad356d5","datavalue":{"value":"10.1007/978-3-540-74591-4_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523175$820C84AC-E4EA-4C03-8C73-56C27F0907AD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c2bae226c690398c00479b659d51ac794d76be7","datavalue":{"value":{"entity-type":"item","numeric-id":1826464,"id":"Q1826464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523175$E046D460-0C89-44A2-94FF-9941A8530B7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fd03ea4b8d8fe9176aa055daa8e9f40d5c8fead","datavalue":{"value":{"entity-type":"item","numeric-id":1887733,"id":"Q1887733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523175$972AF726-5DB9-487D-BE53-F52937557825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b45204622bfa7b343b3d270acbf7de72b0faad61","datavalue":{"value":{"entity-type":"item","numeric-id":835763,"id":"Q835763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523175$1F08FEB3-7D57-4CBD-8D3A-EAE97C9A14CC","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":"Q3523175$D84C6C93-7DA7-479E-9427-828E6CD14BF6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"20b7f535510e218ce28c7540c7cdc4660c15d850","datavalue":{"value":{"time":"+2008-09-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3523175$4FD23D10-D06A-4B8D-B10B-1373E5F5EC4A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523175$D82635EE-9372-4BF3-B9A1-B9C90D23FDFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523175$8084DD09-1CE4-475C-BA43-0F146861FF1D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5c86b379b93e2fd85da9567c207d96e98c564bfa","datavalue":{"value":"5318944","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523175$5569D4C7-25A7-49EF-BE9F-6ADAAA9A96BF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523175$996FCB8E-2AF8-41CA-9CD3-7D917C1EF833","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":"Q3523175$AF2B7C32-23F3-47E4-B552-0EA23409A735","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9b98b19ee79809661fc7bc77b32b8602b30f21f5","datavalue":{"value":"https://doi.org/10.1007/978-3-540-74591-4_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q3523175$B8F01B83-8B64-44E3-9E69-99DF7A852E4E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d809e6ed044a469f8dcd3d3bb731bfca123610cf","datavalue":{"value":"W1937179622","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523175$06629636-0CD4-4C91-BB62-BF42AFADD1D4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a637a3ec8530fd323624ddc6f2ba82d813d4aa6","datavalue":{"value":{"entity-type":"item","numeric-id":3546045,"id":"Q3546045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09eb2cd90ae765afaf3a0406c9398668588c7db8","datavalue":{"value":{"amount":"+0.7115162014961243","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":"Q3523175$AC7FEF20-9609-4F7C-80B0-FB5D7F07493A","rank":"normal"},{"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":"16e459b0953de5ea9e680cfb5378b294e5f22b23","datavalue":{"value":{"amount":"+0.700937807559967","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":"Q3523175$7868689E-48C2-4C62-BB59-57C9BA732543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c71ff9416a35b311f2fbf027327ee933036f7e41","datavalue":{"value":{"entity-type":"item","numeric-id":6166149,"id":"Q6166149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ccd425c23354f7a0949f65754828f6ca6cdea19","datavalue":{"value":{"amount":"+0.6997325420379639","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":"Q3523175$9B4B810A-D13A-4A5D-9491-7C565BF9DB15","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":"d99e9a3cd9466c82a81b4baae14de022bba44f12","datavalue":{"value":{"amount":"+0.6975030303001404","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":"Q3523175$3042EE79-DE56-4CB8-B06C-5B174E519410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f366e5466d4b0621aaf9bb2b1370668cd91fe511","datavalue":{"value":{"entity-type":"item","numeric-id":5493234,"id":"Q5493234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e95df5655d3d3b6ca083d6a764b258d39c74a006","datavalue":{"value":{"amount":"+0.690326988697052","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":"Q3523175$EA7172ED-EBFF-44F8-B344-644B7066E637","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3523175","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3523175"}}}}}