{"entities":{"Q5357701":{"pageid":7387275,"ns":120,"title":"Item:Q5357701","lastrevid":52897985,"modified":"2026-01-23T18:26:29Z","type":"item","id":"Q5357701","labels":{"en":{"language":"en","value":"S\u00f3s specifications of probabilistic systems by uniformly continuous operators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6774209"}},"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":"Q5357701$6CAC86AB-1481-48E3-9F10-A685A37E62EB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a339b5c2c2e4d10c5f7a9b6d424ed85224a06f8d","datavalue":{"value":"1374.68328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357701$8A52B04F-3D2F-4C44-B98A-13D0573D877F","rank":"normal"}],"P16":[{"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":"Q5357701$1B510EBB-CC15-4527-AB4E-63F825910865","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":"Q5357701$71F3833C-A09C-47DB-8C48-0A3BE958C9DF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ad555d9b3498665ac23079c56e62858eae3f6918","datavalue":{"value":{"time":"+2017-09-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5357701$C684A3CF-70AC-4F6D-A160-6ED3ADDF63ED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357701$C1A6E5FB-77E5-449F-92CC-FD3069BBEC24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357701$615F2790-FD27-49C0-9C97-B393AE18A273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357701$0F9EDF58-F8D7-442C-875F-9A9D7F8BB5E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357701$AA876061-ACDC-4072-80BE-06F4CC5BF06C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fbac397a638482ce954649cff72e7d2efb4b4c4f","datavalue":{"value":"6774209","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357701$5DF3FEC3-DC61-4F6F-A4FD-611F1E9CD400","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eff752cf670ff5db0f5f83bc555b8adabdac80cb","datavalue":{"value":"structural operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5357701$A990B437-ED10-416B-8524-A466ECC3BEF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b3ac6215051bcbaf8937f584bd4adf934f473c0","datavalue":{"value":"SOS specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5357701$E1F1983A-2FB4-49FA-8410-5F470D61250D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7568e4b6f6a85f7fdc738e58f2c4a6d722175e68","datavalue":{"value":"probabilistic process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5357701$7FB51DBE-DB37-413D-B9E4-E58D7CC6C6BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57eb3c51708963e18bb384e499860326925060df","datavalue":{"value":"bisimulation metric semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5357701$E64625D7-3BE5-40CB-9ABA-28D2D47A759E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d8221bfa2d8ae3d3aa834e1fc571263eafa17e2","datavalue":{"value":"compositional metric reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5357701$4B5C8D80-0727-43E7-85FC-936456EDF452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"051b9b7dd93701a972bbd72920bdb951539c784c","datavalue":{"value":"uniform continuity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5357701$C9202C65-DD49-495B-9626-C2D955AFE003","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":"Q5357701$3FDFC80B-0C29-4715-B4A2-066649DA0B26","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"77118b6d658972083272f452306f55d4969c9ab9","datavalue":{"value":"https://doi.org/10.4230/LIPIcs.CONCUR.2015.155","type":"string"},"datatype":"url"},"type":"statement","id":"Q5357701$0A69D52B-4104-409A-911B-B392813B9F9F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"445d53ba9d86eaab818c27b0bce62357cbc7358b","datavalue":{"value":"W2266544809","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357701$0947D577-730B-42FF-88BE-B71A27101ECD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d6873fa0dfe88622d09631a81ede71107daa9243","datavalue":{"value":{"text":"SOS specifications of probabilistic systems by uniformly continuous operators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5357701$4C90D991-48B2-488B-8635-1101353FD49A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ea7cb456764d2caff50bd9b8bd7ba77bf23b2dcc","datavalue":{"value":"10.4230/LIPICS.CONCUR.2015.155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357701$71F14671-9E70-4E18-8466-0306A2F10666","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1af9599b8ae1859f5a2220f8c82e179b9787dbe2","datavalue":{"value":{"entity-type":"item","numeric-id":1678172,"id":"Q1678172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bec676554e54adb46a635dc7ffb45f1982cbf8d4","datavalue":{"value":{"amount":"+0.9303879737854004","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":"Q5357701$2D596F9A-E781-4908-B300-78E3CF5821EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c9867e7ff4479225983816ea81256430f5dc0fa","datavalue":{"value":{"entity-type":"item","numeric-id":2949442,"id":"Q2949442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fa50bb9640335ec7154156c16627eaea4d5983b","datavalue":{"value":{"amount":"+0.7902336120605469","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":"Q5357701$533A57EF-FA78-4E7C-821A-80CC5A616186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63c3ad93a50c4ce01f9385445f5d77f5e4197dab","datavalue":{"value":{"entity-type":"item","numeric-id":2974795,"id":"Q2974795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"364a3f204bb71951b45edb33c10e8dad92c65896","datavalue":{"value":{"amount":"+0.7841626405715942","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":"Q5357701$ED1F5E5F-2AD8-4719-A93C-2CF011B3DECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ba5abb5c5f2b2ccd5a598bb644d2134ac581f50","datavalue":{"value":{"entity-type":"item","numeric-id":4995155,"id":"Q4995155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8869f5f83661c17f6991da5546ff9b34e6ee3f23","datavalue":{"value":{"amount":"+0.7637985348701477","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":"Q5357701$95F402BB-6F24-4369-AE44-CA23BE0D6770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d09e9f351229d6d6203dc7f7bd4b5780c7f4ece6","datavalue":{"value":{"entity-type":"item","numeric-id":2842551,"id":"Q2842551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75948a6aeea65ad953e4a04909fb9c8b466fce7a","datavalue":{"value":{"amount":"+0.7585179209709167","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":"Q5357701$67666C91-8550-40E9-8607-A39031306A8D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5357701","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5357701"}}}}}