{"entities":{"Q3401940":{"pageid":3412643,"ns":120,"title":"Item:Q3401940","lastrevid":50893955,"modified":"2026-01-15T15:18:37Z","type":"item","id":"Q3401940","labels":{"en":{"language":"en","value":"Encoding mobile ambients into the \\(\\pi \\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5665337"}},"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":"Q3401940$1C3AC6D7-1FEE-49D5-A620-5A714BB0F3BF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3dcfea5f330098c7ec04ab012bce2f835bcec1d6","datavalue":{"value":{"text":"Encoding Mobile Ambients into the \u03c0-Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3401940$7E5EB320-2099-4CD4-B4F3-EF89EFA4AA41","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6d65cef89b4ac796411f991fd0f1ed80d6fe3fc9","datavalue":{"value":"1185.68439","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401940$9A39E372-872E-485A-A3D6-6FE45A013ADA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7e82b5cc52406fa09f6579c5dc8b03512a354613","datavalue":{"value":"10.1007/978-3-540-70881-0_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401940$D2FEB9B7-3EB3-474B-B730-47E47EE9C455","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dede0e2bf224582d937e25999a53eed000472ee0","datavalue":{"value":{"entity-type":"item","numeric-id":264537,"id":"Q264537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3401940$CD3CF846-4198-438C-B17E-3D6844290919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7153bb19785740785cd6347b4d653dc5d37c5e4d","datavalue":{"value":{"entity-type":"item","numeric-id":1592931,"id":"Q1592931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3401940$EE89FEE2-4642-4F38-B15C-5170C5442014","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2ca3c59d5b4a9c62c9dad54b7259d1ebc3cdb0f6","datavalue":{"value":{"entity-type":"item","numeric-id":3401930,"id":"Q3401930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3401940$2BAB7F8A-42BE-43B8-9DC4-438B89D0F3D1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2f2e51e046f2c34fc303672dbc5a81ee27ce4774","datavalue":{"value":{"time":"+2010-02-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3401940$6675FB6E-C0B3-4118-BB0F-69A8B0539A58","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401940$F00F203E-73C2-494C-A7DC-D037FBFE9EB8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fd9e33003d5b71a7a1642300aa62b28af9fb20a8","datavalue":{"value":"5665337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401940$BC976C7C-E5B3-4618-9E31-C87A3258F2B4","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":"Q3401940$F67352A2-9E06-4C32-B9A9-68BCE37A3EB7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cce59c7f164e88a17abf0e3dcf83783e9648c12d","datavalue":{"value":"https://doi.org/10.1007/978-3-540-70881-0_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q3401940$85D04FE2-9C2A-4D17-979B-F68AC229FCB1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9e59724c48a3ac1cf71bf615fe869373ce1d1ec4","datavalue":{"value":"W2152419518","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401940$46C0A94F-CFB2-44EA-8878-326E9767FEF5","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":"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":"Q3401940$6A00BA5B-9850-4BA4-9EB3-D75DEE8276E7","rank":"normal"},{"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":"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":"Q3401940$0DD30DBE-1242-4B26-9C96-E3C68D29411E","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":"3902029b5df6a8c210d21e94ca19250013e03d4a","datavalue":{"value":{"amount":"+0.8697052001953125","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":"Q3401940$3E8C9E6F-D221-402C-A421-1BFA50AD9F1B","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":"468eb42f1dbe7bdf7c29ede1f0bca496c98fbd72","datavalue":{"value":{"amount":"+0.8463547825813293","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":"Q3401940$46903A6B-4055-4EC6-9566-4AAD9C7EAA0C","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":"687f254c9c32a975127febcc94e2a28d9988b01d","datavalue":{"value":{"amount":"+0.8297303318977356","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":"Q3401940$31ED8CCB-5BE7-4799-9FFF-BF7B3FFA9912","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3401940","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3401940"}}}}}