{"entities":{"Q6535679":{"pageid":14146822,"ns":120,"title":"Item:Q6535679","lastrevid":57343893,"modified":"2026-03-30T14:05:31Z","type":"item","id":"Q6535679","labels":{"en":{"language":"en","value":"Compositional probabilistic model checking with string diagrams of MDPs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7798092"}},"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":"Q6535679$8400697B-8953-4AA4-AA10-66AFE5677B42","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"37b962f45c4cbe5c193b6314b8458ec8bac5f227","datavalue":{"value":{"text":"Compositional probabilistic model checking with string diagrams of MDPs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535679$5CD15557-E7D3-4202-B46A-C26D6A659A98","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5e43ecc885eedb151dbdcb3543a5f69d037c015b","datavalue":{"value":"1547.68458","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535679$3F64B8AC-3FEE-48BC-AF4B-1534A6D8871F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2d72abc57ce6a3fdd23dfbc0e0ca5c34b7a65e1f","datavalue":{"value":"10.1007/978-3-031-37709-9_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535679$01E09F92-29AF-4ED5-8A2B-3214AAE7676F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0075d00bb2b1ce19961686191d4ab8eba1806148","datavalue":{"value":{"entity-type":"item","numeric-id":6530312,"id":"Q6530312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535679$81344696-36DE-4C89-8618-3E05B7323242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d7d0201a046efc2bef201d7a7e62845658b50e0","datavalue":{"value":{"entity-type":"item","numeric-id":2117252,"id":"Q2117252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535679$B0D42CD5-23C9-4BD3-8951-89EB8DD21DD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6c5047119a2367a11254d195462d65d22f2a042","datavalue":{"value":{"entity-type":"item","numeric-id":2029492,"id":"Q2029492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535679$7B8A8529-802F-4364-84BC-F15D5BAAF74A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"51cd88fb1b2aefd4c08f2ad3c00c3b181b0a54cc","datavalue":{"value":{"entity-type":"item","numeric-id":265808,"id":"Q265808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535679$956336D2-DE29-484F-B883-A8F3D527B456","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ee76859de6cb7315119a0b9d8fb63ade5f4cb1a2","datavalue":{"value":{"time":"+2024-02-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535679$7365F7F4-E3CD-479E-BFA6-35A70598C01D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535679$C3827AB7-CDB7-4CC9-989D-5FFA5BC0BA2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e4ea2daeca0cfefc07be3dd0f659dafac4cea2cd","datavalue":{"value":"18M30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535679$15E5C6D3-4377-41E5-9DD5-1FDBA8B933EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"377d3ab03372cff12915e0de0374438ff70c3716","datavalue":{"value":"90C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535679$C1F08D33-A622-45A8-A859-502829C9AA28","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d6835d303b77eff1cb489464644e426be16942fe","datavalue":{"value":"7798092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535679$6C6E1365-4424-401F-9726-61A4D49E8B2F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535679$1410FAB6-8D17-4374-A911-3206E88893AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dfba264ed923dd13e3004a251bcdab07ddaa86e","datavalue":{"value":"compositionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535679$CE5C4D93-96AD-405A-B61E-86095D83D0B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8cfb635100bcc8a85463e6beac1ce534f15033d","datavalue":{"value":"Markov decision process","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535679$7B857741-B22A-48EC-B24E-5427435FA0A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5685485f4c27abda29cd481c0486a1adb54b3a91","datavalue":{"value":"category theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535679$1813AC93-8729-4033-8EEA-E8845DA51A9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fd3ac1520877b376a20ec113028993130e619df","datavalue":{"value":"monoidal category","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535679$3FD07D62-8E8F-4184-8982-7FB89AF54AD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57ec777a540f85e174b77cc75c70e39afe935bdf","datavalue":{"value":"string diagram","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535679$7AB7E53E-000F-4A34-87EB-DFB936B10F8A","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":"Q6535679$412AED25-AFF4-454B-B8E8-839C8DBE9000","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535679$DF6DB506-3009-4BA4-95C8-0B3193B047A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb2aba762f58a59e3e7067ff0c4d36de2a60d533","datavalue":{"value":{"entity-type":"item","numeric-id":3303934,"id":"Q3303934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535679$D7DC3768-FCC2-45A1-8719-D1BC58B948F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0967f07b57addb157d54cc7fba4da18bf91f4125","datavalue":{"value":{"entity-type":"item","numeric-id":3204034,"id":"Q3204034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535679$AE725873-193F-4A7B-8483-6537ED8ACF59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90f212fb967f9a9d9854f9848f7aff4d399d7a98","datavalue":{"value":{"entity-type":"item","numeric-id":4204146,"id":"Q4204146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535679$61D7C09B-E4D3-49F7-9F18-4291D32EE0F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b373b91c514398e561fcddaa053ec9def77cb714","datavalue":{"value":{"entity-type":"item","numeric-id":5223344,"id":"Q5223344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535679$9CC60287-2DB3-4C5E-BF82-8554D860DA99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11786151c6ee561457e03d3ec122fa0db6dfcb47","datavalue":{"value":{"entity-type":"item","numeric-id":3178284,"id":"Q3178284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535679$C863C55F-8D6E-4CA6-B600-01205F4B30CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"695bc96844a6532cec9ea6de1983164ebdaf6cb4","datavalue":{"value":{"entity-type":"item","numeric-id":4877674,"id":"Q4877674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535679$3DD21577-6D86-442E-B95A-E41D5EE4B625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a600220d63f8fcdb69a57f6de01db9d73b18793","datavalue":{"value":{"entity-type":"item","numeric-id":6487314,"id":"Q6487314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535679$9127105E-314D-451C-B2DE-5DA6D609B9CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2be95284d62b9ecd15a87bdd8a83a819887fa7d","datavalue":{"value":{"entity-type":"item","numeric-id":698687,"id":"Q698687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535679$3087941C-B5FE-4227-B2F1-EAC0C98BBFE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47240905522e81697c9e35bfd396ff2b74e83a0c","datavalue":{"value":{"entity-type":"item","numeric-id":386007,"id":"Q386007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535679$2662C336-CF54-41A1-BFBC-0C32E57E9E63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535679$A6A3FB6A-BDBF-40AE-B237-D2A548967E5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8c2eecaa019d2eaa208d6ac51a516597ddb9b6","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535679$0EDA4690-886B-43E4-B706-4531CDC29FE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebeda4a7b20eac39691c666f3d07a79d0f6f334b","datavalue":{"value":{"entity-type":"item","numeric-id":5275356,"id":"Q5275356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535679$C59FD13F-A875-426E-942C-8E2157AFEE0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00c2f6c744899c9b7e2b29ad4c31bd02c8854aee","datavalue":{"value":{"entity-type":"item","numeric-id":1990499,"id":"Q1990499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535679$041862E1-1D98-479F-9A4C-C3E4E87EA319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"948e36bd4b64276c17bac9cfb434a91478bea826","datavalue":{"value":{"entity-type":"item","numeric-id":4635663,"id":"Q4635663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535679$4DFBFFCC-EA2C-4720-A51F-45D13C76A256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14d6361805e8e1d36ece1098cd8856cde2af4a5e","datavalue":{"value":{"entity-type":"item","numeric-id":6653762,"id":"Q6653762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535679$77C43D5A-F472-4F57-B187-4E1AC8FB5365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6db2c11f2bf4a32f6d59ae595c38f27d3feb09b8","datavalue":{"value":{"entity-type":"item","numeric-id":6535679,"id":"Q6535679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535679$4BDC2E37-4C6D-4472-8DB5-295C5B291490","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66cabb67c55ae176250c6d1e0e1c522c2cc3f409","datavalue":{"value":{"entity-type":"item","numeric-id":2894560,"id":"Q2894560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4c5164ca590005c79535ab6408195f9f739a5ab","datavalue":{"value":{"amount":"+0.7833502888679504","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":"Q6535679$71DBC9FA-B1B2-43E3-A2E0-90CB27A924A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"313d0dae2625133f96ad04f51eb7cdccd127f47b","datavalue":{"value":{"entity-type":"item","numeric-id":3176386,"id":"Q3176386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62eaa256e01376714f9fb1459e5806ee671a7a12","datavalue":{"value":{"amount":"+0.7607332468032837","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":"Q6535679$7BB98F43-94A5-44F8-8EC9-A8431578F5CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fcf14b2fe8d7eeaec2be31bff92044513eb60a6","datavalue":{"value":{"entity-type":"item","numeric-id":3623004,"id":"Q3623004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4392ccce114e6114b59ede52c42c6279be37d5a5","datavalue":{"value":{"amount":"+0.7477716207504272","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":"Q6535679$6104EB5E-F1DE-48C5-9DC5-74D7569E1215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89da0729a847f4865c3e8aa8ea876ecab447aae1","datavalue":{"value":{"entity-type":"item","numeric-id":4571974,"id":"Q4571974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fc38a5555d6fbc8d9cba27175b10bebc79a63b2","datavalue":{"value":{"amount":"+0.7475191950798035","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":"Q6535679$0DDE9BDC-372E-4A7B-BCC2-CC33264D9B17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49eaf73ddd65bcc0c361cb9aef2d62d5fceade83","datavalue":{"value":{"entity-type":"item","numeric-id":5758101,"id":"Q5758101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a7b3c9452724068e40d6a7b23b40bc1bf86c62a","datavalue":{"value":{"amount":"+0.7466128468513489","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":"Q6535679$8F7C4325-1364-443C-9F6F-E837F8227E52","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535679$C067272E-326F-4F86-B317-F4F108651C4C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535679","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535679"}}}}}