{"entities":{"Q2275899":{"pageid":2286642,"ns":120,"title":"Item:Q2275899","lastrevid":71738403,"modified":"2026-04-14T00:13:26Z","type":"item","id":"Q2275899","labels":{"en":{"language":"en","value":"Formal enforcement of security policies on concurrent systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5937778"}},"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":"Q2275899$BBB934E1-07C9-4348-A647-C339213FB959","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"81f8b28dd3fe2f02190f436a1bba11859c63ebbc","datavalue":{"value":{"text":"Formal enforcement of security policies on concurrent systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2275899$D825219C-BF25-4CCC-8501-B3D985C45F49","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"95c40fd67669b6c20f75a8877c4a4e98917ab32c","datavalue":{"value":"1218.68106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2275899$72869394-A566-4D0E-B93A-0CDFFE5EB4CD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de8ffbe034d26e5ef08333663f99a14880c1c329","datavalue":{"value":{"entity-type":"item","numeric-id":2275898,"id":"Q2275898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2275899$DE35D761-DC50-471B-B419-00E60CFC5C50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c988c279930c912e17162442eaee9faf7f2fa4b","datavalue":{"value":{"entity-type":"item","numeric-id":1853748,"id":"Q1853748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2275899$ECD842DC-7EEE-4A72-803C-56BAC86E95F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd52e408a5c5df68bc04deb55493800059500ee6","datavalue":{"value":{"entity-type":"item","numeric-id":456721,"id":"Q456721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2275899$7F91DABD-BED5-456D-B8B4-6312F8E8B8DC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2275899$486175E8-7F56-4F1B-9D53-44F211F12265","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2afc3cad79b731f5732eb66c72b8146587d7ee14","datavalue":{"value":{"time":"+2011-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":"Q2275899$561D641F-4B40-4576-A033-420C3234D94A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2275899$47E4C0A2-6F80-481B-9AE5-6F7207B76941","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d7931845545cfa377ba0a65578bd1a3700a775e9","datavalue":{"value":"5937778","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2275899$208A2188-C19F-49E4-BB2D-5E86BAE14DAD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"082907359a5f955caed68a4cec673b67cc187202","datavalue":{"value":"execution monitoring","type":"string"},"datatype":"string"},"type":"statement","id":"Q2275899$74CF2A73-F71A-44D2-9FC9-41475C66EB51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa542d4d2106fbd8731a8defe12d624bacd71811","datavalue":{"value":"security policies","type":"string"},"datatype":"string"},"type":"statement","id":"Q2275899$2FEB313E-1AE8-496B-A4B5-629CC9F32134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b581fc8498fa46041aa7f85726f502003f22f38","datavalue":{"value":"language based security","type":"string"},"datatype":"string"},"type":"statement","id":"Q2275899$B243B192-BC76-4B60-AA11-7540171E7281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ed9d7e915456bbb5f7509634877eda454bb9454","datavalue":{"value":"concurrent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2275899$51FB1778-9DF3-4345-A343-CF3370490FDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2275899$B15F21DB-7DEA-4CA3-AAE0-9D3415DA8E15","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d8400ab86b306a4378eebf43133a98098c8e98ab","datavalue":{"value":{"entity-type":"item","numeric-id":46220,"id":"Q46220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2275899$937CE96C-6DC2-4861-8CB8-B6AE5A97D57E","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":"Q2275899$EDB7DF0C-0315-477D-8FF7-2E3FA35EE33E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9846e53fb34b2bf5998e3f242fa08b6c81fad9d1","datavalue":{"value":"https://doi.org/10.1016/j.jsc.2011.05.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q2275899$7FFB67A4-A78D-4DB5-BB69-4D391C1C45DD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"27110fed2497cdb28a94374c60f980c5d4d9de49","datavalue":{"value":"W1982369376","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2275899$3ACB6D5C-0700-481A-9CEA-CD2D6B954843","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ac30db14f6465344d333a95818936cc903dad05","datavalue":{"value":{"entity-type":"item","numeric-id":1781995,"id":"Q1781995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2275899$C4A480F8-0D5F-4B65-A9CC-B0B441E87F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4880dd72a6b73f3051f9222a5858c78a6d5e7ab6","datavalue":{"value":{"entity-type":"item","numeric-id":2760242,"id":"Q2760242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2275899$614F76CE-6FF8-4445-9794-869563D78025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a513c45897b31ffec63e5469a25464b2be8ac4b7","datavalue":{"value":{"entity-type":"item","numeric-id":4941495,"id":"Q4941495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2275899$8F21C380-5AB7-410A-881C-7FEAED378403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a8e9ff1953a56a5c895b1640490421923181d0b","datavalue":{"value":{"entity-type":"item","numeric-id":2275899,"id":"Q2275899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2275899$CF8EE75F-4E8B-4125-80F7-90D47D5C9604","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"64cea427dc5fef8c8f7eb1536d1a60dd6060c42c","datavalue":{"value":"10.1016/J.JSC.2011.05.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2275899$EA2AE9B1-0848-4090-B250-BFE201F2DAE8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d09ad2b62430f5e7030e4ac33a4116d4087cd1e","datavalue":{"value":{"entity-type":"item","numeric-id":2947076,"id":"Q2947076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33983659d2a422fa0256a0f0497f9b695f36bae3","datavalue":{"value":{"amount":"+0.7656122446060181","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":"Q2275899$C9335B56-D9E4-441E-B059-C53326A86EAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a1dc553e3d492fb19b7b45e0054a862752cd2c7","datavalue":{"value":{"entity-type":"item","numeric-id":2517827,"id":"Q2517827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6137e2faaf77b97fe6fb04eb3632f1b6b5e4269e","datavalue":{"value":{"amount":"+0.7647749185562134","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":"Q2275899$909E5CFE-8BAB-4997-8D54-955E82F3E07C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b963f72775c8aaa3c7286e939bd9e4e0b70bfcd","datavalue":{"value":{"entity-type":"item","numeric-id":2894329,"id":"Q2894329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41b2b9a856a6a221a9b114bd3e29bae642e12267","datavalue":{"value":{"amount":"+0.7572405338287354","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":"Q2275899$2CAFAACA-37BA-4336-8DAB-C2FC172E6B5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52d4343ffd33361a747cfc98e2fa37f76a8040d7","datavalue":{"value":{"entity-type":"item","numeric-id":4791265,"id":"Q4791265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"457d817b38b8805448b858f6ca6603e19db61a5f","datavalue":{"value":{"amount":"+0.7353836297988892","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":"Q2275899$0EE8F357-69C8-4355-906E-BDB3EF125168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30271cdf06eedb8b19a5e018c0d6e0949b50aa98","datavalue":{"value":{"entity-type":"item","numeric-id":5449632,"id":"Q5449632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e799fe5d187bf718aae060da2b17cf0e6c992d8a","datavalue":{"value":{"amount":"+0.7314535975456238","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":"Q2275899$809BB715-1A0E-4C0C-AE8D-3AF0FE4CF863","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal enforcement of security policies on concurrent systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_enforcement_of_security_policies_on_concurrent_systems"}}}}}