{"entities":{"Q2491633":{"pageid":2502376,"ns":120,"title":"Item:Q2491633","lastrevid":49843120,"modified":"2026-01-11T05:42:14Z","type":"item","id":"Q2491633","labels":{"en":{"language":"en","value":"Branching bisimulation for probabilistic systems: characteristics and decidability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5028691"}},"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":"Q2491633$75251C53-249B-4908-868C-A28319E6D240","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"940b32e87e0abd017e25e3af465598fab2876ca0","datavalue":{"value":{"text":"Branching bisimulation for probabilistic systems: characteristics and decidability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2491633$3667EC6F-502F-473B-B0BA-3D983E11A859","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"30a24e5096b589444ed7d5780b3c0477e8d80791","datavalue":{"value":"1092.68062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2491633$F556C2A2-D939-414B-B991-980420FC1885","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d16005753db8d274fdeef9a295ce92917824fddd","datavalue":{"value":{"entity-type":"item","numeric-id":764286,"id":"Q764286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491633$4668DC2F-0B44-4E30-A54A-D5047657FC63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1cca7caa26c1edecee311baf10734f3d68d8795b","datavalue":{"value":{"entity-type":"item","numeric-id":960854,"id":"Q960854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491633$FCB744D1-886E-46C5-AD8B-D924ECA363DE","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":"Q2491633$959E7853-20C0-4AC2-96B8-73B0047CE61C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f15351dbed855cf0fba6286653472b73d10f2649","datavalue":{"value":{"time":"+2006-05-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2491633$AEE4ABF8-AF36-409E-B875-A8A6AC6D2512","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2787f421785f8cf4e57ffbfbb5ab242d5bbd0df1","datavalue":{"value":"https://research.utwente.nl/en/publications/branching-bisimulation-for-probabilistic-systems-characteristics-and-decidability(60d22ae1-c692-41e1-8c0e-49868198d17f).html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2491633$A5385189-430F-4E85-A935-AEB5B019424B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2491633$E4D11729-650D-426F-B54E-38F75289BA7A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5a17e14ebf410251c039c1ff79695cad11227ac4","datavalue":{"value":"5028691","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2491633$55680CFE-AD71-4BBA-AD36-25A321FADB68","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bdcb6c6a7e0b4c9bdfdd4689583b799e2a826f4","datavalue":{"value":"branching bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2491633$3A3ACA33-3518-4247-931D-81D1CCFE8C5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a43c47dec4220d9a6b5b780b7cd50a4fe76e3881","datavalue":{"value":"probabilistic systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2491633$FA8203EC-8CF3-415A-8B83-7116A1C36796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee813240c0167cadfcc6a2ae7867faa7fa900de4","datavalue":{"value":"alternating model","type":"string"},"datatype":"string"},"type":"statement","id":"Q2491633$C69E1B24-6BC7-41E1-9119-1839B21F5D98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e404e0d47002bfb1532cb42cfe324606a2151619","datavalue":{"value":"abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2491633$B492246C-0E53-4C5C-8CD2-AF65EC75BB3A","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":"Q2491633$7ED0C556-400D-40A7-A42F-2A04CEB36162","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f42570d9ae9aa9583554464a232d825e711b23e4","datavalue":{"value":"W2110586188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2491633$3C4A8FD7-02C5-47C9-8A4F-FECD45938B5C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cf0eb5674f5aee2d2425c47370db13662fd90f1","datavalue":{"value":{"entity-type":"item","numeric-id":2769588,"id":"Q2769588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491633$53ADFA41-6ED4-4193-885C-F400DDD1179A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d38f7db503657d991df255a6f2cfd8e438a30f5","datavalue":{"value":{"entity-type":"item","numeric-id":3999164,"id":"Q3999164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491633$666D6F5B-C781-4F33-A64F-D90BD74A2DFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"930cff729793c9543272b2b16970f179d3d40ac9","datavalue":{"value":{"entity-type":"item","numeric-id":3763573,"id":"Q3763573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491633$B6B4ECF9-5CB9-4B89-86C7-3453DCBB999B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"846bd11e2686d660a49438abfbbd46392b179b05","datavalue":{"value":{"entity-type":"item","numeric-id":4535031,"id":"Q4535031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491633$CE6B13F8-4467-41CE-B30D-F985590E1023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3f3de8681a56bb96adb9cc22e793c071c545a14","datavalue":{"value":{"entity-type":"item","numeric-id":4508289,"id":"Q4508289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491633$ABA75E8F-2C4F-4038-A208-41786AE0D5CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40f635a48afb14e9e530c9ca5f3f09f5973a7e4d","datavalue":{"value":{"entity-type":"item","numeric-id":4369863,"id":"Q4369863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491633$30B9EDEE-A4AE-46CA-AB14-0D3EB0CB264D","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":"Q2491633$94320280-D4C3-472F-BC2C-895AA0B106E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21c62dbd19ef1e84aaaa2b095c3c41d3e69d8080","datavalue":{"value":{"entity-type":"item","numeric-id":4484498,"id":"Q4484498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491633$B7B24F1D-7430-498E-A079-3ED9BBCBA146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fad139b4b4c762cc4e72243fb685fb474ed5bf97","datavalue":{"value":{"entity-type":"item","numeric-id":4371679,"id":"Q4371679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491633$BBE6930C-1B7D-470A-A346-3713A8DD8821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea09c38a326de51eeb6099e20dc7610f5e5b0c71","datavalue":{"value":{"entity-type":"item","numeric-id":4038723,"id":"Q4038723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491633$3653AFA2-6D68-4BD6-8438-ED85D16852D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491633$6C3F0388-61D2-4055-969F-EBE97662ABA6","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":"Q2491633$962E9DFA-BF82-464B-BBA4-28F9615EA15B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6635542395ceab89ec0442ca8322133bfddc11d","datavalue":{"value":{"entity-type":"item","numeric-id":4369871,"id":"Q4369871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491633$CD406920-34F0-4F90-A0EF-EFB067A18DC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc15cea0e01e2a84509c7d2b5a4b258a406efdc4","datavalue":{"value":{"entity-type":"item","numeric-id":4536612,"id":"Q4536612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491633$09C983E5-8C1C-458A-B9AB-F4559B8715FC","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":"Q2491633$648F4E43-AC26-4277-8A54-4B7755B91DFC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3f0bed9a261cb118b4110075b428128b25d2bac0","datavalue":{"value":"10.1016/J.TCS.2006.02.010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2491633$FD729B7E-E885-4C38-B03B-EB7BDEBBC6EB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc01bf4f87e395e8f4e7392f50e192653225eed9","datavalue":{"value":{"entity-type":"item","numeric-id":2848135,"id":"Q2848135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01685a3890fbf5d7ebd28a04ff89c544d3880f2c","datavalue":{"value":{"amount":"+0.9094161987304688","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":"Q2491633$741E246A-516C-434D-84C8-8A6D31A7CEBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9c62cb76a8298b713a03a19641d221517b1e003","datavalue":{"value":{"entity-type":"item","numeric-id":764289,"id":"Q764289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1074609877f8de1fc43d68d18c5d0457dde3a8e","datavalue":{"value":{"amount":"+0.8832939863204956","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":"Q2491633$C90B32A6-2886-45F6-9F1B-5081E8FC04FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e41003ea8d4b487b067798c7a7ca8c19bd3cfeb9","datavalue":{"value":{"entity-type":"item","numeric-id":5415667,"id":"Q5415667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d51bd56310e3e407d79d120d86665330e4d4c4c","datavalue":{"value":{"amount":"+0.86274254322052","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":"Q2491633$EA2CBB8F-05DF-4CF9-B21F-A189C3F1E60F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d61ed46f73999ff1c62562bb5af8e3fed2d88837","datavalue":{"value":{"entity-type":"item","numeric-id":3599065,"id":"Q3599065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8971987a0a60cedf8f6f567d86ed714382acbbaf","datavalue":{"value":{"amount":"+0.8549856543540955","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":"Q2491633$5908B2FA-AF1F-48E8-BF26-FCD1961FB793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b00681069ef15af0071db80d1699eed4ad63c6a1","datavalue":{"value":{"entity-type":"item","numeric-id":2769588,"id":"Q2769588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"345b6c1ac9aa7becbd92ec1a7db362cb8f24d8be","datavalue":{"value":{"amount":"+0.8224945664405823","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":"Q2491633$87F72CE4-C9B2-41BD-997D-B2DFD7156F9F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2491633","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2491633"}}}}}