{"entities":{"Q3518278":{"pageid":5548182,"ns":120,"title":"Item:Q3518278","lastrevid":50421509,"modified":"2026-01-14T00:38:09Z","type":"item","id":"Q3518278","labels":{"en":{"language":"en","value":"Approximating a Behavioural Pseudometric without Discount for Probabilistic Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5308840"}},"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":"Q3518278$8F6783A7-9F30-45BB-953B-3A6B3177E240","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"141f14cf84b8593cdd74a6ef88bf1129e04b2272","datavalue":{"value":{"text":"Approximating a Behavioural Pseudometric without Discount for Probabilistic Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3518278$95F91F4B-6576-406B-98B5-6666438AAAA5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f9fc7abb910a7e9645122d44a1f5c33872c749cd","datavalue":{"value":"1143.68057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3518278$680F9279-80C2-4946-9AA4-9006A64FBF6E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0fd1e186722d78f789f0423b659bfb3c665ee098","datavalue":{"value":"10.2168/LMCS-4(2:2)2008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3518278$33C59976-8D5E-4B81-A8CB-E0AF7513BE71","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc606a85e3edbb28ecd422fe804367c76e563890","datavalue":{"value":{"entity-type":"item","numeric-id":3518277,"id":"Q3518277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3518278$771E9567-07EF-4598-ACEC-F3F0E577FF4F","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":"Q3518278$008294DC-C210-47E9-997A-D8AAE4D5B48A","rank":"normal"},{"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":"Q3518278$F36E70B8-F43F-470A-B722-0CF0DCAB04B3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3518278$08778BCF-09A6-4FE7-B314-D25C6DD066BD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bd17ce6d2eaad5d06047c5b5d7ca565a3ee94981","datavalue":{"value":{"time":"+2008-08-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3518278$3AB44B33-D693-4CE5-BC22-57E148498FF3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3518278$7382210D-CE4B-4AB6-B9E1-A5523D457CA7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"15331021e168cc097d11a95ce4b82bf5cd787315","datavalue":{"value":"5308840","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3518278$B1185F20-F7EA-4D0B-9B07-A7193ECBAFA0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40971f5033e11f76c9ec957ec1402dd595b290ad","datavalue":{"value":"probabilistic transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3518278$31055CE8-BE8B-4403-8AF7-5CDC581FF1EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6fd5200b926a7eb1be033939b86e40c8fff4624f","datavalue":{"value":"probabilistic bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3518278$9B3C23E2-B7E6-4543-809B-7A69218E67CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f2c35cad8c239e847b5b6def31b7656801067c5","datavalue":{"value":"behavioural distances","type":"string"},"datatype":"string"},"type":"statement","id":"Q3518278$9E94E688-CA3E-45F2-8E37-A2A4E13E462E","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":"Q3518278$DB2976FF-ACAD-47A0-94F7-069659A142B0","rank":"normal"}],"P1643":[{"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":"8dd2a9dad5cedc8cca000e1f618e09d3cc9c86c6","datavalue":{"value":{"amount":"+1.0000004768371582","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":"Q3518278$2988AF33-B282-4E66-B751-2C7FEFEABE5C","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":"1bb7564dd080298444c1a4d16f7f4efae115c554","datavalue":{"value":{"amount":"+0.9094412922859192","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":"Q3518278$92782BA8-5E56-4C23-89D6-1F9D074B1268","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":"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":"Q3518278$78A45360-F98B-4F67-97E9-80549C8295FC","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":"062a83bec33601e99687d8527ec5a1f9e3e6457b","datavalue":{"value":{"amount":"+0.8623247742652893","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":"Q3518278$1F44FF12-C361-4E54-B139-4BAB9E4F9A53","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":"f29be4e188dbfc533abf1d7cdfb4a3155fd7c279","datavalue":{"value":{"amount":"+0.8174057006835938","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":"Q3518278$1A5BFB07-1742-4A5A-ADF9-9BC78F7293AB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3518278","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3518278"}}}}}