{"entities":{"Q3576154":{"pageid":5606058,"ns":120,"title":"Item:Q3576154","lastrevid":51048122,"modified":"2026-01-16T09:31:21Z","type":"item","id":"Q3576154","labels":{"en":{"language":"en","value":"Correct verification for code in trust-by-policy-adherence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5762699"}},"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":"Q3576154$1E290A91-D457-4686-A065-C6ECB918BEE3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8b51b26fa3c5ff2ec90805ae0d2dde355cb79697","datavalue":{"value":"1192.68434","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3576154$ACC9FEF7-AFC7-47B0-A8C5-31C02CCE1399","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d85ca94fa2338e8ef7f7776fa997a7be0895e9a","datavalue":{"value":{"entity-type":"item","numeric-id":318516,"id":"Q318516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3576154$831D7EA1-DD4D-472F-A6D2-BA3ED32B8EDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4808054810335bb2be413153f3921059e217fedb","datavalue":{"value":{"entity-type":"item","numeric-id":2917906,"id":"Q2917906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3576154$8D06877C-B14B-4CD3-93A6-D6FB12A08E6D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db6d4a7a569b2832eaba9736541bc42cdbce7b4c","datavalue":{"value":{"time":"+2010-07-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3576154$96E208F1-E5FD-4742-BFAD-280812B5BBFF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c23ae715a559f483ac4accf297261a84b1f8186d","datavalue":{"value":"http://pphmj.com/abstract/4882.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q3576154$E91544EE-FB2E-48C2-A059-ABC70BC2B4A0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3576154$B2697F19-B121-417D-9429-EB8ED73F5869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3576154$68F9791F-C978-41C7-A3B7-6D9B40EBF220","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c540aaab52f7f6a808be44845de022e6dbd3d803","datavalue":{"value":"5762699","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3576154$7497657B-DCD8-42F7-BCF5-711A25F51CE5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bfc2ebe5de2b96611d311290ccfc772ea680945","datavalue":{"value":"alternating time temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3576154$9CAD505D-8E84-4DE4-9482-A0833332D9B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0adbf0f97deffaba6d990f289f87f7eb710147fd","datavalue":{"value":"aspect-oriented programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3576154$4BE0FD56-53F9-4884-92A3-3AB8C6ACB2E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a707386ab3d2d8a090783912e226febfb09d8559","datavalue":{"value":"correct verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3576154$625B01A3-EB05-4E2E-B2B5-D5BB0139A7B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d22b3c45c4e02bb1912ceb9b71e0871d12872329","datavalue":{"value":"policy adherence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3576154$D93FA666-6946-44C1-8B56-DBDB80F187C7","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":"Q3576154$C6008D43-2A73-4E6E-BAF7-3BC675A375AC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c76ea81b44c358cf4347edf9ea869675d56b8a27","datavalue":{"value":{"entity-type":"item","numeric-id":3557736,"id":"Q3557736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"307ccf912649c7380dd0fe1b58019bd6d07642df","datavalue":{"value":{"amount":"+0.7808066010475159","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":"Q3576154$5F8ECF6A-75D2-4297-9EDA-26FB2E5676F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a13b7c3782bd1b3bfcda6b987b616e0ec0d776a","datavalue":{"value":{"entity-type":"item","numeric-id":5178857,"id":"Q5178857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcc51d928677e78b47859fc534a5d16232e522fc","datavalue":{"value":{"amount":"+0.7189943194389343","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":"Q3576154$8B876F05-DEE6-4E17-BE84-F3D6A2A8728F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"844611b28045e4d89e73d9c7828d2270a11c0b8f","datavalue":{"value":{"entity-type":"item","numeric-id":4809041,"id":"Q4809041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ce39eebd310e4eefc9bf316cbc3becb978aaed2","datavalue":{"value":{"amount":"+0.7066172957420349","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":"Q3576154$0E77512D-4CAA-4BC2-AC1F-9967A9F975CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1250a13b6e27f8c212195a590674e63e32546bb","datavalue":{"value":{"entity-type":"item","numeric-id":5899083,"id":"Q5899083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48b959607a6a611606755dcbbdcabddf98645c38","datavalue":{"value":{"amount":"+0.6966787576675415","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":"Q3576154$04C1FBB2-F8FD-4FB6-A375-31CA496CB855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdf23ca27af9a39d20474ad50cbd048248dc9c86","datavalue":{"value":{"entity-type":"item","numeric-id":5316561,"id":"Q5316561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"055f65a1ebda29745a912b9a3c87bf9450678b2e","datavalue":{"value":{"amount":"+0.6889136433601379","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":"Q3576154$BF313973-DF91-4496-A0D5-0B96BA58A251","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3576154","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3576154"}}}}}