{"entities":{"Q3599097":{"pageid":5629003,"ns":120,"title":"Item:Q3599097","lastrevid":50558345,"modified":"2026-01-14T09:39:59Z","type":"item","id":"Q3599097","labels":{"en":{"language":"en","value":"An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5502012"}},"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":"Q3599097$99F8978D-85FA-4176-A4EA-3F14637983C6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"75e30c59c511a504b486bb340455f6b44457f7ef","datavalue":{"value":{"text":"An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3599097$B064B547-98F4-432E-8BC7-50B8E307BB05","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"500674f03abc470b79536a76e03f7f539ca0f664","datavalue":{"value":"1206.68208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3599097$939EDBF3-65B7-41E7-AA6A-8D04503713EB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3141662a04becbabd78b849a27b7e373b07fd27a","datavalue":{"value":"10.1007/978-3-540-95891-8_44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3599097$734D0142-DD8F-412E-881E-F494C5B9634F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2309c9cc0896a39376def97b0fa14cd658176129","datavalue":{"value":{"entity-type":"item","numeric-id":3599096,"id":"Q3599096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3599097$7019C3B7-DB91-484B-B11A-92D72D45F451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b48542ea989753a1609ebb1054b4baa36625837f","datavalue":{"value":{"entity-type":"item","numeric-id":3541953,"id":"Q3541953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3599097$AAB9C424-2CAE-4C59-A234-4AB699C38B3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"694b563fcf1acbe7763b5a4c1c6756f77bf85237","datavalue":{"value":{"entity-type":"item","numeric-id":1784954,"id":"Q1784954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3599097$65217BC0-8193-4DAD-BD61-CECB0A63B440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"949e78a66cf5c91e4a4ce5d9e267895c69248c77","datavalue":{"value":{"entity-type":"item","numeric-id":600973,"id":"Q600973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3599097$955B0331-A073-41D3-A953-D5C9DA33FBE3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3599097$B41792B4-3746-4EDD-817F-119CE9F7FA0A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8252c9bc11ad46ff65a647eb67c4c4f635569088","datavalue":{"value":{"time":"+2009-02-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3599097$198C58DA-7A4F-4F07-8E84-81851BDE9909","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3599097$7D236D85-B5A7-46A6-BDFF-CBF24550A0E9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"15a175f80ab18366014c6fc93d4b258d56537de6","datavalue":{"value":"5502012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3599097$7F96C5F6-D11E-424D-AC56-2D69CF7129CC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39e241b3cade993e79fe0ff29a89f8d51b63d87b","datavalue":{"value":"stochastic process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3599097$CB818797-2A17-44E8-A58D-D4373EAC07A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e634b839b6a10c727077516e37c2a47658666a8f","datavalue":{"value":"MTBDD","type":"string"},"datatype":"string"},"type":"statement","id":"Q3599097$88FD1C8E-D6AF-4864-B5C5-B15EAC14587E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2a380a3bc3b4e458e2099357af8953facf16d5c","datavalue":{"value":"elimination of immediate transitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3599097$B52277E0-D493-4D6D-B77C-2196A6122984","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":"Q3599097$AD918E02-4A6D-41D7-A272-A1DBB9F01D3D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e00c0a9128b25859881a0d7aa48adffd1c9fa244","datavalue":{"value":"https://doi.org/10.1007/978-3-540-95891-8_44","type":"string"},"datatype":"url"},"type":"statement","id":"Q3599097$70E5FB82-B4C6-4513-84EF-31AC61BD2C72","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a441784670b91be069a2c7480d9dc073207d6ea1","datavalue":{"value":"W1864539514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3599097$79E584FB-A8E6-47C3-A849-EFAF39588F60","rank":"normal"}],"P223":[{"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":"Q3599097$361FC3AA-7E85-4780-A2B6-ABDCCA0F2499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f505dfb824e1aae39a5d3eb343ed8fbc59b2938b","datavalue":{"value":{"entity-type":"item","numeric-id":701689,"id":"Q701689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3599097$FE7008EB-112A-4B6D-B301-DBD4AF38D077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a21ebee4e08f0592a1c4f5546d5d1edfcf28d498","datavalue":{"value":{"entity-type":"item","numeric-id":5462953,"id":"Q5462953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3599097$80B924C7-76EA-440C-84EF-5E52EA4275CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20953d26dde65336304c7d8a395e93c4519644e0","datavalue":{"value":{"entity-type":"item","numeric-id":4813205,"id":"Q4813205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3599097$AECBBD7A-3D73-45A4-AE51-C23C17E9A307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"286d6a11b10a8b74986e54d58b69caeab776aa62","datavalue":{"value":{"entity-type":"item","numeric-id":5899038,"id":"Q5899038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3599097$4C3D0937-6F96-4CA9-86EE-D554D2FB360E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"840d5c28da0e38c899ea1bbb79ad1bea8bed6f34","datavalue":{"value":{"entity-type":"item","numeric-id":4835250,"id":"Q4835250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3599097$D24B22A3-67B7-44E3-B11E-CAA4077A8D58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e54edf4f219cc341320e452ee26091fbc705bf28","datavalue":{"value":{"entity-type":"item","numeric-id":1343865,"id":"Q1343865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3599097$BAFFB5C5-350F-4ABD-8BFC-D03DD171AD09","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52b45a2bfff5eb1b4109bd53c3549b4356c53170","datavalue":{"value":{"entity-type":"item","numeric-id":4861732,"id":"Q4861732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62372d8c92195e5725debe73b8770df0ddf52b5e","datavalue":{"value":{"amount":"+0.7197748422622681","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":"Q3599097$93DCC495-009B-40E0-9D7E-E0C9D6A55AC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc4cd4a1157386250fb98a988df892e3242a2d02","datavalue":{"value":{"entity-type":"item","numeric-id":4818816,"id":"Q4818816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62372d8c92195e5725debe73b8770df0ddf52b5e","datavalue":{"value":{"amount":"+0.7197748422622681","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":"Q3599097$DDC43F25-9C7E-4880-8775-75882361C247","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":"bde4a41e6bba6e4c74d210eae381368d11e110d4","datavalue":{"value":{"amount":"+0.7178333401679993","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":"Q3599097$1B7E023B-D8E4-4240-9558-7C32173ED11C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d78344bb3325d93ea1ae5ccdf8092b49da9ab35","datavalue":{"value":{"entity-type":"item","numeric-id":2058309,"id":"Q2058309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db313a1c9e932a8a3ba5914b7749443a2fbd52ac","datavalue":{"value":{"amount":"+0.7176754474639893","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":"Q3599097$7D94BB99-4082-4C5A-9232-1B0D43DCFBC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2295d06338d87d1488af8d873c75694822276a54","datavalue":{"value":{"entity-type":"item","numeric-id":4861736,"id":"Q4861736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b61f24504464e3e798bc1e4a396cdefe9a5a94b","datavalue":{"value":{"amount":"+0.709291398525238","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":"Q3599097$18C5B62B-CC37-4F72-9501-AB1C227D8841","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3599097","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3599097"}}}}}