{"entities":{"Q3060190":{"pageid":3070906,"ns":120,"title":"Item:Q3060190","lastrevid":86239607,"modified":"2026-06-03T16:49:08Z","type":"item","id":"Q3060190","labels":{"en":{"language":"en","value":"Weak bisimulations for the Giry monad"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5822245"}},"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":"Q3060190$2EE74FF2-0519-4525-8BCB-649920F6603B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"795fc8d284d3fee1bcd2c5d7f36034e4056b160d","datavalue":{"value":{"text":"Weak bisimulations for the Giry monad","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3060190$A19A5343-E9CC-48B5-AD8A-0A3898188CD8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"82430b29a44b107cd407ce7c68e8ca657083de2f","datavalue":{"value":"1210.18003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3060190$36D3D61C-6EF8-4B7F-9E9F-BA52EA5E521A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ccf3cf323dabdbd26c8e067fa09207e3a12a3b93","datavalue":{"value":"10.1017/S0960129510000204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3060190$33EACC95-02B6-4017-A0D3-31888163D8EF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e5e0806de5ee4186b467b007530d48a61d8fa76","datavalue":{"value":{"entity-type":"item","numeric-id":406466,"id":"Q406466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3060190$1D724488-CB17-466F-B2B4-37D5A60CA61D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3060190$285DFD8F-38FA-481B-8EB4-2E0E0A6B6BA1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2f7a6f873bf5c0d11b62fa3d4700ead7fb1e1f3b","datavalue":{"value":{"time":"+2010-12-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3060190$B7E061DC-D86E-4411-9726-8B3D6312891E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d94cdbde928d12db2a06305c6f1346171594ef02","datavalue":{"value":"18C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3060190$41A8BD1D-CD6A-41CF-81BC-600FCBD15F6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3060190$1D9C45F9-7D6B-4913-B624-EB8941DAFE18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3060190$FA63A0D0-72E1-4DF3-A8C4-3868948CFDA3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bdf4fde5cb66531aa8ce8fa0a9cff690dcb72871","datavalue":{"value":"5822245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3060190$00C7FA07-C0E9-4994-9985-D270ABC088B5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"899842a87a829a1c519fc1dea88abcec00117b62","datavalue":{"value":"Giry monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q3060190$9B9A6B2C-0EF6-49D8-9AD4-88AADF565235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50f241e3158fb47bf3847f6fadb9b3353b5a64e7","datavalue":{"value":"stochastic relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3060190$27B3D0EA-A68B-4B2B-A747-6BAA41FA8C9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9628a916500b407df306145004e0c7b4908296a","datavalue":{"value":"smooth relations, weak bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3060190$4970A15A-5680-4C65-8ABB-735C8980D90E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebdf40a357de9809b6620310b6356472d0384722","datavalue":{"value":"Polish spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q3060190$DEF54AE9-3A5B-473D-AA06-DCD4F7AA7DF8","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":"Q3060190$0C4544C1-C819-42CE-B0AF-68CD62962DBD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"60392b05098be1982939f0bfb6e44f0cd7ec57e9","datavalue":{"value":{"entity-type":"item","numeric-id":1023291,"id":"Q1023291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3060190$BA19EC39-06E5-4723-81C6-50D8F6DFC42C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11e451b1746a346de32c7ff025c45f478901c7da","datavalue":{"value":{"entity-type":"item","numeric-id":1049890,"id":"Q1049890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3060190$6F99E300-DB15-406F-B098-FBC88A4ADB17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba0f3cfd147c4eb5f36a2401403eedc07bf675bd","datavalue":{"value":{"entity-type":"item","numeric-id":5309952,"id":"Q5309952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3060190$81BF8634-3C1A-4453-B812-166101025457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8c2eecaa019d2eaa208d6ac51a516597ddb9b6","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3060190$D2C0EF6B-D30E-47F8-A8DA-A744AA5DA04E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe345c7c5946b7f066ac0bd9178ff5b80fa23956","datavalue":{"value":{"entity-type":"item","numeric-id":5470704,"id":"Q5470704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3060190$4654826D-86C7-490D-94D6-262BFCF25312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13fc405d82697a671b0ec0b92b9342f8c2268798","datavalue":{"value":{"entity-type":"item","numeric-id":1818626,"id":"Q1818626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3060190$D41D658D-0BF5-4FB3-8F4E-02D3232490AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eeea2c1aa53a8e6f4e6d84856c703b47df09d024","datavalue":{"value":{"entity-type":"item","numeric-id":5428831,"id":"Q5428831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3060190$F49B3D9E-1384-4C90-B595-F40D8AEB03C2","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":"Q3060190$F73F79F9-5E3A-4ADA-AA1A-2F28EF7A83AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b8e030d03f9ef4bcea642ecbac1a0ae87f95369","datavalue":{"value":{"entity-type":"item","numeric-id":995624,"id":"Q995624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3060190$F9DC5106-95C9-475D-BAF5-B7559AA750FE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afec208cbd5da0935eb55b1f63f44bfeba2b5bdc","datavalue":{"value":{"entity-type":"item","numeric-id":3502664,"id":"Q3502664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a207f0fb8c33be2d25dee67c3023ae405fdd1acb","datavalue":{"value":{"amount":"+0.9842431545257568","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":"Q3060190$15C8A889-2313-4556-BE9E-43713CF64EDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4aa4d1438f39f050c91bad731e0fc600215632a","datavalue":{"value":{"entity-type":"item","numeric-id":995624,"id":"Q995624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"feea105f4cb7f8e8ba6498cafc44dd0a4305b57f","datavalue":{"value":{"amount":"+0.7981331944465637","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":"Q3060190$BFA08637-E2AB-40F1-8087-9163A5AA3E9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2cd3a6ba6886cf508a56b50d46dcb8c6b5ff425b","datavalue":{"value":{"entity-type":"item","numeric-id":5470704,"id":"Q5470704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81c0cf6a87fe30ae8bd052505b868c6d5d23f02d","datavalue":{"value":{"amount":"+0.7880427241325378","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":"Q3060190$80DFE779-31ED-425A-906F-6FFFB6B1D846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"074777ec4962a276cfac41e9a447673b0de80eaa","datavalue":{"value":{"entity-type":"item","numeric-id":859832,"id":"Q859832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89e1fd65fb414cbbd6ea5a3580099a2b75f4ec88","datavalue":{"value":{"amount":"+0.778466522693634","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":"Q3060190$4956A77B-F5D8-4716-B1EB-1048C619A038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee587700770f97314aea68c284cabec6b634547e","datavalue":{"value":{"entity-type":"item","numeric-id":2941763,"id":"Q2941763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3a774669d47963dda60e229e669eb0a8e72c930","datavalue":{"value":{"amount":"+0.7758641242980957","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":"Q3060190$30991AB8-B332-4063-A570-24089A12DCC4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Weak bisimulations for the Giry monad","badges":[]}}}}}