{"entities":{"Q2503333":{"pageid":2514076,"ns":120,"title":"Item:Q2503333","lastrevid":49917397,"modified":"2026-01-12T00:51:59Z","type":"item","id":"Q2503333","labels":{"en":{"language":"en","value":"Approximating and computing behavioural distances in probabilistic transition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5054324"}},"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":"Q2503333$21ED59DA-D6A9-4627-B8F5-10FAD10621AC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"72da0157576fe8f03d38a4be9e6594cfdae800b1","datavalue":{"value":{"text":"Approximating and computing behavioural distances in probabilistic transition systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2503333$69831687-EAB8-4656-B50E-5EBB0A902C8A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7c85b3fd10b64ecd472479e4c884ec30407fce63","datavalue":{"value":"1097.68102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2503333$24621387-1489-48D2-BC12-1A56643C6C48","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"661e9e35098991710b0d0d12df6c9b690ff93077","datavalue":{"value":{"entity-type":"item","numeric-id":391131,"id":"Q391131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503333$DD704C85-A631-4E3F-87EF-84716176A4CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"42fca8198ff5bde9254949379672939d8017bfd9","datavalue":{"value":{"entity-type":"item","numeric-id":456099,"id":"Q456099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503333$88F8F0EC-3FAD-49DE-8F59-F93A427B5940","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":"Q2503333$82778B2F-F635-483C-8C20-C8D3EFFE82C6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f4ffc608ada8e4a14c4a7ac75bb9921c404be25","datavalue":{"value":{"time":"+2006-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2503333$61621383-30C8-4837-8A60-1D7ABE02B879","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2503333$091E4F40-EFC6-4685-81E8-9FF11993633E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c35698f378c7db910036053adb7b6729b3c54fcf","datavalue":{"value":"5054324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2503333$120821AE-3F6F-410A-85AA-598C75349001","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df5caeb0f616abe98e5252bff541e59b91dfcd89","datavalue":{"value":"probabilistic transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2503333$AD0BE129-BFA8-4B10-A8BF-2ED60CF38237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1380322cee88c18917fe83685aba71688ee190a4","datavalue":{"value":"behavioural pseudometric","type":"string"},"datatype":"string"},"type":"statement","id":"Q2503333$0C8F18CC-DFF4-4842-B25A-D1FBFA160413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc058f54aac0023b7543c366366b86bc4e72c56b","datavalue":{"value":"approximation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2503333$C3A5E5F7-1E6C-4F52-AFE3-77ACC2392B39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2503333$28B1848E-DCB2-4E53-9B3D-FBCCB9EE6C0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a08efa1a08a750d06fca0196004a17a02a35c592","datavalue":{"value":"linear programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2503333$2307BCDF-DB81-4BE3-83DF-E3B59493A815","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":"Q2503333$AAB351ED-086F-4B12-89DC-53B14549A9A2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"854e43b38bbfeedb42066d1ab602af84129ce4a9","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2006.05.021","type":"string"},"datatype":"url"},"type":"statement","id":"Q2503333$1C389178-A26F-4453-8D4F-BA2139E1F969","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8cdfcba45dfcad4e528372a9d07cb041be4b6278","datavalue":{"value":"W2076087052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2503333$50452AE7-AB5F-4559-B59F-9497E7627ED5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ab4ee3ee8ef05ab2de5721210c2223252774bf","datavalue":{"value":{"entity-type":"item","numeric-id":753944,"id":"Q753944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503333$5B29C529-D5EC-4B73-AF23-E50C276EF245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d99a4a2d4380721b3157baa6f0be8f91943c1a85","datavalue":{"value":{"entity-type":"item","numeric-id":5716849,"id":"Q5716849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503333$56BC358F-051C-447D-8F9F-7F9DC91B1367","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":"Q2503333$2F8CDD81-58CF-4431-8F10-117D2640E6E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd7aac5fc80d6b5dd2654373ac1513a53fac48bc","datavalue":{"value":{"entity-type":"item","numeric-id":4791270,"id":"Q4791270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503333$F96FA7D4-18AF-48FE-8709-DBFEEB5F9E4F","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":"Q2503333$59E5FD3E-9979-4AEA-B423-A5F48B06218F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce11e1e393637b43364dcf5961723016218ec9af","datavalue":{"value":{"entity-type":"item","numeric-id":4079613,"id":"Q4079613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503333$B4696CE2-58EE-460B-9CDA-7462A3AE60E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2f175b088b93e1a6a950db7cb9ca00f422a67b0","datavalue":{"value":{"entity-type":"item","numeric-id":4449238,"id":"Q4449238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503333$7324C835-3DDF-4607-8FC2-EB28758613CE","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":"Q2503333$263AD8E0-9C24-4FD3-8C12-AE47296EBF4F","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":"Q2503333$2F0C5292-4155-4F93-9816-9A6E2908F15D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d30215fca78a0f56d82903f2b8192b2a52b730d","datavalue":{"value":{"entity-type":"item","numeric-id":4375489,"id":"Q4375489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503333$325D4E76-261C-413B-8F44-D495FD27B4F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdef39b443c7c711b01a47d68a2506772be4e26e","datavalue":{"value":{"entity-type":"item","numeric-id":3946875,"id":"Q3946875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503333$67700E74-46B6-4B73-A424-B060E5175A9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95e5bab76290ab5a10ea0b5fdd7f6e3fa493089a","datavalue":{"value":{"entity-type":"item","numeric-id":5310651,"id":"Q5310651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503333$8EA38A42-1C24-49BA-966E-EC58B0EEDF53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503333$ADC7BA19-A593-4751-9777-2C032A782BEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05a95392975f3ed4625c78f2400a066f29eb5432","datavalue":{"value":{"entity-type":"item","numeric-id":3731958,"id":"Q3731958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503333$DB496339-3803-4616-B0ED-02557662B2C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17794c4bc319199b07780fe8daa9724755f28e9","datavalue":{"value":{"entity-type":"item","numeric-id":4355684,"id":"Q4355684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503333$ABEE3410-081A-4C20-A6A4-EEA03B7C12A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"907218b6a78566b8f5d426df9d0073e6f50f7ae8","datavalue":{"value":{"entity-type":"item","numeric-id":3203061,"id":"Q3203061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503333$BA7F0D1E-85B9-4415-A210-A1F783B17868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b1775d748e5957ac2e34bdf8be95ccb2709aea4","datavalue":{"value":{"entity-type":"item","numeric-id":3250845,"id":"Q3250845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503333$0B5CF76F-C718-4E0C-9831-E5A0DA0143F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"576bfb598f5e5d861b140871836fb919fd00a035","datavalue":{"value":{"entity-type":"item","numeric-id":5598374,"id":"Q5598374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503333$52792729-E7E9-47EC-A2CA-7C6BB3349E79","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":"Q2503333$09CCBB61-B496-41CF-898A-EA5E8EFF9281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d30a3acf14828a240c12b55406ee7218447ad5b","datavalue":{"value":{"entity-type":"item","numeric-id":4760030,"id":"Q4760030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503333$3459ACDB-A9F0-4063-8183-515A3315B348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503333$3F4B42D7-42E2-4EE9-8CBD-AEA6F6AC6FA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503333$6F2AF330-F743-4890-BC75-D4E1F1CC627E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23bed7506874310355fff12383c11b903c05008c","datavalue":{"value":{"entity-type":"item","numeric-id":5533878,"id":"Q5533878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503333$4B4A5B0E-2F2E-41E2-8305-1E08BDE6A891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503333$6C6FD34E-7747-4F64-B5B5-01575A381C2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18896b12fcfc75b1384ddbb4d217a7db3a02e745","datavalue":{"value":{"entity-type":"item","numeric-id":1079110,"id":"Q1079110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503333$812228C3-235B-4268-AE65-0AC849614CFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7a72681512b62fb97da7c5297937dd9d4fde72f","datavalue":{"value":{"entity-type":"item","numeric-id":4236207,"id":"Q4236207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503333$528046B9-928C-475F-877C-A88E655806EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"277fe5ff0080ce76fce168d970efc989ec2a6a76","datavalue":{"value":{"entity-type":"item","numeric-id":5180666,"id":"Q5180666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503333$16287895-0FB0-431C-B533-E9810FE43475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e7eb418764ae243753274c2b93b3d69488191fa","datavalue":{"value":{"entity-type":"item","numeric-id":1960528,"id":"Q1960528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2503333$CF391710-A0C7-4128-A641-0190D01C8D84","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e9e732d26f682ea9f061e13400b64d0b314d95b6","datavalue":{"value":"10.1016/J.TCS.2006.05.021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2503333$EF8DA2DC-D77E-419D-8E56-C13A4B4A4EEC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bddaa352d30869b8d981e58395c81afcd09fa00","datavalue":{"value":{"entity-type":"item","numeric-id":4791270,"id":"Q4791270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50f9b9d76787d8fda974e0eb70e66c9ffc3e3383","datavalue":{"value":{"amount":"+0.9197838306427002","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":"Q2503333$FDE95ECA-A7DD-497C-99F8-FBA11B46890A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfc64d3a8556ab232ad15971be3a27771b43648b","datavalue":{"value":{"entity-type":"item","numeric-id":1770428,"id":"Q1770428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cdc37ad147becb9f8c69cced7bb802489988043","datavalue":{"value":{"amount":"+0.8998056650161743","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":"Q2503333$CD723DC9-3F54-4808-AE2B-102F34FD48D8","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":"6e7876bbc2e65e03fbbbd226a14652812d964be0","datavalue":{"value":{"amount":"+0.894570529460907","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":"Q2503333$51504C3E-29E7-4BEF-BF3A-31D7BF473513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d81eeed999101d8a10a07f39ff10077e363611a","datavalue":{"value":{"entity-type":"item","numeric-id":3518278,"id":"Q3518278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"286dc02683db3a56335e21affbf2781140000bfd","datavalue":{"value":{"amount":"+0.879794180393219","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":"Q2503333$CA77BD87-6652-4FDB-94B0-E374DF88FBD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfcab3d7c5338f6be145adc79787e45e324562fc","datavalue":{"value":{"entity-type":"item","numeric-id":5758050,"id":"Q5758050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5186d3b7b1cc89ecbe4f860180a5c322dcb7793","datavalue":{"value":{"amount":"+0.8797940611839294","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":"Q2503333$68AFC75B-8C27-4B77-B037-C5524C8B03E6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2503333","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2503333"}}}}}