{"entities":{"Q2849480":{"pageid":2860200,"ns":120,"title":"Item:Q2849480","lastrevid":83768768,"modified":"2026-05-07T11:13:35Z","type":"item","id":"Q2849480","labels":{"en":{"language":"en","value":"Verification of composed array-based systems with applications to security-aware workflows"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6210131"}},"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":"Q2849480$04BD1364-E61F-4A15-8100-78E978B82D92","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b54cd9187537dbe621c6c17b4ea18c566a7ac9cd","datavalue":{"value":{"text":"Verification of Composed Array-Based Systems with Applications to Security-Aware Workflows","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2849480$BD087F60-A916-4D03-AAA2-B5B15310F7AF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bc11daf9aa057395a9d13430e33b6074289c3af2","datavalue":{"value":"1397.68126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849480$337975C5-8334-468B-8136-BB7B4AB5B5BB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dc68ddc2d781282e72c51a06f0e13a2c45fb565f","datavalue":{"value":"10.1007/978-3-642-40885-4_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849480$860103D3-7DD4-4A04-BFAC-DC0C7B9EC28D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"15b39942d0265de5b1198cf6776a062c3fc892b5","datavalue":{"value":{"entity-type":"item","numeric-id":462494,"id":"Q462494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849480$8787ACA0-BF6F-442B-A938-1B8187922449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a648f5f5c43d7007feb24ddb34b99c77877b620","datavalue":{"value":{"entity-type":"item","numeric-id":219438,"id":"Q219438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849480$69C823FE-BA3E-47B2-9068-D200694BF893","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94ee78e0a7dd5ca422048ab882699df0d73d43b3","datavalue":{"value":{"entity-type":"item","numeric-id":2849475,"id":"Q2849475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849480$EBF91982-0646-4EBF-AA42-CAF30967DCE4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3dcb12e53a075f2a49b79b16a6317b340847e43","datavalue":{"value":{"time":"+2013-09-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2849480$2EB061E8-9064-4281-8D92-7AB1B8914CA8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849480$5E7E5383-C6A3-48D4-9422-2528CF3DA1EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849480$178AE25B-A7C5-4172-8CA4-D52FA2182BED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2bb96865e93ca7258066f1df28375f9ad6fd8928","datavalue":{"value":"6210131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849480$BDC36384-D36E-496F-85C4-EF899C1F4ED5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"28cff576496c4ee6851a70884e3a4343ae4475ff","datavalue":{"value":{"entity-type":"item","numeric-id":25690,"id":"Q25690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849480$F089E8ED-8863-491C-8D75-260628BCA66A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f72920035b67b72d36194fa1cacb9706003d48fb","datavalue":{"value":{"entity-type":"item","numeric-id":23847,"id":"Q23847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849480$38BB3F7C-B397-469B-9255-AD580D1BF964","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":"Q2849480$5AE88D7E-1447-4D48-90D2-16AF9A2638B2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f3350f01eadf4856dc77109806f386bcf2ed8cc0","datavalue":{"value":"https://doi.org/10.1007/978-3-642-40885-4_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2849480$8AC38AC0-9A0E-4AA2-A757-70D07B769B3A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"66145b3a0128f367c7e0fa5a8e6e0334fac53eac","datavalue":{"value":"W2141387172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849480$C165FA21-5408-4488-A9DC-F86E230FF3CB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbe651991cbc4916826a09c50dbc4cb815d3f966","datavalue":{"value":{"entity-type":"item","numeric-id":3541687,"id":"Q3541687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dbc7d0df618e40d0233db0855337bb2a8eb2207","datavalue":{"value":{"amount":"+0.7297381162643433","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":"Q2849480$9EE90DCE-0A7C-437A-9E0C-5D101AAC78DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16f3946f85e87256de2c415f3cf1a294f0bc2ef4","datavalue":{"value":{"entity-type":"item","numeric-id":3081445,"id":"Q3081445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b9f5fd8468954f4dcc7f77ea957946a9a2c68b1","datavalue":{"value":{"amount":"+0.6793328523635864","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":"Q2849480$171FE102-55BA-4D7F-BF2B-6319CF5FBD8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c707d1d1756fe245a9b09b5196f9af487139e7a5","datavalue":{"value":{"entity-type":"item","numeric-id":2441771,"id":"Q2441771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13a56ea90fee8f5ad908a1034add8ff42ae34ab1","datavalue":{"value":{"amount":"+0.6747252345085144","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":"Q2849480$2A442393-33A9-4E84-8DDC-90CA88C9E5ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca11aadfb27060e7b1eeb6c22fdbc3548ac5094b","datavalue":{"value":{"entity-type":"item","numeric-id":1990507,"id":"Q1990507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e1309effdd034f458d63c70d5414e17b6f16f73","datavalue":{"value":{"amount":"+0.6739332675933838","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":"Q2849480$570DDACC-D10F-4881-9980-70D88D3ECC3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97434220c731f87d7ae92c4fa46509ec4e361296","datavalue":{"value":{"entity-type":"item","numeric-id":5941104,"id":"Q5941104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"828101a405a6281426add5c88397608f5d293ded","datavalue":{"value":{"amount":"+0.669895589351654","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":"Q2849480$74DEDF64-CAF9-40F2-888B-0CDBE6D3EBF4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification of composed array-based systems with applications to security-aware workflows","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verification_of_composed_array-based_systems_with_applications_to_security-aware_workflows"}}}}}