{"entities":{"Q4910411":{"pageid":6939990,"ns":120,"title":"Item:Q4910411","lastrevid":91596938,"modified":"2026-06-04T23:34:49Z","type":"item","id":"Q4910411","labels":{"en":{"language":"en","value":"On unique decomposition of processes in the applied \\(\\pi\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6145825"}},"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":"Q4910411$214FE484-7838-43F4-943F-C6A33D20BF69","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6a67465e6fc8e393e61532e3aec1a93b0fe240da","datavalue":{"value":{"text":"On Unique Decomposition of Processes in the Applied \u03c0-Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4910411$A8E4C928-5B84-485C-AE3F-C2CF123CCA4F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b3021886780cec0f6e6b38b08d1b7440457b2f93","datavalue":{"value":"1260.68265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910411$334364FD-B1C8-4E3F-A7B6-84E3B6DDB99C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1ff453947506b08f6aad8de0a83830d76e6ff5cc","datavalue":{"value":"10.1007/978-3-642-37075-5_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910411$B50EEACB-1848-4067-B61E-8ED53C951E8C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"80048a52914dcabeca08def1a1a28a681f268248","datavalue":{"value":{"entity-type":"item","numeric-id":896920,"id":"Q896920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4910411$3D2AA3C1-8B17-49C2-AEE1-9D155AC20A18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9fd1fea852b6877e35d514e318cb594590c429b","datavalue":{"value":{"entity-type":"item","numeric-id":287324,"id":"Q287324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4910411$CD9DFF2B-BD13-46E5-BBF5-A8307807E11B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"949c6e18983b3ffa10d09a4010ec9bedf5d67f01","datavalue":{"value":{"entity-type":"item","numeric-id":896921,"id":"Q896921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4910411$F7BDEEF4-CD10-4E48-90DD-45ABE5573EE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf61e1c28cd3e26b0b006a26cc0e8ae38b4ee613","datavalue":{"value":{"entity-type":"item","numeric-id":673879,"id":"Q673879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4910411$CD13693D-A603-4B54-8D3F-755F1D3CB79A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4910411$5C10EB21-36D9-4100-B2FB-AB638B499903","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"920dd144368fa573f0e857e6831217ab76e93fef","datavalue":{"value":{"time":"+2013-03-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4910411$3F7E6B96-98A3-421E-BAAC-1A3D706C2D37","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910411$A9A34AA3-2399-479E-B2B9-63271889AA1A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e045cbcbf0cd19339dca8d70dba727a93a3e38b1","datavalue":{"value":"6145825","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910411$B3EB06E4-BD4B-44BC-8011-4CF5C210255B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3fe0f6f25660b73d987e94f95dfb168c3ddd9c89","datavalue":{"value":"applied \\(\\pi\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4910411$BF16CB3F-6A4A-4E8B-BC06-04812198A063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bbdbe77fcb51ccd6461f11b11b56099aea31d3e","datavalue":{"value":"unique decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q4910411$F1841B7E-6240-4BBF-9DB7-F62E2A6C49BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f5f9fa7c99fed84610c34025a6959701496fde6","datavalue":{"value":"normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q4910411$46153DAE-7031-469A-8AD8-A9E7EBD3AEC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5f64810e95bc81e9e77b2ce3be89c40cbb59059","datavalue":{"value":"weak bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4910411$3DDEF559-EB00-454C-89FD-26EC7B5822A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78c653aaabbfb830c401d888ee16e7f8636b9a5f","datavalue":{"value":"strong bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4910411$E8BC8476-E7CC-433E-8853-B8A8BCCE842D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3184b11a31d7da69732803fd79ace03f08629407","datavalue":{"value":"factorization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4910411$3189972D-6801-434B-A39A-8624C661CD5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dab5178b5d19903e2a6ed66ba92e6a42b5774b78","datavalue":{"value":"cancellation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4910411$ED168636-77F3-43D4-808E-D1AF9D6EC6DB","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":"Q4910411$79CE338C-8F5D-4D4E-B8BE-6EE120CF47C6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cbde0722df87f77059d7b3d179ad5d9630a7515d","datavalue":{"value":"https://doi.org/10.1007/978-3-642-37075-5_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q4910411$FF4E1CFE-D9BA-4894-B7E4-55AD67655616","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"52602213edc6b67be35e7f864d00824ff9e49ec5","datavalue":{"value":"W2288004153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910411$4AB82901-53DA-4B3A-8390-7A6D7CEF9006","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95dcc6c7452ea58ab9f4131e45b6d429eb168f2d","datavalue":{"value":{"entity-type":"item","numeric-id":896922,"id":"Q896922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dfbc6a22313ebc6a9105cd241ea535f2c413121","datavalue":{"value":{"amount":"+0.9566054344177246","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":"Q4910411$A6AB224C-A7AF-4712-A7FA-869F8BC87154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5867a6a3a664864955418afd2ad455f563088323","datavalue":{"value":{"entity-type":"item","numeric-id":5015359,"id":"Q5015359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a91268f7537327b29329d6b3703b4c6543af568f","datavalue":{"value":{"amount":"+0.8872589468955994","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":"Q4910411$343C44DE-4BB7-4B05-B144-40CF3B36781F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2cc88da3986380adf26af3988a0b6e186640252","datavalue":{"value":{"entity-type":"item","numeric-id":1208422,"id":"Q1208422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"326cc24dec5e7c54836abb1f89900e78c11a365a","datavalue":{"value":{"amount":"+0.8351298570632935","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":"Q4910411$1B7DCB09-9EA1-40EE-B9C3-2C9CF7D4E159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bfdea417d04c491c310ea541fd2fa1da0364987","datavalue":{"value":{"entity-type":"item","numeric-id":1781996,"id":"Q1781996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3a39170902094b81625916c01eff5602e5c61c5","datavalue":{"value":{"amount":"+0.8317156434059143","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":"Q4910411$6BBA199D-0698-43B8-A7C7-B0A451BA743D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ef5f454559001684f46fdf57a575758ab9931b4","datavalue":{"value":{"entity-type":"item","numeric-id":4712664,"id":"Q4712664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"603331a30dfb11468c8c693c4cc9972fe59bcc5b","datavalue":{"value":{"amount":"+0.8164799809455872","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":"Q4910411$C0706B6A-38C9-481E-8CB1-92D5C2F82F7B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On unique decomposition of processes in the applied \\(\\pi\\)-calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_unique_decomposition_of_processes_in_the_applied_%5C(%5Cpi%5C)-calculus"}}}}}