{"entities":{"Q5326326":{"pageid":7355900,"ns":120,"title":"Item:Q5326326","lastrevid":51790436,"modified":"2026-01-20T01:30:16Z","type":"item","id":"Q5326326","labels":{"en":{"language":"en","value":"An overview of the mCRL2 toolset and its recent advances"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6194836"}},"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":"Q5326326$4E0A6A8F-02C3-40EE-ABBD-E23CDF52BF2A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a9c5401bc43df92ca347940c12a5a3b541917ccf","datavalue":{"value":{"text":"An Overview of the mCRL2 Toolset and Its Recent Advances","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5326326$2E621A4A-B89C-4C51-951E-EA3C00CC4F52","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f41c427deddf6e2170e0bd8a3cbd4af338a16bd1","datavalue":{"value":"1381.68198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326326$15203D0D-2E55-4C95-B36A-10B7C23181DA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ae7da9441f00e953c6d8c76122370f4b9dfb76b8","datavalue":{"value":"10.1007/978-3-642-36742-7_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326326$E20C620D-2634-44C8-BADF-4888DA43FF60","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f46daa8b5b34dc9202987ce3d2831916e56a6940","datavalue":{"value":{"entity-type":"item","numeric-id":549179,"id":"Q549179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326326$71BAFEED-401B-4BFD-A14F-8ECF3A0973A6","rank":"normal"},{"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":"Q5326326$724D6DB4-A071-4809-B0AC-53DCC539E943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab6a5defd203445259095e179813f3407c4dac2c","datavalue":{"value":{"entity-type":"item","numeric-id":1656551,"id":"Q1656551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326326$B1A6B8E7-EE12-42B6-8623-987F5F28E229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"289804b673ec6b3042ae0d2532ddd1fa26de109f","datavalue":{"value":{"entity-type":"item","numeric-id":3066123,"id":"Q3066123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326326$1D8ABC60-A7FE-46C9-8ACD-D21F28816568","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":"Q5326326$F2068737-C0E4-4E15-8678-F54F130EF400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5e84fe9e7bf533d1ab33d10a27c52dad4dc5f45","datavalue":{"value":{"entity-type":"item","numeric-id":672480,"id":"Q672480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326326$AB0C476F-7A88-4602-B631-2803341465AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1cca7caa26c1edecee311baf10734f3d68d8795b","datavalue":{"value":{"entity-type":"item","numeric-id":960854,"id":"Q960854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326326$98460F91-89D6-4454-9611-802004C38221","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326326$9B578FC1-8083-4655-B6DA-572E9E0393C5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95aa5aea465a8772f3ec0450c3b06f16f93c1446","datavalue":{"value":{"time":"+2013-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5326326$DB976D70-428C-42C0-89BE-58630446875E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326326$B43E20FD-7B37-46ED-A34D-59C6BB03250E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326326$3DD3A119-15D2-43BF-8317-C2DA718CA6EF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0ce6b837287fa5551ed8747bf64dbc638d9b0c7c","datavalue":{"value":"6194836","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326326$C5F894A8-E83A-4727-A72D-AE123000E773","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326326$6ADE4134-64F9-4D4D-BF72-DD2F4854E505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"95971f6b611ca7d919754c769fae0e473be28779","datavalue":{"value":{"entity-type":"item","numeric-id":19265,"id":"Q19265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326326$BA35F467-1A10-4AEF-862B-BABB513DFFA7","rank":"normal"},{"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":"Q5326326$B80688B9-A56A-424B-AE61-041BFCE4694E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"175ba681e270f9c1d53e466f919ea269e9d6d13b","datavalue":{"value":{"entity-type":"item","numeric-id":22089,"id":"Q22089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326326$C337AF3D-946E-4358-B803-A8EAD554885D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"531a52a4ab12ab6e2b5be84834036762ed677445","datavalue":{"value":{"entity-type":"item","numeric-id":13928,"id":"Q13928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326326$1C18CD42-56F5-44A6-97D1-DABD5AE2B516","rank":"normal"},{"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":"Q5326326$78EEB301-633A-4408-BCD8-94E20771B3E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3c11dd4f5e8562a7579fa5f894672b041bb21507","datavalue":{"value":{"entity-type":"item","numeric-id":16315,"id":"Q16315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326326$EC62C998-5F95-49A0-BB3B-E508BA8DC556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326326$B705A9DC-C640-440F-A772-B7F31758F169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8860b2cd15c94f68eddbbb4c1da7b2e3d0978f1b","datavalue":{"value":{"entity-type":"item","numeric-id":17140,"id":"Q17140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326326$19E708E6-22CF-4518-966F-FE92FA57DC44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9bb0fcb69acce144e7411d943bcea9d1922229d6","datavalue":{"value":{"entity-type":"item","numeric-id":22109,"id":"Q22109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326326$1AE8E9B2-9D52-4209-9CDF-DBA513C1DA74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bde88779cb6e7d8c59bbc11141f6f12a921e132b","datavalue":{"value":{"entity-type":"item","numeric-id":25173,"id":"Q25173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326326$18F38C8D-183A-4947-BEB2-8B02FBFDB6E7","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":"Q5326326$FC3D827F-E8F4-4046-9A72-714B81C32268","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"426328ccadcd214dc2e770bf36482a7c5dd09df7","datavalue":{"value":"https://doi.org/10.1007/978-3-642-36742-7_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q5326326$42F9D418-EF0F-4A31-A9B2-CCE2FAF2F839","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8f991bc7f754a8687c65d911c2f5236800743356","datavalue":{"value":"W2130413791","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326326$55B9B972-F9B1-45C8-A5C8-0EF15716871E","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":"ffdb89cee377c89dc570cf076f70dcffe4b9b693","datavalue":{"value":{"amount":"+0.8272227644920349","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":"Q5326326$C4C7E389-ACC6-487D-8DD8-3B53C6B80D60","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":"6d0a2dead26ae7b14a5143290df0724b274c1daa","datavalue":{"value":{"amount":"+0.7611191272735596","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":"Q5326326$3886B3B3-173F-46C9-9FFB-FCB5135E6A79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bff7b6c8023eb562e0665d4bfc1a227a6803c19","datavalue":{"value":{"entity-type":"item","numeric-id":5312938,"id":"Q5312938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"750a343e518dd5246b681f77be49b4ce97da601a","datavalue":{"value":{"amount":"+0.756604015827179","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":"Q5326326$89349E30-06DE-4D4B-BE9C-79A5ECEC1371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"216f3f00aa4e0ebfd3f4f4b8377806c3be5b7e53","datavalue":{"value":{"entity-type":"item","numeric-id":3000666,"id":"Q3000666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a84d17659746a3c61b3b2374345ce7759c3bf0b","datavalue":{"value":{"amount":"+0.7359492182731628","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":"Q5326326$714BBD94-17A0-4035-9D51-A3CF3E9ACCAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1583a6944720ba244e2468438b338a9b60139294","datavalue":{"value":{"entity-type":"item","numeric-id":2769619,"id":"Q2769619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"574b1201d910f245e98687650a3e0f27c0306c2c","datavalue":{"value":{"amount":"+0.692435085773468","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":"Q5326326$488E1EF9-A40A-4565-BF2F-94818FB2DA84","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5326326","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5326326"}}}}}