{"entities":{"Q621583":{"pageid":623359,"ns":120,"title":"Item:Q621583","lastrevid":63124779,"modified":"2026-04-11T10:44:45Z","type":"item","id":"Q621583","labels":{"en":{"language":"en","value":"A pure labeled transition semantics for the applied pi calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5842580"}},"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":"Q621583$4051F1BF-21AB-4BDF-B4D0-3CBB8ECA644C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a1c2abaa6b78eca344d92b83722fda1093f5f552","datavalue":{"value":{"text":"A pure labeled transition semantics for the applied pi calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q621583$E8DD38F6-2B8F-4B9C-AC44-385D28DCA752","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"43915eeb0eaa0ce16bf4062cf22202968c1d4b32","datavalue":{"value":"1207.68221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q621583$2EF7702B-C26C-4841-BC88-307761E00990","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"af74bd0d476ef3105469f50f0b324dc591a89229","datavalue":{"value":{"entity-type":"item","numeric-id":621582,"id":"Q621582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q621583$ED2BE853-4315-4B8C-BA22-AAB395B4F11F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c144f0fb88440afe4b13555aedcc8676a016b6d2","datavalue":{"value":{"entity-type":"item","numeric-id":70466,"id":"Q70466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q621583$A29BD03A-6409-453C-B384-9794656FD4AC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"06195afcf914ef9e79b11bcc5c6c722311540879","datavalue":{"value":{"time":"+2011-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q621583$0852FA41-7D07-47A7-AE43-8556D9ABA285","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q621583$C4B3AFBB-85A4-4D30-AC3A-0933D8E84568","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ab66ee26f4cda0c4f923dc2476f7b286fa536177","datavalue":{"value":"5842580","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q621583$71B9C6C0-007C-4BA7-B7FF-0483A288B31B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c0c081abc8eda38858901e1fd627902a9a4a0e0","datavalue":{"value":"labeled transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q621583$2676B36E-0AFA-47F6-84D6-780E010B64FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q621583$659A36A5-9691-47F5-ACAF-47FC86599EF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b99aec85ad335d7beb55770ec6674fa8b87d9c83","datavalue":{"value":"applied pi calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q621583$CC5FF08F-0F1D-4AD7-892B-1A16632C4528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be8d3edd09944f75249407bd940adbd5a84e4713","datavalue":{"value":"zero-knowledge proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q621583$CCD2DB22-4BA3-4C05-8934-CE6E189D4E48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7e64df0daff21cdaf9a34d390b397df9fc674b0","datavalue":{"value":"anonymity","type":"string"},"datatype":"string"},"type":"statement","id":"Q621583$4877464D-9234-4564-A3C7-E1CE5939A1EC","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":"Q621583$A13A54A8-F218-4C16-9FC1-5E6B52ECF35A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6f1dc7c120cc1b4a23098cb8bacc5931f7e76dff","datavalue":{"value":"https://doi.org/10.1016/j.ins.2010.07.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q621583$9FF10F44-A5DF-4971-882D-BF50010A116A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f2d7b20df0164ca9231b7c85ee4472da14b60ccc","datavalue":{"value":"W2138602467","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q621583$0618C434-90B2-4DD0-85DE-BAA048EC6B93","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"59751135ba1636fed6ef473f7c76aa8795602d0f","datavalue":{"value":{"entity-type":"item","numeric-id":5308708,"id":"Q5308708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q621583$4094AC9B-74CB-4DF6-9024-47F66AD1C6D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"737414dce6c255e1c801bd9ffb1616ecb5d1d9fa","datavalue":{"value":{"entity-type":"item","numeric-id":860894,"id":"Q860894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q621583$BA17E4B3-AE5C-44A2-995C-C26B7ED167C1","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":"Q621583$79B662ED-AF0D-4E66-9F3B-E376F8BE5958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d60ab50b8d1d4756f8ebae8cf9fd6ef9acae13a1","datavalue":{"value":{"entity-type":"item","numeric-id":1283776,"id":"Q1283776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q621583$D169C867-48DC-4DC8-86F7-6DEA4E63B8F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d38f7db503657d991df255a6f2cfd8e438a30f5","datavalue":{"value":{"entity-type":"item","numeric-id":3999164,"id":"Q3999164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q621583$03EC339C-D34C-4545-8A14-7A659BC91311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0223e77bbb63d3c4a170868420904ca6d59df30","datavalue":{"value":{"entity-type":"item","numeric-id":3731022,"id":"Q3731022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q621583$9F3331F4-C822-4CA6-BEBF-92FEEC3FCE54","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":"Q621583$49EF1073-7F09-4EC5-B5AB-3B92358FE358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9504f753cb09f25cd99128528e568cfb0afdaced","datavalue":{"value":{"entity-type":"item","numeric-id":2466071,"id":"Q2466071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q621583$BB221A4C-351A-4538-85EE-664817AA488B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68958598f5d94cf94a562631183ec3f65890146e","datavalue":{"value":{"entity-type":"item","numeric-id":1276168,"id":"Q1276168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q621583$F3DC795F-DCEC-428C-AE4A-0783B0E4A434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69c429d45f42d61cc966772aadd753004bd4e6b4","datavalue":{"value":{"entity-type":"item","numeric-id":4418586,"id":"Q4418586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q621583$24E71082-51E1-418E-9BED-A083C6760925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ad2b69b673372da9a4630e03aecd124942a7f30","datavalue":{"value":{"entity-type":"item","numeric-id":1960530,"id":"Q1960530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q621583$A20CD81F-D7B8-452A-A684-2DFDF16D62DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a11bb289bdf76a19b3fff348e9587f436df289ad","datavalue":{"value":{"entity-type":"item","numeric-id":1398380,"id":"Q1398380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q621583$D018D89B-AE30-4203-8FC1-40D94FD9CF5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c56510bf50a3b25e83ab2793756e7ea4f7058ca","datavalue":{"value":{"entity-type":"item","numeric-id":877172,"id":"Q877172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q621583$99971CD6-34CA-4E84-8DE5-66FBC578EADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4f99502c40ae215d703ebc8b47da560e094c7aa","datavalue":{"value":{"entity-type":"item","numeric-id":4328696,"id":"Q4328696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q621583$0427C260-BB39-4B75-8F79-11CAE9C3A052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb4c62e6619c90e64a6184568783067da56015e6","datavalue":{"value":{"entity-type":"item","numeric-id":4302852,"id":"Q4302852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q621583$DC606C4A-BF93-46F3-A35C-DFB1E71F3ACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b4feb58a2ab8f89621eb4513d36fed4a40d625b","datavalue":{"value":{"entity-type":"item","numeric-id":4365519,"id":"Q4365519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q621583$4D3ECFBF-9062-4678-9B46-CA950B022CC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e315498576bed199cfb2d6d5f1addc3f3ae3a857","datavalue":{"value":{"entity-type":"item","numeric-id":3498438,"id":"Q3498438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q621583$EAF5F942-3F67-400D-8B82-12E3E88DA0C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004642c985382b5c70e78b542aebcb6240614609","datavalue":{"value":{"entity-type":"item","numeric-id":4162644,"id":"Q4162644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q621583$8F0BB77F-7F4F-457C-AA75-165D72EC8753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f619adea6db0ab75b9bc69654a89af3583c163f","datavalue":{"value":{"entity-type":"item","numeric-id":5316564,"id":"Q5316564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q621583$9B8E0E37-CDC7-4F6C-9B89-E0703EC268DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"713440254a0db79def9e82ffd71226caf5668948","datavalue":{"value":{"entity-type":"item","numeric-id":1230656,"id":"Q1230656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q621583$26A8B948-67B8-443A-AA73-19FF8B5C7782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bd5f93e880f26a351dd01f246d08f28f874f70c","datavalue":{"value":{"entity-type":"item","numeric-id":5178899,"id":"Q5178899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q621583$8E18AB99-04D1-4075-8B5D-2CBA000FDA3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44d27dea8a5b32fb27f65cc37b9c19fbd34d8825","datavalue":{"value":{"entity-type":"item","numeric-id":3455211,"id":"Q3455211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q621583$561C77F8-8FEA-41BC-82C1-A51E1773AEDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d435c0f67ddf85d33870a390e8862774ba1ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":4248252,"id":"Q4248252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q621583$3DA8C782-5263-4A9E-9DCB-FE15B9C3B60D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3a45c07fb8505165f4421e7998188af4ed52f384","datavalue":{"value":"10.1016/J.INS.2010.07.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q621583$FECBD0DF-530E-49A5-B687-0C21AEB06F5B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea9331fd0e24eab0d477d6c945f6d6461b5dcc55","datavalue":{"value":{"entity-type":"item","numeric-id":3177888,"id":"Q3177888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36d83fb356e8d4529f8671c9a66afb121ff092ab","datavalue":{"value":{"amount":"+0.8337148427963257","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":"Q621583$70AA6307-099F-4871-BE51-8544F411E840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51424281b9812533847d9811813d74c32707a82b","datavalue":{"value":{"entity-type":"item","numeric-id":5458829,"id":"Q5458829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5aebe739a66d0e1bcaa750e1766b8ca65c0b070c","datavalue":{"value":{"amount":"+0.8307721614837646","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":"Q621583$A671506C-E870-4723-90FD-261A02543144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9afa19123adb7753f7a62decd2c706348298123","datavalue":{"value":{"entity-type":"item","numeric-id":2397042,"id":"Q2397042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf19104711e053937e23638cb92c5fdcadddcfce","datavalue":{"value":{"amount":"+0.7971598505973816","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":"Q621583$7160143A-6C06-494C-83E9-58A86AF193EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bd30ad9a5ffc2ad59fd79b063edff57c1898c78","datavalue":{"value":{"entity-type":"item","numeric-id":3498438,"id":"Q3498438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c3f713e5624d5fc044fd3835ec55d5e68a6f398","datavalue":{"value":{"amount":"+0.7928227186203003","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":"Q621583$C57CF322-C544-4216-BC19-41C2863F4A7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d6901f415b773a96e611d02eb0fc7a059b52996","datavalue":{"value":{"entity-type":"item","numeric-id":3163886,"id":"Q3163886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d712db8ff52ce0e16d35c89c2487f8e648ca6755","datavalue":{"value":{"amount":"+0.7868185639381409","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":"Q621583$1C5ABBA5-462C-4E0B-8B23-7FA176B33D6B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A pure labeled transition semantics for the applied pi calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_pure_labeled_transition_semantics_for_the_applied_pi_calculus"}}}}}