{"entities":{"Q1770428":{"pageid":1781170,"ns":120,"title":"Item:Q1770428","lastrevid":48453058,"modified":"2026-01-04T20:50:51Z","type":"item","id":"Q1770428","labels":{"en":{"language":"en","value":"A behavioural pseudometric for probabilistic transition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2153220"}},"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":"Q1770428$D5E25372-4177-459E-BA77-9819BDE31FB1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7513b3c60efd3ee500f15699e557128eedd5c0e0","datavalue":{"value":{"text":"A behavioural pseudometric for probabilistic transition systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1770428$FDF72B6D-67D8-4071-8167-A682FE7F31CF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d73b47d90714582621e4443796cd9f9a0f42842b","datavalue":{"value":"1070.68109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770428$08F0EEA1-CA69-4E8A-B64F-6ABE47A700FF","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":"Q1770428$5B04790C-BF95-45B3-BD70-D248036271E5","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":"Q1770428$EEAB667B-270E-46A3-A9BE-61B93C939C2D","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":"Q1770428$FCD183A2-5677-4BC6-BFD5-4BA953AF6389","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1934d792c26a5fadc4b54d2e40cc5c88366797ca","datavalue":{"value":{"time":"+2005-04-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":"Q1770428$A8EB7CCF-743F-4C92-93A7-112C663933EF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770428$FD65C300-364D-4743-9699-2A7B22D6639C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"de9a252ebb8deb136feb86d6e4014cd442d67bfc","datavalue":{"value":"2153220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770428$12C1A5BC-5E4D-45C8-9F33-83689D9D15EA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9571d2dda44f1d2fd349633b2a31a6fca950d2bd","datavalue":{"value":"Probabilistic transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770428$A5A6607A-E3EF-40E4-9B4F-761D319D2E7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b1d7563e77234fe708f19539f243b7dad978d02","datavalue":{"value":"Pseudometric","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770428$E40D98C9-A0B6-4FC6-B378-2F76E8716C49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5524939cc9b6a29bc4bcb7e2fc12fff7865921f","datavalue":{"value":"Probabilistic bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770428$A6E789CC-2AB2-4C93-A1BA-DAB3BE3772EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de38ba8f085a144eec0dd6c63a45530e78d5d374","datavalue":{"value":"Terminal coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770428$6AF77B3C-905F-4D6B-BC82-F2E0C344308C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f63c1e926aa5b426d784d6eac08fe914d10757f","datavalue":{"value":"Real-valued modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770428$6E18D102-EB44-4757-834A-2700DF98CF76","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":"Q1770428$62AD20E6-BE69-43A6-BD1E-7342A64BCEA7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"483436ae7c363e6cca7140a9a6c1fabde3ee4916","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2004.09.035","type":"string"},"datatype":"url"},"type":"statement","id":"Q1770428$1624C829-0A88-49F5-8A97-7B3D5D16FAC0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b46b136bf2b0ced9fd76ae6f573efb16705c04e2","datavalue":{"value":"W2063972032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770428$1E0247C5-2F43-4038-A015-DDC1418BD805","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"388bf78b714b753a7f12fec382c666d4bc2c5631","datavalue":{"value":{"entity-type":"item","numeric-id":673143,"id":"Q673143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770428$6F6D4AB2-0A5F-4DA9-995C-706F9F1B8C4A","rank":"normal"},{"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":"Q1770428$5D34F65B-6CB9-4544-8654-FB797B3C3002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6dc871fe926fe9c59d18f813417643cc900d049","datavalue":{"value":{"entity-type":"item","numeric-id":4606219,"id":"Q4606219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770428$487E450A-6145-43E1-9612-E7761DEABA7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44f3aa98ca5bd7a68966b66557ff190ff9b3ce8c","datavalue":{"value":{"entity-type":"item","numeric-id":2709785,"id":"Q2709785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770428$C19D03E8-EE84-4573-917E-0E782669CACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08905f37fd87987c75f7682d857e0a6a0dde766c","datavalue":{"value":{"entity-type":"item","numeric-id":4040874,"id":"Q4040874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770428$BC309E63-1B08-4CBC-BE94-DBB9178038C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c26807c2efabfe4028eec4255a13eb24be3d6d8","datavalue":{"value":{"entity-type":"item","numeric-id":4836494,"id":"Q4836494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770428$FB410C42-6F6E-4E69-90F4-AECB3D238E3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4ecc51bd5191458077ef85b3a14b1bbbfa2e30","datavalue":{"value":{"entity-type":"item","numeric-id":2506488,"id":"Q2506488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770428$48D804BF-E857-494A-A61E-B92E8D40D264","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":"Q1770428$88EEE475-0D0F-448C-90AC-05A70CF0587E","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":"Q1770428$FC7942DA-E7F4-45C4-AB38-1667FDB62013","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":"Q1770428$73713BB8-BC07-4195-879C-4E995F9C74F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a531204ae2542b6ae01481ef774eb43412c971f5","datavalue":{"value":{"entity-type":"item","numeric-id":1398379,"id":"Q1398379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770428$D03C2A5A-AB6D-448D-B2C3-0ABD5C399468","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":"Q1770428$0F2A68E1-8225-4B1D-92D0-4D106E1DDCF7","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":"Q1770428$B53E1961-1640-4AD7-8557-DD399881800E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c038b8dac9451f007d0167ee6a8b5f37a4c69a0a","datavalue":{"value":{"entity-type":"item","numeric-id":1898113,"id":"Q1898113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770428$A325870E-4E46-4052-BCBE-C23B0283CE4A","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":"Q1770428$9CA6EBB1-EFEF-41D4-B0F6-060084DD9C29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9947cb56937d0edd2d03280be0adbbf32ebf6712","datavalue":{"value":{"entity-type":"item","numeric-id":3249221,"id":"Q3249221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770428$54277A9C-077F-44DE-B663-20C751117389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f182afa47ea37b09a1d1a3075ffe1edef8370b5","datavalue":{"value":{"entity-type":"item","numeric-id":1063584,"id":"Q1063584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770428$7BB80180-8039-4FEE-9FFA-7457DBC2A824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c131d2813c114ce4533f74892c7352715a84a91c","datavalue":{"value":{"entity-type":"item","numeric-id":4222974,"id":"Q4222974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770428$F50F70A8-EE9D-4BD9-85DD-A3A6DB1F7A02","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":"Q1770428$3C161079-7C70-4666-A882-636A07A16EC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770428$CD200077-DA4D-409E-90DD-859BD9394EE8","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":"Q1770428$0652FE5A-FFC3-40B9-93EC-40CBA61579D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f8aa8d15843ee47dc8315b40484aacdcda3bab7","datavalue":{"value":{"entity-type":"item","numeric-id":5201960,"id":"Q5201960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770428$EBEDE86A-70B4-4158-8094-CA8DA2A6970D","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":"Q1770428$1C3EB959-2B2E-457C-BA3F-F53E4BF26ED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bb86de14797b89b934069dddacc71b4195d70a3","datavalue":{"value":{"entity-type":"item","numeric-id":4060097,"id":"Q4060097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770428$6E857428-D787-441E-8D51-50027754E739","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":"Q1770428$202D3D2A-9B67-473E-98AF-EAB92EC102DD","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":"Q1770428$BB32331E-F361-4A34-A40A-4B5FC6DBFE7B","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":"Q1770428$FA20FC67-41DC-4C7C-B7B4-FFF9221D4281","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"61b8cf8075c109739309562dc18c00a22586a415","datavalue":{"value":"10.1016/J.TCS.2004.09.035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770428$BFF9499C-D2B2-40A0-A1A0-5A5A0D8E0579","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"966a5e6fa7d33fe4c55bc35929d8e539b4e986c7","datavalue":{"value":{"entity-type":"item","numeric-id":4535035,"id":"Q4535035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcf2ad89754b8badafc69d85b7b435572c806a57","datavalue":{"value":{"amount":"+0.9196397066116332","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":"Q1770428$396F6E8D-5398-474C-95BA-F3471A4A9510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bc4633be05f345286b1ff994f1f372c2d0593e7","datavalue":{"value":{"entity-type":"item","numeric-id":2503333,"id":"Q2503333"},"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":"Q1770428$1CF99134-EBFA-4885-ACEA-CC7763E0872F","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":"8f0f939a7670b34e334c6d3d1755e4efc1a0e084","datavalue":{"value":{"amount":"+0.8847521543502808","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":"Q1770428$5D7135AE-B094-4DEC-899C-B48849A4EF5F","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":"dfca0bcea4c1f478821b2a130911d20f82fcf8d4","datavalue":{"value":{"amount":"+0.8664954900741577","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":"Q1770428$29616F51-3EB4-421F-909C-501EDAB1010C","rank":"normal"},{"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":"2915ab0f6472e53d2500d34d05713451f4638a76","datavalue":{"value":{"amount":"+0.8637046813964844","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":"Q1770428$071DD13F-09E5-4E82-93FD-0FCFF29A4176","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1770428","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1770428"}}}}}