{"entities":{"Q1623141":{"pageid":1633881,"ns":120,"title":"Item:Q1623141","lastrevid":53285393,"modified":"2026-01-24T15:39:37Z","type":"item","id":"Q1623141","labels":{"en":{"language":"en","value":"Weak bisimulation metrics in models with nondeterminism and continuous state spaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6983513"}},"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":"Q1623141$208FF7FD-AA31-40C4-8685-7B6A651291A6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5e29b3ca67be76fb6933f2e673a64e1cb95bfb97","datavalue":{"value":{"text":"Weak bisimulation metrics in models with nondeterminism and continuous state spaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1623141$BFE1E6B7-53E1-4387-8CD0-29E72057FB37","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f7c7b079bc5dfa66d955914232548e89d44b83e4","datavalue":{"value":"10.1007/978-3-030-02508-3_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1623141$82B0A0C7-9E60-46BC-8BF8-67FE6F6352DF","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":"Q1623141$74E456E4-130C-412C-912F-01063FD1053A","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":"Q1623141$28210174-375C-4D73-AFF0-2AAA6E0803CF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f1e747551cea3e18facbfe25be36852721064ef5","datavalue":{"value":{"time":"+2018-11-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":"Q1623141$84D8A497-1771-4AD9-86FF-51ABA9F8F9A6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1623141$D304D715-3195-4651-9C20-267ED064661B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"364d70ba7a2ed6f01c6606831cb4da1b53b5ba06","datavalue":{"value":"6983513","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1623141$B4936376-37E0-4DBB-AB4B-167BE3E571CC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af8fc12dfbad58288bf35295d2f16b3e9b21475a","datavalue":{"value":"weak bisimulation metric","type":"string"},"datatype":"string"},"type":"statement","id":"Q1623141$F5C6A871-FC1C-4273-A234-AD27FBD79C44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f532e2b08234dd6967fc70eafbf0c8f20a836d3e","datavalue":{"value":"nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1623141$40F7342C-F131-4851-AE8C-03F98AFC6A76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4601b7f5acfb6985d2ed85b2e6acb1eee8b959e1","datavalue":{"value":"continuous state space","type":"string"},"datatype":"string"},"type":"statement","id":"Q1623141$79250DB9-09A4-4C7E-A04E-184CFAEC182C","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":"Q1623141$3AB556BC-FABD-41B9-B9F1-7234D320137D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a067a702b4fdb7ae1a66fd2904bfb548be570005","datavalue":{"value":"https://doi.org/10.1007/978-3-030-02508-3_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q1623141$522F5A68-B9EF-4670-8BC5-AB055F98C605","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5ca553f84945ab44e40b88e2023d798751c81b53","datavalue":{"value":"W2896294417","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1623141$8EEE67F5-928D-4FC3-A964-392968F0701E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b54af834d9e051ca254cd403332e6632863e334","datavalue":{"value":{"entity-type":"item","numeric-id":831141,"id":"Q831141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2b22dfc77efae7c5fb4147b7518feb654c7897c","datavalue":{"value":{"amount":"+0.9837067127227784","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":"Q1623141$C7175701-BF91-4D3E-B404-204AF6381F66","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":"f046ac85f8aa048407efcf4426b00559e560b39f","datavalue":{"value":{"amount":"+0.8207230567932129","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":"Q1623141$F836C0D8-9442-4F25-B48B-8AC1155DC9C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36cbcf3e2216a5e83b0a89a8d290d1bc1f4ab3e3","datavalue":{"value":{"entity-type":"item","numeric-id":1660766,"id":"Q1660766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"325a0644921c60ec428102de9de337741b09b2ff","datavalue":{"value":{"amount":"+0.8081988096237183","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":"Q1623141$6309EF3E-90C2-49CA-9222-D59E58B88A86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"678ca67997499290c8253bae490627518318ca5b","datavalue":{"value":{"entity-type":"item","numeric-id":971582,"id":"Q971582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"379bcac6c4918b520a94b8503285c902d090005f","datavalue":{"value":{"amount":"+0.7790838479995728","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":"Q1623141$82DA3789-2BBF-4320-AE0B-6171D2F67F15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be9801a06b45b11486b59acab6b0cf0d978ce489","datavalue":{"value":{"entity-type":"item","numeric-id":4608688,"id":"Q4608688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8bf0d3aaeb86edbc8a3d04d5f8f90d4d8a6f4b6","datavalue":{"value":{"amount":"+0.7749807834625244","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":"Q1623141$CEED9A43-32CF-4BFD-B754-8730E1A8B478","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1623141","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1623141"}}}}}