{"entities":{"Q1744384":{"pageid":1755126,"ns":120,"title":"Item:Q1744384","lastrevid":57517734,"modified":"2026-03-31T06:07:05Z","type":"item","id":"Q1744384","labels":{"en":{"language":"en","value":"Complete Elgot monads and coalgebraic resumptions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6862927"}},"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":"Q1744384$0C7F780D-DA84-4E43-B986-0DFCE04FE46E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"67499e0819e3926e4c644d704dca3b2a6b6faf87","datavalue":{"value":{"text":"Complete Elgot monads and coalgebraic resumptions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1744384$F97A76F4-6886-43E1-A50C-060C782300DE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"460a81d0ed04cc0fc628ec6a91045dfaaae709ec","datavalue":{"value":"1395.18004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744384$A10985BD-2817-491A-882F-29D589B53624","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"545b80613dc1ee6a751f6b195b3ce274e84dcf7f","datavalue":{"value":{"entity-type":"item","numeric-id":265815,"id":"Q265815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744384$81FBF4F7-4B6C-41F7-8434-601A5744507A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ef21ede925cbe85297cfcc48f1f46593c90e8b5","datavalue":{"value":{"entity-type":"item","numeric-id":784134,"id":"Q784134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744384$949A58F9-CC2E-4DDF-B19F-162CA5310695","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":"Q1744384$B4A55E7B-4D71-41A9-A5EB-4DD42E082B25","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-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":"Q1744384$116CFA28-468E-4708-A431-B607C5F1E08D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9d494857e62f3b6dbc344a7702da6372376e4a22","datavalue":{"value":"https://arxiv.org/abs/1603.02148","type":"string"},"datatype":"url"},"type":"statement","id":"Q1744384$3E1CBC8F-0A67-4D8E-9BD1-8E603C7B7DEA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"138bfade4254c939b16bf73099f468d5be54b557","datavalue":{"value":"18C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744384$D58092C8-9692-43DF-83FE-C1D174BDE40C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d94cdbde928d12db2a06305c6f1346171594ef02","datavalue":{"value":"18C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744384$83277785-061C-4332-992B-CAD92E3DF4DA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"27d632ca6c4c11fb84fb01108b65c23af8682f6e","datavalue":{"value":"6862927","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744384$853BB710-AA65-4F36-B16D-17B4E37AC24B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbf0c14c0f55719cdb7dfa0da7312e803bbc1711","datavalue":{"value":"complete Elgot monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744384$5C01BC2E-EDF7-4398-AD33-D905C7823D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ff6a520532265413c23c42b4bccf15a4ea04402","datavalue":{"value":"complete Elgot algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744384$0FB5A32C-A4C9-408B-A419-C8FAFAEFE31F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe77c511383ad0647821ad69238983829fd7dc2a","datavalue":{"value":"resumption monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744384$B6486EA4-9ABC-422C-91AC-D58B3E20C590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f44e435d63bcd7517fcda5ca09061275d646f55e","datavalue":{"value":"uniform iteration","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744384$C08A8718-0845-4358-8F35-30D1680EF000","rank":"normal"}],"P1463":[{"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":"Q1744384$67E2C59B-442F-4A63-9066-F07C0BCE84EA","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"49290fcf5c65a9fcf6cefa36f32c5b719359f05d","datavalue":{"value":"Q113317636","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744384$A625B39E-B5E5-44FE-AD4B-361A12E9DC2B","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":"Q1744384$47D8D174-06E4-4B7C-8D6E-76393F5A1EC1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"de6601eab63d8daf43cd9b253a14aca522897e23","datavalue":{"value":"W2963088364","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744384$22B9986F-00D2-422F-8636-2DF362758DE8","rank":"normal"}],"P223":[{"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":"Q1744384$144D9365-6920-498A-A3DE-C06EE024737B","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":"Q1744384$573E48E5-5945-421F-86A8-CABCA53E8376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a8521326af6840e25ae26322979779601bd44ee","datavalue":{"value":{"entity-type":"item","numeric-id":5454623,"id":"Q5454623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744384$FF862544-F8D0-4740-8947-53A351BFCB72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c677847f7c07357808fc860928f56717d8fcce6","datavalue":{"value":{"entity-type":"item","numeric-id":2849883,"id":"Q2849883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744384$F9351C03-C2B5-4B78-BEDD-7BA484EE41B7","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":"Q1744384$94DA8FE2-0027-4578-95A3-6C8189AB1316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29c5e44db88299f376dcc039b0a26df737cc8f8c","datavalue":{"value":{"entity-type":"item","numeric-id":1004388,"id":"Q1004388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744384$F3A89361-9909-43C1-BCCF-278CE7CE75E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"045877f80722b81376b17cac8bca66b511ea943e","datavalue":{"value":{"entity-type":"item","numeric-id":618163,"id":"Q618163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744384$E05BE9AC-0377-4B95-B2A1-11CD87F8B32B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d3511e38210a561c350cd447fb247ba0ba23e4a","datavalue":{"value":{"entity-type":"item","numeric-id":3005993,"id":"Q3005993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744384$F1352470-91B4-4B45-BE57-A1F998647C88","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":"Q1744384$D9AD18D2-E2CD-4B91-B4E6-1331DC60E742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de1e80d2e449e5eeaf6b04fce2b236d56d3769e0","datavalue":{"value":{"entity-type":"item","numeric-id":5287508,"id":"Q5287508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744384$394F7254-695A-46EA-91E3-53D68AAC7086","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":"Q1744384$F5EA3142-5CC2-4005-AF39-13F89006ADF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd95d79f3eab60665665be07e829d6169119f15a","datavalue":{"value":{"entity-type":"item","numeric-id":4091917,"id":"Q4091917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744384$08DE1E26-84EC-4491-83F3-49F79CFCC0D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e664b17d3c5570fb2b66b882b217c4ddf1c9b52","datavalue":{"value":{"entity-type":"item","numeric-id":5971399,"id":"Q5971399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744384$C46D545B-801E-47ED-BF30-48155F52DDF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cccc5153a3e6c87f1ade06303a4040949f858927","datavalue":{"value":{"entity-type":"item","numeric-id":393094,"id":"Q393094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744384$15C2F60D-74DC-4B25-95DA-B7A11E494807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c9f2c5cb5616249a826553ca095837695848696","datavalue":{"value":{"entity-type":"item","numeric-id":3024908,"id":"Q3024908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744384$72210DFB-972B-4848-A567-9EE24ADD526A","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":"Q1744384$27B80E5C-0FA4-4CDE-BB6B-797B82A320E3","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":"Q1744384$B2B7A20A-4EC7-40CA-9CF1-69C304898DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5ff532e8f7c9661a9505e4be8bdeefaf74ff27f","datavalue":{"value":{"entity-type":"item","numeric-id":3877834,"id":"Q3877834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744384$6E58B631-1F14-4919-8F24-4CDE190FC436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b620cb3f843d6247596ccdeef0b13771fac8cb7","datavalue":{"value":{"entity-type":"item","numeric-id":5730919,"id":"Q5730919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744384$AA12A658-F8E2-46A8-9749-3C9C7B89D32E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744384$E4C32A1E-2CD4-45B4-B05A-65741E5FE6D6","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":"Q1744384$58070839-5AC3-4073-B2F5-FC4E92CC2FA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8268597bdde49d3cc93a9ac70309842e53cec529","datavalue":{"value":{"entity-type":"item","numeric-id":2771052,"id":"Q2771052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744384$20A8F6B4-EE73-42F0-9BB4-8B6F9207D557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25909eb9351cf0344054fe076659323e4a16467f","datavalue":{"value":{"entity-type":"item","numeric-id":4738236,"id":"Q4738236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744384$A0AA08C2-5DE8-4A96-BF42-E09737C78B6A","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":"Q1744384$DE9DB4D2-1DB5-42EB-ABD9-02FA99C4304A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"92ec3ae6e7bf4190ed10d4c426f9a506b2689515","datavalue":{"value":"10.1016/J.ENTCS.2016.09.036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744384$1A8BBEED-45FA-4460-BD46-E8AC9FD00E30","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":"27b72519833431b4a73d1b3078c30533995d1837","datavalue":{"value":{"amount":"+0.7701144814491272","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":"Q1744384$46B02539-9A4C-420D-87C5-A84596775EFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7abcd27cd6caf3a28e3284e284c647b8ae0143fd","datavalue":{"value":{"entity-type":"item","numeric-id":1798792,"id":"Q1798792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16745c0311783dbc05206a9d3c5686e3fc03e66c","datavalue":{"value":{"amount":"+0.7701126933097839","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":"Q1744384$1CB358D6-EC49-4849-B670-1B20D6042DBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aecbcfcd763cfb34802046b716e786c7f692a349","datavalue":{"value":{"entity-type":"item","numeric-id":5158367,"id":"Q5158367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f92597c85be18fe95180987ec1f63aee514c472","datavalue":{"value":{"amount":"+0.7670852541923523","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":"Q1744384$2326240B-5B96-473B-9508-E107F1F3F3AB","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":"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":"Q1744384$0F7B4412-C250-43E1-BBB4-B3D6ED51651A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e253afa103fcbda5f0135bcd63e0f8e951aa34d","datavalue":{"value":{"entity-type":"item","numeric-id":2888475,"id":"Q2888475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11dbad4273196584aa5c8ddc94e556d7a1c17949","datavalue":{"value":{"amount":"+0.7571016550064087","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":"Q1744384$46A90998-3759-4E58-93BA-7B809F5F7E46","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744384$20F5F7BB-963B-4B9D-8F7D-8F4AA32E20FD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1744384","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1744384"}}}}}