{"entities":{"Q6588079":{"pageid":14199236,"ns":120,"title":"Item:Q6588079","lastrevid":99851294,"modified":"2026-06-05T20:51:01Z","type":"item","id":"Q6588079","labels":{"en":{"language":"en","value":"Behavioural pseudometrics for nondeterministic probabilistic systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7897383"}},"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":"Q6588079$9710F41B-98AD-4996-9FBC-712D5D278A2E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2a1bc070d8bfc623bd36098ff9e003928c4260e3","datavalue":{"value":{"text":"Behavioural pseudometrics for nondeterministic probabilistic systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6588079$297FE1A1-7DDA-4243-B1A2-E4F156FE5314","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d177350ea8527d9b95839daee05f5817f5ec9570","datavalue":{"value":{"entity-type":"item","numeric-id":1660764,"id":"Q1660764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6588079$0D87024E-DBDB-4645-8BC7-474D92B4E3BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f491ad868c4eca61729c7810f9e0350f31b3f06","datavalue":{"value":{"entity-type":"item","numeric-id":407445,"id":"Q407445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6588079$98F60F6E-88A4-4FC9-B003-97213249097B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"720d2ca687b1dbefe07531061c55846f1312faae","datavalue":{"value":{"entity-type":"item","numeric-id":1660765,"id":"Q1660765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6588079$8A55ACEB-76E1-4B0E-BD7F-2FC1DD58D69B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28f1c5b29888d205254bb73c58fdc8777ff4112f","datavalue":{"value":{"entity-type":"item","numeric-id":4621157,"id":"Q4621157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6588079$CCE734D3-71EE-4F09-84F5-CF2A63EF4BD9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4c5bff37f7f9c7ee2e9efb4be809422c70dc245d","datavalue":{"value":{"time":"+2024-08-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6588079$8E70F844-4B56-43AE-A726-BF393313DE48","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6588079$0B572B53-6F16-414C-9338-6E8A11F4B563","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"99182520405ca8634ed00ff70013790cac33b65a","datavalue":{"value":"7897383","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6588079$6D16CFDB-3B6A-4B6D-B245-DE4D231B1C40","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5ceaa3848c296279d9c67c2184a6be2ca72d943","datavalue":{"value":"probabilistic labelled transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6588079$2CBD8080-C93D-42C4-93BC-3C6544EDBB4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a5a2b0dc983a9df2153b7ae049cdab1bb51c18f","datavalue":{"value":"behavioral pseudometrics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6588079$0656916C-1408-47DD-82C8-FCBF9867BAC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ad04ff32f52951d1784a742bfee597c728f0bbc","datavalue":{"value":"real-valued modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6588079$561DA2DE-D7C9-442B-AB45-BFC1FE3F5829","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":"Q6588079$05227961-6324-437E-A3A2-F1428454DB4D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eb963aa79ddf7d5ad65f6beafadb8629a1a67efd","datavalue":{"value":"10.7561/SACS.2022.2.211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6588079$9A7D1197-6417-4E74-B241-0AF5A9067CD3","rank":"normal"}],"P1643":[{"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":"b1fe5a51989fe2e82710577b902e6f71bdbe1248","datavalue":{"value":{"amount":"+0.9976288080215454","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":"Q6588079$B22113D2-807A-4060-87BC-09BC0C2CA155","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":"4d0b36cd96940ba5a444f2bdcdd98ef22498847a","datavalue":{"value":{"amount":"+0.8787750601768494","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":"Q6588079$0C419068-5F6A-4A88-B675-9D66F1F9EFC0","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":"4c7c0b98360fdf0705f161de22f1ee31da53a699","datavalue":{"value":{"amount":"+0.8566616773605347","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":"Q6588079$800F9159-EE91-49BC-A81D-C86249A6CFD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97f76da371b61d3ad336b344068cd6bdd8678e14","datavalue":{"value":{"entity-type":"item","numeric-id":5897480,"id":"Q5897480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a615a43f9832c63796182f6400d03853e1936b8f","datavalue":{"value":{"amount":"+0.8457046747207642","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":"Q6588079$5F3052A4-0320-4900-8FA2-F69054EF22B6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Behavioural pseudometrics for nondeterministic probabilistic systems (scientific article; zbMATH DE number 7897383)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Behavioural_pseudometrics_for_nondeterministic_probabilistic_systems_(scientific_article;_zbMATH_DE_number_7897383)"}}}}}