{"entities":{"Q6536354":{"pageid":14147497,"ns":120,"title":"Item:Q6536354","lastrevid":55637368,"modified":"2026-02-17T20:08:10Z","type":"item","id":"Q6536354","labels":{"en":{"language":"en","value":"Computing bisimilarity metrics for probabilistic timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7835041"}},"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":"Q6536354$4A7362CA-391E-4536-A5AE-390C2384A6E8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fff80c57c19bfea63ae12902597c2cc39f0e933c","datavalue":{"value":{"text":"Computing bisimilarity metrics for probabilistic timed automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6536354$54819658-1F0D-497E-9F20-9CB7E9CEC2F3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"623a1eea0465af3c906a1e34ed8ed5a0f5ba451e","datavalue":{"value":"1540.68122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536354$F171A0B7-206F-45A5-B6E1-D27A50B074A9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2b289523e37357ea7790d833aa8ebaea722eba70","datavalue":{"value":"10.1007/978-3-030-34968-4_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536354$854B308D-FF3C-42B9-9882-F27A5F1FB981","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":"Q6536354$3134BC37-3DB7-4FCC-AF72-BA9D3B60185C","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":"Q6536354$050E4EF2-A199-4954-8477-BD14B56A3865","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ea6e0d286aec87d7de2b77268af916e9034fb87d","datavalue":{"value":{"time":"+2024-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6536354$4B7402A7-AF02-4FE4-A37D-EC822066604E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536354$266AA4E6-5D2E-40E9-B197-B249EB13CC4A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"00a5f27a96eef70dc739186d46bdcef157db414d","datavalue":{"value":"7835041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536354$774CB090-A09A-4187-A355-A5F24A9F5E47","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":"Q6536354$4B8F2F79-BFC0-4510-8C11-23743B0117BA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536354$2A9FCAD1-842F-4115-A077-C09CCF8227CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02d18a5955c3b9197c5b417b75805bf6b1a8d043","datavalue":{"value":{"entity-type":"item","numeric-id":1631230,"id":"Q1631230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536354$67F6E104-1064-45A1-A7D6-5FB648E3CAB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41f7d725986881a438be25713a112fad6dfb3238","datavalue":{"value":{"entity-type":"item","numeric-id":5326310,"id":"Q5326310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536354$7DA22C03-3519-4A0A-9D5A-E31297191912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1e452ef70d88319d955b8a9de8397b35142ec3","datavalue":{"value":{"entity-type":"item","numeric-id":5278079,"id":"Q5278079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536354$2E41EA70-EF40-42A1-9F49-8401624C3B9A","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":"Q6536354$DCFF8B76-0DD7-4249-B22D-14A321AB2DDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bacd7d37a95f6be97370c8bd866ebd7660e460e1","datavalue":{"value":{"entity-type":"item","numeric-id":5875370,"id":"Q5875370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536354$691B6FC7-5E8E-42AB-86CF-8A30D6AA6165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abaf40d26eeea4001d6c19e8a18a0ab91157a30f","datavalue":{"value":{"entity-type":"item","numeric-id":1853732,"id":"Q1853732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536354$7886ABE5-FBA2-4099-AA27-C28DD971D61C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ac7ea46ed5829de66002dbc9fdd446ec28b2d53","datavalue":{"value":{"entity-type":"item","numeric-id":1878925,"id":"Q1878925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536354$71680063-6170-4F6E-A08C-24CBA029A633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e37a48c8d3919297f8fb6663795a2e39b5f04735","datavalue":{"value":{"entity-type":"item","numeric-id":1885906,"id":"Q1885906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536354$47D7798C-E38C-460D-BEE1-5E4BBEFD0BA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9953bc72ffe2f2765a81ef3e19c50587ed89d74e","datavalue":{"value":{"entity-type":"item","numeric-id":456100,"id":"Q456100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536354$C0B02A3F-9B63-44F9-B9D5-4717DC496C67","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":"Q6536354$651DDBA4-6A50-4D65-9573-E2A07DADFA6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1cbb125a4325b962745ed7426bba0f5ede12ca5","datavalue":{"value":{"entity-type":"item","numeric-id":3518278,"id":"Q3518278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536354$B6D56B0E-E9FA-4107-9715-21FF69D1C16A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a06d718bcc840d3b83d43940d7f5ed1f727a0ac5","datavalue":{"value":{"entity-type":"item","numeric-id":2503333,"id":"Q2503333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536354$207C8573-8439-47B5-9F70-35636DEE23A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58356e6f02b0944185dc1a29771de60651a3f722","datavalue":{"value":{"entity-type":"item","numeric-id":5418964,"id":"Q5418964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536354$97A34BE7-C162-4068-99BF-4A629F4A9941","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":"Q6536354$F5B47EAF-0B03-406F-8024-DB4BE0CF308A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ee2de722ee44d95d8edf8bad51172f06dcbd6de","datavalue":{"value":{"entity-type":"item","numeric-id":2986983,"id":"Q2986983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536354$ECBDBBCD-2279-4485-BFFA-69D15EECC96E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7b94947c704f80081decdbb32340fedc0b3f5cd","datavalue":{"value":{"entity-type":"item","numeric-id":2982579,"id":"Q2982579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536354$3708EF3D-1AD5-4E77-8164-688932D2B48E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8079eecc9579ae6400ae4118234ab46520c11715","datavalue":{"value":{"entity-type":"item","numeric-id":2892788,"id":"Q2892788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536354$55AB14BD-ACE2-447A-864E-8289FF8BB080","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":"Q6536354$65015420-2FC3-4613-8B42-FDD993AAAF80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad0949de2a3f618dca6bd9ebe8bd574e08dfaa30","datavalue":{"value":{"entity-type":"item","numeric-id":1327398,"id":"Q1327398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536354$401C81AD-CD1E-4064-B6F0-44B92401F2B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"008545320d70ab26385889dabe141129aea74ba9","datavalue":{"value":{"entity-type":"item","numeric-id":5897965,"id":"Q5897965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536354$4D5AB667-9B4B-41C0-A5ED-968329BA1B8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"434d263d7d69654b3947b8d05a0fd678b7dad6a2","datavalue":{"value":{"entity-type":"item","numeric-id":1603709,"id":"Q1603709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536354$A4986ABC-FF1E-42B5-A1EB-1E4117C8F4D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04276c9be8b758e9ab2edb240e0ca02d5f7f4634","datavalue":{"value":{"entity-type":"item","numeric-id":606996,"id":"Q606996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536354$50C10A1D-725B-4003-BE97-4453AC97F075","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":"Q6536354$1DEB3F06-0559-40FA-9256-E2C8938AAE9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9e3859e5c1b506577d81d511f78e770f7a9c40a","datavalue":{"value":{"entity-type":"item","numeric-id":2988939,"id":"Q2988939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536354$4A2C1FBC-DA62-439C-80D4-28955AE1335A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd52f10d81f6fb7a14375bf3fc493e0c93aea8aa","datavalue":{"value":{"entity-type":"item","numeric-id":2248072,"id":"Q2248072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536354$C8429991-5654-44AA-A7F1-39B4C6A943DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b64edaefc1341a6e2a6192158f59846c43ad037","datavalue":{"value":{"entity-type":"item","numeric-id":5312900,"id":"Q5312900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536354$D45AFD01-3739-49FB-9CFF-F51C025F88D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1acfc6ee2702b164c13e518d5de4a164ca1a9c5d","datavalue":{"value":{"entity-type":"item","numeric-id":3588096,"id":"Q3588096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536354$4DBC1490-D9C5-41B6-A23F-54594152C907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faa7ab7d7288cf8b7707887b2bef0e09c74d70d9","datavalue":{"value":{"entity-type":"item","numeric-id":4608674,"id":"Q4608674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536354$61F5CF61-990E-4633-A9A0-F791A0BF2CB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"528d49fb8719632a63b7942241ca87b4d2518f8f","datavalue":{"value":{"entity-type":"item","numeric-id":5111641,"id":"Q5111641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536354$9F0D7E08-A9C2-44B8-B840-79CB10A6980F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dbaaeafaec726b9880b2867e9d8a2d4208ea24a","datavalue":{"value":{"entity-type":"item","numeric-id":6162104,"id":"Q6162104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536354$A382194A-9A0B-4265-96C8-D720E310D9B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dd1d9cfba4d3622accc3905edfbd5ffc8c3f2e7","datavalue":{"value":{"entity-type":"item","numeric-id":5896951,"id":"Q5896951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536354$F492D877-4240-4F08-8DF7-68E5B3FCBB8F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db4b9861897f83c40098c84a5af140f149965003","datavalue":{"value":{"entity-type":"item","numeric-id":3588096,"id":"Q3588096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19894d178eb90fff9ffbff1e96524d1ca7ed0ff9","datavalue":{"value":{"amount":"+0.8326742053031921","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":"Q6536354$6A7C2993-E475-4D6E-A701-6B833FFF6276","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":"9a86f991ff975c1317ec0de8e67e2766fab4d988","datavalue":{"value":{"amount":"+0.8320072293281555","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":"Q6536354$12190EA9-6C31-4EBD-8561-3E3D815B57C2","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":"71e570b24e42d851d7fa20cc38196b33b33a13a1","datavalue":{"value":{"amount":"+0.820634126663208","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":"Q6536354$214DC544-BF59-44E2-8991-827CD4578E8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21cb7de69801df12278033dcb4d93359fe0989a9","datavalue":{"value":{"entity-type":"item","numeric-id":606996,"id":"Q606996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"981c1289820bc11b3e9b6914548d9b50b1eaf787","datavalue":{"value":{"amount":"+0.8116514086723328","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":"Q6536354$18E488BE-D31A-440A-9703-E4596BA6D810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a747d480755398f48218f36f5f0433ae7d7ddbf","datavalue":{"value":{"entity-type":"item","numeric-id":2306848,"id":"Q2306848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78f4558c3b11eec437ea4332e7a1f650e2b6931f","datavalue":{"value":{"amount":"+0.801704466342926","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":"Q6536354$9AB5DCAD-F5F6-478A-95C2-662A2BEB2A25","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6536354","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6536354"}}}}}