{"entities":{"Q860841":{"pageid":862689,"ns":120,"title":"Item:Q860841","lastrevid":64899690,"modified":"2026-04-11T22:58:27Z","type":"item","id":"Q860841","labels":{"en":{"language":"en","value":"Generic models for computational effects"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5083497"}},"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":"Q860841$371D09A1-8168-47B4-BB91-1BC8F5F2C727","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"79e0eae5a79096f8f1b60279056f9478a713b535","datavalue":{"value":{"text":"Generic models for computational effects","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q860841$72A9139D-7C26-4226-89E8-2A2E459A0CAC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f71df5ebde7232c9dcd42509b2b8beadad7b0e35","datavalue":{"value":"1123.18005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860841$4D38BB13-4025-4DB9-BCAE-DAC164433203","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860841$2E7AD5E7-B8F5-41AF-A4AA-C18478331C2B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b4d2d9af04f3704bbbb24f8b36a1ade40f432b8f","datavalue":{"value":{"time":"+2007-01-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q860841$AA5947BD-EF88-41F7-B2E5-D07B116952FE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"98c7e90f26bdbaf1aa9bf55a2f3cc3aa122ba03c","datavalue":{"value":"The paper contains a development of a theory of Freyd-categories (a subtle generalisation of the notion of a category with finite products) and various examples of applications of Freyd-categories, including those of modelling effects in Moggi's computational lambda-calculus. The analysis of computational effects given by monads is refined here by decomposition of the construction of the Kleisli category for a monad.  The setting of Freyd-categories can also be appropriately extended to account for recursion and effects that inherently contain it: partiality, non-determinism, or probablistic non-determinism. This is done through enrichment over a category which is locally countably presentable as a cartesian closed category (this includes the characteristic examples of categories \\(\\omega {\\mathcal C}po\\) and \\({\\mathcal P}oset\\)).","type":"string"},"datatype":"string"},"type":"statement","id":"Q860841$7FB00420-2438-4E59-B9E3-CD29609F0152","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5c634a7a610dc4a60ec0b802b8dd89a79b8a3056","datavalue":{"value":{"entity-type":"item","numeric-id":588686,"id":"Q588686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860841$8D2AE62F-23A3-444E-A02A-A0F5CCBF453E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"111716ee37b63583c9ec7d2f027a257161dde87f","datavalue":{"value":"18D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860841$16CBC9CD-4CE9-4674-A27B-09B1F03B3E5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aa2d311bfebadfc58292672011b7418c359f6a26","datavalue":{"value":"18A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860841$F0FA342E-AE35-44E0-95F2-18A5C27A516D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d94cdbde928d12db2a06305c6f1346171594ef02","datavalue":{"value":"18C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860841$665E180A-202D-40D8-A843-39AA6B496C59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860841$97113A66-22CC-4DEC-988B-0304A47AAA0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5005f05cf648e43cad8e44abd96ef50fda59adae","datavalue":{"value":"18A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860841$86F28583-FEB6-40B1-9115-E1D674A625C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"479a672951288aabf3a4041e0fb71e1dda5dffff","datavalue":{"value":"18A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860841$C9AE32B5-477F-4E53-A13D-BDA8A0D4E9BA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"65c1ffb707c335cdbb17e2f42e8fbcdd752be52a","datavalue":{"value":"5083497","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860841$CC8ADA94-6298-4E69-BB1E-41A8DB560980","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a822bfa3d85f9750db0b1abdf6d01db0c58c68ef","datavalue":{"value":"Freyd-category","type":"string"},"datatype":"string"},"type":"statement","id":"Q860841$3A1D0908-D289-4D2D-A162-8702B91B610A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d69be825d71cbc58287ea5cf12fee9c237524da","datavalue":{"value":"enriched Yoneda embedding","type":"string"},"datatype":"string"},"type":"statement","id":"Q860841$A0B5E56A-FDAF-46CB-A142-353BE9C037A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8689987b6ee562a6e4ce1da132e1159bf897430d","datavalue":{"value":"conical colimit completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q860841$17923E27-5B0F-4F76-909A-6E80956A2C08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b9a595a4b125ce1fa50908c629a08fcabd3e593","datavalue":{"value":"canonical model","type":"string"},"datatype":"string"},"type":"statement","id":"Q860841$65E182B6-ED24-475F-BC0C-4D2AC7530986","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"565f1e974a3c4f2a9296f8d7da6245d37c9ee773","datavalue":{"value":{"entity-type":"item","numeric-id":1584037,"id":"Q1584037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860841$9EDA311E-C705-4978-89E2-608128B7AB4F","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":"Q860841$E5EC33F6-FA0D-48EC-9F00-30B433108938","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9368535e9d4980aed0775b479c4ffd198e807350","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2006.08.006","type":"string"},"datatype":"url"},"type":"statement","id":"Q860841$08C42F49-7286-484B-974D-7D8905BA4131","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0cbaef517f63fd3dfc7d779a8c3b57c73fe6f880","datavalue":{"value":"W2158242393","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860841$63CDFA29-2A85-4CBC-B722-D2A27340264F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9011d7580ff93c969b43c0ea22f7b5f2593dcefc","datavalue":{"value":{"entity-type":"item","numeric-id":1121980,"id":"Q1121980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860841$32796E20-3C6A-4E81-9AD6-40414EADE959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72724dd7d6c689a7b75cfb5d2b5463f141bcbafe","datavalue":{"value":{"entity-type":"item","numeric-id":1208223,"id":"Q1208223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860841$B3DB1F49-A26D-4579-A246-737E44A4EC09","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":"Q860841$5864DC55-E216-430D-8891-37691FB1059A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb5c32b039bf05a4c9a26bddce967d7270f7312d","datavalue":{"value":{"entity-type":"item","numeric-id":1083522,"id":"Q1083522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860841$5EA82574-940B-4F04-B745-D110AABF710A","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":"Q860841$3B779B35-D3EF-40BC-9D8B-4121CCAC882D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02768dee0710788c24f2d16dcd4382b402bca028","datavalue":{"value":{"entity-type":"item","numeric-id":3324132,"id":"Q3324132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860841$9C2B83AC-6DD8-42A0-B5C0-89E1F723B5D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"100bf4bad6f8b89ad49154a44370071fbef55f85","datavalue":{"value":{"entity-type":"item","numeric-id":4945251,"id":"Q4945251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860841$A18318B3-4F41-493E-89E1-DF53682F121E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4a5e9ea9e86a3cbfa38f66c2f1949ce00a4f619","datavalue":{"value":{"entity-type":"item","numeric-id":1427853,"id":"Q1427853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860841$19F3E4F7-BCB1-45B1-825C-8B1D7E2A6E9D","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":"Q860841$A2162694-9F57-4EA0-A35F-77585322BC3A","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":"Q860841$9C8DCF15-5670-47FE-A125-70CEBB747A1F","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":"Q860841$D6A155B9-6B06-4A23-8D69-9AAA3867258C","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":"Q860841$0B9BC5C1-B186-49AB-8031-3D0E51CAF72A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eca56c8100a823695872d37fd629e46409982af4","datavalue":{"value":{"entity-type":"item","numeric-id":4917064,"id":"Q4917064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860841$835D8947-A9A9-4E10-B50D-44AD334131FF","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":"Q860841$8088EB7B-B1F2-437B-8E9E-49BD91B6D481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6adb107bdfe6d7d78cd50627b681655c7f3b8a5","datavalue":{"value":{"entity-type":"item","numeric-id":2851544,"id":"Q2851544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860841$DBE095F7-ADEF-45E5-A36D-1C7C75A794D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c70583c666fb181243edc32fb54593edbab1e32b","datavalue":{"value":{"entity-type":"item","numeric-id":1811033,"id":"Q1811033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860841$ABE5D5E6-DAF2-4193-B5E4-DCF9C9BF69AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d16ef0291e0d3c0d57f6596cad586e01c5227f22","datavalue":{"value":{"entity-type":"item","numeric-id":4704209,"id":"Q4704209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860841$D6D1B6C7-0416-421E-AFED-F9A278644D87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc845578ac15ae28d0b4fc986c9c32a1c17cad02","datavalue":{"value":{"entity-type":"item","numeric-id":3832738,"id":"Q3832738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860841$185E81CB-B10C-47C1-A1FF-155F5447AC7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecca7f74cbe385bea7babec5314f1a122985a828","datavalue":{"value":{"entity-type":"item","numeric-id":1605185,"id":"Q1605185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860841$D5D2FEA4-654F-4894-8305-CD6E9E15A67A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39960c53dccb721cf6e3324337b8d1d6e1f6b2be","datavalue":{"value":{"entity-type":"item","numeric-id":4457466,"id":"Q4457466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860841$9493F516-3A64-4604-A549-2DD0EF75880B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"471374b7fffb268d7bd0f4179e873c76b1af7774","datavalue":{"value":{"entity-type":"item","numeric-id":5308467,"id":"Q5308467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860841$4C2D88F9-63C4-4632-8DC6-EB277C36C209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"833d536c70d4c2c0853adda885edaa7d07301619","datavalue":{"value":{"entity-type":"item","numeric-id":2863882,"id":"Q2863882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860841$899DBE47-6FF3-4A63-A7AE-FA308C6419BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce2b804bf61899331ed3cb80319b9e1347ffd3a3","datavalue":{"value":{"entity-type":"item","numeric-id":4366773,"id":"Q4366773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860841$A5AF648C-BBAA-4E66-AB88-E1B7483B6228","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"67db5c3bda4884ca5ea13c5580a6dc652c2d038c","datavalue":{"value":"10.1016/J.TCS.2006.08.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860841$74F360A5-C78C-42A8-99EE-6065EE1A0BEF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7574b1812ed53d4f21cf058e6108de27f2385d61","datavalue":{"value":{"entity-type":"item","numeric-id":3638920,"id":"Q3638920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"624a1cbcb400f42d214be9ea1940bc4df625ac0c","datavalue":{"value":{"amount":"+0.8329108953475952","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":"Q860841$E5BEA35D-DEEC-4F13-B1DA-B81D4E5F3612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e85afb52ee8a45a203bd35ddf8fd8bb3783a20b6","datavalue":{"value":{"entity-type":"item","numeric-id":1811033,"id":"Q1811033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dae7aeb34215bb3f32093e04511cb2aad11629c1","datavalue":{"value":{"amount":"+0.7911179065704346","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":"Q860841$4A09EFB8-C23D-45D6-9F9B-29B51D41F0A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68003fcbb81c5f26443b47f2492dcc1eb631f64e","datavalue":{"value":{"entity-type":"item","numeric-id":5271089,"id":"Q5271089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59e9285a01869e6535d3ff62beff2f6806a3fe3b","datavalue":{"value":{"amount":"+0.7911174893379211","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":"Q860841$89A646DF-2A90-45E8-826E-924F7297F01E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"456ebd3e8807374439d4350f44c8aecbe7b99b96","datavalue":{"value":{"entity-type":"item","numeric-id":280202,"id":"Q280202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53abab1185296f2f0909be2a762a1ed468ed5db2","datavalue":{"value":{"amount":"+0.7764036059379578","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":"Q860841$E903DC29-386B-421D-B521-8B9A9221959F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6036cfaf18e9c4dd09c938069b152227b730f74a","datavalue":{"value":{"entity-type":"item","numeric-id":4923379,"id":"Q4923379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93ff34a63b6828b8631f462d470a622eaa056ad5","datavalue":{"value":{"amount":"+0.7714223265647888","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":"Q860841$CA84FEA8-581A-4B2A-A52F-4AEC7CEC1CC8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generic models for computational effects","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Generic_models_for_computational_effects"}}}}}