{"entities":{"Q896922":{"pageid":898770,"ns":120,"title":"Item:Q896922","lastrevid":52416461,"modified":"2026-01-22T14:37:16Z","type":"item","id":"Q896922","labels":{"en":{"language":"en","value":"On the existence and decidability of unique decompositions of processes in the applied \\(\\pi\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6521255"}},"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":"Q896922$D890FFDD-ABB3-46E3-9C6E-65C89CDB5217","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"782ee434f37766b3f17ec56c0120f81a2008e07e","datavalue":{"value":{"text":"On the existence and decidability of unique decompositions of processes in the applied \\(\\pi\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q896922$141E3D42-D179-4A5A-842C-EA24153662EC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"82953cdbecd5ed8b00f9cd5463334fbcd503ab37","datavalue":{"value":"1333.68197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q896922$78DC75D5-AE61-4F39-A975-6B3811F2E6F0","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":"Q896922$57FA2CC3-0D5A-4680-944D-4189A29F0E5E","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":"Q896922$C5DA4DBA-7255-4864-8061-B491E835198C","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":"Q896922$3992E1A8-CAFC-4CB5-A062-DBD6E5C85BB9","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":"Q896922$A7370E92-8A40-4015-A852-1BE238857FE8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896922$96A7E931-1F58-4EDD-A732-F89B2F4BB71B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bb56a7ddf3ae6dd98b64268c91e50a5f39b77eda","datavalue":{"value":{"time":"+2015-12-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q896922$598F5B28-3A2D-4FC2-AD6C-F6630B100F48","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q896922$59A7970F-C9BD-4A38-8E35-25BAE9693982","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d1632b043480068df2eb3715c732a1682acac033","datavalue":{"value":"6521255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q896922$C3F559D0-F60D-4524-9101-B912B3E33444","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3fe0f6f25660b73d987e94f95dfb168c3ddd9c89","datavalue":{"value":"applied \\(\\pi\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q896922$8B856273-5BB3-4547-AC65-4F8CF0C22B26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bbdbe77fcb51ccd6461f11b11b56099aea31d3e","datavalue":{"value":"unique decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q896922$35B1B920-82D6-4DFC-8FC4-62435DFD1DB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f5f9fa7c99fed84610c34025a6959701496fde6","datavalue":{"value":"normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q896922$1B4C2DFE-36C8-4BB8-9434-E58CEB0F62A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5f64810e95bc81e9e77b2ce3be89c40cbb59059","datavalue":{"value":"weak bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q896922$BACE8F69-603B-4E71-AFCA-8AAEB61A2BB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78c653aaabbfb830c401d888ee16e7f8636b9a5f","datavalue":{"value":"strong bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q896922$2162A1D0-C78B-483B-B0EE-828FEA6D4FD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dab5178b5d19903e2a6ed66ba92e6a42b5774b78","datavalue":{"value":"cancellation","type":"string"},"datatype":"string"},"type":"statement","id":"Q896922$01868F54-FAF9-4E23-B0E7-4E197ABF9FFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q896922$239401FA-BD23-42EE-A6EB-E4E96F580C9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d649755d7dec7fe8dd2722580b18ccd4bdd91b89","datavalue":{"value":"equational theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q896922$6F1E830B-4586-4D00-8742-1E7A090B3FF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"541e14ca1a9bb27a1cfe827610ca5ddb594a16de","datavalue":{"value":"word problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q896922$84CE00C8-1DD3-4914-BB7C-9D4EF5732152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87c2e88f1ff3493066f8b573f5861a8c1effa7d8","datavalue":{"value":"process calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q896922$0D4B73D0-9C98-4D13-A8BC-592202AAC576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88a9f9f32f12a33241ca1a8b54c96cbc6deab43d","datavalue":{"value":"behavioral equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q896922$672BD7C3-E855-470E-BEB6-131F8ADE07C5","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":"Q896922$8D427A34-5ACD-4580-A573-370F1E4E0F2B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7b35fa369a7e7f205a2dd0471695d4016a2b8458","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2015.11.033","type":"string"},"datatype":"url"},"type":"statement","id":"Q896922$6DCDCBBE-8339-4026-862B-0CDFF44DF389","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6bb618bb96f09b30f577068afe7d795ec74ec756","datavalue":{"value":"W2182201061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q896922$C6971C67-7A37-420A-8265-83B541D6D689","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cabd132592c4e43c9101a69d61c4172a98a16075","datavalue":{"value":{"entity-type":"item","numeric-id":1208422,"id":"Q1208422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896922$F3424355-DA19-44A5-9FFB-15EA864C3770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896922$7A3CD2EB-009E-4AFD-AF09-560B45FCB652","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":"Q896922$2E963B59-8BA0-4588-9C4E-A215B2E3D763","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":"Q896922$9691968A-9DFE-4A05-8743-59BD5225B0C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7826866a05510a038a5ca0e484e348b53bbacd09","datavalue":{"value":{"entity-type":"item","numeric-id":1854385,"id":"Q1854385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896922$792AFFBF-43ED-4E04-86A1-8B164A510034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37aeff4d7f97de72ac15dd4407bf47e67ba69094","datavalue":{"value":{"entity-type":"item","numeric-id":555750,"id":"Q555750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896922$B85F3310-8B46-4FC9-99DD-6051226B6B42","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":"Q896922$2BF9A797-6FB0-4AF3-8EE3-3551816A6922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7042f1753a1a3a1da9dc5a3b5c65bd7b7800c97","datavalue":{"value":{"entity-type":"item","numeric-id":4020283,"id":"Q4020283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896922$963A068E-4821-4344-BF11-56BFDA241894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29a8d14eae1fab181499f44d4720082adebedfb9","datavalue":{"value":{"entity-type":"item","numeric-id":5845383,"id":"Q5845383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896922$6811CE7B-A5B5-4E9F-86E6-E7F1466802A9","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":"Q896922$F3032219-23E3-44D9-AA5A-B04876642DB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96536a3513c764186ae19524652263bcfe7ab572","datavalue":{"value":{"entity-type":"item","numeric-id":3163886,"id":"Q3163886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896922$EE6AA4FA-0C76-4D06-9D48-77E4B93B92F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dd365b456e4c881bc8ef8f30286fad0e1ba684e","datavalue":{"value":{"entity-type":"item","numeric-id":1781996,"id":"Q1781996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896922$32503AB5-CB1A-44D2-8BDF-2A143DD2DB3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5e6738696f8e26b73b2b40ccec5b796bb9aa4f6","datavalue":{"value":{"entity-type":"item","numeric-id":2915175,"id":"Q2915175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896922$E3914263-CD85-4B26-8172-B17829A9882E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eec2d43a7f7df6abd15d03c58e90875833269238","datavalue":{"value":{"entity-type":"item","numeric-id":4910411,"id":"Q4910411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896922$C6BF9ECD-6EE9-41E5-8B3F-53C98BB7FEE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d4ec412e0f26f4cc567c55ef4b981b540603b13","datavalue":{"value":{"entity-type":"item","numeric-id":3587460,"id":"Q3587460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896922$C78C38A4-36F4-4DEB-8E98-282A362C3D4E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c569ab892164905582a856e381d7acf447cdc7f1","datavalue":{"value":"10.1016/J.TCS.2015.11.033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q896922$C059AF41-CFB5-48FB-B6E7-3B2D098964F0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6546a3f1013d48c3f188dcd3a466a0fc4e4f2c6a","datavalue":{"value":{"entity-type":"item","numeric-id":4910411,"id":"Q4910411"},"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":"Q896922$5B8145CB-07B3-46B8-8575-14E5739CCECA","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":"0ea25dbc293667b6d45d1a85ad026cccbd39abb3","datavalue":{"value":{"amount":"+0.8893010020256042","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":"Q896922$C2E6CF22-D693-4161-A4EB-75C81E576ADD","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":"799e4854267739f79595ab6cfa3285a8cd55dc9b","datavalue":{"value":{"amount":"+0.8302488923072815","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":"Q896922$F2A27429-2FE8-4EA5-91E6-681EFC27532D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"256501f66f49feb02926ad65633fc784fed084a8","datavalue":{"value":{"entity-type":"item","numeric-id":1575536,"id":"Q1575536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5f5642c822393eb2e7741f8026a7475b270d22d","datavalue":{"value":{"amount":"+0.8301121592521667","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":"Q896922$3CC15E1D-FFBC-4C59-8CAE-28B3BB77E8BF","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":"e4ec7cbe1c85b0acafe99269fdf8d128ea5a7c87","datavalue":{"value":{"amount":"+0.8121492266654968","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":"Q896922$16E94189-4B0C-41D8-A510-39D2A794BFE6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:896922","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:896922"}}}}}