{"entities":{"Q4995155":{"pageid":7024732,"ns":120,"title":"Item:Q4995155","lastrevid":58386096,"modified":"2026-04-05T00:04:42Z","type":"item","id":"Q4995155","labels":{"en":{"language":"en","value":"Fixed-point characterization of compositionality properties of probabilistic processes combinators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7362460"}},"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":"Q4995155$D77C7012-9398-43DE-9053-3D744660E240","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cd14d2f9f8d6e6885e5abf149f3b3889c65a6c7d","datavalue":{"value":"1464.68246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4995155$E5634B0F-DA3E-4963-BFBF-5BBF98199DDF","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":"Q4995155$8BC22FEA-6D43-41E1-AA42-2C1D16D0F044","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":"Q4995155$249CA891-9D58-453F-83FD-F85E1D4E4D41","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c4b5964c0ca7f3b359de324eb5df9fa69569a066","datavalue":{"value":{"time":"+2021-06-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4995155$AEB24C6B-DB2F-42F1-AA90-9BD52E5698B1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b30fde58e999c4f0e0be75e53b8936e8e5385341","datavalue":{"value":"https://arxiv.org/abs/1408.1457","type":"string"},"datatype":"url"},"type":"statement","id":"Q4995155$FEA27032-1AAF-4925-8F75-A3CCAAA49292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"5745580f569531f3f156ac6f2b9b0a81adc24b11","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?EXPRESSSOS2014.7","type":"string"},"datatype":"url"},"type":"statement","id":"Q4995155$D0A58D46-6E34-4AB8-80C2-6D50A867ACC7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4995155$5A27ABCB-C44E-4E89-AEE3-36AAACAC97B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4995155$5599F98D-9FB0-4F86-8FCC-887E1930E9E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4995155$E8E1A92C-175D-4A4D-93AE-9A998873D423","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cf50181344f4f0a6f9fe16df43af1f95b3cc4bbb","datavalue":{"value":"7362460","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4995155$FF605445-4ADC-4E03-AF0A-96B25806A29B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4324238f0be75d07e5d4832d32c1b460c1e1c0f8","datavalue":{"value":"SOS","type":"string"},"datatype":"string"},"type":"statement","id":"Q4995155$08637FC4-2A9A-4BB3-A058-D111EEB91226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40971f5033e11f76c9ec957ec1402dd595b290ad","datavalue":{"value":"probabilistic transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4995155$04D4D877-0D42-4719-B91D-7E3A1A3D455B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ed858dbaa1044b0405b988bff06bf66f98ac3a7","datavalue":{"value":"bisimulation metric","type":"string"},"datatype":"string"},"type":"statement","id":"Q4995155$D1E7D678-5D51-4ABC-97AD-05F01A625CEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dfba264ed923dd13e3004a251bcdab07ddaa86e","datavalue":{"value":"compositionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q4995155$1E78F763-8DC2-4099-ACFC-2B4E32EA7479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27c2e420b7a7dc3b2d33a778c4052dde05e3b536","datavalue":{"value":"continuity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4995155$465F0B98-979D-48D2-A650-0AF7189B2618","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":"Q4995155$404F58DA-474D-45C5-9296-5DC2F8CDA990","rank":"normal"}],"P1643":[{"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":"474f79a0b00d5b8e9d1050931f16e8990fd13e4c","datavalue":{"value":{"amount":"+0.8599683046340942","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":"Q4995155$4FE72FF9-DF9F-4753-9D89-024A2CD3C62D","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":"3eee9bbfd006a3b0019111790bf9a5357c751947","datavalue":{"value":{"amount":"+0.848401665687561","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":"Q4995155$F5B98EAF-B563-457A-9DC7-4BA81945539A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4cd4f04a624973235e93ce590c05163722e3eba","datavalue":{"value":{"entity-type":"item","numeric-id":4992498,"id":"Q4992498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b179fb185659c437a6376c5ad28cba46a333cd91","datavalue":{"value":{"amount":"+0.7856224775314331","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":"Q4995155$E2D758ED-B046-4FF9-8B14-95ACBF275FB2","rank":"normal"},{"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":"8b7f26796bdf843064e0129b60a11b3c8ba3d760","datavalue":{"value":{"amount":"+0.7717016339302063","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":"Q4995155$B4866D8E-E20E-4DD5-BAFF-DC64C72B0D26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a4b854e744fe5050706361c48146c441ab95b04","datavalue":{"value":{"entity-type":"item","numeric-id":596029,"id":"Q596029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fef453cfe77db186a885488d3d0c53f4ac8cb41","datavalue":{"value":{"amount":"+0.7704989314079285","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":"Q4995155$6A1F566E-809B-4816-9BE7-0F1884B3DEEA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4995155","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4995155"}}}}}