{"entities":{"Q387988":{"pageid":389755,"ns":120,"title":"Item:Q387988","lastrevid":61461645,"modified":"2026-04-10T23:31:11Z","type":"item","id":"Q387988","labels":{"en":{"language":"en","value":"Tackling continuous state-space explosion in a Markovian process algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6239199"}},"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":"Q387988$6AFB855C-3282-441F-A651-5846F65445F8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"47f8afff04fcca098af9d24f495878db6a49cb69","datavalue":{"value":{"text":"Tackling continuous state-space explosion in a Markovian process algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q387988$9DE5F20C-C8D0-4FAF-AAB7-821FAC1C3D7F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c387bfd9a4075610e10ef77e0df736b46726f748","datavalue":{"value":"1358.68219","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q387988$B0FD781F-724F-41B7-BA87-1B5FA1ADF3D1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"24b64afcbe07b96dc4ade0b892f497c36127e74d","datavalue":{"value":{"entity-type":"item","numeric-id":387986,"id":"Q387986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387988$8706CDD2-AE3A-4D18-91A5-7CF2C7BA44FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e4d8b61176f50b79f15dd82d4a93cce65317276","datavalue":{"value":{"entity-type":"item","numeric-id":387987,"id":"Q387987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387988$B0C02FB6-E719-484B-B473-B5D27220B262","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387988$1C86BBD7-FA44-43AD-BC1C-EF7F815C1F7E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d496283d286a67f5c448d94664ad69eec0b31d1","datavalue":{"value":{"time":"+2013-12-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q387988$AAEDD270-033F-487A-86FF-27BADCD8DD10","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q387988$BD247DED-23C2-42A0-BD13-73BCF514A143","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bca4f0833f88264c8891d1c3bb4a995666a57c59","datavalue":{"value":"6239199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q387988$EB47E1A7-699F-44EA-997C-9AB20D6C7633","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"993f9a496ecd5d3ee521ed2547719fb6af15d882","datavalue":{"value":"ordinary differential equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q387988$83E8C37D-9CBB-476D-8DD8-5B819F16DED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0c57ad59cf3d0781c61ff6711d6e05601a6f7e0","datavalue":{"value":"state-space explosion","type":"string"},"datatype":"string"},"type":"statement","id":"Q387988$E670D41C-4C7E-49EB-B5F3-D0BA920F0A13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b36e7f2f2edf82469896981120488f710d53d80","datavalue":{"value":"aggregation","type":"string"},"datatype":"string"},"type":"statement","id":"Q387988$963B4173-5E97-4CF8-A061-7CE5416A8134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bc03e7ef5aa7892b12ac49ec9f1d6891872d348","datavalue":{"value":"PEPA","type":"string"},"datatype":"string"},"type":"statement","id":"Q387988$06207A0C-EAB5-41AD-868C-9CE0803BB57C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"3926c953b3e43b18f2f3d24d953ac368d6f600c9","datavalue":{"value":"Q57790835","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q387988$0BF0C7BF-A562-44BC-A971-381E8A58657C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"68c27ca2fb44e713225441b9417dc37e3cf80073","datavalue":{"value":{"entity-type":"item","numeric-id":14749,"id":"Q14749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387988$24558F7F-1A2A-43E7-9B87-DEA06D2A1F25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c8e5d5bcc5e71e7649f82c0434334f298b02dfc0","datavalue":{"value":{"entity-type":"item","numeric-id":22650,"id":"Q22650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387988$68776F74-B8E0-4012-B0AF-C69985A2D14F","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":"Q387988$537329E9-CF28-432C-83BB-0930302CAC62","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2e534cbae6ce8a1aae85c16630977ecb8cde2f1d","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2013.08.016","type":"string"},"datatype":"url"},"type":"statement","id":"Q387988$3C220307-4E78-4621-8118-568D5FC5A991","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1ae2bec2dfb0251735b53330353e14592f9df0e2","datavalue":{"value":"W2030592463","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q387988$0B048D82-CE8C-4810-A16D-C5CB6AB49404","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8ab8f2d16c26bc42979e9ef1f9de093f5ccfcc3","datavalue":{"value":{"entity-type":"item","numeric-id":3324796,"id":"Q3324796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387988$FDCF0DA7-7D98-4B1B-977D-9149C7B37A59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc2b66961c672c4233b29315a652cf9caa6dd2c9","datavalue":{"value":{"entity-type":"item","numeric-id":5585840,"id":"Q5585840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387988$2F11884B-042E-4F43-A2B1-A5220495C090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89b0222f0424dda604acf25f47b92ad85e80d854","datavalue":{"value":{"entity-type":"item","numeric-id":974116,"id":"Q974116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387988$64021587-A782-4FE4-8855-1DB351A002FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e90df9c1808bbdbed1a180785eb0aaff379ccf8","datavalue":{"value":{"entity-type":"item","numeric-id":4094202,"id":"Q4094202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387988$82402031-9894-4B56-88F9-17ED64C9C9D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16f13fe88bf709c90f3b9379301ed603aafda874","datavalue":{"value":{"entity-type":"item","numeric-id":764294,"id":"Q764294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387988$2771ED61-B4D5-4D88-A4CD-F6E7DEE641C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387988$F80230B5-CB37-4F0F-9E43-585421F7AABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f5443bb9284f87063c1317606853d9c7a7285a7","datavalue":{"value":{"entity-type":"item","numeric-id":1014448,"id":"Q1014448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387988$6816267C-BF86-4046-A12D-072BA8453EFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc59bae63b743ea9cdfc1df5e724d22cf1709df7","datavalue":{"value":{"entity-type":"item","numeric-id":4296371,"id":"Q4296371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387988$6780565E-FF18-4680-91DF-81F0B9A74ACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a48f52de9a4a1b8cd2deeeaf3402deb174d136fd","datavalue":{"value":{"entity-type":"item","numeric-id":1128976,"id":"Q1128976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387988$C616EAF4-B876-4B9B-B6F2-0CF8C4485FB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d22058e17d91530d1f7b3cc001b636b40144da3","datavalue":{"value":{"entity-type":"item","numeric-id":4072866,"id":"Q4072866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387988$5E274D01-479C-4450-98C3-7E4C3110990A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b30976079117d0cff30a8431542be6cd3d88f4","datavalue":{"value":{"entity-type":"item","numeric-id":4274465,"id":"Q4274465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387988$27D82EA7-554B-4F25-ACF8-BE273A909BAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbe0090bf395f0fecdeecb63a178af685a15b836","datavalue":{"value":{"entity-type":"item","numeric-id":4779393,"id":"Q4779393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387988$A1920B8D-B6F4-4C96-88D6-7E648677AC20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf87206bfd3724bdb32ebc863a0ebd2ef285a839","datavalue":{"value":{"entity-type":"item","numeric-id":3883485,"id":"Q3883485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387988$CDBC3086-F220-4828-9CB2-A31F16FB965A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a7182439e0ed109f0fc10ef28a8043d20c0540a","datavalue":{"value":{"entity-type":"item","numeric-id":1401206,"id":"Q1401206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387988$FD4F1F8F-A5B2-49F0-9051-1AEBE4285568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b97d3292bff579fd9ae77118283efce3760f4888","datavalue":{"value":{"entity-type":"item","numeric-id":5640612,"id":"Q5640612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387988$92E88AD4-4A8B-4E64-A05F-30EF53961D58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddbd1b714c9bf00109e41795874b93c1d0e4e200","datavalue":{"value":{"entity-type":"item","numeric-id":2912691,"id":"Q2912691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387988$983B5AF9-352C-4A84-A763-B079CA246E7E","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"fe6d0b40f65c9148fb2b100d113095e9935e511f","datavalue":{"value":"journals/tcs/TschaikowskiT14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q387988$F93D9BE8-A5EE-41C3-B0C4-3F2EBABF01F8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bee02dd3d226a3984f21e4a24fca010e471c5211","datavalue":{"value":"10.1016/J.TCS.2013.08.016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q387988$F0A78F4C-9BC1-4445-9C63-32A1CE076F87","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed3bb6e2f7750defc6972fd55a09ddc6bf03342f","datavalue":{"value":{"entity-type":"item","numeric-id":846015,"id":"Q846015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"686ebfc6446d73e07176ec84a192f30098f96daa","datavalue":{"value":{"amount":"+0.8613699","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q387988$C36BB67A-D110-49EA-9612-2BD700A3AF28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d3bc5ebb570a72823c86e4acd42cf9a0d339cc9","datavalue":{"value":{"entity-type":"item","numeric-id":6104380,"id":"Q6104380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db530361cc8712d694562202a2b2446514c84b31","datavalue":{"value":{"amount":"+0.84784275","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q387988$BBFF17E1-B473-4A75-9FDC-36DA63C5EA72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97428105ceee4a6ba2d20ae18a6df70ebb4ecb45","datavalue":{"value":{"entity-type":"item","numeric-id":5687213,"id":"Q5687213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"670e74952473627bcba8e6d4f379033a4f799de9","datavalue":{"value":{"amount":"+0.8430027","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q387988$9C6C3571-98F8-41D4-829A-EB440BD327A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcef3c87eb135f0c3dda5cfd882b509fced4ac2d","datavalue":{"value":{"entity-type":"item","numeric-id":4547767,"id":"Q4547767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"012cdc204415e69551c2454b63dcd02bac3dba51","datavalue":{"value":{"amount":"+0.8424214","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q387988$197E3A8A-C2CA-4794-A735-18A19BB75C0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9180bcb1348fa212cc2b581df88e11fb9635f37c","datavalue":{"value":{"entity-type":"item","numeric-id":5151010,"id":"Q5151010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef30a095f06c105f49df211a5aef02beb07eb414","datavalue":{"value":{"amount":"+0.83864355","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q387988$DEC5CBEC-65F3-44E9-B44E-AA71E63CACB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d049668e4becfe5c8b6d387458d3e5bf658d876","datavalue":{"value":{"entity-type":"item","numeric-id":2914677,"id":"Q2914677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"551c06c14053db924a7c505d6f53f57711f59118","datavalue":{"value":{"amount":"+0.83781075","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q387988$50759475-0DB6-47EC-94E9-38A32D0B2438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"855de1b4c41f37574edd2d57fc8b6de513fb41b7","datavalue":{"value":{"entity-type":"item","numeric-id":4471933,"id":"Q4471933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"655943e9bab9f580818bf8b81ddd911bac117053","datavalue":{"value":{"amount":"+0.83708227","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q387988$939365BD-921C-45FC-AF01-4C0DC851171E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79efcbd26722708d1e68da66cf3fe9ecd8909abb","datavalue":{"value":{"entity-type":"item","numeric-id":5705913,"id":"Q5705913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5247d04c33d761fdbfa47fe2e78e44c3a9a3696a","datavalue":{"value":{"amount":"+0.83446074","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q387988$0C370BA0-4BAB-484D-B2C9-DDEEBE86D077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4835429856cac86642c0dd2a05b60e2747a5d6a","datavalue":{"value":{"entity-type":"item","numeric-id":2341700,"id":"Q2341700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb9495eb20d845e486bc92e9792b5ef5ce4fc198","datavalue":{"value":{"amount":"+0.8320139","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q387988$AC371004-687C-4DB0-A5CE-C9979F7E0E47","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Tackling continuous state-space explosion in a Markovian process algebra","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Tackling_continuous_state-space_explosion_in_a_Markovian_process_algebra"}}}}}