{"entities":{"Q5941195":{"pageid":8117997,"ns":120,"title":"Item:Q5941195","lastrevid":93438656,"modified":"2026-06-05T04:24:01Z","type":"item","id":"Q5941195","labels":{"en":{"language":"en","value":"Structural inclusion in the pi-calculus with replication"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1635360"}},"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":"Q5941195$DE3068FD-3E24-4736-8FBC-EB7B2931F54F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"21c87ac8d5889ec22398173e3b8ffcdc6a5ba4c3","datavalue":{"value":{"text":"Structural inclusion in the pi-calculus with replication","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5941195$3EF93958-55A2-471E-B706-7C7748CB8C91","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1504050e8fa5fc982ce3707001d62aba46e5cca0","datavalue":{"value":"0974.68133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941195$CE136870-E02D-43E4-956D-879EE870F97C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8add6facf50771268b8c6776252030ab2740c98a","datavalue":{"value":"10.1016/S0304-3975(99)00330-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941195$3867E0B3-1FA8-4C30-9FB0-CCDC18A30972","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fdaa763056574d670db49d3b9b4fb6f07d823420","datavalue":{"value":{"entity-type":"item","numeric-id":255286,"id":"Q255286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941195$BBCE2F64-136A-4E76-AA86-7CA26277F5DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e09663a72c9881b819717b6bfb66ec9165afc5b","datavalue":{"value":{"entity-type":"item","numeric-id":845876,"id":"Q845876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941195$CBD1A425-78E5-4AB4-8921-AE3EAD2E0C54","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":"Q5941195$6EEC4169-5ABF-4F49-A777-2C25AEADE9E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d780905acb67c2b1b938af03e08b68df411214b","datavalue":{"value":{"time":"+2001-08-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5941195$11CF2E56-CE96-4360-8BE1-D24B9F1E57A4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c1e86ed6963cb3361a4152ac262486cea88d4ea7","datavalue":{"value":"Three notions of structural inclusion between process terms of the \\(\\pi\\)-calculus are considered, and proven to be decidable and to have axiomatizations that are sound and complete in the multiset semantics \\(M\\pi\\) of the \\(\\pi\\)-calculus. All three are strong simulation relations.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941195$EE95D967-3319-42E0-AA44-59447D66594B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941195$9E2CDBD3-DFF5-4304-9E0D-1E5C975AB1EC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1daa2b14c56ec3532f344a07aaf028e5d6382b0a","datavalue":{"value":"1635360","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941195$E506B45C-78CB-44FD-B9F9-D47BB737CBD0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db6d957d91ef03efb279b574e0523c3609dd7cde","datavalue":{"value":"calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941195$98EEB279-4E59-4805-8CE1-74D099864CE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"240fa648e5681dfd2d71aa9bad33005562607c7d","datavalue":{"value":"Structural congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941195$87551069-6773-4F97-81B3-F982152EA182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941195$67A44760-D17B-45C6-AE16-9AD93C75E5B9","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":"Q5941195$18A99DB5-5B96-4058-943B-798BD7C44275","rank":"normal"}],"P223":[{"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":"Q5941195$A3F91F73-C61B-4E1B-A9AB-529B800D8E03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1db856f3c587b0e7ab3934310663160e32d1162b","datavalue":{"value":{"entity-type":"item","numeric-id":1284703,"id":"Q1284703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941195$EBFCBA11-F99E-418D-A9FA-6A64B4EC95EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d1d1f09b79b3df33d18da85a1ba2aba4775cb7","datavalue":{"value":{"entity-type":"item","numeric-id":1274455,"id":"Q1274455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941195$EFE98F7B-9423-4A1C-A300-F7FFC193E1DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ead2548cafa915e52db69fc55088e5fc0a6b75b","datavalue":{"value":{"entity-type":"item","numeric-id":3854604,"id":"Q3854604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941195$362ECC4F-EF4E-4027-B239-C4435387F6E8","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":"Q5941195$034B92DF-0EF6-4782-84EF-563EDBE0D905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3863b259e80d122120a6fe64081f55106cd9f54f","datavalue":{"value":{"entity-type":"item","numeric-id":4017458,"id":"Q4017458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941195$0938DF94-D100-4521-AB6C-D459F62A7843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc557107289be9a4c0444ad03ef91bd85cca4e21","datavalue":{"value":{"entity-type":"item","numeric-id":4178474,"id":"Q4178474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941195$691D330D-A8B4-41C0-A70B-0A61B26B8E39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75734f1eb76fa3951a16a34a4963235e3f72784","datavalue":{"value":{"entity-type":"item","numeric-id":1198549,"id":"Q1198549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941195$E696A92B-9FE4-4013-A226-4B671D719323","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3a670be9c04a2637fd9d3228065fa4ed90e09310","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(99)00330-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q5941195$EFCDAE49-70E2-4279-A6EC-1DA7D46EAC0F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"91365ead5418ce83f0edd9d2ef8afd9dd6aa94d9","datavalue":{"value":"W2030256409","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941195$A7F3AC2F-A73E-46E5-B479-CB0E1362C9A4","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"3776d4baf9af07735562cc8492e7af623e94cebd","datavalue":{"value":"Q127705944","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941195$92DF6BB0-A9DC-4B88-921A-5E2B2F06C26B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ab4c7a2eed215647169e602dfb712f7556ead93","datavalue":{"value":{"entity-type":"item","numeric-id":1889854,"id":"Q1889854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d660ef8dcb6559eb40edb18eb2356348fb1d52fc","datavalue":{"value":{"amount":"+0.9295926","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5941195$CBC59544-B92F-4C15-8454-F806E94E29E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"276cee3fc561e8bbb5be10a2b6a102734bd78cc0","datavalue":{"value":{"entity-type":"item","numeric-id":672867,"id":"Q672867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51f925def43433483042c5c947e959a248337033","datavalue":{"value":{"amount":"+0.9055978","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5941195$9455A19C-86D5-45C9-9DE9-E87AFD818A53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c437e95c03c98b2af182017444d6505fd0be273","datavalue":{"value":{"entity-type":"item","numeric-id":1274455,"id":"Q1274455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2585069390e3d11e4c958d503cdc3150d1d47ca","datavalue":{"value":{"amount":"+0.9025643","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5941195$713661DB-068F-4D95-B662-612DD07E0B02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"454dab6aea3690faae659052d842e8ed10fe3ec5","datavalue":{"value":{"entity-type":"item","numeric-id":5240137,"id":"Q5240137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8e616619007ca5c4b9fdfe8d51ae0c4b7e77618","datavalue":{"value":{"amount":"+0.8997594","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5941195$42F3AE46-CEEA-48C8-A00D-24A414101481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aac78d05937bf3807a8aee553455b9b8ad121f36","datavalue":{"value":{"entity-type":"item","numeric-id":5271076,"id":"Q5271076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f0a997544aa9eaf5eca91dc152655315923bd22","datavalue":{"value":{"amount":"+0.85286236","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5941195$12BF0974-DD98-4A27-ADC0-50B86D454BFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4f2e43ee84301592edcc82ef77c9d72401c2ec6","datavalue":{"value":{"entity-type":"item","numeric-id":5901480,"id":"Q5901480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71af802e010dad7ec186d4e0ef0c9deaafabab57","datavalue":{"value":{"amount":"+0.852239","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5941195$CA830A9C-089E-4513-9B87-FB924D686D19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5fe5bf781b7a5532318ca6c517c6ee0688e2e16","datavalue":{"value":{"entity-type":"item","numeric-id":5900438,"id":"Q5900438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eef98f3dbd14d2cb1b1d98606a32aed663fd263a","datavalue":{"value":{"amount":"+0.85223895","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5941195$6AD7655B-EDA5-4D3A-89F4-780FB9E54F8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b483b390ef3e27a8dfd8c7d4eb84e6d1ae3a574","datavalue":{"value":{"entity-type":"item","numeric-id":4842539,"id":"Q4842539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef047390643c1a0ec23d68847b706b25e581d967","datavalue":{"value":{"amount":"+0.8488711","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5941195$4AF0CA58-CFA8-4670-8674-89268D2493A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"877e985b3380fe71465aa52cef28be711fc2e9a2","datavalue":{"value":{"entity-type":"item","numeric-id":4365103,"id":"Q4365103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"696f8e6b0e766e42fcb8c76c44ad20f88407e91c","datavalue":{"value":{"amount":"+0.8474438","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5941195$A63B7FB0-9890-4E45-BC20-4D88F50ECAF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b3505aa38e22a2d48add12d7125dd3c975679b7","datavalue":{"value":{"entity-type":"item","numeric-id":5089301,"id":"Q5089301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95d157c0c53b5655455aafd5ace51433f1e17285","datavalue":{"value":{"amount":"+0.8461089","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5941195$B4373B8E-314E-4DE4-B386-87E278595C73","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Structural inclusion in the pi-calculus with replication","badges":[]}}}}}