{"entities":{"Q283770":{"pageid":285537,"ns":120,"title":"Item:Q283770","lastrevid":60691329,"modified":"2026-04-10T18:33:06Z","type":"item","id":"Q283770","labels":{"en":{"language":"en","value":"The coinductive resumption monad"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6580862"}},"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":"Q283770$09A50F26-D6F3-4E3F-A415-FAC2ECA7CF8E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"22485aa0c3b7300a12db6664f5534b896e16598c","datavalue":{"value":{"text":"The coinductive resumption monad","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q283770$7741FB21-5EA8-47EC-A664-1C1F88DE81F4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3c0789a2621bdfe4600dbf8d6262928258d3d500","datavalue":{"value":"1337.68189","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283770$CF39CE07-6949-4B23-B5AD-5FD8E21DEC7D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4bcd5a9cf1756627d591d8b5bea43e89f25fa377","datavalue":{"value":{"entity-type":"item","numeric-id":265822,"id":"Q265822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283770$BC2CA9C8-0565-4A45-A6EF-85600542BF64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc3da5af6d886e65f139e3efab93130a6bb9396a","datavalue":{"value":{"entity-type":"item","numeric-id":265823,"id":"Q265823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283770$7EAF11A4-86C8-4F77-B8E2-AF28AA8B357E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"659004eb67caabef990f3b9c257f2b5657544074","datavalue":{"value":{"time":"+2016-05-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q283770$6D215528-429E-41E9-95CA-72DBCC286E93","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283770$5748AA20-C2BF-4218-9B31-E1670933B8CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"138bfade4254c939b16bf73099f468d5be54b557","datavalue":{"value":"18C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283770$D3835C4A-F29B-4CC9-BCEF-D5F7E19018EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283770$1006429C-196D-4808-B8E4-DE6C22981F17","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d667fcdc8c67fb0a85614ed9ba71d412690815f2","datavalue":{"value":"6580862","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283770$8CB8F97D-B5DD-489E-8059-D7133994CE5D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc91c1213faf1dcdc372e3ad50caac882792d608","datavalue":{"value":"resumptions","type":"string"},"datatype":"string"},"type":"statement","id":"Q283770$C3E4ADB7-0215-4216-B632-0FEE6EE81C2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94a35d1a0809de7fe167ee527ad04198d0a8627e","datavalue":{"value":"completely iterative monads","type":"string"},"datatype":"string"},"type":"statement","id":"Q283770$2BFA8749-DE18-47ED-8428-123C97CB7D98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q283770$D4F4C4DE-0155-4EA8-9871-05A4C781F7CC","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":"Q283770$8528F807-E310-4296-A9BA-F32DB2852939","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e631d83989e526022d113ee37ccad316a5421445","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2014.10.015","type":"string"},"datatype":"url"},"type":"statement","id":"Q283770$597BE03C-6743-47B5-8085-F4F74F701FEF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8a31172f145055a8719d411c3f1d6ae5a9e108a2","datavalue":{"value":"W1996151507","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283770$1E008421-0AF1-4EBC-A6DA-930463C82FAC","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"6f5c38d5c0ec4e942154be478c42c104428d34e0","datavalue":{"value":"Q113317839","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283770$6E6AD89D-0B60-461C-BBBF-814B9D26FBF2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f72f9a411bcaa82f68e52092d79e5583055ef896","datavalue":{"value":{"entity-type":"item","numeric-id":6104362,"id":"Q6104362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283770$078DB790-A753-4485-8DA7-2A799980228F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8e91e8f9c126986f6d8bbd04993fd9c2b64f111","datavalue":{"value":{"entity-type":"item","numeric-id":4885871,"id":"Q4885871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283770$92E39805-169E-46FD-BF1C-68D9868EA681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2edbd4db20ecbcbb1c315d5320a38ebf3acfa299","datavalue":{"value":{"entity-type":"item","numeric-id":3992552,"id":"Q3992552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283770$BCC0CAC2-DBEE-406C-A305-CE310075BCBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a00b5c752d6ed451b661676594eac73529debd1","datavalue":{"value":{"entity-type":"item","numeric-id":1399957,"id":"Q1399957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283770$B82E0E24-7EC9-4A7A-B5C3-8FB56763B383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2222505cb450ebc747df8c24236387b8edc783ca","datavalue":{"value":{"entity-type":"item","numeric-id":2842813,"id":"Q2842813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283770$610AFEB1-EA0C-4C4B-A58A-5071F153D749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6069fe941b593d2933dca9b2b6dea1fb51529c05","datavalue":{"value":{"entity-type":"item","numeric-id":4408807,"id":"Q4408807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283770$3445DBB7-849B-45EA-9F3F-AF2663727EF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c81ed675e7df7049bd9837b4604fb68164216d4","datavalue":{"value":{"entity-type":"item","numeric-id":5310675,"id":"Q5310675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283770$0304722E-7EBA-421F-B061-D8F5F48BD07B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72562a6f8d0ec0d7167987906e0b0a5d60e46059","datavalue":{"value":{"entity-type":"item","numeric-id":2968407,"id":"Q2968407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283770$94B5DA75-357C-4FB2-B11D-98A83903DFBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"807b82362e683c4f0af7c15a5f6b427da763893d","datavalue":{"value":{"entity-type":"item","numeric-id":3557858,"id":"Q3557858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283770$CAD630E9-2172-495C-9DBC-650BE729EA76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1054eebabeac1d2052e0db162d79c4b0a873ef6","datavalue":{"value":{"entity-type":"item","numeric-id":2892757,"id":"Q2892757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283770$03760AC4-CEFF-400B-8D35-962C6E586786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"129c81f86b6d0c323db7ec7d9bfcdb274c4c975b","datavalue":{"value":{"entity-type":"item","numeric-id":5579535,"id":"Q5579535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283770$8A5863B7-00A4-4D47-A40B-DB091197AF79","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":"Q283770$909C6B1F-67D5-4E86-80B8-F045907066B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64a3c49047d0efbb2a66e82f73aca1674734a2a4","datavalue":{"value":{"entity-type":"item","numeric-id":4934240,"id":"Q4934240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283770$61B75A67-99CF-48DE-A373-7712FF3B5866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47ac8ec4fec93c2506ea7759f7ea656b5ca3a428","datavalue":{"value":{"entity-type":"item","numeric-id":1251061,"id":"Q1251061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283770$8053496D-076D-4D10-BE68-DAC1F7979A10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c57d37caefd2f4873536ece3666850d6f574484","datavalue":{"value":{"entity-type":"item","numeric-id":5168928,"id":"Q5168928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283770$A574FCE1-4E4C-4C68-A362-FE553BD8F139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11906cb85be3bad104d98a976a2fe9510dae25a5","datavalue":{"value":{"entity-type":"item","numeric-id":2817711,"id":"Q2817711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283770$A5242F37-714C-444E-B7CA-D647B9B013FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a6141cf19abf2d254a738c9dd5476cf76d15a39","datavalue":{"value":{"entity-type":"item","numeric-id":4917035,"id":"Q4917035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283770$B8D4BA86-8D1B-4E94-B889-3AA19A0C97AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59b6454dd2e6cb4f73858a28f62927c19908d867","datavalue":{"value":{"entity-type":"item","numeric-id":4659887,"id":"Q4659887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283770$88EC1C81-D497-44A4-8D25-51C67C8DAC2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f209ba5a3ba4600bf5ecf1dacfcf8848be209fbc","datavalue":{"value":{"entity-type":"item","numeric-id":3088290,"id":"Q3088290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283770$40E31E3B-144A-404C-9B91-19401B10598E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c43b86216fe1c5702aab5ae75ac68f23c82c002","datavalue":{"value":{"entity-type":"item","numeric-id":2753682,"id":"Q2753682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283770$16F2B6CB-4348-439C-AA2A-89A5B09AF0CA","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":"Q283770$3D73831F-2819-4FE7-8337-9D22A6EBF3E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63fef6063d28399ee0ebc79b77135bab5cdbcb57","datavalue":{"value":{"entity-type":"item","numeric-id":3005989,"id":"Q3005989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283770$81E78DAF-52C2-4812-95F5-73CF8F9798A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54a322738c92ab9ef22948d2d6883bfa28116e11","datavalue":{"value":{"entity-type":"item","numeric-id":2500483,"id":"Q2500483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283770$BA972A50-2EF9-4EAD-A72F-2263F770A48E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"358d28337946cbbbe9042c0523c11a41b7ded37b","datavalue":{"value":{"entity-type":"item","numeric-id":2767981,"id":"Q2767981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283770$8C60E690-E9AC-4B98-BFB8-C00B94188C5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283770$DBBAA06B-7F74-4008-BAC6-D15D9F4E6D83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f5a008bc4231140c46b0f7a64f453a9b457e2c2","datavalue":{"value":{"entity-type":"item","numeric-id":1767976,"id":"Q1767976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283770$D909918E-4211-4070-9181-E0F8CD2A3719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9db7f49fe90b8b9830a5f2c8fedea8d79ff0759e","datavalue":{"value":{"entity-type":"item","numeric-id":860876,"id":"Q860876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283770$3B43ACB9-CF25-476C-B910-3E810F0B08BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"856b93e25e4d1d0f8f1a57ec0b7cae72b039f6ba","datavalue":{"value":{"entity-type":"item","numeric-id":4077434,"id":"Q4077434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283770$EADB2AB8-F659-4581-8A55-955FE50E14B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57d62ea02120eac95c8276d66fe6e5d0de9a3986","datavalue":{"value":{"entity-type":"item","numeric-id":5096254,"id":"Q5096254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283770$4F7DBDF3-736F-4AC1-9140-F222799A8771","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":"Q283770$44A54E23-399F-4CBC-9809-E4EBFF24259F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2d9ed653c868f9a05c70014c89c457f1b224148","datavalue":{"value":{"entity-type":"item","numeric-id":5941163,"id":"Q5941163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283770$89056313-F5D0-4508-BC53-592979995B0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"155885aa7c0b13bd9f6bfaf7a7ce0eee98e93ecb","datavalue":{"value":{"entity-type":"item","numeric-id":4963901,"id":"Q4963901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283770$EA586851-F22B-4A1E-891B-D6EFF2DB8177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fa05037e21c22d4d712c6575532e677dfd2693a","datavalue":{"value":{"entity-type":"item","numeric-id":5854730,"id":"Q5854730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283770$F2CC68E1-27E0-4061-8385-F2432453D7BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d1fffbf2fb42bcc8e338ebe35616335883e3dcc","datavalue":{"value":{"entity-type":"item","numeric-id":265824,"id":"Q265824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283770$E17EC87E-12FC-4A7E-AE49-A0D909375889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a24bd10a27e1b8e759cf20e25bbc96fc409e8f8","datavalue":{"value":{"entity-type":"item","numeric-id":4127356,"id":"Q4127356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283770$E16F6F3E-C5B8-45B9-8940-ACF5A816E049","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":"Q283770$318F58D3-74F0-44FE-A39F-1EA19BC3E6AB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"62ca3759de7f0d4e36a712325457be7a91d5fcba","datavalue":{"value":"10.1016/J.ENTCS.2014.10.015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283770$4C5356DB-5E09-4DCF-8EFD-1BE0C55AB7B2","rank":"normal"}],"P1643":[{"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":"01466fbea07a4a82a57dd78bdaa340e09c2866e1","datavalue":{"value":{"amount":"+0.8064137101173401","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":"Q283770$31526A23-4231-4FBC-828C-58A458A7BA69","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":"6662c314fa82996273a50f4c61a4af679dc2a246","datavalue":{"value":{"amount":"+0.7712424397468567","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":"Q283770$88F000A0-92BC-4DD3-8363-157C934B0ACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62f8711765145ce8da21d5dd2234df43231ff15d","datavalue":{"value":{"entity-type":"item","numeric-id":1744384,"id":"Q1744384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c4640b60a8a3555ba7c8f3f6f1e17d8ecd7fd96","datavalue":{"value":{"amount":"+0.7590975165367126","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":"Q283770$B86C1D21-7F37-48E8-95AD-CB894BCC441C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"981cb4383ec54c37367b2386b50a6bb3aea8d6f2","datavalue":{"value":{"entity-type":"item","numeric-id":3088290,"id":"Q3088290"},"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":"Q283770$E8EA7F7B-A20E-46DD-B037-733F3E552041","rank":"normal"},{"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":"b731fe95f1b5547d85051f9777307267372ac707","datavalue":{"value":{"amount":"+0.7201573848724365","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":"Q283770$32DF5F5E-B7E1-43CF-AF72-2C6FE53CF538","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The coinductive resumption monad","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_coinductive_resumption_monad"}}}}}