{"entities":{"Q6145528":{"pageid":13279835,"ns":120,"title":"Item:Q6145528","lastrevid":58712613,"modified":"2026-04-06T10:39:00Z","type":"item","id":"Q6145528","labels":{"en":{"language":"en","value":"A linear exponential comonad in s-finite transition kernels and probabilistic coherent spaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7798822"}},"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":"Q6145528$D9F93F4A-1A26-4BC6-9BB6-58F62C5D6E29","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a12179883d6b79808ba24d599c7fb6ae5e62c798","datavalue":{"value":{"text":"A linear exponential comonad in s-finite transition kernels and probabilistic coherent spaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6145528$FA80A708-B095-4AC9-9446-BA8C11F279E5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"19fd10e0677a47c7fc103d0a61f6c004fc8766f5","datavalue":{"value":{"entity-type":"item","numeric-id":705529,"id":"Q705529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145528$C2F40192-FD5C-4A9D-AE43-570147728F51","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145528$38D0FB29-2461-4824-8797-0F674AFC58BC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cf1fba24e920aa6baf40d2b3b21f6509cc5627fb","datavalue":{"value":{"time":"+2024-02-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6145528$7EDF6665-580C-43BD-9728-EAAA13F13090","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6ecf16336caa1656f9fb5f30e5843573aa88f927","datavalue":{"value":"https://arxiv.org/abs/1909.07589","type":"string"},"datatype":"url"},"type":"statement","id":"Q6145528$60A3D9CA-8F50-4BF7-8FD2-92AE47E94A98","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6145528$99EC9A0C-1C29-4496-AC1E-7D350E787F73","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8a567e8299ed9ebf039dbb8738fa52d240aed7ac","datavalue":{"value":"7798822","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6145528$7EAA2F98-D3AE-4DA1-99B3-118AA164CF38","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50f241e3158fb47bf3847f6fadb9b3353b5a64e7","datavalue":{"value":"stochastic relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q6145528$C11A164A-9CA7-4170-8E64-D0FAA241AF49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8b5c0f0ebb3b122f6f906c78ed18890b3e8a97e","datavalue":{"value":"transition kernels","type":"string"},"datatype":"string"},"type":"statement","id":"Q6145528$9E14F98D-27CB-4056-B164-B986C812250E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc7fb247254005fb9e0b127843a084aaff718bbc","datavalue":{"value":"linear exponential comonad","type":"string"},"datatype":"string"},"type":"statement","id":"Q6145528$C2105025-37E1-4784-9CB6-701EC9E5033E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6145528$12A44EB0-672B-4432-AB02-1676D5378D2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8dc52107eae4f3a883bdb60996233b6da7c80365","datavalue":{"value":"orthogonality","type":"string"},"datatype":"string"},"type":"statement","id":"Q6145528$B552D77D-B796-427D-A4B3-65218D79606E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eae8315478af6787508c528740b602e2a5b411f4","datavalue":{"value":"measure theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6145528$2557123A-59E1-4C4C-A699-F91B2FC19ECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7dbfc474d5a4bb1ba83c91727a82a144fefe358","datavalue":{"value":"s-finite","type":"string"},"datatype":"string"},"type":"statement","id":"Q6145528$FA5F59F6-E78B-494F-8ED2-177329E7D7A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28ffb38f21238c9e6aeb926c271fd6a16f31f5f3","datavalue":{"value":"exponential measurable space","type":"string"},"datatype":"string"},"type":"statement","id":"Q6145528$8A36302E-F7F7-4AC3-99BC-FEF452DF81F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea05f8946eb3dd3b51e49a00188d65b4680f4ec7","datavalue":{"value":"double glueing","type":"string"},"datatype":"string"},"type":"statement","id":"Q6145528$42B6BD5B-5456-4120-B9D6-4D3DCB13B6E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef855b48f301a057cd62310fd1079e4683ee128a","datavalue":{"value":"tight orthogonality category","type":"string"},"datatype":"string"},"type":"statement","id":"Q6145528$ACDFC749-4B7E-49E3-A357-233D6A92FF1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdaa8bcbc0661cbee7adb3770b0a662ef045f112","datavalue":{"value":"categorical model","type":"string"},"datatype":"string"},"type":"statement","id":"Q6145528$DC4D4BBD-1599-4C99-B1CD-22F6F4676659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa1e25aaa99aab7a5edac719d55c4857ab088bfc","datavalue":{"value":"probabilistic denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6145528$EE1AC17B-57D0-4A7C-9C9F-4456353C3576","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":"Q6145528$56CD656D-DBA3-46B7-9DB3-3492A9CC0C81","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"54f53f651d01baf00d473494c21ecacf33d3cabe","datavalue":{"value":"W4387613857","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6145528$03F40021-9FEA-4D31-BCED-F1A9ECD6654F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"649204a38d5b54e63e096d902e704e34f74c6371","datavalue":{"value":{"entity-type":"item","numeric-id":1349399,"id":"Q1349399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145528$4F03CAC1-633A-4594-9908-8CAD0734973B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6680c6212d0de274172c2b027fbf73e41a69267e","datavalue":{"value":{"entity-type":"item","numeric-id":2981999,"id":"Q2981999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145528$DC5F6053-8D10-4119-9BDE-FA94279E63E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1975c74672113e9ef391aeef45f19bea82760e20","datavalue":{"value":{"entity-type":"item","numeric-id":5891171,"id":"Q5891171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145528$374738D9-243A-4416-8F41-3F1340E5B784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3efde60b1a4c7ce2f204d4156ccc4d136fed59c0","datavalue":{"value":{"entity-type":"item","numeric-id":5615112,"id":"Q5615112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145528$36454059-3ADD-41A3-8210-687E0EA2D3C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68d55796b13861afb189aafda70c905b0c0418af","datavalue":{"value":{"entity-type":"item","numeric-id":5145300,"id":"Q5145300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145528$37591D37-39F3-4308-A0D2-58F25C9D9B9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7835c23a7ac046640d44b2fee71c6cbcdd1d8d1","datavalue":{"value":{"entity-type":"item","numeric-id":2988358,"id":"Q2988358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145528$B38D589F-84FD-4FC5-AB9E-E2FF53CF902C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e35c260dfd981553bd5c8d840b02f11a11c01de4","datavalue":{"value":{"entity-type":"item","numeric-id":550253,"id":"Q550253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145528$6960B9DC-209C-43C3-BEC8-D60D9B3EEAFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c312429938efc47c28b542a41981c53f54fedee6","datavalue":{"value":{"entity-type":"item","numeric-id":5019656,"id":"Q5019656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145528$95630B9E-A4D0-40F9-8C19-B9F92E50A911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8942ca8af4693b2a95bafc41ae23d115582ec56","datavalue":{"value":{"entity-type":"item","numeric-id":4792972,"id":"Q4792972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145528$455E6B70-E022-4C36-B4D2-EEF26A48587C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75b13a22e38312c231e25074be84e18e44658eb2","datavalue":{"value":{"entity-type":"item","numeric-id":5697709,"id":"Q5697709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145528$13B26185-EE9C-4D42-B239-BFF1098E358B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57be3236fd3630a7ff89fc966a751eb5ef1160ca","datavalue":{"value":{"entity-type":"item","numeric-id":5145648,"id":"Q5145648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145528$A52DC8E2-47FE-407D-88A4-24D69A919DA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f80fcdcb1d8ca6c690b4c886cf334588a552bab2","datavalue":{"value":{"entity-type":"item","numeric-id":4561511,"id":"Q4561511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145528$4C95CA63-70A9-4759-8155-8D2FBD873A92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d479fcce1c5f968e1869781ec8f8f89b9f4e175e","datavalue":{"value":{"entity-type":"item","numeric-id":4265489,"id":"Q4265489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145528$69696388-01A9-4F1E-82DA-CEB8E8249000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145528$74C251C6-22B8-49FF-A38C-0801DD5104E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90f212fb967f9a9d9854f9848f7aff4d399d7a98","datavalue":{"value":{"entity-type":"item","numeric-id":4204146,"id":"Q4204146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145528$2B3681A5-659F-4DC4-9070-C08944924D65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d7c8129c62fa78a6a79b206009659bebc14d905","datavalue":{"value":{"entity-type":"item","numeric-id":1575868,"id":"Q1575868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145528$DB60AB4B-C137-4006-8544-3676C2CD239D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdef39b443c7c711b01a47d68a2506772be4e26e","datavalue":{"value":{"entity-type":"item","numeric-id":3946875,"id":"Q3946875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145528$E169A3DA-2B1B-4137-B182-44CEBFB430F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93d5c23e3f5f7f6af57b8564d86fdef84705ef3e","datavalue":{"value":{"entity-type":"item","numeric-id":4487270,"id":"Q4487270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145528$FE5C7B49-423D-4B75-909A-9962B537DC48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edb6b63b8ea3cf4596419955ba0d7da9834a9b53","datavalue":{"value":{"entity-type":"item","numeric-id":4617970,"id":"Q4617970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145528$9F79CA3A-D6A0-4D11-A498-7EAA8ED83DEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29f55ce7a0033f267017eaa754b9f303d49b3795","datavalue":{"value":{"entity-type":"item","numeric-id":1398466,"id":"Q1398466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145528$55362426-77EC-41FB-A8DC-5E128F86419B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"695bc96844a6532cec9ea6de1983164ebdaf6cb4","datavalue":{"value":{"entity-type":"item","numeric-id":4877674,"id":"Q4877674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145528$81B4E774-A980-448B-B7A0-D4F059670840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fa16ee0b007585cf9333b084e425b8a8bfd9904","datavalue":{"value":{"entity-type":"item","numeric-id":5271067,"id":"Q5271067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145528$9E4F1FDB-ABCB-4237-B422-D9D900DB6FEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d1f854c1fbbfc6cea70a4a8ac9dec0ba4f326fc","datavalue":{"value":{"entity-type":"item","numeric-id":3619416,"id":"Q3619416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145528$CF0A5BE0-5DD9-4C22-98BD-54B731E504B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"786c5621d0f7bde9d121e11057ac6657bf64861b","datavalue":{"value":{"entity-type":"item","numeric-id":2233478,"id":"Q2233478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145528$AAB2400D-352B-4382-97BB-2DCF0F013744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19f86d9f5cfa728eaec66298b011d7269fca9cac","datavalue":{"value":{"entity-type":"item","numeric-id":3827993,"id":"Q3827993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145528$2C79D85D-DDA6-40CE-9E89-2F00BC9C2668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bc5ed71e478d44bcdc30c2e36b9a3848549469c","datavalue":{"value":{"entity-type":"item","numeric-id":4040434,"id":"Q4040434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145528$AA96C3FE-8B8D-47F3-836E-AF003C31B7DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea5f9676a7b279cbec29e73f67a9c5f2e1181545","datavalue":{"value":{"entity-type":"item","numeric-id":2988671,"id":"Q2988671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145528$CFC14B4F-542E-4D1D-927D-D78299570CD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc4c5afa32682b6614ad0638bf10a2f4f1610081","datavalue":{"value":{"entity-type":"item","numeric-id":4635912,"id":"Q4635912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145528$D1E0C4AC-BE4C-42AF-AD2C-73BF26088D40","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"031be3c75cf74369a49554c8d2d825201dcfdc71","datavalue":{"value":"10.1016/J.IC.2023.105109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6145528$CEC967D1-B7E7-4CA1-BBD7-C88B1AF3B5FB","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145528$5227E940-65D5-4BFC-8E37-9972A1772FFA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6145528","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6145528"}}}}}