{"entities":{"Q2894294":{"pageid":2905019,"ns":120,"title":"Item:Q2894294","lastrevid":84900551,"modified":"2026-06-03T05:06:10Z","type":"item","id":"Q2894294","labels":{"en":{"language":"en","value":"A platform for high performance statistical model checking -- PLASMA"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6051109"}},"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":"Q2894294$869C34E6-3B46-4B7E-8B5D-AF7088CD1EBD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f01160db284be77647ba7c2e713f38e859e1b403","datavalue":{"value":{"text":"A Platform for High Performance Statistical Model Checking \u2013 PLASMA","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2894294$4F78408B-D3BC-4F77-9761-A50AFF6EDB51","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1da867d0813f8c9afdff724b46096a41a0a278da","datavalue":{"value":"1352.68156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894294$836FAE6A-5894-41C7-96BB-AF1684B7766D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"51eab99f6ca621c2bf790225ce8b8fdfc19ff6e0","datavalue":{"value":"10.1007/978-3-642-28756-5_37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894294$3B433A44-F58E-4C22-92B1-5FBFBE409E0D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"54fbc53fca1c7932f054d27ca446ca3ca2429b4c","datavalue":{"value":{"entity-type":"item","numeric-id":313976,"id":"Q313976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894294$3D5B1A7B-3C2B-44CB-BC93-9E7F68CB2D21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"daef8f966b1875cfc7b5cd4224180401b2f679f3","datavalue":{"value":{"entity-type":"item","numeric-id":243964,"id":"Q243964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894294$94BBDC26-99C0-456E-A970-4C94F1C7B8DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"39db320c091dbceb1577c5fb39426f47b4caacd1","datavalue":{"value":{"entity-type":"item","numeric-id":289448,"id":"Q289448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894294$E7C5E477-783D-4ABD-9881-D35040F851E3","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":"Q2894294$B354900D-8938-466E-89BA-F7B3799456BF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f01ce0deea26f8c7917713e0a65a223f09cb75c0","datavalue":{"value":{"time":"+2012-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2894294$70ED1A1E-536D-44B8-A49B-0D148330C881","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894294$592D7FB3-12FB-4039-9385-06B3F9808E45","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f0a3e36f13fd48ce3afd4141b080c518f3df6f63","datavalue":{"value":"6051109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894294$171FEA5A-A97C-482D-AD5B-D3321EE0F44E","rank":"normal"}],"P1463":[{"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":"Q2894294$C8AACD80-8DF4-4828-9CD7-76CB945F0F08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"861443a070102dae819f802c4e9019c8e18ea0a7","datavalue":{"value":{"entity-type":"item","numeric-id":30260,"id":"Q30260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894294$8141CB30-928D-4615-8BBF-317180E58A6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4d9e3398f9a03c25d17ec7e1e092f704c058607e","datavalue":{"value":{"entity-type":"item","numeric-id":20434,"id":"Q20434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894294$731E0979-4A76-4FFB-9A85-C5C694D927B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d638f22ad147a9418a5391674729107412f38982","datavalue":{"value":{"entity-type":"item","numeric-id":21451,"id":"Q21451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894294$9B8658BB-85C3-4ED8-8474-A2F951A39706","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":"Q2894294$43CC1C47-948D-4D31-A6F0-512FB6F76A18","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3871459224a0fef3446ecfe3c6e50f181f52ff7e","datavalue":{"value":"https://doi.org/10.1007/978-3-642-28756-5_37","type":"string"},"datatype":"url"},"type":"statement","id":"Q2894294$40E70901-C5A8-43EA-A919-0A3E46625D28","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9233b11cddc7d380615640ac0bc82aab88b3083e","datavalue":{"value":"W180513329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894294$86BDA9F9-3056-4BC9-8818-F25405979641","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a478684cfd6d6ad8ce9c9cbec4d01a23e14532f","datavalue":{"value":{"entity-type":"item","numeric-id":3172901,"id":"Q3172901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7990daa9a6d7ecbeae733e9e90fbbe5546a3ba43","datavalue":{"value":{"amount":"+0.7811471819877625","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":"Q2894294$826CDB00-221E-4BE4-AAA8-42ACC3BB8FAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dc3761edfc6b4a5573bdc86076dc0b678ead89b","datavalue":{"value":{"entity-type":"item","numeric-id":1708653,"id":"Q1708653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7c6436a27194d737f1f19d16f02e3adbbb306e0","datavalue":{"value":{"amount":"+0.7809789180755615","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":"Q2894294$AE4115E4-0B07-4B20-B824-942C036C942F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"404b9ed1b463490bb7722e17afc8c4a98045defc","datavalue":{"value":{"entity-type":"item","numeric-id":2894280,"id":"Q2894280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cf50a3c60399cc0534b9cbe86cc89bfeed1de61","datavalue":{"value":{"amount":"+0.7680755853652954","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":"Q2894294$538BBB4B-F02C-473A-B640-611C77DFA13C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc920c1ec773dd5c066514182446ab618c3ffcd6","datavalue":{"value":{"entity-type":"item","numeric-id":5716565,"id":"Q5716565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6482a6cba14c9d1d6cb5b3b9b37d642a937ba5a3","datavalue":{"value":{"amount":"+0.7435904145240784","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":"Q2894294$BC8B59D3-9AEB-4E28-A858-2175B3307F25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf00b74c83b3f9a9ddb1cdd893492aa51a0e6ee3","datavalue":{"value":{"entity-type":"item","numeric-id":3648695,"id":"Q3648695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f36f0a8b73a1c8bfcd8dbb86067a0ed3314369a5","datavalue":{"value":{"amount":"+0.7423979640007019","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":"Q2894294$6756361C-E9EA-453E-887A-CF4E7D7E2F43","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A platform for high performance statistical model checking -- PLASMA","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_platform_for_high_performance_statistical_model_checking_--_PLASMA"}}}}}