{"entities":{"Q6584558":{"pageid":14195714,"ns":120,"title":"Item:Q6584558","lastrevid":55723117,"modified":"2026-02-17T21:40:51Z","type":"item","id":"Q6584558","labels":{"en":{"language":"en","value":"A modest approach to Markov automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7893502"}},"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":"Q6584558$550FBBE9-6893-40FF-9CDB-11F80E147555","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3fd92af9f544324070ffe3d9f6bab1fe6c168cdd","datavalue":{"value":{"text":"A modest approach to Markov automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6584558$42833E4A-6F45-4EA6-BF88-026FD3AF6F40","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"935788a6cb1426eb52c3866cec5504c6b2634653","datavalue":{"value":"1542.68093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6584558$CD41E13E-B2BB-4193-83E7-B19EF4689562","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a334475ac56aaec5d0651524381394af333b6b65","datavalue":{"value":"10.1145/3449355","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6584558$1222DC53-102B-4EBF-9750-2BDF4533B35F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d0fccbd5e47b30db965d4fec8289a09fde46e47","datavalue":{"value":{"entity-type":"item","numeric-id":3303929,"id":"Q3303929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6584558$1FA86A60-E1B6-410F-BF6D-B2CAC26C1E2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7587b268e1527b1fafbccca805f2d5bdc79d38c","datavalue":{"value":{"entity-type":"item","numeric-id":832047,"id":"Q832047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6584558$CE529734-2730-40BE-A276-B85DBFB2984B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d570ab9528618e94eac06ac4735a35751c2a1ea4","datavalue":{"value":{"entity-type":"item","numeric-id":236071,"id":"Q236071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6584558$1301BFB9-2AD7-445E-AF28-8DAFFC9F947E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5f5bae07c449260f47024289866c93e24bb0f22e","datavalue":{"value":{"entity-type":"item","numeric-id":64755,"id":"Q64755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6584558$B4A68F98-47E8-4EB4-9875-6C19ECB31D2D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4fd15c6a45fe5e1ddcb64ec4c376a60cdc57323d","datavalue":{"value":{"time":"+2024-08-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6584558$982BDAD4-9B55-4E94-806A-C41EC746A584","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6584558$17F9EAC1-1B06-44B4-9994-FA740D044184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6584558$5328C574-DBD3-49B6-969D-59BFE8B05E6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6584558$C14AB363-62BB-464C-9078-6C43C3D5AEE5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ec442699f3a529972ecc10ef8b5861b4ba6dc439","datavalue":{"value":"7893502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6584558$EE545AAD-5051-47D7-BA8C-912944B7A553","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"754faa789ef14fb45fb733afb19bac9f401507e4","datavalue":{"value":"Markov automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6584558$5751959D-9666-4D72-AE9F-47CFE0D228C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de2e09284e49eb10edcd0e9490808b35c1387c72","datavalue":{"value":"dependability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6584558$D84DCC6B-90CD-49BA-A421-FD356ED50B11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q6584558$C50E2D0B-4F5B-4ED3-8ABF-98AE675A077E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7ecd2d3ae1d3dfca86ff8d6ec61198bf541cfd6","datavalue":{"value":"performance evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6584558$D3894CD3-8150-45D0-99A9-A1E62EAD7A4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14fdb321d63e54de1f24ee42307b3934b281d990","datavalue":{"value":"probabilistic model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6584558$6A1C2603-B83F-42CB-B08C-24B42FF97FE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f828563fee5a57e5f16da87a79378ac587cea3ac","datavalue":{"value":"simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6584558$416E43C9-2435-41FE-A400-F821A1B1CB13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"015d53df36ae9acd1f8775cfe587734e55d5e5c5","datavalue":{"value":"statistical model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6584558$F1132AFD-C27F-45B1-BE82-5AB861447638","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":"Q6584558$3D9BD3E8-45DE-4C1F-9C4B-7737261331A1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc15b0dfb485a1f368b9b066b281cecdde90a27c","datavalue":{"value":{"entity-type":"item","numeric-id":6488993,"id":"Q6488993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c181e9756ed5602a590484e670fa65c503b02dfa","datavalue":{"value":{"amount":"+0.9569448828697203","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":"Q6584558$DBAB1E94-2633-445A-851D-7C6E5B4A2018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d525d70193c8b89422155ebdd47eeea66511a845","datavalue":{"value":{"entity-type":"item","numeric-id":3303930,"id":"Q3303930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"889a95d4b0eb2bc0984462813baa59003e005383","datavalue":{"value":{"amount":"+0.8299466371536255","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":"Q6584558$F9066C99-AAAC-45A2-B3FC-B5CB36B950FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac947bbfd86dbf710844c44c2e262e4fba7b3c6a","datavalue":{"value":{"entity-type":"item","numeric-id":2912690,"id":"Q2912690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecc57a86839f00711c99dfb7a688d60ce61306ca","datavalue":{"value":{"amount":"+0.8067797422409058","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":"Q6584558$54053EDC-A1FB-439B-A880-E5B0230792F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2775d8b4c5076bddd3deb3580cc5c12e6dd1ee33","datavalue":{"value":{"entity-type":"item","numeric-id":6535989,"id":"Q6535989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e767844570e66d310397109aee3478c7178428d6","datavalue":{"value":{"amount":"+0.8035935759544373","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":"Q6584558$01AF766F-171E-4CBA-8130-8784E61576BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7892b33ab909e8ae2d9ada76f4b93abd29a05f0e","datavalue":{"value":{"entity-type":"item","numeric-id":1951578,"id":"Q1951578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"837debe4d6c37fa1d1cac3879273ae9dca6fa09c","datavalue":{"value":{"amount":"+0.8001507520675659","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":"Q6584558$B85FC2C0-F35F-4624-B861-7A84F4CFD9FE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6584558","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6584558"}}}}}