{"entities":{"Q3130299":{"pageid":3141015,"ns":120,"title":"Item:Q3130299","lastrevid":52989884,"modified":"2026-01-23T23:41:43Z","type":"item","id":"Q3130299","labels":{"en":{"language":"en","value":"On the expressiveness of \\(\\pi\\)-calculus for encoding mobile ambients"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6824432"}},"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":"Q3130299$F5919845-0286-4A0B-84CF-A0A9372CBD66","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"df64bc83cef61ec23760f1cbadd66b41a1785a2c","datavalue":{"value":{"text":"On the expressiveness of \u03c0-calculus for encoding mobile ambients","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3130299$C32032A3-E458-467D-B3BA-EB584324C630","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d515a5e4fbb5783d5f15f39fd3762083a45ab7a9","datavalue":{"value":"1387.68164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3130299$C21A9BCE-8AD0-45F4-BFAC-2BF1B50036D6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"33467ff95eb76e1583df7a1936fb05bf5e9d2fb6","datavalue":{"value":"10.1017/S0960129516000256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3130299$B6D8BBEB-D503-4E09-8AD6-726DEF90FA60","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":"Q3130299$59CCDC61-FE2D-45F5-BE54-2706F2327A61","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3130299$0C2479C2-0150-4F51-80E7-8BF695D86D40","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"256848ce0dfd32b0c1f66d8f44fb1041feec461a","datavalue":{"value":{"time":"+2018-01-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3130299$CE552B2C-30CC-4682-B0EE-65529CBF58D1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3130299$B2884DF4-5629-4C11-B20F-A973164A4E53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3130299$8FC45A0E-E7DA-406E-A154-3455E15CF6DF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4c4b640461259bd4efb0045a33e964c5e1abac07","datavalue":{"value":"6824432","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3130299$0AA31F6E-0545-4865-A398-048E931AD9C7","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":"Q3130299$BCD39365-9BFA-4940-AFA1-129F1EF58955","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7b8d61e65a5501052933e3e8ed050ba0513a16f","datavalue":{"value":{"entity-type":"item","numeric-id":2848868,"id":"Q2848868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3130299$08450922-8A7A-40C8-A71F-403A03AC5FCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21afaa7a0acbd9b0eeb8d9b478cc35ad6f2ecb48","datavalue":{"value":{"entity-type":"item","numeric-id":4621177,"id":"Q4621177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3130299$E0E1D1B3-1873-496D-9C11-A38E4B210E7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d2437b9483f15d4594667c05b7b749ae74804e7","datavalue":{"value":{"entity-type":"item","numeric-id":3067465,"id":"Q3067465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3130299$0059652E-A509-4327-9158-B3D0D6AF1BBE","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":"Q3130299$571E79A5-6467-4F2C-A54A-BEAA8E6EF148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5831bc8a84b158719777b6adeafeb87c8785a92","datavalue":{"value":{"entity-type":"item","numeric-id":3655762,"id":"Q3655762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3130299$FD6BF5AB-8F51-4A68-98A0-F02A5F2CBF8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"557c8e6f58a6cf3a18d88c4cab8d603ee71fd1ca","datavalue":{"value":{"entity-type":"item","numeric-id":5712404,"id":"Q5712404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3130299$5F1FAFBA-AC81-4977-8DBD-7882B4A4920B","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":"Q3130299$1148E17F-8E80-4305-828F-6DC7692C3B5E","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":"Q3130299$ED157491-88E2-4774-85F0-501B5C4C8D19","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":"Q3130299$57B6417B-B5BD-4A25-93DE-566A05F9E285","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":"Q3130299$9DE6F1FF-DBA6-472A-88E4-1A63D686F817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01e687aaa37bff5ee9d835bf0b3e066c1fb6a877","datavalue":{"value":{"entity-type":"item","numeric-id":624388,"id":"Q624388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3130299$B16563D0-4CB9-4D23-B5C8-DA42BADC42F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf02ec080c2639093463cac55bc85186179051e3","datavalue":{"value":{"entity-type":"item","numeric-id":660996,"id":"Q660996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3130299$5277F75E-0F82-44D1-BBFB-00DD3F91E898","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":"Q3130299$D93ADE2F-D5B0-40D6-BC8D-C7C97551BD58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dc2f7f952092927dacd0d7a73c8568f10e239b8","datavalue":{"value":{"entity-type":"item","numeric-id":2760245,"id":"Q2760245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3130299$701A34DA-1A0E-4A77-849B-2AF581B244C8","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":"Q3130299$599B1777-8590-4984-9088-2F95634FA21B","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":"Q3130299$E120B615-FA80-4B40-9F78-B0A245D7EE29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fb13a71671fea084cf10e0033fc79952ddc2afb","datavalue":{"value":{"entity-type":"item","numeric-id":671684,"id":"Q671684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3130299$85B5367C-75BD-44DF-A248-6298AEDA0DFD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5d01692312ae28f43a7ffbca07472e5e5d4054e","datavalue":{"value":{"entity-type":"item","numeric-id":3067465,"id":"Q3067465"},"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":"Q3130299$A0D4F7CC-CFDD-42EE-9988-AFE86FE1522B","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":"0a0c60a2b37c4bbe4046d60e258c98a0640a5b63","datavalue":{"value":{"amount":"+0.8993752598762512","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":"Q3130299$AC3E70F1-F1A2-4AD2-A6A8-9A52D37B044E","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":"54aed64bf4da7130595a4562bd11dc3e6fdf0e9f","datavalue":{"value":{"amount":"+0.8775858879089355","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":"Q3130299$7FBD3D93-836E-4920-B0A9-DDC97F8A65E4","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":"a3a32414d78ebf4c335fb7d85d4fdc69cbef7ee4","datavalue":{"value":{"amount":"+0.8360380530357361","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":"Q3130299$2EEA2340-9B7D-4C6F-853E-FD47D7D70923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81c87f8c6a7801de949b503313715a26c74e7614","datavalue":{"value":{"entity-type":"item","numeric-id":2994477,"id":"Q2994477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed4d9a0b66713ac063143a82cfa4b8418eab261a","datavalue":{"value":{"amount":"+0.7996102571487427","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":"Q3130299$34361166-4031-4452-BC30-30FF589D7AA4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3130299","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3130299"}}}}}