{"entities":{"Q3088290":{"pageid":3099005,"ns":120,"title":"Item:Q3088290","lastrevid":51318746,"modified":"2026-01-17T18:04:33Z","type":"item","id":"Q3088290","labels":{"en":{"language":"en","value":"A coinductive calculus for asynchronous side-effecting processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5940782"}},"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":"Q3088290$F25FCE82-442E-4300-80D3-BD0188174D08","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dd6e3692bc5fc62c816379243589f9f9183e7b89","datavalue":{"value":{"text":"A Coinductive Calculus for Asynchronous Side-Effecting Processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3088290$24C6A2AC-65AA-43B8-AD98-C13BA2D76E46","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ed7016a056b1b830969f7756cd8f1c02a95899b6","datavalue":{"value":"1342.68231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088290$D443CE04-F8B1-4115-85B9-F4A80F85D140","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9059f1f7bcd9ecbae8f5ca6ddcdfe71fafd44a39","datavalue":{"value":"10.1007/978-3-642-22953-4_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088290$13D21958-85AD-4539-86A0-4AE40C8E18A2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1eeed33b2287d1ef7af5a3fd00bdb188f793ecc6","datavalue":{"value":{"entity-type":"item","numeric-id":234493,"id":"Q234493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088290$F1439A96-E465-4CBE-B107-4184DDDBB046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4bfee629fa3f6313e36a8128edc940eba1a6d8bf","datavalue":{"value":{"entity-type":"item","numeric-id":1407592,"id":"Q1407592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088290$8E773D79-5B7F-4DEF-ACB3-03C536C0198C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d5f933ea207a65c750dcb31f616ab3a85677a7f1","datavalue":{"value":{"entity-type":"item","numeric-id":2842766,"id":"Q2842766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088290$75A7325F-4AA7-44AF-B0CD-A82587DFF343","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c9973b58de11bddbd329b1cc3e6e49b7db7b7641","datavalue":{"value":{"time":"+2011-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3088290$455B67FA-70D0-4179-8B8D-2EC7229772C9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088290$C4385341-79F4-410E-87F2-7A59DB55391A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fd4daa35ebae59bcc86ff9bb79a07517da932bd5","datavalue":{"value":"5940782","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088290$A8029ED8-263C-47AB-AD0C-A17142A3B2C5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b1a2a866e7bbb119aad234d9285d711e41219669","datavalue":{"value":{"entity-type":"item","numeric-id":13159,"id":"Q13159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088290$E5AC630D-1B3A-4F23-8AC5-9E94194A3724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088290$CCAF1082-E03A-431A-9B17-DC8F3A898492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"68a2a0944c8cf045367194bccc6df8bb149e4fde","datavalue":{"value":{"entity-type":"item","numeric-id":39366,"id":"Q39366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088290$0E3F4F64-18EF-4A27-BD80-7AAA39878D4E","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":"Q3088290$5B321AA7-35A6-4761-BDCB-9B0E49398FD0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d63bc5b5f83322ad22e85907e81c4ee5c875201b","datavalue":{"value":"https://doi.org/10.1007/978-3-642-22953-4_24","type":"string"},"datatype":"url"},"type":"statement","id":"Q3088290$234E7814-8A4F-4A83-BAAE-3E16440D84D9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"31de3061cadd5a2c4f288c13532af8bd46fe0d1e","datavalue":{"value":"W2149142030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088290$2627F93E-75FB-4A45-8A1A-6A8FB160297A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1d10c8699609d436c26f61d1c5e6973a07fd45c","datavalue":{"value":{"entity-type":"item","numeric-id":4408808,"id":"Q4408808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088290$5807C095-7D25-479D-A627-1E01F0A4D3E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"812577b8a4a27ec58181e24bc8b0317028f976a8","datavalue":{"value":{"entity-type":"item","numeric-id":4460686,"id":"Q4460686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088290$1D4BC32A-1DC7-4DE8-AC0C-45E42C677D99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba1b054f3fedabfcc7b28f42f5e01f5ce7cf6b0a","datavalue":{"value":{"entity-type":"item","numeric-id":5186720,"id":"Q5186720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088290$524D1A21-E9F5-4C73-BDF4-7EB320704F55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21bcc30b765cca771213ef9a1977f71c8871dbe4","datavalue":{"value":{"entity-type":"item","numeric-id":5310638,"id":"Q5310638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088290$1D8F90B9-3C91-4FE2-8288-E4F81CF52F35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2d96d47e70546f90af4113e353ec8a83137be18","datavalue":{"value":{"entity-type":"item","numeric-id":4282805,"id":"Q4282805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088290$29C6DBC0-E87B-48F7-B90A-6C3CB9A171AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12e4059e3e3788a873388fc3b6237dcbc3b49d09","datavalue":{"value":{"entity-type":"item","numeric-id":2768503,"id":"Q2768503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088290$061C954D-68AF-46DA-8F92-4A00F73EEF91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f90520da3a234ef2ca5478c44ea125d2ce226e91","datavalue":{"value":{"entity-type":"item","numeric-id":2943368,"id":"Q2943368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088290$24BC86A4-5CFA-4B6F-92C7-570CCDA32B5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f80bd569568dd60e0aecd80316d7117694212d9","datavalue":{"value":{"entity-type":"item","numeric-id":879354,"id":"Q879354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088290$274B15FC-7D7B-4F36-93E2-AA59E70FD01E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5917031cd6ce8484665fe8349c2192d249de0f24","datavalue":{"value":{"entity-type":"item","numeric-id":1400720,"id":"Q1400720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088290$38CA49F2-56A7-4F15-947A-800671C6D447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5357f2bc1cb8deb6175a903466451611ff6fcd1f","datavalue":{"value":{"entity-type":"item","numeric-id":3623932,"id":"Q3623932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088290$48C6EF61-EE60-47CF-9A52-56FD212A4D47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10be44b382ceb44eaafeb4044db6f2b193dbf650","datavalue":{"value":{"entity-type":"item","numeric-id":3907039,"id":"Q3907039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088290$C40EF4B6-A756-47A8-81CD-623D161206F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0bfe8ea08c74ecb860e323c4b06a40b0b96b280","datavalue":{"value":{"entity-type":"item","numeric-id":2919453,"id":"Q2919453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088290$8034E0F4-AE29-4B3B-B57C-5937548FDFAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba619eb6add35c33d3b7a7b6ac8e0b0c5fc67491","datavalue":{"value":{"entity-type":"item","numeric-id":1853752,"id":"Q1853752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088290$7A3053E9-F3DA-4090-BC7C-21C8E8DA912A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0eb64b43ac498f75820e9551d85ed90fc27d4a51","datavalue":{"value":{"entity-type":"item","numeric-id":2769437,"id":"Q2769437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088290$88439679-D480-4B65-85AF-B25C93630041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36b2e18aa0434874ff13738daa33c8ebf25e2db4","datavalue":{"value":{"entity-type":"item","numeric-id":2888475,"id":"Q2888475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088290$A9D4D925-2AD5-4A06-BB01-220AB22B3D68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088290$26C5EC41-0EA7-453F-ADBA-1DEAFAB7B9F4","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":"Q3088290$CF2C3E21-5E79-4F48-9D35-896C2E19BBEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d65a8b274a4df90cf9b00e2afb9424bf214c3aa","datavalue":{"value":{"entity-type":"item","numeric-id":4507959,"id":"Q4507959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088290$9D6DF40D-4505-40CC-857D-B99DF3FE6C02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f08d6a93b5519fe40946b3c81233b0a486a55307","datavalue":{"value":{"entity-type":"item","numeric-id":4414308,"id":"Q4414308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088290$0CF963A4-E7A2-492D-8794-8BDE575683C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eca56c8100a823695872d37fd629e46409982af4","datavalue":{"value":{"entity-type":"item","numeric-id":4917064,"id":"Q4917064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088290$57189647-65EE-4B40-8748-40BC7D29A823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8820f1b321cfbef69924230a297198d883cd6da1","datavalue":{"value":{"entity-type":"item","numeric-id":3996704,"id":"Q3996704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088290$F59D018C-7ABC-4819-91FE-CCC0C04DAF4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088290$1492F44E-CAB6-445A-8B84-3F62176929FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7279c5ed1e6f357c01cf7eea3028d17aee56f843","datavalue":{"value":{"entity-type":"item","numeric-id":4823808,"id":"Q4823808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088290$05BC998A-B505-45F6-A6E0-842479A1C40B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fdbf6c6e5d99a037259120b03a6d77b152675cd","datavalue":{"value":{"entity-type":"item","numeric-id":1006648,"id":"Q1006648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088290$EC1EA054-6DC5-4D3E-80B6-94D57C94EAAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed5629b6f942ce21838e7e73fda3414de1b80768","datavalue":{"value":{"entity-type":"item","numeric-id":2844053,"id":"Q2844053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088290$CCE529B7-5FEA-4E93-BFCA-F7B3A6E8AF53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ac76dbbb149e2f7839e5c1fe16a794ce092e6bb","datavalue":{"value":{"entity-type":"item","numeric-id":4460688,"id":"Q4460688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088290$8CE71794-363F-4AFA-8FB8-92FEE7F3A24A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f5ec7d8fe15d36eb40752b72a6a0baaf7999a0d","datavalue":{"value":{"entity-type":"item","numeric-id":4256309,"id":"Q4256309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088290$0D6B36AD-9316-4EB5-B563-DD4B8C58D84A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"637f40cc9ca613c3a384421c3a6abc3b6604f2a7","datavalue":{"value":{"entity-type":"item","numeric-id":393094,"id":"Q393094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6c9c89d190f4075bd5826e7883c2517424f5015","datavalue":{"value":{"amount":"+0.9799680709838868","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":"Q3088290$3F4D4A02-E59B-407E-9BB7-3EF4C6B49678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2759a0926f270b95ac2c1f172ebef2aab2fff83","datavalue":{"value":{"entity-type":"item","numeric-id":5971399,"id":"Q5971399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bed64592f3c82e55e77e18ec8bedb317987fd07e","datavalue":{"value":{"amount":"+0.7419320344924927","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":"Q3088290$985315AB-3265-4F0C-90BD-8A2CC6021B01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96515d0d0acbcb10f2abdbcfcd45cbd41df08dae","datavalue":{"value":{"entity-type":"item","numeric-id":4585073,"id":"Q4585073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c74512dd875c3660b2b7d1f8f06335cbd201235","datavalue":{"value":{"amount":"+0.73971027135849","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":"Q3088290$0FC27EF8-0151-4304-896E-D17CFF335E92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63015037fc7d15758e49f5392a5505d616bc597a","datavalue":{"value":{"entity-type":"item","numeric-id":4409159,"id":"Q4409159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8bc43332098a7c998c7226d984f1e07b6a3979b","datavalue":{"value":{"amount":"+0.7354041337966919","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":"Q3088290$EE91A268-ED25-4F15-A662-AFE31194B2AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17a7ebc2f3faaf2ef0135819990e37d815b56f2f","datavalue":{"value":{"entity-type":"item","numeric-id":283770,"id":"Q283770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a262ba13c102a47aa49543d99292272596121c1","datavalue":{"value":{"amount":"+0.7255769968032837","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":"Q3088290$DD394894-BF41-40BC-960A-356EC4D96ED0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3088290","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3088290"}}}}}