{"entities":{"Q5215913":{"pageid":7245483,"ns":120,"title":"Item:Q5215913","lastrevid":53663594,"modified":"2026-01-25T12:41:39Z","type":"item","id":"Q5215913","labels":{"en":{"language":"en","value":"Family-based model checking with mCRL2"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7167170"}},"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":"Q5215913$4352F3C8-B79E-42A5-B252-0F4F6425799F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6ce1ecb794c065058a77dface9e7783e53feac2f","datavalue":{"value":{"text":"Family-Based Model Checking with mCRL2","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5215913$8D69291C-00B2-45DC-BB40-BA9105D0FC70","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"53d29c218da8161233000b0b9efaf39cec9f837c","datavalue":{"value":"1430.68155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5215913$16C2C579-D0BC-4AE3-AF64-D6A4C46C5EBB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9b0526ee506e1f535fc671c034829b1394702b6c","datavalue":{"value":"10.1007/978-3-662-54494-5_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5215913$2C378A29-98D5-4D76-98FE-0104D91B9FEA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b4ddb4e18c709d52412f29e118ee0635e94738a","datavalue":{"value":{"entity-type":"item","numeric-id":246443,"id":"Q246443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215913$F38E8F27-6257-4E4A-AF59-C78305B414E0","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":"Q5215913$E2A360C1-2646-4B9E-8964-3A28BA77A544","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":"Q5215913$D198C7C6-FBB8-4C41-B0B6-1ECAEF542E32","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cc4882ceaa76eafa569df2ac7494f37debc41e25","datavalue":{"value":{"entity-type":"item","numeric-id":2801760,"id":"Q2801760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215913$2D81B494-C4EE-4223-834C-F7C3CFE794CD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"abfd8c068e34548cdf05c7584997a586e2790d23","datavalue":{"value":{"time":"+2020-02-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5215913$071B4349-D78B-4A0A-AED4-D58CCAE91573","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5215913$5454C515-F6C5-4CA2-8041-48E6DCE02910","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cf87376d2d157a2f7cf08f6b4a17f4ee290f2d66","datavalue":{"value":"7167170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5215913$46D04C71-81C3-4602-8C69-80C0BD267803","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":"Q5215913$FD3DA7AC-7C38-4EAB-81BA-1F1B684C7645","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cb45442f75e9d7d68ed6071ed112ded12985d07d","datavalue":{"value":"https://doi.org/10.1007/978-3-662-54494-5_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q5215913$B4ACF994-B214-4C74-8738-18679B420F98","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"87e23f16b4c93f7fcdd51d7d81e134018b2034a1","datavalue":{"value":"W2599286514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5215913$9B5091E2-5169-4018-BC21-7AFF0F0B387B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef7e675c47a5a796e433a67632c2da23e605e613","datavalue":{"value":{"entity-type":"item","numeric-id":5039535,"id":"Q5039535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8db3466cc0a93d16b9cdf0d80d6dc3f7644eddf","datavalue":{"value":{"amount":"+0.8714030981063843","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":"Q5215913$31F0AB8A-B932-4CAD-B668-3A181B0D2AE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28453852e6fd3e3fcfd26776a7970a7f65451784","datavalue":{"value":{"entity-type":"item","numeric-id":2324189,"id":"Q2324189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d0cdbc008b88e21d51f620b1d490c073aace08a","datavalue":{"value":{"amount":"+0.8449645638465881","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":"Q5215913$E51135F9-0C9C-4CBC-820C-2AA84A54B4EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9b979d95194ae99a49eab25bc80a2406b0af7c0","datavalue":{"value":{"entity-type":"item","numeric-id":5215914,"id":"Q5215914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92ecc914c5082298b379c3da58756e6066a1c04a","datavalue":{"value":{"amount":"+0.8188453912734985","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":"Q5215913$9E57AF1F-BA61-433C-AFFB-21B2F9AAE1D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b98f1968ca44851db43a9c04afa7699656ba7c53","datavalue":{"value":{"entity-type":"item","numeric-id":5963087,"id":"Q5963087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5d058b43b5d1882e3d341423855113d3d137102","datavalue":{"value":{"amount":"+0.8105602860450745","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":"Q5215913$3200A646-16CD-4696-B3E3-CF1D725F48A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f43a3379361a2315ca48241462c144317a89aac","datavalue":{"value":{"entity-type":"item","numeric-id":5217306,"id":"Q5217306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8966130783ac146f7c348c101c4cd9bb3469370","datavalue":{"value":{"amount":"+0.8016536235809326","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":"Q5215913$C5ED3AE9-48CA-4160-BC8E-59E72CAC0931","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5215913","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5215913"}}}}}