{"entities":{"Q2520704":{"pageid":2531447,"ns":120,"title":"Item:Q2520704","lastrevid":73520634,"modified":"2026-04-14T16:19:05Z","type":"item","id":"Q2520704","labels":{"en":{"language":"en","value":"Stateful runners of effectful computations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6664944"}},"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":"Q2520704$C0CEB77F-C810-4E32-B480-C99BE5D7317C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d991acd4392b2a10c72f4f4a61927c53177721d1","datavalue":{"value":{"text":"Stateful runners of effectful computations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2520704$963423E3-D394-4C6B-BF81-AA8B0A364227","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"01d510becf612b9f89fd392479b9266637e7e237","datavalue":{"value":"1351.68104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520704$708D8280-9462-45F6-82DD-A0ADD1B7C321","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7482be5e12ba704886d8c8b688d0ba3cb204197d","datavalue":{"value":{"entity-type":"item","numeric-id":235624,"id":"Q235624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520704$A92BF0B6-E71D-4361-B0CB-B1BB2CB577DD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"81dc7daf8e9d74fc43b1651d3815e34e62e970ab","datavalue":{"value":{"time":"+2016-12-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2520704$68AB2280-21C5-4819-9EA8-FAAFDFBDE154","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520704$23A35745-7AA8-43AF-8EE3-E0F435729B67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d94cdbde928d12db2a06305c6f1346171594ef02","datavalue":{"value":"18C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520704$832285C5-42CF-4F21-9392-587A72913821","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5acd74f170a772addd50699ac9dd8b9bd6cb0333","datavalue":{"value":"6664944","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520704$4F02C37E-BCC1-4A7C-ADB3-E8CFD8ABCB77","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b469e5b132ffbd46d5b178b22d2c93673a66eab","datavalue":{"value":"effects","type":"string"},"datatype":"string"},"type":"statement","id":"Q2520704$51538CE8-DB2D-4DE5-BC34-4C58C49DEF39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a236a4a9881a761a93f593b6fc0a0e9903a99925","datavalue":{"value":"monads","type":"string"},"datatype":"string"},"type":"statement","id":"Q2520704$7F5A2C1B-1FE6-4500-B5F9-F9B152740954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74a5eddf897f4747e6697376f6f64fae4ee9eae2","datavalue":{"value":"Lawvere theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2520704$F7A9542C-5B66-4C47-835E-11785CA909D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e09693da0cb0b99f942a0526a26a769f1af9a519","datavalue":{"value":"comodels","type":"string"},"datatype":"string"},"type":"statement","id":"Q2520704$14019EE1-3538-4CA5-876C-3F89E2F1290B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe67fc5eed8e52ab777530b497a83a680c065e98","datavalue":{"value":"state monads","type":"string"},"datatype":"string"},"type":"statement","id":"Q2520704$9598E76F-6DF8-4B61-BE14-DF8D230A38FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf2b70b2a121d8ed6ca561d96e3c30525a325d9c","datavalue":{"value":"handlers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2520704$FB5F0BC8-C824-47CE-B2DA-D43E41A3540E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"da50e48113cc6785c9a9bbec8727d608e3a3cc9f","datavalue":{"value":"Q113317717","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520704$4A5CEBBB-4C92-4E6E-8F0E-63583D32C4A7","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":"Q2520704$07C270B4-438E-4D3F-98D7-01D34F8A2BEF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"52f54a86d4519a868c2027df912bfa7842b3ca4e","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2015.12.024","type":"string"},"datatype":"url"},"type":"statement","id":"Q2520704$CBC00A50-FC7A-49F4-8E05-0DC32C60A369","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"af021bdbdb9a5bf730a42ce4ab00cdd8ad3e7e7e","datavalue":{"value":"W2197458523","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520704$1D9407E9-E38A-4BAA-833A-DDB8B304FA31","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"17c3a0b3cd8b1c90ced237e85dd61001e3655e3d","datavalue":{"value":{"entity-type":"item","numeric-id":283736,"id":"Q283736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520704$798ACCCC-6335-44C7-B52F-169C0F15722F","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":"Q2520704$79466CA5-B734-4E8F-9892-58D3643E24F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20ae562d0f35c0da0b00759973a2dc8c9f3e9869","datavalue":{"value":{"entity-type":"item","numeric-id":3178270,"id":"Q3178270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520704$4EFEC4F6-4F55-4983-B968-0675BA6D235F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e54a24148a61daca7521d113a3065543db08d853","datavalue":{"value":{"entity-type":"item","numeric-id":879352,"id":"Q879352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520704$E8EF3527-C071-4003-9668-5BB19B9980FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"946b62dff16e0de007abc5492670d01807475a28","datavalue":{"value":{"entity-type":"item","numeric-id":2864158,"id":"Q2864158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520704$2FE049F3-04EA-464C-8993-6D620BB54551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"829c21ab46ca8848300dae5e918c2565fad669d5","datavalue":{"value":{"entity-type":"item","numeric-id":5408192,"id":"Q5408192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520704$A01276F5-32B2-42A3-96A6-4BDB08653667","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":"Q2520704$4B5B49BE-1488-4DB9-B259-FE5F1D4F6CE9","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":"Q2520704$89641EC5-E723-40E7-925A-CD49E4F23F87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6ec60347e05a48553a732b1f0d890cf72850d24","datavalue":{"value":{"entity-type":"item","numeric-id":5415644,"id":"Q5415644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520704$FAFAEDED-9AFE-4234-B2DC-7557C8705B7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89c77992b9a4ecfaa4f9ad1dc33b5d78181cf582","datavalue":{"value":{"entity-type":"item","numeric-id":2871476,"id":"Q2871476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520704$46839812-A66A-4630-B806-85A8C72517F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43eb2c43d326a029ed0ae4e6800e57491b8620dc","datavalue":{"value":{"entity-type":"item","numeric-id":2847820,"id":"Q2847820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520704$818C0374-2C0B-466C-91EA-CF3FE64492A7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4558c36bd005a1656de1751ee64ca10ef3e85eb1","datavalue":{"value":"10.1016/J.ENTCS.2015.12.024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520704$4FAFB54F-14BD-4C72-8AE9-729425EE1E7C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af045903b518390f90db2a70e58781628326ee4b","datavalue":{"value":{"entity-type":"item","numeric-id":2038083,"id":"Q2038083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61877c9b77db9da726dd875efe8df78970771951","datavalue":{"value":{"amount":"+0.7578921318054199","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":"Q2520704$B1BF3180-DC41-4E61-B2ED-BBA0EF058CD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a211a45987500bc29fc91b65021c2cf2ae66da6","datavalue":{"value":{"entity-type":"item","numeric-id":5145667,"id":"Q5145667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bc7ad8823ae1fbe9a49a1d8383772ca36830c88","datavalue":{"value":{"amount":"+0.7523993849754333","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":"Q2520704$60C15144-0F79-4BEF-8F9F-14404AFB93CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03f9b2aa7453b95cdf7001a8e5bd718db383c828","datavalue":{"value":{"entity-type":"item","numeric-id":5041086,"id":"Q5041086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0799a6756d36ceeca063c0d43b448816c394ff0","datavalue":{"value":{"amount":"+0.7242594957351685","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":"Q2520704$4479E49A-6E5E-487B-B99E-45CF1E19F15D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1631e35320db983aedcd42d7d418478cd377ac1","datavalue":{"value":{"entity-type":"item","numeric-id":2851332,"id":"Q2851332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"557a7d254ce025e350d3927649bf186dfcb6dd68","datavalue":{"value":{"amount":"+0.7205264568328857","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":"Q2520704$DA78CA39-5A91-4736-A952-4CA756EFDDFD","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":"9d7eef2026099492b964d6631ed4e780fb2e1cdf","datavalue":{"value":{"amount":"+0.7189623713493347","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":"Q2520704$3852FB85-1600-4698-8F41-A6FFF2EA44F2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Stateful runners of effectful computations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Stateful_runners_of_effectful_computations"}}}}}