{"entities":{"Q2994355":{"pageid":3005079,"ns":120,"title":"Item:Q2994355","lastrevid":85877963,"modified":"2026-06-03T12:19:29Z","type":"item","id":"Q2994355","labels":{"en":{"language":"en","value":"Formal verification of establishment of chain of trust in trusted computing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6612775"}},"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":"Q2994355$C3C7A2A0-26FD-4393-A412-D38610E8F93E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7480178bbc808aed7f1c8fa625708caae723c0a8","datavalue":{"value":"1349.68120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2994355$A66472D6-7F6A-42FD-8F28-1733F183C933","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5483dced8c5cbedb815ff0cd12d4fa3a6e35df4f","datavalue":{"value":{"entity-type":"item","numeric-id":487360,"id":"Q487360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994355$501C999F-8FCD-450D-8D3C-CD035CF71186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e649e31d79f126f1a0c633f7b23a3557bbc4584","datavalue":{"value":{"entity-type":"item","numeric-id":2352561,"id":"Q2352561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994355$CA0F52A9-5877-47AF-AAC8-DCA831CAEB6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"45b5bc8bc73404af9a92b9493883456d921f954b","datavalue":{"value":{"entity-type":"item","numeric-id":747152,"id":"Q747152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994355$29688EAE-25E0-4056-AB2B-C0D2F6CD5AB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"51d91b0d733c5bc146806b06ecbdcf151a8d6f36","datavalue":{"value":{"entity-type":"item","numeric-id":426383,"id":"Q426383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994355$D9F89D6F-0B39-4572-8325-844831A2B5C6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"632762f18b1136ebfb5f13b4269afddfefdbe92e","datavalue":{"value":{"time":"+2016-08-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2994355$822D961B-5753-4F39-B5E9-730834010432","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2994355$A48552B3-5BB6-4DB9-BA55-9CA5CC678E15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2994355$87ED677B-7C61-4453-8599-97CD6B1FE17F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d38e936ba26414869badc8a6d0807a57fa1ade55","datavalue":{"value":"6612775","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2994355$88FB71FD-8E82-4A0D-91E7-6442A4275EB6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"920906d346bbb4f32cbcd88ee7f1180cd0934829","datavalue":{"value":"trusted computing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2994355$A8D64F8D-3B73-4DE9-92A4-D8E228A08966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00dc4543c683819fcb01c557e011b38f7f694c11","datavalue":{"value":"chain of trust","type":"string"},"datatype":"string"},"type":"statement","id":"Q2994355$9FCA249A-3D4E-4B92-AF16-A75EB685085A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2994355$44D5BF4B-7D0C-4ED6-B9F5-3D3C90BC2C85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2994355$F29E6CB6-AB43-4CDF-894D-CC8F4562742F","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":"Q2994355$9C6F05CE-E999-45FC-AF3E-86F568AA5500","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9ac5de235d00e5e2b1ac4831ca9a46c2b5a37ba","datavalue":{"value":{"entity-type":"item","numeric-id":6488006,"id":"Q6488006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a343728da21dd9ae659ee453ee8976a21c714c98","datavalue":{"value":{"amount":"+0.7422135472297668","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":"Q2994355$03BF89B3-D320-487D-8542-AE3E000B60EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96e5bc094ee7d03786b33c5c76340ab5ffbdabae","datavalue":{"value":{"entity-type":"item","numeric-id":3304809,"id":"Q3304809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d5df63f867b2e24e3806fc86771623568257760","datavalue":{"value":{"amount":"+0.7143987417221069","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":"Q2994355$6BC6535E-C766-43AC-8111-DD969F5691C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38650dfb2207eeb83b3cd24010907e096c6353de","datavalue":{"value":{"entity-type":"item","numeric-id":3443202,"id":"Q3443202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61be18e1450fa9900ba5f212aee9fc6cba5e3be1","datavalue":{"value":{"amount":"+0.702116847038269","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":"Q2994355$3CB643A7-8439-4799-B3C3-67EDE0358CE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f22f05fec74065f0a18b69116cdefc5f31cae18","datavalue":{"value":{"entity-type":"item","numeric-id":5899420,"id":"Q5899420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"379d6483fc4137127040aa1dcb37c3b9dc402b0a","datavalue":{"value":{"amount":"+0.6868101954460144","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":"Q2994355$21ED0014-34BB-4E85-B0B8-D2E4F9ADD412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"696dbdd71bef482d59d108d22310eefc6d61275c","datavalue":{"value":{"entity-type":"item","numeric-id":5307998,"id":"Q5307998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dff20cb8686d80c4bdbe54eb22b3e93417688b8e","datavalue":{"value":{"amount":"+0.6608455777168274","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":"Q2994355$607CCEE4-0769-4BF5-8E8D-88660E947D0B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal verification of establishment of chain of trust in trusted computing","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_verification_of_establishment_of_chain_of_trust_in_trusted_computing"}}}}}