{"entities":{"Q2814625":{"pageid":2825363,"ns":120,"title":"Item:Q2814625","lastrevid":52561637,"modified":"2026-01-22T23:36:09Z","type":"item","id":"Q2814625","labels":{"en":{"language":"en","value":"Finite-horizon bisimulation minimisation for probabilistic systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6596666"}},"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":"Q2814625$BBE9B1A6-9266-4B87-9512-6A8E073EDEB7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8dc5e7879b4df99d82c4d0aa220c3fc889a6ab54","datavalue":{"value":{"text":"Finite-Horizon Bisimulation Minimisation for Probabilistic Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2814625$3D223AF4-D42A-4AEB-A1E7-3CC781EC5F8D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"936bd758c33f68484d6087f688ade6bee972b32c","datavalue":{"value":"1354.68197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814625$12F470C6-0B83-4138-8B88-EF004BE2F4E5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6b6c6c8b5279039368af32c60f0ed456fe008b14","datavalue":{"value":"10.1007/978-3-319-32582-8_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814625$9AF3632E-CB99-4564-827D-7833BD6BEDA2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"522e9e5b50831c9c990a6ebdcfb4c44f217acf10","datavalue":{"value":{"entity-type":"item","numeric-id":2814620,"id":"Q2814620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814625$37B036EA-DEE4-4ECA-9306-221FE6555204","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1d83d2543337a9f3c481a9dc8012543a2c71e114","datavalue":{"value":{"time":"+2016-06-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2814625$03348F59-16F9-4A8A-86AA-97C05C3B47FB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7df08ef1e5e93f2b20474df09b160fa598240f67","datavalue":{"value":"http://pure-oai.bham.ac.uk/ws/files/26143229/spin16fh.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2814625$9781E273-045A-427F-80E4-2EA896F36689","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814625$086EB978-BF3D-4838-A091-1918896B18F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814625$DBF87E50-7531-4197-BB52-ED8FFCA54B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814625$E2472339-2D6B-4E42-B371-85BBD2F303B9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"83cfa5299ba59ba8de49c39f1162fd0e1272e150","datavalue":{"value":"6596666","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814625$C36339EF-159A-4BD6-BD27-7DBC21E386AC","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":"Q2814625$47EB681C-0E35-46F1-BF3C-8DF631FDDF1B","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":"Q2814625$3EE7E20F-B8F2-4F3B-B957-4CC9451036E4","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":"Q2814625$C0E980E8-7532-4FC7-9793-C4CB59926336","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5a854dcc618662e424998faa477a9d4e1ce70b3b","datavalue":{"value":"W2461571952","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814625$BC5F2564-68B3-4FBD-9A6E-9A1207B5C752","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b137604a0daeff5c2df2a33529c8e85989905268","datavalue":{"value":{"entity-type":"item","numeric-id":6771648,"id":"Q6771648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814625$11030FD6-44CD-4901-8447-BEA0E93D30EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bb59c023eb1ef5529536baede1d4d9c62465c33","datavalue":{"value":{"entity-type":"item","numeric-id":4139715,"id":"Q4139715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814625$90C4E0B1-AFE0-401B-99FB-AAC33E6D5020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6e61cd4e28050dc8f42281b3df1172e7f80367f","datavalue":{"value":{"entity-type":"item","numeric-id":388148,"id":"Q388148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814625$3A47F142-5D02-4874-9F7C-F0F6CDA9FB70","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab192548c933c02945f838469509d0576f8dd36c","datavalue":{"value":{"entity-type":"item","numeric-id":5758103,"id":"Q5758103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e1a99ade46a9cb3a7526c13a36fa4b5354b1df3","datavalue":{"value":{"amount":"+0.8385328650474548","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":"Q2814625$D37B7234-8B83-4F37-8CDB-F551854D8236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8aa73dcb90d071c69531cfdd5ac3348ff02812ae","datavalue":{"value":{"entity-type":"item","numeric-id":2926637,"id":"Q2926637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a9ba124cd027a6890adb562eac1730c008bb058","datavalue":{"value":{"amount":"+0.8153350353240967","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":"Q2814625$CA8F8D81-37B5-4256-8E1B-115E7B58FB0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77a1436ccda20475d9fbfd926307ca5c1c202c10","datavalue":{"value":{"entity-type":"item","numeric-id":5756747,"id":"Q5756747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c1c4bbaaa0e91e89fae6ef602894e7598766911","datavalue":{"value":{"amount":"+0.7743749618530273","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":"Q2814625$3C1D0268-1F80-43ED-9FB6-7920DA96FBBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28d2ea00a2382793338661ad6355dfc8665986cd","datavalue":{"value":{"entity-type":"item","numeric-id":906254,"id":"Q906254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"584fcc18fb60e33c49614e8756e85ebf5ffe5fdc","datavalue":{"value":{"amount":"+0.773459792137146","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":"Q2814625$7F8FDA8C-83BB-448C-95C0-CFE30C531A07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"776d703f8bf8dbf0c609d57436577b728e627850","datavalue":{"value":{"entity-type":"item","numeric-id":2152665,"id":"Q2152665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48a8d269dc128b8bb41e4db545b545672bc87639","datavalue":{"value":{"amount":"+0.7613617181777954","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":"Q2814625$5C0BFC36-69E0-41C0-9109-72ADDD7BAC1B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2814625","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2814625"}}}}}