{"entities":{"Q939164":{"pageid":941012,"ns":120,"title":"Item:Q939164","lastrevid":65495034,"modified":"2026-04-12T02:59:29Z","type":"item","id":"Q939164","labels":{"en":{"language":"en","value":"A compositional Petri net translation of general \\(\\pi\\)-calculus terms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5314959"}},"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":"Q939164$C0F1734C-E0E6-48CE-89B0-39998D87A621","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3096d9145c887134049be22cdacf1751ec78c69f","datavalue":{"value":{"text":"A compositional Petri net translation of general \\(\\pi\\)-calculus terms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q939164$1C1045EB-9CAA-4182-BB2E-10F77454D284","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"db5bcc44b13cb811b5235772ae85d8023a608250","datavalue":{"value":"1152.68036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q939164$69A6A3E3-D457-4434-B3CF-B409EBA657C8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"339e021ba63ce43474248ae6e57750fa061ec58e","datavalue":{"value":{"entity-type":"item","numeric-id":218984,"id":"Q218984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939164$A3C37EFA-7B52-4D35-8BA8-F5ECDD3565C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6e639d2eeaa2d3553e052d48e38290f102cbe38","datavalue":{"value":{"entity-type":"item","numeric-id":227613,"id":"Q227613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939164$BB64B19B-82D6-4316-995B-824EE380C8CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cde96b44d9cad9ac40bb3f7dd714b330c99ed5d","datavalue":{"value":{"entity-type":"item","numeric-id":218985,"id":"Q218985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939164$C0DD65EA-3B6C-4CC5-8F0C-EE8A269D323A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939164$D8C76D34-C578-47BC-8691-70641AABB6DB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ecf47d86a87dfc936a87ed03391c6206ce3dbddc","datavalue":{"value":{"time":"+2008-08-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":"Q939164$63EC798F-DCBC-4AAE-8657-4417B2A829AD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q939164$985AFDEF-FFDF-4641-9C77-88399642C24D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"81dab929dc23c3b2e9a955423ee1bf705c088058","datavalue":{"value":"5314959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q939164$2F4C7A1E-76E5-4650-8A87-A25570F8B8A2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q939164$3BDFE736-5C4B-4263-A19C-E1220AD4A331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46f2e24738475e7a2cbbba836955864189ffd9f6","datavalue":{"value":"Compositional translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q939164$631B05BF-EE18-4423-A41F-CA6D865848B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e5d4674cc7136e1ecc19a4fe67d439ca18d4493","datavalue":{"value":"Mobility","type":"string"},"datatype":"string"},"type":"statement","id":"Q939164$00A94A7B-3A64-40A6-872D-5393F1B20041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c35e59984cabf218dfddcc4cee7fb81eefd5016","datavalue":{"value":"Process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q939164$F45965C1-3E82-472A-AA1C-696E9725590A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"749836226ec3fd95c35ad2efdd5e2cdd3401c18d","datavalue":{"value":{"entity-type":"item","numeric-id":16571,"id":"Q16571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939164$F4AFCB5B-E0BA-49FB-BD69-802CD82A0F1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1b63416d352770f4f8c0811340e4c96e99b8865a","datavalue":{"value":{"entity-type":"item","numeric-id":28416,"id":"Q28416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939164$BBCDD2DB-3799-4CA5-937A-1A8000D8399A","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":"Q939164$EF1753B1-C047-44F0-86C8-7C5CBF049821","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"448d8d879d8a53074404ae798ccbe7c5d45c0c79","datavalue":{"value":"https://doi.org/10.1007/s00165-008-0079-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q939164$6792D40E-067B-4121-A2E9-24869180D26C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"df684d4699c56dc66da1e842eafd9ecf742f093b","datavalue":{"value":"W2031373909","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q939164$70C579D6-2DCD-44BE-8AED-576E92629899","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7935b7c126f1c85d08838cf0c792c6abfe0e9fda","datavalue":{"value":{"entity-type":"item","numeric-id":1573598,"id":"Q1573598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939164$D6B1369E-981F-44A9-8EC1-F8950DE5FBED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb5d5022a03ef90b60bd9d94e10d019f66d2ead8","datavalue":{"value":{"entity-type":"item","numeric-id":1119024,"id":"Q1119024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939164$C59B5775-FFAF-42E8-8FC8-71A0BC0E4B55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85797bcde27357bf2a53318210daffab6d576778","datavalue":{"value":{"entity-type":"item","numeric-id":1284690,"id":"Q1284690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939164$DC29B635-D7B1-445F-B9C2-56619CDFE2E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b3d0f7768d520b32ccf996a8034d8940ed7e963","datavalue":{"value":{"entity-type":"item","numeric-id":1130165,"id":"Q1130165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939164$9F0A80D7-F9ED-4FE2-937A-AC3519A57BF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f829e937e53bde24a395ad933c2db339937707fe","datavalue":{"value":{"entity-type":"item","numeric-id":598191,"id":"Q598191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939164$3177CE30-EC82-4123-8619-A59D888FA49A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2039743f016ca9c6f042e489ce4ea595f08c51e","datavalue":{"value":{"entity-type":"item","numeric-id":5480176,"id":"Q5480176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939164$38BEA6DE-8A42-4D80-A05B-3EAB791A3ECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d5b194e03105dd1754e2c47d081fb53cabf909e","datavalue":{"value":{"entity-type":"item","numeric-id":3525146,"id":"Q3525146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939164$104033B6-518D-4AE9-9CFE-D60D21244B63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ca3faec2ca92ef841976667e44214a22e7a1ee3","datavalue":{"value":{"entity-type":"item","numeric-id":1399968,"id":"Q1399968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939164$3B58FBB6-6B35-41D4-BB5A-A61480A69C7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4c06333267748c7d7cddfe9c85c654f8c7daa6","datavalue":{"value":{"entity-type":"item","numeric-id":4461748,"id":"Q4461748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939164$D206732A-EDF9-4992-8076-904F27D1E0D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e2d9b56da40253633847e390dcdea86383fc05c","datavalue":{"value":{"entity-type":"item","numeric-id":672867,"id":"Q672867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939164$B2F950D4-D807-4782-AE4A-430865EBAA7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bfb35796f3e659d3d0ca8514fdb5214c4cbae9d","datavalue":{"value":{"entity-type":"item","numeric-id":4782078,"id":"Q4782078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939164$505E1F8A-8C1E-4969-88BB-145F0FF39BC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df23f6ccb13b7deb7619c44c8685b192d26beb0b","datavalue":{"value":{"entity-type":"item","numeric-id":1889762,"id":"Q1889762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939164$A0897C81-A820-4144-8473-0BC0983A0996","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":"Q939164$D39505B9-3F0B-4DD0-9A0C-88CE40CB788A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd55ff2e03b6b314ce17c763bfbf348521ea10a7","datavalue":{"value":{"entity-type":"item","numeric-id":4222939,"id":"Q4222939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939164$61E54DF6-430D-4A8A-A222-810993E08A13","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":"Q939164$64881F93-1CAC-4D49-8BAE-DB42CAD52756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dc2f7f952092927dacd0d7a73c8568f10e239b8","datavalue":{"value":{"entity-type":"item","numeric-id":2760245,"id":"Q2760245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q939164$9493B0A7-23BB-483D-80CC-CB48683DFD31","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1b2087ff959221ccccda7d39921cb3ae7c43d069","datavalue":{"value":"10.1007/S00165-008-0079-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q939164$D810338A-6255-4324-8EAC-EAAD3C24256E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c86a6ee1b0cd29a9ff2d1550638fd28faaf75c30","datavalue":{"value":{"entity-type":"item","numeric-id":3525146,"id":"Q3525146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"913b496a09bc7c43fb94cca7430ad297b2da7b44","datavalue":{"value":{"amount":"+0.9509925842285156","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":"Q939164$497315DC-83AD-48FD-AC5B-98D0858607C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e8b0d6cf9e16791ac75f034ce0fec5531a5f841","datavalue":{"value":{"entity-type":"item","numeric-id":5480176,"id":"Q5480176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"750419c76279e05cd01aac68b1a238567c0a4288","datavalue":{"value":{"amount":"+0.9029083251953124","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":"Q939164$99F6E832-11B1-48E2-9E84-EE908E746B3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46be5bdbb80e71459a77b9f6a7336266a77b7799","datavalue":{"value":{"entity-type":"item","numeric-id":5464478,"id":"Q5464478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aad7f676e808ce7fb45f163c988233bfcacef2de","datavalue":{"value":{"amount":"+0.8947690725326538","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":"Q939164$AE3BAA06-D37E-4A7A-A447-6DBE44D10FCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88546406218c0ada73912c9c9f4f776bf009e166","datavalue":{"value":{"entity-type":"item","numeric-id":2912696,"id":"Q2912696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"163458df719b7cff97b296a36ebcc92d1ad2c22b","datavalue":{"value":{"amount":"+0.8354019522666931","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":"Q939164$B7655515-BEB9-43EB-AA6E-941F38CDAF82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"095fad5b99139cc8f76c5fdaacfa45778c591564","datavalue":{"value":{"entity-type":"item","numeric-id":2848363,"id":"Q2848363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4eb43fa98d6bf34a35b75af2ad6d2b7a4c4c7add","datavalue":{"value":{"amount":"+0.8306308388710022","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":"Q939164$71CEF18E-1A5B-4F19-A9C0-DBB2E450164B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A compositional Petri net translation of general \\(\\pi\\)-calculus terms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_compositional_Petri_net_translation_of_general_%5C(%5Cpi%5C)-calculus_terms"}}}}}