{"entities":{"Q541685":{"pageid":543452,"ns":120,"title":"Item:Q541685","lastrevid":62671227,"modified":"2026-04-11T07:40:15Z","type":"item","id":"Q541685","labels":{"en":{"language":"en","value":"Dynamic consistency in process algebra: from paradigm to ACP"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5905034"}},"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":"Q541685$A799C3E5-4F64-4B53-85BC-12D5739FCBFB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7d791960dbf5ad6e663ba40a4b4a31f335f240b5","datavalue":{"value":{"text":"Dynamic consistency in process algebra: from paradigm to ACP","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q541685$215DE414-98A1-4F8D-BF03-CD816964E3A8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"41f6bc636107e7dab9e94948aa853e0aa122c8e9","datavalue":{"value":"1213.68398","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q541685$48676BCF-801A-4796-84AD-28434190E1F4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c99fcc9e8256057e6979288f85ba00fee5867a04","datavalue":{"value":{"entity-type":"item","numeric-id":541683,"id":"Q541683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541685$F675D592-7866-4CA3-89D7-E8CF9EBEDD81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"24a50c23c3978492e58521f1c41f776352eabb0d","datavalue":{"value":{"entity-type":"item","numeric-id":541684,"id":"Q541684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541685$9CA639B3-C54E-4653-9B73-2E38858DF6A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d16005753db8d274fdeef9a295ce92917824fddd","datavalue":{"value":{"entity-type":"item","numeric-id":764286,"id":"Q764286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541685$5E13C317-685D-4A5E-A597-EF6956ACF33A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541685$D7A51B56-A1F7-4BC4-BDEB-C507CAD2E2C2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c59c7414a462dce542bc3468dbc06343ce0474cb","datavalue":{"value":{"time":"+2011-06-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q541685$07CD9750-ED2A-4387-95CB-01F37F4C0527","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q541685$5134D267-61F7-44C1-8D9E-CAF5C149C3B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q541685$BF13F73F-E7C6-4BFD-A0AB-D28FB97FCED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q541685$7D8BAC7D-1ADB-457D-9EAE-F8594EF9BEF7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af397ed915af4964653d2df0238a9c00104bbd73","datavalue":{"value":"5905034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q541685$967342E1-E8DE-45E9-8D8F-5991C300738F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bdcb6c6a7e0b4c9bdfdd4689583b799e2a826f4","datavalue":{"value":"branching bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q541685$0D3C8E64-C7AD-4B73-A7D1-E5D8B0EF2AC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2cb2c5871cd8e2286a8eea287a2278c26572276a","datavalue":{"value":"collaboration","type":"string"},"datatype":"string"},"type":"statement","id":"Q541685$9923AFDD-6B89-4449-A862-92C3F5DB6ED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc767c08736a6d8482d71e5bc8194b241c4acf0c","datavalue":{"value":"dynamic consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q541685$FB422AAB-1D0F-48F2-8B82-043FA7769494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df32c372c43ed27569b45e5069d6e19051fc9919","datavalue":{"value":"dynamic constraint","type":"string"},"datatype":"string"},"type":"statement","id":"Q541685$5996F87B-3F4C-44F7-B43B-3C0C6ED64CA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bfd8adc471f1156be45d0995d72a77d853c75c5","datavalue":{"value":"paradigm","type":"string"},"datatype":"string"},"type":"statement","id":"Q541685$7119B3FC-20EE-441F-A1EF-C7395E8E757D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q541685$32CA52CC-F9CE-4E25-A9EE-965F870A52BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q541685$B17F318E-70CF-47F1-B89A-47D393BE7039","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"849598e0a631c1a3d7eefee043e5f738d9238bac","datavalue":{"value":"Q114850291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q541685$CB089FCC-392F-4847-862E-BBFB4FE55862","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"abde918e525ebd74af14326f8ceb67bfaf5c3838","datavalue":{"value":{"entity-type":"item","numeric-id":14230,"id":"Q14230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541685$F3320FD2-B682-4253-9169-1774DB1E0CC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5a8414726934ad74fc66bfb4dfdb61eea21cec47","datavalue":{"value":{"entity-type":"item","numeric-id":18479,"id":"Q18479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541685$D4D4C6C0-E980-475D-9202-31B4B3A2D45F","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":"Q541685$027086BD-42D2-4CA6-852E-AD3E7E0AA613","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6ec740ab8e857319578563edae751c2032627eb1","datavalue":{"value":"https://doi.org/10.1016/j.scico.2010.04.011","type":"string"},"datatype":"url"},"type":"statement","id":"Q541685$6B66C27B-1D2D-4C36-8F8F-36CC7EF2E6C0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"47a3510254d69938bd99812dd9c77c25ff2b470b","datavalue":{"value":"W2115704352","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q541685$8138BA64-740D-4259-96CB-30E0B6592964","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7a7dfe664c83e415461d08d81afc0a4f4f6efb5","datavalue":{"value":{"entity-type":"item","numeric-id":2989000,"id":"Q2989000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541685$F53F69BF-DF4A-48A9-8381-A3BFE30731DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a5ddc6c0766496c445e307e5e9c51907b2d428a","datavalue":{"value":{"entity-type":"item","numeric-id":4819114,"id":"Q4819114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541685$F667CDD7-2DF0-4168-A1CF-D42CC485C09B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aebf22b5e0b208fa4dfcfcf742bcaa1a2f4f64d3","datavalue":{"value":{"entity-type":"item","numeric-id":3404131,"id":"Q3404131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541685$B966F878-322C-4ED9-901B-82320ACB87F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be5ec2a5764ba96462a08e4206585f5a8706c508","datavalue":{"value":{"entity-type":"item","numeric-id":2746874,"id":"Q2746874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541685$CF038219-2239-47B7-A9E2-AEBAA16ED8DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b06b2fdac97c9732711ef16445649809b33affcb","datavalue":{"value":{"entity-type":"item","numeric-id":2725941,"id":"Q2725941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541685$96C8226A-42E8-4C3E-9962-C77D8D0CF0E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6635542395ceab89ec0442ca8322133bfddc11d","datavalue":{"value":{"entity-type":"item","numeric-id":4369871,"id":"Q4369871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541685$4374C4FC-6431-418C-AFE7-0853EEA886AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a513c45897b31ffec63e5469a25464b2be8ac4b7","datavalue":{"value":{"entity-type":"item","numeric-id":4941495,"id":"Q4941495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541685$98187D77-918F-4028-AEF7-FA4A445760C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bde89a2565987f3fce774ef2cf6b25f306124df","datavalue":{"value":{"entity-type":"item","numeric-id":2760238,"id":"Q2760238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541685$A47FC0FB-F401-4746-8DF2-0A74B34B5007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fad139b4b4c762cc4e72243fb685fb474ed5bf97","datavalue":{"value":{"entity-type":"item","numeric-id":4371679,"id":"Q4371679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541685$8D0A40A6-FB34-41E0-9894-6CA4D89A924A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9700a148a1e579c039532325aa46959a492ddbc6","datavalue":{"value":{"entity-type":"item","numeric-id":4738189,"id":"Q4738189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541685$7D6D8CA0-AFA9-4A0B-80EC-2CF082CFBC4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff8afc731e5d6441c56e3bb93a4e64b3b4be6b74","datavalue":{"value":{"entity-type":"item","numeric-id":3614665,"id":"Q3614665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541685$ADC865F0-5CEB-4FE2-B1C4-EBBF8B6E3371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f23409092776b502b163449a38cb0814b6d9453","datavalue":{"value":{"entity-type":"item","numeric-id":2760254,"id":"Q2760254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541685$77933863-7F31-4883-9971-8247AEA890E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e615632ea08fe7f0a323e35cb632d59ded1f542","datavalue":{"value":{"entity-type":"item","numeric-id":4385545,"id":"Q4385545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541685$C0961145-4263-42BF-9B68-5A27E33C174B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13fee756ef646717e29e0b50bc72f467aa7f7362","datavalue":{"value":{"entity-type":"item","numeric-id":2481209,"id":"Q2481209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541685$FB634388-84A3-451D-B1E3-1302079D3838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c506dcd1dbf98f0bb1d5f7478939caf3f8727942","datavalue":{"value":{"entity-type":"item","numeric-id":3219122,"id":"Q3219122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q541685$534804DE-CB4B-46AC-B2A0-7DF3DE895BD5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"46d9d31a4f89664fec02ee3f075486b0245d489b","datavalue":{"value":"10.1016/J.SCICO.2010.04.011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q541685$072A257D-90DA-43BA-AE31-7580929E2F33","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28900d2e2692e2aac4ee994e4991cb07fab6ee25","datavalue":{"value":{"entity-type":"item","numeric-id":5179202,"id":"Q5179202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58115382da7a867213025ae1f1e7236fd3a386c8","datavalue":{"value":{"amount":"+0.9766821265220642","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":"Q541685$914F3D80-D37D-417D-A23D-FBDF9265D6EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1134b9a1099cbc6a910c0be5cac20025382d6485","datavalue":{"value":{"entity-type":"item","numeric-id":2026799,"id":"Q2026799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95f177362d0a862ebcd9eb91af9e0aa5b58578da","datavalue":{"value":{"amount":"+0.8000016808509827","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":"Q541685$4CA8F776-1602-417F-A5A8-6A82407EF790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c3bd799b79429f597a580bb6431a34f45031941","datavalue":{"value":{"entity-type":"item","numeric-id":4738189,"id":"Q4738189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d51e3b23ea12ac93ecff82af64ee0a72e184856","datavalue":{"value":{"amount":"+0.781535267829895","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":"Q541685$6DA0DDA8-66D8-4647-B275-6002F5270F0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35e89604e335d808884b33a36a68c742125aecfd","datavalue":{"value":{"entity-type":"item","numeric-id":2989000,"id":"Q2989000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1ae157fdc3d5840a267bed1ad4cea5f65216a3c","datavalue":{"value":{"amount":"+0.7139896750450134","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":"Q541685$CF2CAF4C-7467-40DC-A463-63B1966A85F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98cf682c705643249909993ee1f7fa44d33f6fc9","datavalue":{"value":{"entity-type":"item","numeric-id":2474048,"id":"Q2474048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51e1977f63c45728d247403b44574b7a259cda31","datavalue":{"value":{"amount":"+0.7126150727272034","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":"Q541685$BB2B1541-2B29-4866-8B11-78BACD6250BB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Dynamic consistency in process algebra: from paradigm to ACP","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Dynamic_consistency_in_process_algebra:_from_paradigm_to_ACP"}}}}}