{"entities":{"Q896909":{"pageid":898757,"ns":120,"title":"Item:Q896909","lastrevid":65171556,"modified":"2026-04-12T00:47:28Z","type":"item","id":"Q896909","labels":{"en":{"language":"en","value":"Multiphase until formulas over Markov reward models: an algebraic approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6521247"}},"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":"Q896909$F6FF6AA3-04D9-4407-9762-8E57A1F309DB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"02e4430eb3da3bd1ce9aea85415f7ba5c844204d","datavalue":{"value":{"text":"Multiphase until formulas over Markov reward models: an algebraic approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q896909$0D62DA69-2075-4450-95A0-144470869F94","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"52475105127e00870d88e7af62b81d372a3afe72","datavalue":{"value":"1332.68143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q896909$90E92869-95E3-4756-A1C0-5909E7D5D822","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b03791e3ab103896b9378efc57bae42ca7928ba2","datavalue":{"value":{"entity-type":"item","numeric-id":480649,"id":"Q480649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896909$0E3AC655-05DE-46EE-87F0-FDDDF2823386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4c3f057a0d48aefd1923ddd9c2ff240d2a12acd4","datavalue":{"value":{"entity-type":"item","numeric-id":896907,"id":"Q896907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896909$30184EA8-6A4B-4B57-A524-22E2B63642F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d80cc90e4177e64d10862621f6d70af7c5a84a1","datavalue":{"value":{"entity-type":"item","numeric-id":299201,"id":"Q299201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896909$3BDEC4F0-2F21-4A7A-9E4E-258BB97D403B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3202896e447c82918ed31c483d5c02430ab6c04e","datavalue":{"value":{"entity-type":"item","numeric-id":896908,"id":"Q896908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896909$9AE6DED9-74B5-43F8-9923-2440CD80334C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5894425868796c1c566a284833508f3ef0277bc9","datavalue":{"value":{"entity-type":"item","numeric-id":764615,"id":"Q764615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896909$E317797D-CB03-4457-A9FB-F47C50D2865C","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":"Q896909$CD41EB44-9D54-4CBE-B16C-F87440CB03E4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bb56a7ddf3ae6dd98b64268c91e50a5f39b77eda","datavalue":{"value":{"time":"+2015-12-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q896909$007DD461-E7A7-4AC2-9070-83B0120C238C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q896909$70130376-A17F-4A34-B9A2-563647E435A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q896909$A75EB04E-BF3F-4433-AAA8-17141A49E61E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"38f861b98a2c0e6ac80c550c613e0117e5921d15","datavalue":{"value":"6521247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q896909$EF5FC0F2-2C9A-4220-9817-EAB39DF063AF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14fdb321d63e54de1f24ee42307b3934b281d990","datavalue":{"value":"probabilistic model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q896909$8011F825-002A-48B9-AFB7-49C450ADDDB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a393070ba19c49048ed36dc7caba2cea3b98f62f","datavalue":{"value":"Markov reward model","type":"string"},"datatype":"string"},"type":"statement","id":"Q896909$0859F60A-8C30-4904-ABEF-41CEBC6C8238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05680d72650c9f3cb8c1d4805be50342a734d649","datavalue":{"value":"continuous stochastic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q896909$7E370F97-69BC-40CE-B463-9E089D9869D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e5972be167823369a5d1b26bff57b03e8b3e7a0","datavalue":{"value":"cylindrical algebraic decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q896909$4F1A28C0-9057-4696-A0B1-AF894668A88E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eea1a3bb6a1dc1aec9f65aabe006f9bfe784c7d","datavalue":{"value":"transcendental number","type":"string"},"datatype":"string"},"type":"statement","id":"Q896909$B4C2CAEB-B8AE-4597-BD61-B2094F72F04C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b1d7c89f8c4a43a132064ef87f7add4215ef6c5f","datavalue":{"value":{"entity-type":"item","numeric-id":16314,"id":"Q16314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896909$D6B8B7E9-0E0C-4391-BC1D-AA90B038D0AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896909$4739EA5E-71A8-493B-AFF8-56486FA1DB53","rank":"normal"},{"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":"Q896909$71AD4F12-5596-447D-9393-903467F95C1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fed35f2083e1592d074e2b779038b334adec1c0c","datavalue":{"value":{"entity-type":"item","numeric-id":16433,"id":"Q16433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896909$41BBA816-3336-4681-8AFD-4349C42F8113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2645efed9743ae7f0dad38d6a8670e53b11b33b4","datavalue":{"value":{"entity-type":"item","numeric-id":19750,"id":"Q19750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896909$D512FFA6-5EF6-424F-9435-EF86D2047E03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c10d3569fe27c8b0192aff36265d70bced5a5b33","datavalue":{"value":{"entity-type":"item","numeric-id":52641,"id":"Q52641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896909$A3B11FC1-604B-40F7-A7BF-204E079BD449","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":"Q896909$9716E2A4-08F6-407E-946D-4324ED80B907","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2ab520d1f2209933fa43f853ba8ce2ccc8d0d054","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2015.07.047","type":"string"},"datatype":"url"},"type":"statement","id":"Q896909$ADCC292C-EAD5-4617-AF82-A811E0898DFE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"12d546b8bed78e70aaaf802f61f553082d7eb718","datavalue":{"value":"W1014907731","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q896909$6CA91037-0E7B-44F9-8798-545452850A8F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fff77768c6b0ca77f3146f58c6bcd666e8eaaa54","datavalue":{"value":{"entity-type":"item","numeric-id":5717503,"id":"Q5717503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896909$58FA6B86-3FAF-406F-96E1-6411B929815C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43ad1ab54b23b73f3dd3be2c2755d443e1cf5626","datavalue":{"value":{"entity-type":"item","numeric-id":5458326,"id":"Q5458326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896909$035E815E-11D4-474D-84EF-C1FF8CE14C46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3686167e62f64deb45d5189b12825da8941b40bd","datavalue":{"value":{"entity-type":"item","numeric-id":5187396,"id":"Q5187396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896909$8FC7CE30-0E5A-44A7-9740-AFD117FE9BC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f17eac7d063067ac67c6ec6c4277d393afe0f7b","datavalue":{"value":{"entity-type":"item","numeric-id":968359,"id":"Q968359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896909$3EF18079-5D27-451C-854C-35FBF8689CC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d022874c2fe7d58d1876938350ab409ec9766ddb","datavalue":{"value":{"entity-type":"item","numeric-id":2754196,"id":"Q2754196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896909$3883DE65-3FD5-49AF-B510-F73449061485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"061ceb32f196efab4e3492cc20506efef48ae10b","datavalue":{"value":{"entity-type":"item","numeric-id":4270055,"id":"Q4270055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896909$994C97B6-7D9B-4989-AA5E-C41043F0C6EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c15c65f7cb4bb603b7e190ecae8ab47753e2f970","datavalue":{"value":{"entity-type":"item","numeric-id":4050665,"id":"Q4050665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896909$3BEDD1C4-6642-4DBB-B257-C6D4BB73F26E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8e1d8c7e0f6806f8199bcbbfb3384c8adc11aa8","datavalue":{"value":{"entity-type":"item","numeric-id":4155802,"id":"Q4155802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896909$D49192E7-3FA5-4DB5-BD81-C03279AE12F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ce71a5e212a8c5cd65d66580e9075eb5aa319ca","datavalue":{"value":{"entity-type":"item","numeric-id":2956706,"id":"Q2956706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896909$DB48C082-7FBE-4BF0-ABA8-0FC00EB3EBC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896909$26305DF7-FC6A-4735-B6BF-9F46326DAA09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4d7798eba50e0ffe1e4306d4a4aa338f6be7be4","datavalue":{"value":{"entity-type":"item","numeric-id":4079605,"id":"Q4079605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896909$670A1C1A-2817-47E4-810D-AA6AADD1FD30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"171f2f23484cc563361b9a949250d7cf0cf0889e","datavalue":{"value":{"entity-type":"item","numeric-id":2479551,"id":"Q2479551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896909$DF88F47F-36C7-4C6D-A7FD-F6D815CD581E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896909$4E5825BB-6651-4766-AC2A-40557D1155D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf20f100efbc1f78e7bc0e6a231244b5073f6a98","datavalue":{"value":{"entity-type":"item","numeric-id":1941693,"id":"Q1941693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896909$7A0EAE86-F709-4C8B-BD4E-9AF3B40F386B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"759f10c008c866f6a48ed18a8ccbe615cd971094","datavalue":{"value":{"entity-type":"item","numeric-id":4426329,"id":"Q4426329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896909$DCC1EEAD-0474-4516-A19F-2E8268844A72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f907d75612b0bd82eeef2f97ad81b622c6654cdb","datavalue":{"value":{"entity-type":"item","numeric-id":4324960,"id":"Q4324960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896909$5C262EFE-FE24-4053-A401-EC80D4A8806E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efa72f8154736520547a4a199a19099b160e4f00","datavalue":{"value":{"entity-type":"item","numeric-id":2871582,"id":"Q2871582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896909$25647C9B-26C4-4495-ACE6-833E6149CE7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fe7e18dd9e959785d18ca6320e54777dfaa7625","datavalue":{"value":{"entity-type":"item","numeric-id":3012926,"id":"Q3012926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896909$07BCA733-EEAD-4450-B81F-4A47CBE9E416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56688f210dd957ad263b4e14f6563108f3d1dace","datavalue":{"value":{"entity-type":"item","numeric-id":2904612,"id":"Q2904612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896909$C0A4D064-AC92-4185-838C-219B894ED5AF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"293c0e56ae04e249d58b58eb6391b8b01aa3b78d","datavalue":{"value":"10.1016/J.TCS.2015.07.047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q896909$757F0D79-7214-43DD-9E87-9661BC88D89A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"976f4f696a2152be24feaad5e094e39488e32b04","datavalue":{"value":{"entity-type":"item","numeric-id":968359,"id":"Q968359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d887767e886a2356e266f0dddb1ed5ff84b2b38e","datavalue":{"value":{"amount":"+0.7890285849571228","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":"Q896909$0A7A815F-C984-4B3C-9BBD-2293C84E5F10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"315c3203ce6dadba812d13c3638d7ba4c5d792cc","datavalue":{"value":{"entity-type":"item","numeric-id":5717503,"id":"Q5717503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3359d5384bfc6bcc199f7a2ed3def42e5c258d40","datavalue":{"value":{"amount":"+0.7880445718765259","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":"Q896909$40D29B5E-AF51-4006-865A-2EFE5869196C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df6cb31b97ac514b6022e7162a9f4fcc73cbefa8","datavalue":{"value":{"entity-type":"item","numeric-id":2754196,"id":"Q2754196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de6c1d947a8b8e71b831a621726d800403a3c432","datavalue":{"value":{"amount":"+0.7825368046760559","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":"Q896909$3EB5F541-AB3A-447E-9A00-3B8CA789AFFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e86c268dc1acaf66e0136a2fe8d43f16d7d0ea7","datavalue":{"value":{"entity-type":"item","numeric-id":5738903,"id":"Q5738903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"541678b29f32a078c620deb3bfd56c7782799311","datavalue":{"value":{"amount":"+0.7709225416183472","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":"Q896909$99957C5F-FBCD-4F7F-819A-99A8FCEC01A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e8d2414a46eb827c1c0213f4d7f060654e6882f","datavalue":{"value":{"entity-type":"item","numeric-id":4910430,"id":"Q4910430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a292fe9f09f47cdd0edf04beeb9133aea24a982","datavalue":{"value":{"amount":"+0.7647625803947449","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":"Q896909$1F414C8C-3EFC-41DB-8141-729B684EE1F7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Multiphase until formulas over Markov reward models: an algebraic approach","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Multiphase_until_formulas_over_Markov_reward_models:_an_algebraic_approach"}}}}}