{"entities":{"Q2397042":{"pageid":2407785,"ns":120,"title":"Item:Q2397042","lastrevid":44020755,"modified":"2025-11-19T02:08:26Z","type":"item","id":"Q2397042","labels":{"en":{"language":"en","value":"Stateful applied pi calculus: observational equivalence and labelled bisimilarity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6723605"}},"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":"Q2397042$2B4908F4-5D86-4065-AABB-5AB259A12291","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b4b8932ca734f919348c70c898f608734e190803","datavalue":{"value":{"text":"Stateful applied pi calculus: observational equivalence and labelled bisimilarity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2397042$14149D4E-2260-4946-83A8-D652E090A410","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"247c8fd6b470a4da216cb985a6da2cb6f09177a9","datavalue":{"value":"1407.68324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2397042$A18EDBC0-1719-4538-A00B-3E17373234DA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0908465e088489078abf42a9c44ef04f781ef57b","datavalue":{"value":{"entity-type":"item","numeric-id":476177,"id":"Q476177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2397042$86B29D5A-7661-4A29-AE56-4139D6EC8C7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e56ab8cd089a73503b5d81c591fa552ce18b3de8","datavalue":{"value":{"entity-type":"item","numeric-id":274964,"id":"Q274964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2397042$DE01DD2C-AE69-4DAD-B2FA-18DFF795828E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"32cdf4687a95a8014d553380bd325d3fdf98389c","datavalue":{"value":{"entity-type":"item","numeric-id":194959,"id":"Q194959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2397042$907EB7A5-5DC0-4188-B75F-6315AFC90EAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e29184a057a37add3b7d61af5e7b02504ef3d8b","datavalue":{"value":{"entity-type":"item","numeric-id":1602966,"id":"Q1602966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2397042$4C89794B-53B9-4334-8DEB-671F2860648F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2397042$48360FB0-84AB-4D6F-A542-BE7670B3995D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8a73e2fec0f92af2f5c6dbac281f88657b581b44","datavalue":{"value":{"time":"+2017-05-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2397042$443B6790-5748-4905-B3AE-99A167D330B6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c81f1ecfbb849bbdd7ab7e28b6c1400dfd1411c3","datavalue":{"value":"https://research.birmingham.ac.uk/portal/en/publications/stateful-applied-pi-calculus-observational-equivalence-and-labelled-bisimilarity(15668517-8fc0-4fde-8bc2-527a787f4b9c).html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2397042$AE586108-50BE-4F39-8FE7-7B51C53490B9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2397042$7A1D9F29-3EC5-41E5-82CD-6F956F94ACED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e8c27d95adfb67fdc42bc5a39f2fb5a89df93339","datavalue":{"value":"6723605","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2397042$8ACBFD70-52CA-4CA9-BD42-6646EBCA2A98","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fea93917e6a5dd3b24dcb498614b8cdda44d5dfc","datavalue":{"value":{"entity-type":"item","numeric-id":15278,"id":"Q15278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2397042$71245CDF-7D98-4CC0-B647-1CF6D0DBAF13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fb98786abf31f77bc4a017db36bf2b58585d1ed3","datavalue":{"value":{"entity-type":"item","numeric-id":32423,"id":"Q32423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2397042$62B73082-0214-4F0C-9854-371D2FE7064D","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":"Q2397042$689E3A5F-73D6-4E4E-B441-6CDC5EAC387E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8946841bfb05838aee99dc41ee856d609f456bf0","datavalue":{"value":"W2596880044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2397042$E903BCE7-FB9E-499F-85B5-0F8FA4E709E3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"737414dce6c255e1c801bd9ffb1616ecb5d1d9fa","datavalue":{"value":{"entity-type":"item","numeric-id":860894,"id":"Q860894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2397042$51A70FA4-6570-4C66-92DC-DAC6366DCC24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4659e4b65a5166be2e30470c613179619fe95b23","datavalue":{"value":{"entity-type":"item","numeric-id":5178877,"id":"Q5178877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2397042$AA5A3086-7051-42EB-8043-3F1B7783226B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f93452b91edda8da8109ddb6ad4a31477422917","datavalue":{"value":{"entity-type":"item","numeric-id":1881255,"id":"Q1881255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2397042$31E2C8A2-8ED9-4574-978D-A706C065149E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a29de92665895cbd2edf51facd584261a10193b","datavalue":{"value":{"entity-type":"item","numeric-id":2946688,"id":"Q2946688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2397042$4ECBCDAF-FED4-4388-BD84-A4D8E2E40B22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9eed8b1166c48d3b61aecd61bb3c4e60ea341f19","datavalue":{"value":{"entity-type":"item","numeric-id":3003314,"id":"Q3003314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2397042$83839782-8955-4BD7-A451-70FE8983095E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92093ba17f34df8f4fe5be21dbc0561047e5788d","datavalue":{"value":{"entity-type":"item","numeric-id":2892723,"id":"Q2892723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2397042$65F62421-29F7-465E-B1A6-A979D5630358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0de528048102a53c4a18deb26d5245930dec75c","datavalue":{"value":{"entity-type":"item","numeric-id":5747780,"id":"Q5747780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2397042$08402740-2530-480B-B75E-07D7D7D7DEC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c5f78d062cb5b9397057492f87283ce3bfc9df7","datavalue":{"value":{"entity-type":"item","numeric-id":391121,"id":"Q391121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2397042$662681FC-6C31-4939-89FF-C2141F49251D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7905a1ad1f938f2342bd5584414b3886bb258901","datavalue":{"value":{"entity-type":"item","numeric-id":5426068,"id":"Q5426068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2397042$930382C2-23BB-4A75-8CFC-CA6D95A34D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95b55fe80b836bdbacc3e30271106de59dfc5a01","datavalue":{"value":{"entity-type":"item","numeric-id":5255072,"id":"Q5255072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2397042$BE223BB2-8F3C-4C7B-9E28-64623668FA23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17bc581a4601573a8e1cd5d0d5367514c6cb3fe2","datavalue":{"value":{"entity-type":"item","numeric-id":437028,"id":"Q437028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2397042$0E35B594-773E-4066-A5BB-DF485493BA14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e74c15a0761d1565d615ac63fc3e9c70529deb6e","datavalue":{"value":{"entity-type":"item","numeric-id":1758155,"id":"Q1758155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2397042$7FF93E95-8564-4FC8-BE8C-A7C2097DF01A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac98ee454784eee5e5e07ac795aec39dd374f502","datavalue":{"value":{"entity-type":"item","numeric-id":2734510,"id":"Q2734510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2397042$60CA4F32-D0C7-4290-A00D-D83DCCFF1E16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"928940c82f5eab2df5a1704d32409a802ad3f2f0","datavalue":{"value":{"entity-type":"item","numeric-id":5244818,"id":"Q5244818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2397042$577258D9-8766-4D33-9F24-89B86107405C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"506ff05ccff7cb950a04420392aecfa7ffc07358","datavalue":{"value":"10.1016/J.JLAMP.2017.03.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2397042$D3E0ED53-87CB-4A03-9101-360518F5D703","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51424281b9812533847d9811813d74c32707a82b","datavalue":{"value":{"entity-type":"item","numeric-id":5458829,"id":"Q5458829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e220534304c7980d5953ec2f49ed15b857d163c2","datavalue":{"value":{"amount":"+0.8736426","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2397042$2AA1ACB5-4753-44F4-8071-3690BE1C010B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"352c6d1ab5d40e1d492a3a5517112ace602b338a","datavalue":{"value":{"entity-type":"item","numeric-id":1901699,"id":"Q1901699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbc4d8261b7a20dddf6de541a2648f8dc46a897b","datavalue":{"value":{"amount":"+0.87296724","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2397042$A0BE96AF-2A2F-4DC9-9BB7-0C111BD14A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b1901a23da8c4eb01d6992bcd6e29e6403e40ad","datavalue":{"value":{"entity-type":"item","numeric-id":621583,"id":"Q621583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bffb6279879f5089507efe538f22afb6186db91e","datavalue":{"value":{"amount":"+0.871666","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2397042$49D909AE-360D-4506-ABD8-BF095B93FC6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f27023953579e5791572ce91eff7d54c23ef4a24","datavalue":{"value":{"entity-type":"item","numeric-id":362281,"id":"Q362281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b5e8cd38cfcb01885210c8e0eace7b2e494c82d","datavalue":{"value":{"amount":"+0.86487323","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2397042$8DA28758-4B3D-4820-81FF-D2E9B32FD5FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b20ed8a768c7512ab0cd023c49b8ef3277dd7c53","datavalue":{"value":{"entity-type":"item","numeric-id":4219048,"id":"Q4219048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae651891b650164efee4852ecb6539af490db519","datavalue":{"value":{"amount":"+0.8648138","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2397042$0652677B-CC70-4CFE-B1BF-CDEF3F132105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e53780b2aabe51dfa7f619fafb9a362a52b7e25","datavalue":{"value":{"entity-type":"item","numeric-id":3401115,"id":"Q3401115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d33ce9c0384393dd42f5d7b96381de96114df61d","datavalue":{"value":{"amount":"+0.8623829","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2397042$F5FF9C7E-6CC2-4236-BB76-A82AE62F5E34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"139ac73fc847f4b6a9063442f3f78ef71c56e208","datavalue":{"value":{"entity-type":"item","numeric-id":2119978,"id":"Q2119978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"592717ff37e8f3e19c87f66beae96c0a16a281a4","datavalue":{"value":{"amount":"+0.8595559","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2397042$F615A4F4-8941-4F82-97A7-53F4D6C897BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30686e4b96dbdea5912a334eab698ec8c93f1b6b","datavalue":{"value":{"entity-type":"item","numeric-id":1966507,"id":"Q1966507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c2ebc612721ed76817b047cff6500f54a8c57d7","datavalue":{"value":{"amount":"+0.859385","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2397042$3CC48219-CAAA-447B-B0A9-6390EA5AC281","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2397042","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2397042"}}}}}