{"entities":{"Q3541040":{"pageid":5570944,"ns":120,"title":"Item:Q3541040","lastrevid":50507408,"modified":"2026-01-14T05:55:21Z","type":"item","id":"Q3541040","labels":{"en":{"language":"en","value":"Towards a Unified Approach to Encodability and Separation Results for Process Calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5373094"}},"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":"Q3541040$C36DC558-1A36-4B20-8ADB-B23D7FBD5C31","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"55b01a0372ca9787ee2ad57631bfa79912f51dbd","datavalue":{"value":{"text":"Towards a Unified Approach to Encodability and Separation Results for Process Calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3541040$D9C168FB-8BB3-49E1-8675-1CD3660ED7FB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"93131bd018304b4b87d83f7c95fa7a72578ad4df","datavalue":{"value":"1160.68466","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541040$C8769FC7-0C48-4D99-991D-46935220C9CD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bd538b7b093b7a6295826c7675e717ded7fed4bf","datavalue":{"value":"10.1007/978-3-540-85361-9_38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541040$7BE49646-57B1-4AAE-91E2-5C58C159BFFD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7866d619cead43dff7c5a71f909ca42227edbc38","datavalue":{"value":{"entity-type":"item","numeric-id":660995,"id":"Q660995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541040$DB02B3C4-B40C-455F-8989-D517A61D07CA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8e3cf3901c2888c8eefc79ecc0e03048ef785919","datavalue":{"value":{"entity-type":"item","numeric-id":3541007,"id":"Q3541007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541040$7962E373-4D4C-4CED-A367-B360ADECB133","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dce74537eabe7c3b243e3875395bb0b445dd7b5b","datavalue":{"value":{"time":"+2008-11-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3541040$0C559AD3-D168-4C86-BDF3-23C372A74091","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541040$9EFD014A-CB6F-4EDE-AB1E-28E7B95A4EB5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a48bbd2add14db0ce8122b336812df74be65662d","datavalue":{"value":"5373094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541040$4BD0B197-848D-45C0-9FD0-8EADC935EB29","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":"Q3541040$CB956E38-3E47-40C1-A505-75A5C0853548","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e83d0696529816744d07e30deae909f34f3e7b7c","datavalue":{"value":"https://doi.org/10.1007/978-3-540-85361-9_38","type":"string"},"datatype":"url"},"type":"statement","id":"Q3541040$0638B094-CD54-46E4-86B8-254572DA8C60","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d70f9f4ccf8c23e33edef9ffd84b79f7e746e0e9","datavalue":{"value":"W1521604752","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541040$DD2AA305-9798-489D-B797-3ABC849DE5D9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f0455f90731478c0b547c3bd58e6fe351829876","datavalue":{"value":{"entity-type":"item","numeric-id":1276246,"id":"Q1276246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541040$4CC08C13-2F18-4A65-AE81-0CE8289CE0B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c04f13e9ab5c819934bb5e3ee883e8a369b49134","datavalue":{"value":{"entity-type":"item","numeric-id":1323358,"id":"Q1323358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541040$09B1BC01-092B-434F-8D1D-ABFE187FF61F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10ac13a6543352e6e6440fee8830a7c783412af5","datavalue":{"value":{"entity-type":"item","numeric-id":5716865,"id":"Q5716865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541040$47975973-4F30-440B-90DE-BB3D258CAC64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58e6eb37fa0a4e4cceb39e43ad07dc6f40e83f03","datavalue":{"value":{"entity-type":"item","numeric-id":3189806,"id":"Q3189806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541040$9854CA7B-76FF-41A4-B055-E8423DFA13A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c4b05c7805a0293c373928db5315eeade74c57d","datavalue":{"value":{"entity-type":"item","numeric-id":2864372,"id":"Q2864372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541040$118643DB-AE28-4F32-B753-F7CFE17755A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef5e841ce88c3802903cdf7bce215c6d3717f780","datavalue":{"value":{"entity-type":"item","numeric-id":2465029,"id":"Q2465029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541040$C831C8D6-0E30-4175-9296-15592D58FFC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6acbfdd3333d6adb3e2aeb9151b25bf5ca49280d","datavalue":{"value":{"entity-type":"item","numeric-id":4457838,"id":"Q4457838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541040$0CC97153-6158-45AC-9348-5CDE64CDF2BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c11e72f259836914e930ee9cff15f27aaf30409d","datavalue":{"value":{"entity-type":"item","numeric-id":2497144,"id":"Q2497144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541040$36737A32-2653-4960-BAFC-2D80A351CF55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70c789506413b059d9380f6038adfe568ac77dfd","datavalue":{"value":{"entity-type":"item","numeric-id":1575154,"id":"Q1575154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541040$56D9348E-D6B5-4100-A695-6D36C23176E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"727c562227ac60c0ef0775e0a8ba7364cff92b5f","datavalue":{"value":{"entity-type":"item","numeric-id":1314270,"id":"Q1314270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541040$71A37EDF-FBC2-43D3-855F-934F64BADDB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a88e06b186a83bc1abbde69c4cd83326d414709","datavalue":{"value":{"entity-type":"item","numeric-id":1348526,"id":"Q1348526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541040$F86D0FB9-ACA2-4B1D-96E5-286A7EF969C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85796c7b68c4363fef75674f72078e7403434a0d","datavalue":{"value":{"entity-type":"item","numeric-id":2805161,"id":"Q2805161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541040$D88CB625-5A85-4D8F-8D69-AFBCAAF660B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc3e2f600083ceae7ec8222e0e271706c9a87ee4","datavalue":{"value":{"entity-type":"item","numeric-id":5899079,"id":"Q5899079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541040$0EACD735-A8E3-4FDF-B85D-84A1BE2C0108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5198706f4d33fdc7f640d88782f56e6e52281c92","datavalue":{"value":{"entity-type":"item","numeric-id":2866346,"id":"Q2866346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541040$85734BA9-C89F-409C-B63E-8A0F80F6AD91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"729018538e0f03883a476d0a1226cfb83c86206d","datavalue":{"value":{"entity-type":"item","numeric-id":2864374,"id":"Q2864374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541040$6478FC6D-690D-4B06-A813-141F05A832E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4127da81685d09d0b6a73afcf8a6432964303df8","datavalue":{"value":{"entity-type":"item","numeric-id":1854507,"id":"Q1854507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541040$6B32285E-1FC1-4126-8A6E-95401B3AD75E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c68b05a47ff9daa78afd5f800d3bae6617e3ff3","datavalue":{"value":{"entity-type":"item","numeric-id":1350347,"id":"Q1350347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541040$83EE3A92-C48A-404A-89B2-53DAC31ACC40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23b44047206e8dfc89e67134cb2ab6a869167208","datavalue":{"value":{"entity-type":"item","numeric-id":2491209,"id":"Q2491209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541040$2075BD0F-871C-4DB4-8D58-DAF03F28F3CC","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":"Q3541040$A8B727D0-81B1-4694-8F3A-41FD06284871","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":"Q3541040$5E0B44C9-0864-462A-B830-9A06EE7B367B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d017fc456fa722f7c0dc16a7917d9f23aeda4b4","datavalue":{"value":{"entity-type":"item","numeric-id":5204357,"id":"Q5204357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541040$DEF672FE-DF61-48A4-ADB3-56C3EFE07B6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62d6e255e88469c5037fa025bdbe62107d9bfa5b","datavalue":{"value":{"entity-type":"item","numeric-id":1854329,"id":"Q1854329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541040$178D5C7F-89B2-4D1C-81F1-D3ED88676554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"312c9c87417822424109e74ecc6626035ca5acb8","datavalue":{"value":{"entity-type":"item","numeric-id":5756619,"id":"Q5756619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541040$2BF67E41-8574-4A32-B71C-336BA7901E52","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":"Q3541040$0BB34155-831D-429D-86DA-A097D9547883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7144675b54583a124c3dc7dcb936306ecc846d3","datavalue":{"value":{"entity-type":"item","numeric-id":2870198,"id":"Q2870198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541040$ED9B04BD-50B1-4312-BAA5-230618162761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f63aa83914847492da5f6030516f6f08e85c8f6d","datavalue":{"value":{"entity-type":"item","numeric-id":5308465,"id":"Q5308465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541040$F3271A61-1320-4530-8DF9-634661C6ACF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b0f33c15b8e195eb18e16381bc2376ff5ba209c","datavalue":{"value":{"entity-type":"item","numeric-id":2491642,"id":"Q2491642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541040$8351D805-60EF-48E2-BD78-259D95D0C977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"347c0abf9fd71c2b2aab41a4b47d47a3aad9cce9","datavalue":{"value":{"entity-type":"item","numeric-id":5758049,"id":"Q5758049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541040$7FE7D564-A69D-4B5F-8684-3FAA9DEE78D6","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":"Q3541040$68853978-A75E-4C50-80D4-67F8551AF2AF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"933b1dfc6f44c4e19db73d4ecfd87130e0109a96","datavalue":{"value":{"entity-type":"item","numeric-id":1959439,"id":"Q1959439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa9e7c719a40efedfd15250bddf14aba747e70ed","datavalue":{"value":{"amount":"+0.9913901686668396","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":"Q3541040$0AB99D49-8C09-477A-974D-917B90BC3386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d11fe76ca7a3004f33dc0ae83324e19afd6428e4","datavalue":{"value":{"entity-type":"item","numeric-id":5013871,"id":"Q5013871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"783ab4005217a0758a6926387130f6ae01ff642f","datavalue":{"value":{"amount":"+0.8362367749214172","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":"Q3541040$8E04DE5A-39BC-47A0-833A-47FF0C787A3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50aee70089f2042d6429c7b844aca30e8df0c620","datavalue":{"value":{"entity-type":"item","numeric-id":4963996,"id":"Q4963996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e53f5991bca6039b9bb8a917744bf9e982dcbfff","datavalue":{"value":{"amount":"+0.7858735918998718","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":"Q3541040$A5093C68-4C2B-4286-BA8D-213FFD71A9D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"949c2c865bff43934830ade1ba56b44ec412f9d8","datavalue":{"value":{"entity-type":"item","numeric-id":2210864,"id":"Q2210864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36d401c92cdd1e6c8827cf902e45ce245eb83ea9","datavalue":{"value":{"amount":"+0.7713337540626526","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":"Q3541040$0873F494-6373-4012-BED2-CF1E554761BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b427b8f6570aa58ad392dc9e655eee39edb0a374","datavalue":{"value":{"entity-type":"item","numeric-id":1641151,"id":"Q1641151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"810df6321ac8b29f46fea2e20547c7f585753719","datavalue":{"value":{"amount":"+0.7603726983070374","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":"Q3541040$7178520F-8F3D-4F41-90EB-2AB1A4FD8CBD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3541040","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3541040"}}}}}