{"entities":{"Q3439883":{"pageid":3450586,"ns":120,"title":"Item:Q3439883","lastrevid":50099554,"modified":"2026-01-12T22:46:06Z","type":"item","id":"Q3439883","labels":{"en":{"language":"en","value":"A Distributed Pi-Calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5155285"}},"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":"Q3439883$C59542B5-99D9-41D1-ABF6-B3207CDD34B7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e8f8bce7494ed2b72526b8ea1ebdc04891928880","datavalue":{"value":{"text":"A Distributed Pi-Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3439883$302F6B05-729C-4009-9326-9D9BD1C7A17E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7ae1ecfb1e24694c6ec4b41014c765c316744a80","datavalue":{"value":"1125.68082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3439883$AE9BDF41-8448-42B8-ADD1-B961F2A27ED3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d7645b1863a9989950450648ac5847d19dc27781","datavalue":{"value":"10.1017/CBO9780511611063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3439883$890BDA7B-7A1C-42AA-AC51-3A514521D052","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c59fbad6c8ea71cce099c10b2a0da0dcbcbe2eda","datavalue":{"value":{"time":"+2007-05-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":"Q3439883$922BEBE9-C76A-4CF3-B6D3-E58E65BDB5C4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3439883$E29EE831-091E-417A-BBA7-825F612EAAA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3439883$D4A13879-9E35-4340-AD95-948DFFFCFC08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3439883$4BD5B55E-D883-4A60-B216-311966A8CC55","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b7b1119ff6106b32c7cc53c8f7b7806b558e3b89","datavalue":{"value":"5155285","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3439883$649D0B34-4066-44EF-B436-60C275A9E793","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5cedc1a875d8083748dd695c5b423bf932b1222","datavalue":{"value":"pi-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3439883$C4732CFF-926A-42AA-A040-C36F5CB97AEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ad40f7abfca4e56523b0930063e2c8dc946a6e3","datavalue":{"value":"distributed asynchronous pi-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3439883$B66AB658-702E-478F-970C-AF4D02B10F1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3439883$592CF2D6-39F2-41EE-93E1-0FA9069BFA81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92b4edef10612b66f6eed634fbf58b8a7ba51304","datavalue":{"value":"type system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3439883$6E2FEC39-8308-49EA-A29C-82F06B28DEAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c0c081abc8eda38858901e1fd627902a9a4a0e0","datavalue":{"value":"labeled transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3439883$CC3AC6AE-8D6B-4690-AEA3-3669DB98F15B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"945dc03b11fa339cd92e558d337b54cbd60af032","datavalue":{"value":"action semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3439883$D04900A2-C833-4CBF-BAC7-6B1F4DAF44F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d4b32c3545e15184907a7757d0ac00169973cf5","datavalue":{"value":"reduction semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3439883$F2756591-1E3F-434F-BFD0-D73C7E84E1CE","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":"Q3439883$F8B754A8-7776-4147-ADB2-A0D809BC54B7","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":"Q3439883$38095EDF-3499-4F85-BA8E-D1F2426750CE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a58a7a37b551698e0dbdfd0b464a05ee74a1b2b5","datavalue":{"value":"https://doi.org/10.1017/cbo9780511611063","type":"string"},"datatype":"url"},"type":"statement","id":"Q3439883$2286509D-A708-4085-84DD-E8909D31DDA5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8f38ac9802fa920db31da77adbbea93f5a8544ff","datavalue":{"value":"W4212790255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3439883$37B60F1C-BDEA-48A9-915C-15F98582A776","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6f7c35576a4363c9f7b83c9acd55de6b1cc1dc1","datavalue":{"value":{"entity-type":"item","numeric-id":1881259,"id":"Q1881259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f91625e60969179e67661da569d411a73237c8b1","datavalue":{"value":{"amount":"+0.8246282339096069","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":"Q3439883$7898A545-F53A-4E17-AE8F-AB78285B255F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69dc48a68b882f8f353e668325b9f47ca942150d","datavalue":{"value":{"entity-type":"item","numeric-id":4417865,"id":"Q4417865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dbd57776962c1c690a16adeeb13c94c8a46b42a","datavalue":{"value":{"amount":"+0.8215898275375366","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":"Q3439883$0D25A08B-7BDC-46B5-A216-074CBA6324D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de15efe60a5681af3a4dd5e23f2f0f6d3a5a690a","datavalue":{"value":{"entity-type":"item","numeric-id":2906943,"id":"Q2906943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9847b646c29f606d33042a83817f88ee388cd3d","datavalue":{"value":{"amount":"+0.8065761923789978","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":"Q3439883$7B748A5A-9239-4D69-8FF5-6C7AEA6F648B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f5ce525c359579aaad11fa08855609425d8ff81","datavalue":{"value":{"entity-type":"item","numeric-id":4501679,"id":"Q4501679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"649f815e918ce5bed19ef4fd7d0d2dea41fae75a","datavalue":{"value":{"amount":"+0.785027027130127","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":"Q3439883$CE1D51B0-D6E0-4AFD-B758-907A6F35B447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dd8012adc7b64157dd5aaa4afe8436d1f9a2ee4","datavalue":{"value":{"entity-type":"item","numeric-id":1198548,"id":"Q1198548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07d0f806a65435bf564528e19f4af3ad60b3b869","datavalue":{"value":{"amount":"+0.7778425216674805","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":"Q3439883$5ACE225E-C50C-4A9C-98BC-D510498FA850","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3439883","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3439883"}}}}}