{"entities":{"Q2281663":{"pageid":2292406,"ns":120,"title":"Item:Q2281663","lastrevid":57819882,"modified":"2026-04-02T16:21:34Z","type":"item","id":"Q2281663","labels":{"en":{"language":"en","value":"Approximate bisimulation and discretization of hybrid CSP"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7147591"}},"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":"Q2281663$05B84F33-5C1D-451D-A584-DB783D54AEA1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2618efbbe7beafe361b6e3b4d88c6ef0bdcdc59c","datavalue":{"value":{"text":"Approximate bisimulation and discretization of hybrid CSP","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2281663$85C0C589-8A06-40E5-8EA4-27F8F7F96DAE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"06d43fde59161dc3fcb7f22a19bd4d5aca09c84f","datavalue":{"value":"1427.68218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2281663$3CC70FC5-28A4-44FC-B0C4-26BEABDE56CC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dc2ad9345bc09c580e38d1a2ab30f70a657978e3","datavalue":{"value":"10.1007/978-3-319-48989-6_43","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2281663$F936AA3A-E41A-4E3E-A056-DF8B18DDA217","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de7aeeea4dde96fd8127f38a8ddf9ac70da73359","datavalue":{"value":{"entity-type":"item","numeric-id":2281662,"id":"Q2281662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2281663$E257C38D-D41F-40AE-870C-A577472E5BE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"20d38469debc0e61c34eca5eada8a50c85a6ed10","datavalue":{"value":{"entity-type":"item","numeric-id":238030,"id":"Q238030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2281663$B3007B16-8E56-46BB-BC26-23443813387C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc394aa834529c2e3aaa2c4e5f425ef2d8affe2a","datavalue":{"value":{"entity-type":"item","numeric-id":1683457,"id":"Q1683457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2281663$BA11934D-FE13-48CA-93F1-973AB067CC1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c53576066bc56448814a25dcf6f6d8a1a93fe1ff","datavalue":{"value":{"entity-type":"item","numeric-id":208297,"id":"Q208297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2281663$67BF725A-B73A-44D8-8CD1-D47D34A5F146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db6dde18f260590a0af478668dc06a118a846e54","datavalue":{"value":{"entity-type":"item","numeric-id":591944,"id":"Q591944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2281663$0CDF48AB-F701-4C36-A5BE-FE2E9870FB36","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f19ec05f4cc07189117a4725b428f63f5643b194","datavalue":{"value":{"time":"+2020-01-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2281663$55017420-E276-4C15-AA0B-A6E8DEF7B10D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"27f67d6f1cc3c4079ae04ef38841f8d186f31183","datavalue":{"value":"https://arxiv.org/abs/1609.00091","type":"string"},"datatype":"url"},"type":"statement","id":"Q2281663$764D6F37-FE13-48B4-A852-5EE693D7E7BA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2281663$0DCF1870-0DD9-4082-84C4-CB4F6A936D5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4ea08324a913bdb8e1672d880d325e8fdf42de9b","datavalue":{"value":"34A38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2281663$E34F9CF6-C782-4B30-918C-04A74205B5DB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3c0827ee55175723b84468102af26d97dd020ba1","datavalue":{"value":"7147591","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2281663$0837ED06-7CFC-44B8-8C77-3B71C36801F3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4c25efda1814403f89d66a7de0dab5eb1b4c999","datavalue":{"value":"HCSP","type":"string"},"datatype":"string"},"type":"statement","id":"Q2281663$C35F3583-517B-4FFB-AEDB-546B04CE82DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6943149839981528ad6bcde95678fabf05c18912","datavalue":{"value":"approximately bisimilar","type":"string"},"datatype":"string"},"type":"statement","id":"Q2281663$94A8296D-3836-4FC0-B803-0A23ED3CBDF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b03439e7dedf0c27568d228c7244768e0713fd5","datavalue":{"value":"hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2281663$2392F10D-0242-4721-A0D3-C17732A3B419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0a1864ca0d237847813dca5b1f5ea470fc8b5a0","datavalue":{"value":"discretization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2281663$95733E4E-0E1D-47FF-A0E4-2EC6A593A203","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":"Q2281663$09504DC6-946D-45DB-B076-163304A1CC21","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"214e1de1f872912549c0adf262a3df9ab0da8c82","datavalue":{"value":"W2963576416","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2281663$3D7A7331-0BBC-4318-962D-DED7187CCE9B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1932c266df50418430d7738a126f580d27a01ef6","datavalue":{"value":{"entity-type":"item","numeric-id":3172859,"id":"Q3172859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c99b02c99a6baf4a78465999af10b01fdda4b7bc","datavalue":{"value":{"amount":"+0.7748816609382629","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":"Q2281663$7E7DF1E7-FB27-4C57-A0C0-69B73FF89C73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5205af708aa0fa32a3dfc4c4c30ecc5bcd5102f0","datavalue":{"value":{"entity-type":"item","numeric-id":2898020,"id":"Q2898020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bc6c65893c5a0c5442a5b8321500a9ab7bfebc1","datavalue":{"value":{"amount":"+0.7580766677856445","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":"Q2281663$68740CF6-C2B0-41AE-85DB-71B898886218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8d5d6e9bb5f0ec3cf9e934cd04006251e376104","datavalue":{"value":{"entity-type":"item","numeric-id":1763160,"id":"Q1763160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5c094b6b330d7e4abbe50048ccb5ffbd34808e6","datavalue":{"value":{"amount":"+0.7395500540733337","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":"Q2281663$BA9AAF6C-3350-48CD-A00E-CFF6C484C2C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9ebcd90dc6c1b282e4177cae65253d3a848b403","datavalue":{"value":{"entity-type":"item","numeric-id":939013,"id":"Q939013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bd15aedfb8b83fe4fe1b95baf6a87f9a0bf64d8","datavalue":{"value":{"amount":"+0.7393643260002136","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":"Q2281663$5A28CFAE-70D5-4591-A41D-BE7C0230B97E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01f5fb1b849ffaef4edbf4ef53681bff482b635a","datavalue":{"value":{"entity-type":"item","numeric-id":2368692,"id":"Q2368692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4672d33e65fa488b6aa3fefc589898ab5b7580d9","datavalue":{"value":{"amount":"+0.7374570965766907","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":"Q2281663$EC05ED20-20B1-43E6-975D-66E67DAEA60F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2281663","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2281663"}}}}}