{"entities":{"Q276474":{"pageid":278241,"ns":120,"title":"Item:Q276474","lastrevid":52522754,"modified":"2026-01-22T21:06:51Z","type":"item","id":"Q276474","labels":{"en":{"language":"en","value":"The security picalculus and non-interference (extended abstract)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6577013"}},"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":"Q276474$9192FDED-AD96-4968-AC73-B809F7EA7627","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"39a8387ee961964d60209cb9ee0f91d980aecd1c","datavalue":{"value":{"text":"The security picalculus and non-interference (extended abstract)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q276474$45AEF7FF-50ED-4F7B-A407-789B7182EE67","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"03a67005dba2891e64e8771e1934632f75cc45df","datavalue":{"value":"1337.68183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q276474$DCC17609-E00D-4027-9F14-DB77486E69C1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5f33202a58a289aa918c3dbf1d326fbc2823e7f0","datavalue":{"value":"10.1016/S1571-0661(03)50006-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q276474$5A5C6DBE-64FF-444C-BEB0-A8E6F5466A2D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e14340917da0b560f1aa784255616bd78a4a4ba6","datavalue":{"value":{"time":"+2016-05-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q276474$10A37FE4-E6C0-45D8-8129-22728561280C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q276474$FC98E4BC-FE37-456C-803F-F4958CE40962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q276474$F69237BA-E222-48A9-B618-A6A98E42D706","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"127cf9d1427b8c4b344236d0880eec2cf819518a","datavalue":{"value":"6577013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q276474$214D52B9-A2A9-4DE4-BF79-5E179881BFF1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f82d9744537c8929843a9f698e900cd31ff81587","datavalue":{"value":"distributed systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q276474$854BE75C-BA2C-4027-BB44-C477DBC2B431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5cedc1a875d8083748dd695c5b423bf932b1222","datavalue":{"value":"pi-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q276474$6F54E9CB-0D30-4EE4-8A1A-0AC67EA7BDAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2cc733a56933bfa4d457be71cd2c6f3825c2dadc","datavalue":{"value":"security types","type":"string"},"datatype":"string"},"type":"statement","id":"Q276474$509D7FDF-2EB7-4B2A-A207-FDCC816E1A46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"047c6c37b1b59065ab8a30c63416b0516d5d913a","datavalue":{"value":"non-interference","type":"string"},"datatype":"string"},"type":"statement","id":"Q276474$32EDA4B8-D0AE-4C58-BF08-4BCEAE9BCD22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"112db79766d626b9071a4137b86060d0c7b63128","datavalue":{"value":"testing equivalences","type":"string"},"datatype":"string"},"type":"statement","id":"Q276474$449E464E-1236-4A2A-8758-9EB592A23359","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4defb854fecd50f7286406c1c01a07626e69744","datavalue":{"value":{"entity-type":"item","numeric-id":1138390,"id":"Q1138390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276474$2ACB65EE-40B5-43BF-98E3-F57B755989F5","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":"Q276474$5C124425-3807-4B97-8F0A-6DF1FA5D19A1","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b0ffff927230da60ef95a95d9c3e4ba919cc7358","datavalue":{"value":"Q115012814","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q276474$5A8FA884-13A1-446F-88E0-B32D1E41A250","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a604b4ff8e0bfc670b321a5b441851c03ac3ad0e","datavalue":{"value":"https://doi.org/10.1016/s1571-0661(03)50006-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q276474$D2B59247-C8B5-4CD1-A662-4E06F18406C0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3504b95d7eee286f33759bd70cc4d637894d3bd0","datavalue":{"value":"W2163494531","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q276474$5F6537E9-3338-4A17-82CE-38E582DEA075","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1d1585d2763b36edcd8400e0923cfdc142c6ad9","datavalue":{"value":{"entity-type":"item","numeric-id":1772311,"id":"Q1772311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98d82596aabc8f72c9f8d5089e0f8195dfb13fff","datavalue":{"value":{"amount":"+0.98347270488739","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":"Q276474$99946C56-3855-4333-8575-B77811F8324B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de636f508bbfc51f0cef38b5f56912694cd1bd34","datavalue":{"value":{"entity-type":"item","numeric-id":5394792,"id":"Q5394792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf6a14de2dc7803c3812914a30ab21d1f78a4feb","datavalue":{"value":{"amount":"+0.8931161761283875","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":"Q276474$91DD2C0E-F62B-4964-BD76-A3CE8932A028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef837c98af9365d5976372be8b459fc87fae6675","datavalue":{"value":{"entity-type":"item","numeric-id":2754161,"id":"Q2754161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5467ce4feca49c264dc33860b3fe7356e7b86d50","datavalue":{"value":{"amount":"+0.8650856018066406","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":"Q276474$C19581AD-15BA-487B-BE73-BBD70DF100A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd9d926cd6e6dc8e2de996c8942243713fec2f3b","datavalue":{"value":{"entity-type":"item","numeric-id":997991,"id":"Q997991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5467ce4feca49c264dc33860b3fe7356e7b86d50","datavalue":{"value":{"amount":"+0.8650856018066406","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":"Q276474$C0366F2B-957D-48A9-9727-20A6CAD887A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1817eca82943c69437688f168280374ea27829b1","datavalue":{"value":{"entity-type":"item","numeric-id":4518881,"id":"Q4518881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55f8fa2470e461623c04f7e50c256c945992e8f3","datavalue":{"value":{"amount":"+0.8476674556732178","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":"Q276474$3185797B-C225-4953-86E6-2F26163605CA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:276474","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:276474"}}}}}