{"entities":{"Q879408":{"pageid":881256,"ns":120,"title":"Item:Q879408","lastrevid":65044905,"modified":"2026-04-11T23:57:03Z","type":"item","id":"Q879408","labels":{"en":{"language":"en","value":"Generating the syntactic and semantics graphs for a Markovian process algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5151813"}},"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":"Q879408$DEDB49CD-B291-4B28-BF34-940408AF8098","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e3afd235cd91f8158635d9888b48d7657859fc7d","datavalue":{"value":{"text":"Generating the syntactic and semantics graphs for a Markovian process algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q879408$CABE66F7-DC40-4191-8371-E72C520FE552","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d7cc6728dd2edd970c51121688957ed404fbe641","datavalue":{"value":"1117.68053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q879408$1BBB93D8-F2A9-46DA-A373-55613965539B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cdc6c414a632ffeed945f1b7d554ef42013466b2","datavalue":{"value":{"entity-type":"item","numeric-id":879407,"id":"Q879407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879408$B9C1E080-8C92-46E7-A99B-D3E952ADE275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd481d38bd94fa297fa66b60fb93a6c4ef162af1","datavalue":{"value":{"entity-type":"item","numeric-id":591480,"id":"Q591480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879408$812A7EE2-001E-44E8-8676-8147550D1984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"92404c9596253e65de014f61a0e20a5d846fe28f","datavalue":{"value":{"entity-type":"item","numeric-id":1930979,"id":"Q1930979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879408$D5F4CAF6-0B65-4FAB-A19B-51432F3355CB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9291c21615d62497aa2bb6404791ba4d7844695d","datavalue":{"value":{"entity-type":"item","numeric-id":61355,"id":"Q61355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879408$4BFE54B4-6E05-4C0C-B135-2E06B29660E2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cbd0eb8b100807c851c8df9ae7f8fa5376f95dfe","datavalue":{"value":{"time":"+2007-05-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q879408$05B4E786-4B18-4DEA-9169-699E6C60EBD5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q879408$538CE29C-3D04-4F7F-8C66-DEFEACCCE361","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4243f703be2b3f5aa4dc102e5f77cb1ad2f21a18","datavalue":{"value":"5151813","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q879408$C5D58F88-131D-45A0-AB98-27BCEF0E7FB7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15516e4b047218f96bb7d75fc9be0149afa31b16","datavalue":{"value":"nondeterministic and probabilistic aspects","type":"string"},"datatype":"string"},"type":"statement","id":"Q879408$98899508-3462-40C0-A89E-6C7F4C1B6614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39e241b3cade993e79fe0ff29a89f8d51b63d87b","datavalue":{"value":"stochastic process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q879408$885B9E2E-5368-4C2E-AE72-4BD87B755FB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d2e2522be9551d10b087fdba2d198c51773b780","datavalue":{"value":"performance analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q879408$8DDE37E8-6AF1-41D8-8D52-555F7BBD0E3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8736be9721788db3444dd08fba6cb60ab39edfc7","datavalue":{"value":"real-time requirements","type":"string"},"datatype":"string"},"type":"statement","id":"Q879408$085F645A-6D11-42F5-8FE6-C3B4294E4FFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"465753ab548a420d1d95eb3acb2a5ee84889c976","datavalue":{"value":"design specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q879408$138B964E-9AE6-4A8C-BFCB-6846FFDD23C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1b01b02968c48df9f6d634df64bea355af4ca03","datavalue":{"value":"fault tolerance","type":"string"},"datatype":"string"},"type":"statement","id":"Q879408$340152EB-C7F8-4081-AF7E-5ED70707CAA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbf06859b17b15a1811034acca62bdc3487eb1d5","datavalue":{"value":"case studies","type":"string"},"datatype":"string"},"type":"statement","id":"Q879408$B28BA8E8-9D27-4BAD-80EE-832E2019A8A6","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":"Q879408$CB0F963D-983C-4501-972F-6FF05D7E0132","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2988ce75c818e4c182047bc8a34cc17faeca2212","datavalue":{"value":"https://doi.org/10.1016/j.cam.2006.04.054","type":"string"},"datatype":"url"},"type":"statement","id":"Q879408$C272E433-EC8D-475B-A0B0-1686B47D2C0B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e6632ba43e5728611800ed6f6377a370114eceb2","datavalue":{"value":"W2024737613","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q879408$2915417D-9D2B-4DBC-9EB3-AC000D5E531A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0223e77bbb63d3c4a170868420904ca6d59df30","datavalue":{"value":{"entity-type":"item","numeric-id":3731022,"id":"Q3731022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879408$D5ACF9FF-8A61-4289-A891-D1A663898290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a003c2c8760fdd1c890f4fd99d1d1866babf302d","datavalue":{"value":{"entity-type":"item","numeric-id":1607111,"id":"Q1607111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879408$D47F4C25-F19F-45E2-A7A2-AB963719990A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bda40cac342e87132cfd635691d9fe3d6e0d21d8","datavalue":{"value":{"entity-type":"item","numeric-id":1400156,"id":"Q1400156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879408$91D59AFE-E3B2-4061-A6E2-000EE578D35F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40072e6975582b3863aaff2391bb7dac9c1aa38e","datavalue":{"value":{"entity-type":"item","numeric-id":3997501,"id":"Q3997501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879408$0D762C69-3C26-4623-8223-8B0B8F0D310C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004642c985382b5c70e78b542aebcb6240614609","datavalue":{"value":{"entity-type":"item","numeric-id":4162644,"id":"Q4162644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879408$5F9DEA11-9B9E-491B-B5D6-FA8F00EBAB31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879408$0A2438C7-362F-447B-8AAE-1AD4DA51BDA4","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":"Q879408$42B4F2EC-566A-4333-B27B-17CBCE1DF32E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879408$1792E4A3-89FD-4B73-8B43-C5466096DFFF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5510c22af173adafac219f158860fa916ca6200b","datavalue":{"value":"10.1016/J.CAM.2006.04.054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q879408$2AB14700-41EA-4A4E-9700-5D1985B47A5D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cbcece2ec8def905f0f1911d939d0c1d68ce1ca","datavalue":{"value":{"entity-type":"item","numeric-id":4813205,"id":"Q4813205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"185900ee1b86bc327f7e7daa458b9135c0e2f95b","datavalue":{"value":{"amount":"+0.7241305708885193","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":"Q879408$7C32F214-9A45-4DF6-8468-4AF53B6CB94D","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":"5111a4784e9a7ba9a92d32939b387394724a23e9","datavalue":{"value":{"amount":"+0.7093845009803772","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":"Q879408$757056D9-A9C5-4891-812D-05D70DCF21C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2cd033f9c8cfeaa38f6a983509aa221ff01041e9","datavalue":{"value":{"entity-type":"item","numeric-id":4255551,"id":"Q4255551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"910cec36ff6434d3989c33fb78267d297f89d253","datavalue":{"value":{"amount":"+0.7056166529655457","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":"Q879408$4AD81201-8A6E-4765-978B-C567A2ADED90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78f2cd0b7f4ed7e5883351a0c7b573b1f0396e00","datavalue":{"value":{"entity-type":"item","numeric-id":3012929,"id":"Q3012929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"910cec36ff6434d3989c33fb78267d297f89d253","datavalue":{"value":{"amount":"+0.7056166529655457","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":"Q879408$6163E074-0F5F-4757-BA67-B5B664804EA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"324cc02b9fe4e580b4a37ab5cbaf6e2c75e9fef2","datavalue":{"value":{"entity-type":"item","numeric-id":5958464,"id":"Q5958464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28f4eb7cda99dcf0b88d24ab84066886d273a49b","datavalue":{"value":{"amount":"+0.7031094431877136","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":"Q879408$216A8B15-7FF7-4309-B792-1DB2533CE403","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generating the syntactic and semantics graphs for a Markovian process algebra","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Generating_the_syntactic_and_semantics_graphs_for_a_Markovian_process_algebra"}}}}}