{"entities":{"Q5262965":{"pageid":7292541,"ns":120,"title":"Item:Q5262965","lastrevid":52303871,"modified":"2026-01-21T09:46:24Z","type":"item","id":"Q5262965","labels":{"en":{"language":"en","value":"From \\(\\mu\\)CRL to mCRL2: motivation and outline"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6457590"}},"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":"Q5262965$44996835-1A43-4CD6-B0EC-A82E2D7126B3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1e423dbda4f1149ad35480cbe6259b71fef74b71","datavalue":{"value":{"text":"From \u03bcCRL to mCRL2","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5262965$1B5F9923-829D-4095-BF4E-265ED24DEFF9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aad66a6e4d4c509daedbc557b40f4423f5444869","datavalue":{"value":"1316.68094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262965$C9CADFB6-F7DF-4F99-A6D7-5DE83DE433D1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4d54284fa63e7ffb6f80344c0baa18d8a9790f7","datavalue":{"value":{"entity-type":"item","numeric-id":169680,"id":"Q169680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262965$D1D54FB5-704E-4720-BC69-5187706EA5B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eec975b458b6d3d436b4bd0ed89003e846a8651d","datavalue":{"value":{"entity-type":"item","numeric-id":939159,"id":"Q939159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262965$B351A7E8-31AA-4B4E-A9AE-F00E61214DAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b73ea77b55f66caebdb675084a7121d3c23f6cdd","datavalue":{"value":{"entity-type":"item","numeric-id":1014570,"id":"Q1014570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262965$EBB99AF2-7591-42CA-AA84-E55FFD3ADCF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8895b11f6cd82fecf74f7b4ae0d102c0bb8034d3","datavalue":{"value":{"entity-type":"item","numeric-id":1347989,"id":"Q1347989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262965$403F833F-E3CF-4308-812B-8DD044BEF2B2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262965$B879C013-8BD4-49F2-ADA5-C0FBE08CD741","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9969939bb103ca6857dea96cf377517e2479ab0a","datavalue":{"value":{"time":"+2015-07-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5262965$B8C776F6-9DE8-43CE-925B-B73F3118E9F2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262965$DD515805-DD86-46F6-9144-0C34F1E7D0DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262965$FF44AFB4-4469-40A7-AF40-8C1F8A084149","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"155d883c69b15cfb91793ca8fa9bc17a28c58d07","datavalue":{"value":"6457590","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262965$685FB54B-91AD-49B4-802B-D3D3BCE1CB25","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b7683cca0afed0ce1328475af485ea86dd82c8","datavalue":{"value":"mCRL2","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262965$0F4384DE-0917-45D3-9299-8224A393F493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262965$A71CD05F-5418-4DE0-9136-79A6999C20D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e26d42d8650e086e951e955a4dacfe9ac2642a0b","datavalue":{"value":"data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262965$C45FE599-3298-4918-8C0C-E6E7C131DFE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d8b528eb40a5a9974684667346884c5ead8486f","datavalue":{"value":"behavioural analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262965$01DEB18D-52FB-482B-BB49-6D5E877C9E50","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262965$30FA0C53-25B3-4FFA-8478-274EA87931AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"75408df2392895bd54a3dc918909e684a1d8539d","datavalue":{"value":{"entity-type":"item","numeric-id":41340,"id":"Q41340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262965$1835D710-3714-4A64-A4DA-E7882D0CD384","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":"Q5262965$7A4101D5-B383-46BD-8E0E-F4F68FAEE330","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3b935b89fd131251c27b7b8828ff98ee6b4f967b","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2005.12.101","type":"string"},"datatype":"url"},"type":"statement","id":"Q5262965$85F39520-E34E-40AA-BE9D-D4F45CC70930","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bca2bb472b008894e176d786084cc06cedda1e64","datavalue":{"value":"W2168615519","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262965$36F28445-56F6-4C8C-9D4A-4DA66AEF0C04","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"422e2f2e225999cfe19eb8e3facee4c49fe6d060","datavalue":{"value":{"entity-type":"item","numeric-id":4551157,"id":"Q4551157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262965$C963C64C-F83D-4896-9161-3F2ACB0783C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8885a586015fd9af027d47f78a409508c3a3dab","datavalue":{"value":{"entity-type":"item","numeric-id":3994996,"id":"Q3994996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262965$358607C1-9956-4F67-9636-F8228EFCC43D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"541911022e3d0c5636b28b80dad3e9c5388a29dc","datavalue":{"value":{"entity-type":"item","numeric-id":5312977,"id":"Q5312977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262965$93671697-D75C-4236-8670-EEAF5BE79CDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22782ecfc7a60281469e4273f383d2c24b35aa50","datavalue":{"value":{"entity-type":"item","numeric-id":2767014,"id":"Q2767014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262965$BF9F2866-35BB-450E-98DB-599DD317B019","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":"Q5262965$B5328542-A741-4E6F-8719-330E0C889882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"deb16cc67059cf490326f204c1ae943f947f5c92","datavalue":{"value":{"entity-type":"item","numeric-id":3485879,"id":"Q3485879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262965$18EA7E78-161B-46D1-B284-DBFE2AAEDCC7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2114de423d034d644132b57cb61ad26d923a0ef5","datavalue":{"value":"10.1016/J.ENTCS.2005.12.101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262965$0CDA1D9C-7ED4-4BCC-8528-E59A78667F93","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d174261487b62fd08ce52ca52bf601871b74d81","datavalue":{"value":{"entity-type":"item","numeric-id":3614665,"id":"Q3614665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd5e949fa96069ccb87692278aecc86335e2d28c","datavalue":{"value":{"amount":"+0.781895101070404","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":"Q5262965$D9CE549E-114F-4476-9059-62C1C6758D72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06a4d8e04baf05a0f3dddf960e87d95535dccb50","datavalue":{"value":{"entity-type":"item","numeric-id":4551157,"id":"Q4551157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3416ad8811852802f36fccd5b3e65cbe221d5636","datavalue":{"value":{"amount":"+0.7771704792976379","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":"Q5262965$E5FE2F45-5FDD-4B90-AD27-59AE11D2767D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6e88b1239117c3789195c650d0f28c5e1eea071","datavalue":{"value":{"entity-type":"item","numeric-id":1284690,"id":"Q1284690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efe7acdd9e412b200e0e36000a48e84b6354b819","datavalue":{"value":{"amount":"+0.7750256061553955","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":"Q5262965$F151D854-C381-428C-A8D0-C085778D5043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac48100a4b7fa9bbf4c022b77813388eb7f0c755","datavalue":{"value":{"entity-type":"item","numeric-id":4312484,"id":"Q4312484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a18cd9a490c1d98de6e33d2b0725b68da7745a4","datavalue":{"value":{"amount":"+0.7311460971832275","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":"Q5262965$836D9B69-0D45-4133-A98C-904BD991D349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a3adae84dc25226c12a3c1f82d609a126e1ac3b","datavalue":{"value":{"entity-type":"item","numeric-id":5902411,"id":"Q5902411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b303a9cb4d408aa5c579d7e7ff97c5d0af3c930","datavalue":{"value":{"amount":"+0.7246133685112","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":"Q5262965$6059A151-C1C8-492F-A080-7A8BF8BC1D4D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5262965","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5262965"}}}}}