{"entities":{"Q3067465":{"pageid":3078181,"ns":120,"title":"Item:Q3067465","lastrevid":51169772,"modified":"2026-01-17T01:34:12Z","type":"item","id":"Q3067465","labels":{"en":{"language":"en","value":"On the expressiveness of the \\(\\pi \\)-calculus and the mobile ambients"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5839820"}},"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":"Q3067465$7690E45F-F145-4F53-AA46-ADED4FF29C91","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ae975a346f146bc5097cc944d06b0e3fa4b90cf6","datavalue":{"value":{"text":"On the Expressiveness of the \u03c0-Calculus and the Mobile Ambients","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3067465$1C825B75-41FC-4353-8F5A-2D71D8F87BE5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4e812bd6272e0c088111dd59c13dd214de2048a9","datavalue":{"value":"1308.68082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067465$1F7EE503-29DC-4FE0-AA44-234F2E087B69","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"334caf3441b782e62b515bb619e087c149a708e9","datavalue":{"value":"10.1007/978-3-642-17796-5_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067465$65504235-4200-4B88-B0A6-BBF8B7C1979C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d8ac35003cafc3d53e5bbc1253bd619065517c84","datavalue":{"value":{"entity-type":"item","numeric-id":1727995,"id":"Q1727995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067465$F80C2B04-094D-4F19-99D0-C6D7E26F93D8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61858cb81e4b5eb34d2de9199633f44c2ecae313","datavalue":{"value":{"entity-type":"item","numeric-id":2996122,"id":"Q2996122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067465$A760FB0A-05AB-4D45-84F2-5D19E83B527E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3832aa8c4413a9f491fedd54c1d4e68094c46118","datavalue":{"value":{"time":"+2011-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3067465$1E3F2DCD-4863-4615-9C20-1B490BE5D050","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067465$C4D0650C-1EAA-4CF5-920B-9AEF991253A2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a680cb28f3d2d909265cdab7774dbd9a0982bcad","datavalue":{"value":"5839820","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067465$84C75328-5582-407C-9D5B-43B3A1A39B5D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a44ec874691d1efc269e7dc080d98075de578df3","datavalue":{"value":"mobile ambients","type":"string"},"datatype":"string"},"type":"statement","id":"Q3067465$6A52D2CD-14F4-44E6-A09C-DEB70A2054FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67275eee65130f90737e854dfe8e9aefe70e05d4","datavalue":{"value":"\\(\\pi \\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3067465$673DC368-3184-4274-AA52-010F8B970307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86858b19e06e7f53cefb9a2372bf5b13d0adff66","datavalue":{"value":"encoding","type":"string"},"datatype":"string"},"type":"statement","id":"Q3067465$33AC5040-B3D3-41DF-A311-816E1BD17A3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6185950b344a09bbe92b8aa0e7187812c8a418c8","datavalue":{"value":"labeled transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3067465$76354418-A19D-40C4-A312-6EC05A446F04","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":"Q3067465$35FC734B-DB5F-4AA5-AA69-EA18A77C8459","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bbcea4ee8864e3d3830ee3a37e0743431d7cfc04","datavalue":{"value":"https://doi.org/10.1007/978-3-642-17796-5_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q3067465$F0DA9BF4-7196-4579-A27C-96CDFC55EC3F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4eebc53a35aa560e67e8d101f47aa9b85b17e842","datavalue":{"value":"W1554930260","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067465$0F41B752-8BFF-44CB-BF4E-AE8BC826D54E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6055984f068a74add0c88442d273d5f0156091c7","datavalue":{"value":{"entity-type":"item","numeric-id":2864193,"id":"Q2864193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067465$A91C5D2E-AF16-4668-9F63-C6CD5D2EBC25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dd79345a8f87c7895b144ad7e467b51606907b1","datavalue":{"value":{"entity-type":"item","numeric-id":3525112,"id":"Q3525112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067465$82AF3043-46CE-45E3-9005-BB162353CE74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1987829269e7b0ed5d56eab6632e61c91dc3eb4b","datavalue":{"value":{"entity-type":"item","numeric-id":5897112,"id":"Q5897112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067465$DCFC24C5-48F7-43BF-925A-3E60C275563C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70c789506413b059d9380f6038adfe568ac77dfd","datavalue":{"value":{"entity-type":"item","numeric-id":1575154,"id":"Q1575154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067465$3BDDBE6F-8379-4F0F-80F7-4450C21B0C70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd19d902e562a6d1ad32b4dcb42ad27abd9d5d45","datavalue":{"value":{"entity-type":"item","numeric-id":2849869,"id":"Q2849869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067465$1940FEE9-C0FC-4397-BC27-E5701E9D7EC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecee27f532a6310fb1780692686cd053719046e5","datavalue":{"value":{"entity-type":"item","numeric-id":3401940,"id":"Q3401940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067465$95A04CFF-162A-4EA6-A849-AB5063C96800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"050df2d24e28bacef25f04d7a8d40db1a2d35f0f","datavalue":{"value":{"entity-type":"item","numeric-id":4536436,"id":"Q4536436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067465$19D1E048-F8E7-4438-AA43-3A468649D507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92b10dd455a010ba35f827e79a94443f42b16a85","datavalue":{"value":{"entity-type":"item","numeric-id":3540392,"id":"Q3540392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067465$F4B16A59-7781-4A4E-A0DF-0E0A632FCEEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85796c7b68c4363fef75674f72078e7403434a0d","datavalue":{"value":{"entity-type":"item","numeric-id":2805161,"id":"Q2805161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067465$B6C5DE15-71D9-4F1C-B596-A7E19F31CD07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"838e72b8de73bbdd23fef30f98a3a67a4606b53d","datavalue":{"value":{"entity-type":"item","numeric-id":5178864,"id":"Q5178864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067465$0E6BEB56-DD2F-4187-97A5-EA18BC9CB39A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668d4f42d16e3c68cea406be368e7edeb30ca51e","datavalue":{"value":{"entity-type":"item","numeric-id":1198548,"id":"Q1198548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067465$72859EC4-F2F0-4C21-B281-2D3E1A163417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b79536cfe7fba17732663baf5e141d591d617082","datavalue":{"value":{"entity-type":"item","numeric-id":2475806,"id":"Q2475806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067465$FA3FB6E9-9393-4ED8-ABDB-F1B450FA4335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dc715e27156280a138563a00f62c383872123ed","datavalue":{"value":{"entity-type":"item","numeric-id":1582013,"id":"Q1582013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067465$6C317010-8F1B-46EE-91DE-998BFB153D1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b678709320d9fc72175682733fc5983b640486a","datavalue":{"value":{"entity-type":"item","numeric-id":4917029,"id":"Q4917029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067465$287D614D-F2DF-406D-9D1D-AF4FE625FD5B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4651ec84ff92b53a84d00e47e67d2212277eceb4","datavalue":{"value":{"entity-type":"item","numeric-id":3130299,"id":"Q3130299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d96e6f4fd7579053846b66963ae53465e2eedd2","datavalue":{"value":{"amount":"+0.9438384771347046","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":"Q3067465$4EEA9014-9B93-452D-96B3-EEB574FB3EB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72cbe3a0297f9869abe73448a0a21488300f6d4f","datavalue":{"value":{"entity-type":"item","numeric-id":4917029,"id":"Q4917029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab4d22c989370cf06a06f7ad59425a2de5bfd761","datavalue":{"value":{"amount":"+0.9037867188453674","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":"Q3067465$5728CC16-4214-4D2E-AD0B-1C95C935C08F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec47e1d901cc11fd90886073431890986be03991","datavalue":{"value":{"entity-type":"item","numeric-id":3401940,"id":"Q3401940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1721a88b373db7de0bb2ec587359acf840a1d8e1","datavalue":{"value":{"amount":"+0.8790095448493958","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":"Q3067465$3892B852-234D-431B-9477-6F523574EBE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c20fe14e78f3b1569c123b3c823869c82ce2c689","datavalue":{"value":{"entity-type":"item","numeric-id":2805161,"id":"Q2805161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9afa6dbf05d5fdd0867fb40252dea2f9e383074","datavalue":{"value":{"amount":"+0.8556204438209534","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":"Q3067465$362EE92E-FE4E-4E59-BD24-2844F4C301C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1b1c586eef767a2a9e823ab742e95b0e476189f","datavalue":{"value":{"entity-type":"item","numeric-id":5897112,"id":"Q5897112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fb951c45e4cb052dc4b15b916c8d8cf2611532a","datavalue":{"value":{"amount":"+0.8435134887695312","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":"Q3067465$8D286D75-55AF-4E3B-AE43-44B4E0C930FA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3067465","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3067465"}}}}}