{"entities":{"Q3614665":{"pageid":5644571,"ns":120,"title":"Item:Q3614665","lastrevid":88533662,"modified":"2026-06-04T14:46:51Z","type":"item","id":"Q3614665","labels":{"en":{"language":"en","value":"Analysis of distributed systems with mCRL2"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5526617"}},"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":"Q3614665$AA8A5DAA-3517-41D5-BF48-8E331EC18814","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e20f48bce024f3cd5b6c7d052239c73d9549191b","datavalue":{"value":"1171.68400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3614665$D2D118A5-6D9B-4938-A8BA-DAC568DCD73F","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":"Q3614665$8AE6F6FF-79CF-42D6-95AD-B710DD0D4C0D","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":"Q3614665$63C17405-A6C8-4E82-B1F8-C2A354F62584","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":"Q3614665$CE2E7565-4C39-42B7-84F4-4138880D90F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"245cb7082c223752c880c91a9a6b04a10554bd9a","datavalue":{"value":{"entity-type":"item","numeric-id":835034,"id":"Q835034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614665$9F3F2E12-D25C-45E3-9500-B94813C5C776","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":"Q3614665$19A7A2D4-8DC3-49AE-B120-AECC5302DFFD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"89a9c5ee59be6fd8de83ba262729607364501071","datavalue":{"value":{"time":"+2009-03-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3614665$B9C8249A-E05D-438E-A400-572C955757A7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3614665$4627F8C8-D772-490A-9E90-134E935312E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3614665$28705196-EC6B-42F6-A41B-0E779A4A15F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3614665$38F78D2A-A973-4F7B-8099-4861D5E585C2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c3067261828041f4a92c085d98c46aebcd465579","datavalue":{"value":"5526617","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3614665$8570929C-D6E9-4C40-AD71-A5ADC5529F6E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3fab87d9f8106963c754f626097bbf49be2e5743","datavalue":{"value":"mCRL2 language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3614665$1209EF51-357D-4A41-AC7A-4F5288802063","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":"Q3614665$F9395E1D-CEC1-4E7C-8A23-59C9DA4EC344","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a840a8f91772214687dfc1355383c7c469d8211e","datavalue":{"value":{"entity-type":"item","numeric-id":5326326,"id":"Q5326326"},"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":"Q3614665$3AA9DDBB-E1D6-41EE-8157-C3E01DDEEACE","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":"f343deeafb38483e562dfb9c4f1f956a98dd1506","datavalue":{"value":{"amount":"+0.7851446270942688","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":"Q3614665$B5EBEDEE-3B26-4CA1-9416-0A14AA26786A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92f1b51db0600bbdcf404b304fc3651693085989","datavalue":{"value":{"entity-type":"item","numeric-id":3677155,"id":"Q3677155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f790ba8ce925873ac9874fa2adc7b68ec60aff1","datavalue":{"value":{"amount":"+0.7831586599349976","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":"Q3614665$29B5717E-74C6-477C-AD94-823B5CF7E06F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c238d12d67304162da361b49fc030d7d8b2423bd","datavalue":{"value":{"entity-type":"item","numeric-id":5262965,"id":"Q5262965"},"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":"Q3614665$2CBB016F-4BEF-4E83-BC70-99D7C5276D69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56c1ca58c9109182aa1a1f228b6235d1cc1812ac","datavalue":{"value":{"entity-type":"item","numeric-id":1400154,"id":"Q1400154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23c96f4d86840e035c225ab92b52e82d8222b082","datavalue":{"value":{"amount":"+0.7601895928382874","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":"Q3614665$C8CB1F80-B210-4ADE-A68B-EDC8A208D192","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Analysis of distributed systems with mCRL2","badges":[]}}}}}