{"entities":{"Q2482725":{"pageid":2493468,"ns":120,"title":"Item:Q2482725","lastrevid":50342159,"modified":"2026-01-13T20:51:22Z","type":"item","id":"Q2482725","labels":{"en":{"language":"en","value":"Deciding probabilistic bisimilarity over infinite-state probabilistic systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5267045"}},"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":"Q2482725$5008D75B-B3BE-4093-A35B-00E605B9D9BA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9d3de0acb3c323cb134ca8edbad3926119892d17","datavalue":{"value":{"text":"Deciding probabilistic bisimilarity over infinite-state probabilistic systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2482725$C658ECF0-BCB0-43BB-BA12-F7B64979DBDE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"044dbafaf2a2a085257e978dd6190c00966ef08d","datavalue":{"value":"1138.68039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2482725$5C772E30-254C-49CC-89F1-070296A35F65","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"90164f212d81b9976368c619f577477b4b6d4fba","datavalue":{"value":{"entity-type":"item","numeric-id":340567,"id":"Q340567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482725$4FCEB445-980C-4D9B-B1EC-AF771887BDE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3e518c334d462c26c60c459e716d0942607e70d","datavalue":{"value":{"entity-type":"item","numeric-id":235697,"id":"Q235697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482725$8D261F98-ABC7-4FC6-BCAB-61CD984C72DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"16d7c702fdfb922b207b03633f72f86ac4cae3a8","datavalue":{"value":{"entity-type":"item","numeric-id":2482724,"id":"Q2482724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482725$C7209035-B2F6-4952-99A4-D94FF4C4CD21","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482725$9F92B57D-EA9B-43B1-824D-D269B5F7C3DE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9cf324988b0ab84cd79ea617d0af4c4a5423fc8a","datavalue":{"value":{"time":"+2008-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2482725$7F4EDF09-6D46-428F-827F-C73DBFDF5AFC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2482725$2C203F53-F09F-4317-8866-C62636DA17F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2482725$F7B6CE7D-CC92-4B46-8135-285C89768191","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9b78cce49a18d131c0a7b6030a38717b37828633","datavalue":{"value":"5267045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2482725$35A18ED8-A3D7-495C-80EC-77FC7A902F05","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbe301466164a791a9f41d0ef690df9b2d2fe1e1","datavalue":{"value":"probabilistic pushdown automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2482725$EFC1F4A9-191B-4425-B487-A26359939718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a2003496f989f52f10d8eb5f5940609debfc871","datavalue":{"value":"finite-state systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2482725$27648F7C-422A-4EC7-A6DD-8D2AAB5A3C02","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":"Q2482725$ECC9E894-2649-4B5E-B944-991705423A2A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9e46a018149353c0ee578cd7088618aeee59f081","datavalue":{"value":"https://doi.org/10.1007/s00236-007-0066-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2482725$52B32370-3DE5-423C-8807-9A761ACB7010","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d2c67ad2771449537f5b5459410f348a4b07072e","datavalue":{"value":"W2020335855","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2482725$6E51CB49-66B8-4ED3-9C65-428262E297A4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"75f25475fd0a5da8e92445c1e41a319cf02bb138","datavalue":{"value":{"entity-type":"item","numeric-id":4536611,"id":"Q4536611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482725$89D93D7E-D520-4DF5-8A6A-E1EEA4B9F3A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a35bc4e118771844ef76c16e6fe36c1a85cf17a","datavalue":{"value":{"entity-type":"item","numeric-id":2573634,"id":"Q2573634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482725$8289E3D1-0BF0-439C-A8F2-E5D0BF798ABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b55f6a4bb701d509cfb1adecc9a47f001f6842d3","datavalue":{"value":{"entity-type":"item","numeric-id":4417850,"id":"Q4417850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482725$2799EF32-DF27-4CAB-BA9D-2D0FEDB30652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"046a2eb18cc46928e497b0f01f78c5782db2b2a3","datavalue":{"value":{"entity-type":"item","numeric-id":4518905,"id":"Q4518905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482725$CB426245-631C-43EE-9526-3A25D0AEEC34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a5fb5fbffea037d21a74110d86acc10df1cb367","datavalue":{"value":{"entity-type":"item","numeric-id":1090103,"id":"Q1090103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482725$3C3A1CCB-A26A-45A7-A885-556A500B0DC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dcd4c18e79c269cfae68a065b6b3c1e9c3331c8","datavalue":{"value":{"entity-type":"item","numeric-id":1045897,"id":"Q1045897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482725$9E9B831B-100B-47CC-9D38-8E21678CA0D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a169adab299c12720908aa76c8eb974acaa7ce27","datavalue":{"value":{"entity-type":"item","numeric-id":1029062,"id":"Q1029062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482725$0CA12328-67D7-471B-9BD6-B19091F6E5F7","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":"Q2482725$BA1F0519-0525-4D26-B151-B95A5D86B044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65300011dbd99e75e92f51cf31c765d376c54820","datavalue":{"value":{"entity-type":"item","numeric-id":5897784,"id":"Q5897784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482725$97754685-131D-468C-8128-8EA56FEF5C00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e78abf06cd43bc8b5469b6b54f3aaf21e033b53e","datavalue":{"value":{"entity-type":"item","numeric-id":2760246,"id":"Q2760246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482725$0952740C-14B1-40E2-A2AD-21849508A217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97ee182ed547c34efddf0b14b92016a0567e7200","datavalue":{"value":{"entity-type":"item","numeric-id":4484499,"id":"Q4484499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482725$AF04BF74-E04B-4408-A88D-58D9ED91E38E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c71ee253892b177799592f03938a61eb6c7732cc","datavalue":{"value":{"entity-type":"item","numeric-id":4369884,"id":"Q4369884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482725$0BA3A724-22C3-4146-806F-236684FA177B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ce3da468c7ac65c043f6875e0dadc26c21b6cb4","datavalue":{"value":{"entity-type":"item","numeric-id":5703763,"id":"Q5703763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482725$A321DB03-775E-45D1-88CA-7DB0B04C3012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b1af63d4fb1b182e57889faf02ebb0ec9fbb312","datavalue":{"value":{"entity-type":"item","numeric-id":5710687,"id":"Q5710687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482725$37805E57-90BC-4F99-89E3-41A4F913130C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e53d9e53c3c574e8c7675f6ec5036e8ca0ad199b","datavalue":{"value":{"entity-type":"item","numeric-id":1343864,"id":"Q1343864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482725$6B354DC7-45F1-4AAC-BE76-34331E4194DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aa72f87654ba7f41667d5c3d8d163316ecad186","datavalue":{"value":{"entity-type":"item","numeric-id":2760248,"id":"Q2760248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482725$76786A67-D2EC-4A38-A04A-86CB2A2F1B1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69eefb1154fac65c805adaf4f176dff9eff04004","datavalue":{"value":{"entity-type":"item","numeric-id":4673421,"id":"Q4673421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482725$E7439493-4EA7-4A72-AD31-E0209FB36354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ffbb2a00ae3c06220852f238ea41cfa8cb8aa4","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482725$1C78BEF1-A38C-4DF2-B0D3-E03BDBFF43A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e29b714919e99e3dba0945d70c713ae84aea8bc","datavalue":{"value":{"entity-type":"item","numeric-id":4449237,"id":"Q4449237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482725$184954C0-B13A-4114-BF1C-C86A92386A27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"076100eee5d25782e29f49609d41790dc5c67318","datavalue":{"value":{"entity-type":"item","numeric-id":4847023,"id":"Q4847023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2482725$C66D0D43-0FF2-41D7-87F2-0E13A789F441","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c16b90d7650ce9bc72af3ecf0dc4bae05f1a825d","datavalue":{"value":"10.1007/S00236-007-0066-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2482725$BBCA8F07-D3A6-4CDF-A545-746E617248BB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad61201d57158c30f31d86e3c9758d60fc0f2ebf","datavalue":{"value":{"entity-type":"item","numeric-id":5311474,"id":"Q5311474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ec92c2ff25c626daa6979eda751e290f3c4ccdb","datavalue":{"value":{"amount":"+1.0000005960464478","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":"Q2482725$F760FE67-AE67-4533-A049-20940B01FE83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0778fce5f038ff94e9b15dfe10ac3eb3c81de816","datavalue":{"value":{"entity-type":"item","numeric-id":2911645,"id":"Q2911645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f53217b0aeb06b6bf2c7ccbf9eb7a0f83395290","datavalue":{"value":{"amount":"+0.8683982491493225","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":"Q2482725$F02A38B3-4D3B-4EC3-B0A3-7C3180707EB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e7e4c50b9634c7b85fadd08ba19b5e22706b7e6","datavalue":{"value":{"entity-type":"item","numeric-id":2957520,"id":"Q2957520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c58b5a64cf6213360e3c59c26cd9fcea14a6e2a9","datavalue":{"value":{"amount":"+0.8643278479576111","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":"Q2482725$B4D63D54-C7E7-4087-B4C2-996F23964BF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f59fcd5990d17143e4f36296d4d904cff771706b","datavalue":{"value":{"entity-type":"item","numeric-id":4484499,"id":"Q4484499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e39988761c82c3ebae31b58713d4e5f8fa24eff","datavalue":{"value":{"amount":"+0.8594056963920593","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":"Q2482725$3D2BD2AC-8CA5-43DC-AB95-C1C317E99BC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a891728df5723943b77f7af401f6fac27a3b5b6b","datavalue":{"value":{"entity-type":"item","numeric-id":1975973,"id":"Q1975973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8273d6acd7d94dd818cadde44f78f1907acf8683","datavalue":{"value":{"amount":"+0.8554954528808594","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":"Q2482725$681969A8-BC97-427A-95FD-431E193B30AE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2482725","badges":[]}}}}}