{"entities":{"Q831141":{"pageid":832989,"ns":120,"title":"Item:Q831141","lastrevid":64699464,"modified":"2026-04-11T21:38:28Z","type":"item","id":"Q831141","labels":{"en":{"language":"en","value":"A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7346940"}},"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":"Q831141$84097B48-1659-42EB-B3C9-F84C850ACA9C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fcb959253f0f93084ac7611b8dff0eef1e808b10","datavalue":{"value":{"text":"A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q831141$C3D01127-0BA4-4AAA-B90A-6A1F41A4B495","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a4bc888133a10dfb9c2ac725ee2c0d5305f3592a","datavalue":{"value":"1497.68347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q831141$B0A8FD71-B119-4E20-B570-6F07E74BCD1E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0230c7e6165a30b4624bfb880a34e585dd13c43e","datavalue":{"value":{"entity-type":"item","numeric-id":606995,"id":"Q606995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831141$3119E42F-AF6D-433E-883B-50ED326DA2F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd4b76f0953196f6fe39bfffcac9dd860fc56e60","datavalue":{"value":{"entity-type":"item","numeric-id":236458,"id":"Q236458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831141$FE76DFAE-3ABA-4AA6-B968-57F9F1AFAF3D","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":"Q831141$577D1CF8-EF9F-4A9F-82B8-A2D67B289EFE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d81217b76b9db89d88b5d24cc3d5a29e7e31a60f","datavalue":{"value":{"time":"+2021-05-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q831141$7AC4FFDD-8799-48BF-BC87-5351CB935562","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q831141$7BF8FCCF-D666-4FB7-84DD-D41541C84136","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c772771111d2b7ac97601a7fcb520b50fa08cca5","datavalue":{"value":"7346940","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q831141$09238813-C5D0-4523-9B64-7C7376EFC9FD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af8fc12dfbad58288bf35295d2f16b3e9b21475a","datavalue":{"value":"weak bisimulation metric","type":"string"},"datatype":"string"},"type":"statement","id":"Q831141$152895E2-C75A-4231-8055-E3EA2D3D4871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f532e2b08234dd6967fc70eafbf0c8f20a836d3e","datavalue":{"value":"nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q831141$55874706-FE54-4DD3-9972-6C57C301515E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4601b7f5acfb6985d2ed85b2e6acb1eee8b959e1","datavalue":{"value":"continuous state space","type":"string"},"datatype":"string"},"type":"statement","id":"Q831141$C5EC3899-C0E7-419B-B0BA-74D72564BABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"653148492e5cb9c0affad402eab1136a7618becd","datavalue":{"value":"cyber-physical systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q831141$6ADDEC0E-BA20-4AF4-A9F6-4727BDD9085C","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":"Q831141$7C1E447C-92D9-4E61-BCDA-7A9BA4BFEBDC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"488c9c3115f0abaf26ce25eaa3576d2572d9a4f2","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2020.12.045","type":"string"},"datatype":"url"},"type":"statement","id":"Q831141$7432434B-6EA2-4E7E-982D-A1A0F4DBB739","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"71a626400ff59e9c05732e36d12fbed3025800fa","datavalue":{"value":"W3118321919","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q831141$FF4DDF91-B530-4449-BF60-06598FF5A6A4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bea67ed95d1f053285243b5bc166dc74f203ace9","datavalue":{"value":{"entity-type":"item","numeric-id":2377974,"id":"Q2377974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831141$EDAE3449-FA6A-42B5-985E-B300401BF08B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebdf580c22f4f5a53dfd663e2e613d1e499e3b15","datavalue":{"value":{"entity-type":"item","numeric-id":3535612,"id":"Q3535612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831141$34186DC9-F775-4685-B94C-9036F9A81E74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d3f3c53b14eaf3687275c164a42522b17ee362f","datavalue":{"value":{"entity-type":"item","numeric-id":764289,"id":"Q764289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831141$819717D2-3EF0-43B6-9A05-C5F49652B1E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"847e9d0ebf5abf69d8dd6565593a2e2426dcb200","datavalue":{"value":{"entity-type":"item","numeric-id":2491633,"id":"Q2491633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831141$FF1FF18F-FAE3-4EC8-ADDE-6366593C76CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db4e8690896a2342717a87a2cec6eaea92ea7c28","datavalue":{"value":{"entity-type":"item","numeric-id":2849899,"id":"Q2849899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831141$88083C85-F392-48F5-A401-6A2BB04D6303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97fe36dae3cdeb6d6364305647b9bf9e088923be","datavalue":{"value":{"entity-type":"item","numeric-id":4559599,"id":"Q4559599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831141$23B91365-5067-4E66-8673-F39D605DE8C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1e139fc47e473fc676314c69212ac946a0f90e5","datavalue":{"value":{"entity-type":"item","numeric-id":4813207,"id":"Q4813207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831141$1FDE5D52-E35C-493D-B045-8ED197CCFFF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a457b8bc5a3de866e4c00d4a4d2b917d203cce28","datavalue":{"value":{"entity-type":"item","numeric-id":1603705,"id":"Q1603705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831141$E451BBE0-A1FF-4AFF-B384-025878EB026C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaedb9f602c018e3f49cab3fdcc2051049564e52","datavalue":{"value":{"entity-type":"item","numeric-id":1770428,"id":"Q1770428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831141$4EF41D14-F90C-4651-851E-6DF19DC99FD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8c0b9376c67ec38001d60d7d3e280f14cbef9e3","datavalue":{"value":{"entity-type":"item","numeric-id":5307925,"id":"Q5307925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831141$9765E402-6C2B-4F23-9513-E5EE3290E060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f473626f3722039c2e8b6c9ffc258a37faa3be09","datavalue":{"value":{"entity-type":"item","numeric-id":5703923,"id":"Q5703923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831141$29867B76-D152-4AF7-BBC2-9776751FF042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dec57e6f962040d48d62e4966185d143ee30a15c","datavalue":{"value":{"entity-type":"item","numeric-id":2272986,"id":"Q2272986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831141$048B1631-BF6B-4F0E-98EC-1C3B026DD521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32e2825bf96e6c6afaa936ebabd0cd3e7f33648c","datavalue":{"value":{"entity-type":"item","numeric-id":2007735,"id":"Q2007735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831141$D55567AD-AA8C-47E4-A516-9F37C65E5425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ac89da4f5dbeb3286fa41b17f8ddfae599ed1c7","datavalue":{"value":{"entity-type":"item","numeric-id":783681,"id":"Q783681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831141$11674282-0F77-4582-A7FE-15CDDA8BBE62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40e3d9fb11d4b7facffa167dc95c875c331bbe00","datavalue":{"value":{"entity-type":"item","numeric-id":5705913,"id":"Q5705913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831141$D5271A94-8F04-471C-B85F-708727BABF17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf7f478a0e3334d16e231c4c024432fa7752e636","datavalue":{"value":{"entity-type":"item","numeric-id":3190107,"id":"Q3190107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831141$426912B6-B59A-4B4E-9A00-3B5DF23B8610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c47a68d3004d147e7b0dbf4db2d3d3b9527e1665","datavalue":{"value":{"entity-type":"item","numeric-id":4635842,"id":"Q4635842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831141$4B86AC27-2C59-496A-9817-CFD48185C201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca0b4b83a8f3411743c9b6e6bf6fa47950093e79","datavalue":{"value":{"entity-type":"item","numeric-id":2988646,"id":"Q2988646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831141$58E6A77B-D866-4B6E-85D0-AD4F2D2C5939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01f7b52efa5c49f9efc8f854d031b835d61617bf","datavalue":{"value":{"entity-type":"item","numeric-id":3623001,"id":"Q3623001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831141$07775376-761D-46D8-B3B1-0F05E3AF0209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36050cb2aebc6e0d72cd0bdca54e064168155283","datavalue":{"value":{"entity-type":"item","numeric-id":596029,"id":"Q596029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831141$05A15A70-2BCD-4429-8612-19A75F336C20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8895191e3bb72939aafcef7c990f86ec41538865","datavalue":{"value":{"entity-type":"item","numeric-id":1660766,"id":"Q1660766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831141$193E140B-CFA3-421C-A0C5-CC0626853BA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1db2e96150c8f7cad0f4ac7d4bf244364ac98c6c","datavalue":{"value":{"entity-type":"item","numeric-id":2986712,"id":"Q2986712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831141$475A44A5-2289-4EBB-9824-A2556F9A5368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd44bfa4f14cb3c2f188606a926586fcf6964ea3","datavalue":{"value":{"entity-type":"item","numeric-id":2974795,"id":"Q2974795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831141$B9267609-BA96-4F9F-8CD9-0D76BEF89C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fc8dad04a9280c5f141bf1b45bab95607454013","datavalue":{"value":{"entity-type":"item","numeric-id":4992498,"id":"Q4992498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831141$55ECD93F-0F34-4BA6-A739-2DFE822A7974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"165514b88b415b2459d83f9e321627f7512e01a1","datavalue":{"value":{"entity-type":"item","numeric-id":4995155,"id":"Q4995155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831141$4530CA99-F3ED-4390-BD9B-10550047EAA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"484a042842a30321233ea31fce6294dab1f0e004","datavalue":{"value":{"entity-type":"item","numeric-id":1678172,"id":"Q1678172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831141$F2D8AA3B-7814-4F74-BE0D-1A73AB38BCD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b406f9b9ed254ac478a4a13f1c477e4396481d6d","datavalue":{"value":{"entity-type":"item","numeric-id":2248073,"id":"Q2248073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831141$41F159B7-E113-44A7-885A-35EBD7287C10","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":"Q831141$0E8D16EB-0E85-4AF8-A651-9116E0F76ED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05dea0129140e41c658532fe8120daa17e8e4adb","datavalue":{"value":{"entity-type":"item","numeric-id":1892877,"id":"Q1892877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831141$DAA956C4-5CEF-46F7-933E-ED800EA80111","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":"Q831141$60AD0614-1CE8-427F-AA3C-55FC0B13035E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25ff2886f15d08bb695e0fc9e2ac40d6685d03d0","datavalue":{"value":{"entity-type":"item","numeric-id":4953390,"id":"Q4953390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831141$9C9DCE4B-0402-45BF-93A0-424C27D5CE33","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":"Q831141$F4400F0D-4735-4F6A-A08C-2B9BBABA4626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d84ade6a02bd73f79c254069b90a11e1d3dc467","datavalue":{"value":{"entity-type":"item","numeric-id":4095835,"id":"Q4095835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831141$EE2E4324-941A-4243-8391-9985479E3425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b6cfbf8224e2d51af22b70dd0a5d7d8a7bdc18d","datavalue":{"value":{"entity-type":"item","numeric-id":5738991,"id":"Q5738991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831141$7331E776-F31B-4B35-96A7-B099EC0B65DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcd6776873d7f7df9d5bf5ba5031eb9dfef6d9d8","datavalue":{"value":{"entity-type":"item","numeric-id":5111289,"id":"Q5111289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831141$C1FE3F51-D16C-4F63-BFF6-B59F0BF25C30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04f1d73f2866d4f6f151779364808eba8da5ba28","datavalue":{"value":{"entity-type":"item","numeric-id":5082194,"id":"Q5082194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831141$03E659CE-4256-4996-90E4-FA71EC801EC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc76a5e0e45638abbf6140adbc4f8c379e0792fc","datavalue":{"value":{"entity-type":"item","numeric-id":4553277,"id":"Q4553277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831141$3CE8B450-151C-4A7A-98CD-2ED6D68F9980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"159e5cdd684a46257df9e3ab48c0ee8ef35d839c","datavalue":{"value":{"entity-type":"item","numeric-id":2042728,"id":"Q2042728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831141$3805683C-EFEF-46EE-B40D-BB45529926D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"780554888df474b8460be2e5dff378b0b94269db","datavalue":{"value":{"entity-type":"item","numeric-id":1623141,"id":"Q1623141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831141$CB4F685F-6382-414F-A46B-BEC7B3D9EFA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a30721991934011c6dafb9df500968099a90dd5","datavalue":{"value":{"entity-type":"item","numeric-id":2912766,"id":"Q2912766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831141$528D24A3-B454-4E63-833D-FF3E181A3516","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":"Q831141$A261378C-C6E6-4791-B429-58839DE28A07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2671aa2b4503d0323c6b0cdc9e6f3191f93c496a","datavalue":{"value":{"entity-type":"item","numeric-id":5089294,"id":"Q5089294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831141$E0A08B45-9F09-4ABA-98FE-BE73796E491E","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":"Q831141$BCCCE759-A5EC-42EC-8BB8-35A48AFBEB52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ce2ec3cf406aede38bafbde0299e35bb641c083","datavalue":{"value":{"entity-type":"item","numeric-id":5703918,"id":"Q5703918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831141$0CCD5118-A1B1-43BB-96A0-4DB771C43591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88f02169e0d82db34a57f3c9fe58dc5d85c93ec2","datavalue":{"value":{"entity-type":"item","numeric-id":2766628,"id":"Q2766628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831141$4A3491B9-0A5E-4B02-829E-796789ECBCFF","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":"Q831141$7EDA4B76-C6DF-4D84-9FD3-19E336BDD82C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6421884ef6abd693b1117f027ae547790fb113e4","datavalue":{"value":{"entity-type":"item","numeric-id":999864,"id":"Q999864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831141$9E300572-55FA-46DA-8B22-E7F85B8F8E36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b53fa29c98a27e899fd83b2b7b1dae83313ff68","datavalue":{"value":{"entity-type":"item","numeric-id":2403530,"id":"Q2403530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831141$BC18713F-2693-43C0-A5F1-C7ACA11CD6E7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0df8c564c1490d6c31a6bdc19fcc5e380a231c32","datavalue":{"value":"10.1016/J.TCS.2020.12.045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q831141$BC9D2704-D89B-4E1C-9248-54D83AF8AFA2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c855c7f258d07ae7ebff5e6133d030c5c49f4672","datavalue":{"value":{"entity-type":"item","numeric-id":1623141,"id":"Q1623141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6087f10554f08bfdad4c92eb720693bb08da23f","datavalue":{"value":{"amount":"+0.97959286","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q831141$8C810FE1-439D-4C25-925D-6F66D679F528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b113dc4ddf850472c0f50ee0bfcbf3b86c2f2bc","datavalue":{"value":{"entity-type":"item","numeric-id":3225169,"id":"Q3225169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66e2c838766126ad0ea798d7e9aaf962bd8f6e35","datavalue":{"value":{"amount":"+0.8722051","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q831141$D8CAFB49-CBFC-41FD-ACBE-15A8A1DA5AAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9ff39541e99a1b7cdce093fc0a91d9182a29797","datavalue":{"value":{"entity-type":"item","numeric-id":3190107,"id":"Q3190107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6548b814b4865cb1802aeb1e61658b99092f95c","datavalue":{"value":{"amount":"+0.86989474","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q831141$63C8DF99-1D49-4499-BB67-D5E7F7CF292A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bd93ccf4ce92cdd3e3682548b877deed32d8dd4","datavalue":{"value":{"entity-type":"item","numeric-id":5111435,"id":"Q5111435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65f3b01492ae76a1b4d18e9e87118cc3cbe21434","datavalue":{"value":{"amount":"+0.8691266","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q831141$A8B10625-2F4E-4E18-A8C7-1217B141F7E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e83fbb2ee5fa43a80e55ef7b6bcc731c51bd192","datavalue":{"value":{"entity-type":"item","numeric-id":3613350,"id":"Q3613350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed41f31be6648d24baaa9b1ac9dac165829516c5","datavalue":{"value":{"amount":"+0.8624476","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q831141$8EE88984-2B61-4925-9C56-4AE7687FF396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f71e2654c3f5c92e1425cf36a40e35656b6ad3d8","datavalue":{"value":{"entity-type":"item","numeric-id":5898149,"id":"Q5898149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc0708c37e634c1f777da19a12c2bf0a8046c98a","datavalue":{"value":{"amount":"+0.86131513","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q831141$CF8DB053-E45B-46A6-9E32-7E2C00A23C5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80f4df0a08558ede48cbb57a054c6f31a4e59552","datavalue":{"value":{"entity-type":"item","numeric-id":4449536,"id":"Q4449536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"307c7c9ffdaf1b3092501f8e13b8ac5d14c5e768","datavalue":{"value":{"amount":"+0.8606933","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q831141$609420B7-5C39-43E0-8D0C-2FBC216F9B67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5b12c70f7975800b2cb97cdc078af57e70deb2f","datavalue":{"value":{"entity-type":"item","numeric-id":1633345,"id":"Q1633345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e238d910c0778846e443d8230e1f6818b5015b3c","datavalue":{"value":{"amount":"+0.859581","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q831141$9E9508BA-81D9-47C6-9695-78DDB9C8B519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fa13a48cbe0e9c6fd2b4d96bc5f01fd70e1955f","datavalue":{"value":{"entity-type":"item","numeric-id":4941915,"id":"Q4941915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e80bcde2b9aed2a3148f5570cda6760e68350b3c","datavalue":{"value":{"amount":"+0.85823745","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q831141$C7101ABD-7FC7-4586-9404-3866A8BC6596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c6f6d84687b897930055cb2f7ed9e9f6cd647de","datavalue":{"value":{"entity-type":"item","numeric-id":5410679,"id":"Q5410679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ffab8f175ff5af8c763f70147557664974d5a32","datavalue":{"value":{"amount":"+0.8581607","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q831141$E11243FE-8626-4E36-8435-1A62402BBC26","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_weak_semantic_approach_to_bisimulation_metrics_in_models_with_nondeterminism_and_continuous_state_spaces"}}}}}