{"entities":{"Q2064519":{"pageid":2075261,"ns":120,"title":"Item:Q2064519","lastrevid":71253720,"modified":"2026-04-13T21:00:37Z","type":"item","id":"Q2064519","labels":{"en":{"language":"en","value":"Bisimulation metrics and norms for real-weighted automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7452649"}},"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":"Q2064519$46A25386-6DDE-45B2-A85B-1233EE9206A8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0f9c45a554011bf9ecac5272f9c2a907b42e6d55","datavalue":{"value":{"text":"Bisimulation metrics and norms for real-weighted automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2064519$90F41B59-612A-4AB6-97A1-60CBCD590E05","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"07aae0d251512887a158974e5553cb40f324107d","datavalue":{"value":"1483.68154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2064519$2BD031F9-4DB5-4BEA-A48D-9064943A1D9A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fe1493b45d3055747ad73b66c30b5368f39ecc05","datavalue":{"value":{"entity-type":"item","numeric-id":479455,"id":"Q479455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2064519$072D9CA2-7AA8-41FB-AA86-828C5FCC3883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d02331bad7c9c8c68495a5916f5498d2dbd08b7","datavalue":{"value":{"entity-type":"item","numeric-id":2064518,"id":"Q2064518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2064519$BFB3B833-0FEC-4E0E-BC5C-4770FBFFFE4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a55516c9acfe06eeff291481b7f91efa8e1b2799","datavalue":{"value":{"entity-type":"item","numeric-id":283764,"id":"Q283764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2064519$71D6A676-6D33-45C7-B24B-556865FE8A58","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2064519$331428C8-74E7-4428-80A0-DB0A523EBC09","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b5eeef85fccb3b9ec0f1e08769d6215b8e0218bd","datavalue":{"value":{"time":"+2022-01-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2064519$1CCCB387-42B5-422E-AF04-04F3610A7E2F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fda1756e9fd41cf9d57cb8e1a67beaecfe23aa43","datavalue":{"value":"https://arxiv.org/abs/1702.08017","type":"string"},"datatype":"url"},"type":"statement","id":"Q2064519$8F4351A5-DAF2-43BA-ACDA-61E75271DA7D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2064519$E23FF729-B613-407B-B469-DE2FDD3DBCB4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"90a5d0eeb64ecd79884b0a755a4a337f88c67658","datavalue":{"value":"7452649","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2064519$3DCACCC5-9D61-4EC9-B2C4-EC13DF16472D","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":"Q2064519$A181BDED-C9DA-4840-87F7-E70BD79D7C1D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fa9c458c31b56a94266850b8b7bfa8c5e170812a","datavalue":{"value":"W3109694792","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2064519$61D109A0-10CC-48B9-A3DA-06E7FC262EDC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"86573b478400e5efbac603897f571a2316eb970c","datavalue":{"value":{"entity-type":"item","numeric-id":479459,"id":"Q479459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2064519$C13746E6-AD0E-480D-9290-2479FCEB2998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e57d853d90afc84baaba86e246ff441d788c7dd4","datavalue":{"value":{"entity-type":"item","numeric-id":2947142,"id":"Q2947142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2064519$8AAEBCD7-700E-4289-9E02-2E5B271A20CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2f4843a711665fede5c6bec3a6c8409540ff4e3","datavalue":{"value":{"entity-type":"item","numeric-id":4635848,"id":"Q4635848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2064519$D55A44AF-E597-4590-9610-817F07C4BF34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11ec4d47f8e544b01a794cf41b540c7362f4644f","datavalue":{"value":{"entity-type":"item","numeric-id":5108539,"id":"Q5108539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2064519$C4731DFE-146B-48F6-91CF-D7D847366907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c43642bf2790c97733b3e8a45bedbfe96da0421c","datavalue":{"value":{"entity-type":"item","numeric-id":1765889,"id":"Q1765889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2064519$107DEE3B-E62E-4106-B21B-437ADE28F5F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b10043574401804d8bdd7c3653c3ff3d4446380","datavalue":{"value":{"entity-type":"item","numeric-id":418134,"id":"Q418134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2064519$DD6890D5-FFF9-4B92-B0B5-A2CD280943BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43c3c79c38d0017404804da3eb9d7043e664a0d6","datavalue":{"value":{"entity-type":"item","numeric-id":5410330,"id":"Q5410330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2064519$8A87B031-5D5A-44EF-AF13-C6303333CEDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79d5a4d4528e5d2cf08c3a506a8e781545d73d54","datavalue":{"value":{"entity-type":"item","numeric-id":3184672,"id":"Q3184672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2064519$BB73DAC9-60F7-4791-88D1-7867CFBBC839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bccf6059a2e9b6c6721a3895d4c879b9a5c748d1","datavalue":{"value":{"entity-type":"item","numeric-id":1183158,"id":"Q1183158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2064519$1EB03DF2-EEB9-4776-B1B6-3BEDD5A9CC57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d543d7c137f635204d1b4dbb7cb98df3d556209e","datavalue":{"value":{"entity-type":"item","numeric-id":5935362,"id":"Q5935362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2064519$85209F68-4459-4FC6-8F50-A331008BFB17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bdd4fea53b7d739c7649130a0202bbf906aa47a","datavalue":{"value":{"entity-type":"item","numeric-id":4270063,"id":"Q4270063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2064519$815A9CAB-1FE0-4721-A29F-CBA62F43E3F1","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":"Q2064519$00B1BC91-EB50-4A1A-9D0D-6E8EF3F9D7DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b989952aa1582438a5332ec0bd4cee56dab73a9d","datavalue":{"value":{"entity-type":"item","numeric-id":836989,"id":"Q836989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2064519$3BDE16B9-B8FD-4D0D-BC11-E67FF7304706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4e969fddea0dd7e8a0a8e4fcc390e6fb8eacff7","datavalue":{"value":{"entity-type":"item","numeric-id":3225169,"id":"Q3225169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2064519$4653947A-7E2F-4F9C-8A14-951D181A0DC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c6010bd4918b1124375dcc71313be05de8ee960","datavalue":{"value":{"entity-type":"item","numeric-id":1221071,"id":"Q1221071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2064519$960F2E56-3E55-45B3-AFFC-511E15A1F172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edee3a957bc0b480845f912f4428f67da7bc0abd","datavalue":{"value":{"entity-type":"item","numeric-id":2810805,"id":"Q2810805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2064519$4EACD211-670E-44A6-A851-87CED3DD1384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b75484c7028f815d660a12c0f4961432ff9fa02","datavalue":{"value":{"entity-type":"item","numeric-id":3587465,"id":"Q3587465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2064519$35470A15-5519-4CC9-A39A-5E9A4E0465E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53f47db36e84af572201f6c7ab2e69c4ef1e5fcc","datavalue":{"value":{"entity-type":"item","numeric-id":4840531,"id":"Q4840531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2064519$EE9B8ABF-F1DC-497A-A1B0-71A8ABCE4960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb3c2b7c4ac2725b9193a8929d8cb38316b8694d","datavalue":{"value":{"entity-type":"item","numeric-id":439990,"id":"Q439990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2064519$0C5AD1C3-F487-40AA-A22D-F19CE959AB19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"849aa56aeac7a58e03f791c57760f1c0e2a2be71","datavalue":{"value":{"entity-type":"item","numeric-id":972774,"id":"Q972774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2064519$00FF2C50-BDB4-47CD-82F8-8207D49B18E8","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":"Q2064519$10A5753D-BB32-4366-9FE7-C03AAA9256CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6946ebe270031b97e9fd773a17e273a090ae6182","datavalue":{"value":{"entity-type":"item","numeric-id":814465,"id":"Q814465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2064519$6859F8BE-139F-4DD0-ADA6-B2EC48AE9FB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d1f854c1fbbfc6cea70a4a8ac9dec0ba4f326fc","datavalue":{"value":{"entity-type":"item","numeric-id":3619416,"id":"Q3619416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2064519$41400291-463E-43AA-B2CC-98A7F6C02DA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0873dfed449e223760861827366e29a19391f0c","datavalue":{"value":{"entity-type":"item","numeric-id":5643915,"id":"Q5643915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2064519$29793277-7E50-4523-95FB-9D599CC8FE53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c20d1e72498aabab862d5f0af21defc95e2bb74","datavalue":{"value":{"entity-type":"item","numeric-id":3272731,"id":"Q3272731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2064519$A705F22B-AB4C-4161-B3FD-14870C91BB64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"385b443e68d2c64d04aed98acb6586cb7ed72e3d","datavalue":{"value":{"entity-type":"item","numeric-id":3288101,"id":"Q3288101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2064519$9A4B000B-673F-4C50-8944-357A61FEE48D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00ae5fa721f724c2c93f9d1963970f6ff50e63ee","datavalue":{"value":{"entity-type":"item","numeric-id":4535035,"id":"Q4535035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2064519$40DD12C3-9D85-4A48-A2B4-10C3B8F13A70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02a66e05b4d50bc3b26048964f3c2c7399366109","datavalue":{"value":{"entity-type":"item","numeric-id":1347930,"id":"Q1347930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2064519$792D1EF4-2F19-41B5-B5FC-F34A92141DDA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c9aed0db115e852e152e4c78143b85b724992857","datavalue":{"value":"10.1016/J.IC.2020.104649","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2064519$55F44237-6167-4A80-9AA8-E383F8230092","rank":"normal"}],"P1643":[{"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":"cc0158bc147e4fca1c96c32fb4abc8421fd3df18","datavalue":{"value":{"amount":"+0.9803954362869264","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":"Q2064519$EB48619E-C80B-40B6-866B-7067F0DCA862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45605a2ba20cb33455364ee133f2033f9726d517","datavalue":{"value":{"entity-type":"item","numeric-id":3184672,"id":"Q3184672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"016994bf9e867f2a684e3618c74cbab83fcdb969","datavalue":{"value":{"amount":"+0.8089786171913147","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":"Q2064519$F4E121BD-75A5-446D-A6BA-55E18E5E1879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b5f8b36b499447f7a52c44d089bbc1077666394","datavalue":{"value":{"entity-type":"item","numeric-id":2481957,"id":"Q2481957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4723cfe801853ee718632bd5a4c0007d75353e5b","datavalue":{"value":{"amount":"+0.7934883236885071","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":"Q2064519$7F5CDC48-9B82-4D73-916E-EFEA5E523F58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d863c03349388a2bfc4349b007e661f7193be91","datavalue":{"value":{"entity-type":"item","numeric-id":2447758,"id":"Q2447758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b933285bd7464b014b2ddc371dd4f725680a92e2","datavalue":{"value":{"amount":"+0.7782276272773743","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":"Q2064519$B63D93DF-AB10-42E3-8F5A-2C1A0B5B7830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c78ff881ff4d7b0aa5b5d1813041a28c4f69da60","datavalue":{"value":{"entity-type":"item","numeric-id":5418964,"id":"Q5418964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c30cf776396c6218bf5f126ff93e6df90a62f1fc","datavalue":{"value":{"amount":"+0.7757287621498108","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":"Q2064519$8CEDC062-76C4-4ABA-BF41-AD928C624C88","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bisimulation metrics and norms for real-weighted automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Bisimulation_metrics_and_norms_for_real-weighted_automata"}}}}}