{"entities":{"Q757075":{"pageid":758924,"ns":120,"title":"Item:Q757075","lastrevid":49476415,"modified":"2026-01-07T05:35:26Z","type":"item","id":"Q757075","labels":{"en":{"language":"en","value":"Notions of computation and monads"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4193141"}},"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":"Q757075$82B8AD58-A59A-45A0-A20D-AD2D3C62F335","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a1e1c1f62c006b9867db3ab1f4dd9e74f9cdf098","datavalue":{"value":{"text":"Notions of computation and monads","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q757075$530BC23B-2F20-4CB1-B1E9-CDEA6323405E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"95483436e5f964f9315188018c04f58f904b4ef2","datavalue":{"value":"0723.68073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757075$62FA02B8-CFE2-49D9-95EB-DEA5FDB6A3C8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"32ad805a1cf2c9bd01aac8781fc3d68639942a8a","datavalue":{"value":"10.1016/0890-5401(91)90052-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757075$D55825BF-ACB2-4D83-B18A-8E6103B7F927","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d67ab1b2e03f8f419b2b30d0b67a5844940e3455","datavalue":{"value":{"entity-type":"item","numeric-id":615954,"id":"Q615954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757075$CE996927-D342-4B0D-B516-8DB4A62F89FE","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":"Q757075$785E6588-E455-4648-BEF7-E3E2ABFD84EC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q757075$6EE32FFC-0E2F-413A-A9BC-E2F969EAEAEA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757075$7A5BDFB4-783C-4BB1-B313-8BBB5F6CC4BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757075$1E43095F-DC66-455A-AC2D-E4637C833B29","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"61488bb1d6e19d7aee88200b300b64383b6535a2","datavalue":{"value":"4193141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757075$98420AC2-380A-46BB-BF78-05985C0DA4A6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a236a4a9881a761a93f593b6fc0a0e9903a99925","datavalue":{"value":"monads","type":"string"},"datatype":"string"},"type":"statement","id":"Q757075$3D47341D-F77E-4E56-987B-67D15F74AA6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46a44e8889b5059a3dffed3faf87c7d3d47118d4","datavalue":{"value":"categorical semantics for computations","type":"string"},"datatype":"string"},"type":"statement","id":"Q757075$C7CE996D-1DE5-433B-801B-2FC6F20BFD86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"468ba7faa002bbf46d510af7f50eec06f34c4f17","datavalue":{"value":"proving equivalence of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q757075$C544F746-1220-44AB-B12C-69923DF8536B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"eb795e120aaa1f42c9d34877998d5c9c08e028af","datavalue":{"value":"Q55895577","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757075$91A34266-86FC-4ED5-8C73-C87DDD499E81","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"25db55153babd7076d594d911b639e78d62b451a","datavalue":{"value":{"entity-type":"item","numeric-id":20369,"id":"Q20369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757075$CCE297D0-6B27-4B90-8999-B3BF3A571D4A","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":"Q757075$BDE5D18B-13D8-41D6-A7E0-6FFF35B13A39","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0375f92bc3fce05611e18896b729b86699135442","datavalue":{"value":"https://doi.org/10.1016/0890-5401(91)90052-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q757075$40A98472-62D1-475C-AF33-2833E5894237","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9d9b48206996f3fa0cc50639d6dc80f296bc16e2","datavalue":{"value":"W1997143185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757075$C62D366B-FD18-4026-8D0D-9699C7A2BAA8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a1e99f41142e6d56c13ef3a05fd3f9bb055e348","datavalue":{"value":{"entity-type":"item","numeric-id":3682648,"id":"Q3682648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757075$4A5BF9F5-FB73-435D-A731-2B6533701194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b736495aea3314de1463970f2749c04ad07802a6","datavalue":{"value":{"entity-type":"item","numeric-id":1193588,"id":"Q1193588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757075$67A04416-0CFA-4BA3-A357-72C2607331B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23b85d2acfd32c0083595a105dedd473fa4f67b2","datavalue":{"value":{"entity-type":"item","numeric-id":1314348,"id":"Q1314348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757075$9EFC16DE-607B-44B5-A92B-0ED186C89F13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d56b81cc149fd4c5f4f4c86815da5f5d4ddf0b2b","datavalue":{"value":{"entity-type":"item","numeric-id":1263961,"id":"Q1263961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757075$EAD97058-FA91-4464-BEE5-9C69B1D5EBA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1829d57a79fdec03bcb9e543ae58b9bda3fa26be","datavalue":{"value":{"entity-type":"item","numeric-id":3050433,"id":"Q3050433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757075$5F351A8D-7326-46BB-AA58-139EB45810F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc8abb92210655a5bd4143cbbadd6eadb52d635","datavalue":{"value":{"entity-type":"item","numeric-id":1801222,"id":"Q1801222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757075$379B3359-11CF-43E7-87D8-F4B5EC8AFD63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c36e4ce17cede867a82574cebccb1c77ad33605d","datavalue":{"value":{"entity-type":"item","numeric-id":5752573,"id":"Q5752573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757075$EC0EE6A6-B01C-4714-AF68-BEB996D76FBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32fbb879b1b1a752d0cb814abc5317db893e168a","datavalue":{"value":{"entity-type":"item","numeric-id":1244326,"id":"Q1244326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757075$3B5D9873-EE93-4CC4-8E8E-F5BA8BFBDE8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4df405bfb6346fd9a4bedf060b47dec4f4e3cea9","datavalue":{"value":{"entity-type":"item","numeric-id":3934579,"id":"Q3934579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757075$2949FD72-8942-47C4-81B2-AED11B5121F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3592cd66fbd154fad3b6debbcfc102ee04f4b37","datavalue":{"value":{"entity-type":"item","numeric-id":2557763,"id":"Q2557763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757075$1319FC91-F708-4DDB-8FB8-D04112D82E5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0df6fe895be4d249e23d35894ae0d2f6ab1eb0db","datavalue":{"value":{"entity-type":"item","numeric-id":4132657,"id":"Q4132657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757075$EE217C8F-0583-4481-8E50-F77EBCB786E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb0cef3710adbd86fd4521d1c8531cd34e84dd13","datavalue":{"value":{"entity-type":"item","numeric-id":1105351,"id":"Q1105351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757075$70E2291A-77C9-440A-8C93-8D43BB4D12EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"654b9da35bb1975c7b6e87c0586a0aa8bf916f88","datavalue":{"value":{"entity-type":"item","numeric-id":4040149,"id":"Q4040149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757075$F272E228-656A-4701-869D-F0F1386EB61D","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":"Q757075$1C28CF7F-349A-4F6E-A6F2-A695221B8C93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4280cd3d0a555d23ad4c1f097024c9591f5a09ab","datavalue":{"value":{"entity-type":"item","numeric-id":4123496,"id":"Q4123496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757075$1E8C7CEE-2A39-4045-804B-1DAED7492A1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15af30663ff4a9d67f0ae5e190b118364d360f42","datavalue":{"value":{"entity-type":"item","numeric-id":1104731,"id":"Q1104731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757075$87CB2FC2-4AD8-42F7-A9C7-34EF32F11799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bde19d283d42edf106d6209c4d5562a85b28e299","datavalue":{"value":{"entity-type":"item","numeric-id":3764126,"id":"Q3764126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757075$44BDEFC2-64A9-42CB-95AB-5A439C81EB2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d08a7e7d403cea257b26647f08cfb168edc0c81d","datavalue":{"value":{"entity-type":"item","numeric-id":3734394,"id":"Q3734394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757075$99E2E05F-204C-43E8-91A9-F5609BFAAE14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e999bae0a616c880e150ce22a0e3ec926e7ed4c5","datavalue":{"value":{"entity-type":"item","numeric-id":4713399,"id":"Q4713399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757075$954550A9-7BB3-40A2-A698-B46BE55423E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14821703ad3559ce115eabb18820913df4a58412","datavalue":{"value":{"entity-type":"item","numeric-id":3202991,"id":"Q3202991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757075$2643D7B3-00E8-46CA-8BB4-C174A8E14466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e87feef774d412b9e132997ca8ddf128402bbedd","datavalue":{"value":{"entity-type":"item","numeric-id":4105769,"id":"Q4105769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757075$61CD7537-F161-41E3-98C3-650A02B49F6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d223355713d43fd22fdbfdb541ce3efab0d3390a","datavalue":{"value":{"entity-type":"item","numeric-id":1238016,"id":"Q1238016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757075$805D7574-B679-4342-8C2F-C3BD0F322444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e27be5516997b567899ad0b0d96cb56d275522c","datavalue":{"value":{"entity-type":"item","numeric-id":1225449,"id":"Q1225449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757075$A626E079-0C16-4D9F-A306-5DC6F8A7A4C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f11ea5c2da66a2858bec19443b0c09c28f422dc1","datavalue":{"value":{"entity-type":"item","numeric-id":3657409,"id":"Q3657409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757075$37D4F5EC-AA2A-4969-B02E-9C56A537BFC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11b47e427b41b4173e50108f0857c520d19a8b62","datavalue":{"value":{"entity-type":"item","numeric-id":3208629,"id":"Q3208629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757075$3F4D9BB4-A7D6-4447-9314-B909D120CE0B","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":"Q757075$A69ADABD-B757-428F-89DB-B14D91119658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11369978efa15dc62da89d10bfe437030b4aa86d","datavalue":{"value":{"entity-type":"item","numeric-id":3956379,"id":"Q3956379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757075$39FC991B-9678-4D4F-966C-55C78005B01A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ede90199834ac93adbde20330457962be9e2ca5d","datavalue":{"value":{"entity-type":"item","numeric-id":2553668,"id":"Q2553668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757075$7ED3C309-4E2F-4C0B-A0D5-DEE308F91578","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df1aa76bf927b7d483d93039bf60451fdaf7e947","datavalue":{"value":{"entity-type":"item","numeric-id":3202991,"id":"Q3202991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab48fdbe63f86a5a6b3575c4c893126b77301114","datavalue":{"value":{"amount":"+0.9433884620666504","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":"Q757075$5B53D309-9CE3-4DD6-9790-71BEA2DF97CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25036cb7ecd232d6eb024f82d928c3f01c56d499","datavalue":{"value":{"entity-type":"item","numeric-id":3745827,"id":"Q3745827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef27a9a3bfd3a03c5f5a7bf437a9a3134124540a","datavalue":{"value":{"amount":"+0.8043315410614014","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":"Q757075$336DA5BF-7F82-40FA-B2BD-BEE042F37EE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91c044bffe3eb2348d535add07fb1b819854164f","datavalue":{"value":{"entity-type":"item","numeric-id":4738236,"id":"Q4738236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bda8f31e9f32084a1d54a4d2e626461eaa9a9451","datavalue":{"value":{"amount":"+0.7992537021636963","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":"Q757075$7D47C214-F362-4821-8294-D262D30E52A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4af4c20699aeb09f6d2f5139ec39c4052fa13571","datavalue":{"value":{"entity-type":"item","numeric-id":4236755,"id":"Q4236755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5c891321cc7ed008deb6eeead3a1058a4dfae8a","datavalue":{"value":{"amount":"+0.7981238961219788","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":"Q757075$C747D079-C12F-4A2D-BD45-CDC5641EC2B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90a6bd9f3333a0cb2d7ffabb5730e4061c833614","datavalue":{"value":{"entity-type":"item","numeric-id":4359526,"id":"Q4359526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"428dfc9bbb5254d0de047df86c763a0e626161ef","datavalue":{"value":{"amount":"+0.795181393623352","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":"Q757075$2F212B2F-FC68-4C1E-95E2-DCF5DE87F32E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:757075","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:757075"}}}}}