{"entities":{"Q4787832":{"pageid":6817412,"ns":120,"title":"Item:Q4787832","lastrevid":74484180,"modified":"2026-04-14T22:51:21Z","type":"item","id":"Q4787832","labels":{"en":{"language":"en","value":"Semantics of value recursion for Monadic Input/Output"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1850598"}},"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":"Q4787832$1C21C975-6612-4185-A101-D060EBBF7714","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4f3ed934880ba0fcbbc1a40e751e003323e09090","datavalue":{"value":{"text":"Semantics of value recursion for Monadic Input/Output","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4787832$89D1CDF5-1FD5-4855-82BF-23ADE7F8E90E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9c2fbcf90a52bb94791e1e59b98246727540670e","datavalue":{"value":"1011.68017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4787832$54311EFD-660A-4FCA-B594-4B5AF2658DE7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d51a6c41e50ae646feac465ab7bfb00717547e26","datavalue":{"value":{"entity-type":"item","numeric-id":2943367,"id":"Q2943367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4787832$2177BC51-D8D0-49F0-AFE7-D23D109C7539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2481684a9f8efec010dd63630750755d16170d8f","datavalue":{"value":{"entity-type":"item","numeric-id":915482,"id":"Q915482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4787832$5978EB40-996E-476D-BD4B-B6285D3A673F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"35689b92087029654971463ac4b931ab56a1cc49","datavalue":{"value":{"entity-type":"item","numeric-id":1870852,"id":"Q1870852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4787832$4E430975-5DC9-41FF-8867-904D60315AAC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb11a7d64aa2e2ac6f5f0a641dfeb8e0525b889d","datavalue":{"value":{"entity-type":"item","numeric-id":2720405,"id":"Q2720405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4787832$BD764D12-8059-4804-BEE1-F179A65B9B04","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fe4d656bc753de8fe63b9c6415e1533c06bac5d3","datavalue":{"value":{"time":"+2003-01-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4787832$35B1CC87-A6B0-4A5D-AE88-D1C61407ED91","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3326f681d5288c35bd22c32b823b29f9a24d0eaf","datavalue":{"value":"http://www.numdam.org/item?id=ITA_2002__36_2_155_0","type":"string"},"datatype":"url"},"type":"statement","id":"Q4787832$26F91676-8420-4742-A7D9-0A450A899BEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"1e4dfd3036562fdf4083a5dee8bcdb725b543b3f","datavalue":{"value":"https://eudml.org/doc/92695","type":"string"},"datatype":"url"},"type":"statement","id":"Q4787832$0CB198EE-B64A-4089-ADF7-D316C0A1D166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"f61cc3d9703965cfd703e8ae973143dfa7056f9f","datavalue":{"value":"https://semanticscholar.org/paper/b31178eb062b35142ec767398da06f1a78d695e2","type":"string"},"datatype":"url"},"type":"statement","id":"Q4787832$66194A24-9F57-43F6-BCB8-745B004E5E8E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4787832$1E57E7AD-5A83-4EA4-9E1C-736683BB8263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4787832$3963E9F4-AF5A-4429-8702-FD8FDE8CF9B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"138bfade4254c939b16bf73099f468d5be54b557","datavalue":{"value":"18C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4787832$DAA8094B-CBDF-45E7-8459-7BEFCF4E839A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b9162d1b8004838bd62e76b5533cab563679c791","datavalue":{"value":"1850598","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4787832$FE6C6617-46AA-45C4-903C-8A8303CA0F77","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a236a4a9881a761a93f593b6fc0a0e9903a99925","datavalue":{"value":"monads","type":"string"},"datatype":"string"},"type":"statement","id":"Q4787832$8E0AFCDF-4C98-4DD8-9D59-B8011379A25C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57086ae8df87c5408d91582da2919166187d8747","datavalue":{"value":"transition semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4787832$5730928D-9FB3-4BEF-9CC1-0F5EE6526BEF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bb6c2d18287764041ae60ee5f8b5af9b2b2245a7","datavalue":{"value":{"entity-type":"item","numeric-id":40357,"id":"Q40357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4787832$E73C5B81-68B3-468B-9642-BA1EA1D4A682","rank":"normal"},{"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":"Q4787832$27083492-F50A-495A-827B-A8897390CDDE","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":"Q4787832$38AEEAFE-DF55-4237-8E9D-7538D9C65113","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d65f427ffeab45b5eaefe9d009eb00e6fc11abbf","datavalue":{"value":"W1980408208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4787832$6EAAD79A-683C-46D9-9A6B-991CE0F60C64","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"24ce7e5cf3ebfc6ca1e042312f0f24a16bd5e8a4","datavalue":{"value":{"entity-type":"item","numeric-id":2763390,"id":"Q2763390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4787832$9A6D2E96-5640-4107-9B63-F9785132C9BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b3771554b4241f894b60bb1f39c34a51542f7b1","datavalue":{"value":{"entity-type":"item","numeric-id":4364384,"id":"Q4364384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4787832$58D9F7C9-4447-4B78-9F99-0BAC202108A1","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":"Q4787832$E71D414F-4E06-4CC8-A350-8E8BF6C4286D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f90520da3a234ef2ca5478c44ea125d2ce226e91","datavalue":{"value":{"entity-type":"item","numeric-id":2943368,"id":"Q2943368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4787832$B7C61D51-8F74-48AB-AE4F-AC0CB21C3329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14199d752f4bebe689aaa85d75a54b5e20dfe3cb","datavalue":{"value":{"entity-type":"item","numeric-id":1199538,"id":"Q1199538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4787832$B655B0E9-6241-48D5-B2E7-E3ADEB88612A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e931bab6524c19df841d82e431acbd0726513d7a","datavalue":{"value":{"entity-type":"item","numeric-id":4856176,"id":"Q4856176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4787832$057B2CA7-1503-4CE2-8EF9-441018ECE383","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":"Q4787832$DFE3FCBE-EFC2-42C2-B1A8-25F8B9D2AC6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ad03d4accff006fa49cc723478a662123fdd2f4","datavalue":{"value":{"entity-type":"item","numeric-id":4936346,"id":"Q4936346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4787832$1428D23C-0752-4A95-AEB6-5764BB6384AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a78f8f5f44891dbcf46a92514a699b5527659f1d","datavalue":{"value":{"entity-type":"item","numeric-id":1566910,"id":"Q1566910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4787832$E8DB2848-5A1A-430C-BEEA-2D1C6A85484C","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":"Q4787832$6C0836A0-7367-4101-BF7D-46A6A6293503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2cfd9276b29fad8afcdadbaa91529b52a92d469","datavalue":{"value":{"entity-type":"item","numeric-id":4939702,"id":"Q4939702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4787832$63DDF5B7-0B07-4CBF-883A-AAA591E5DB45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d435c0f67ddf85d33870a390e8862774ba1ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":4248252,"id":"Q4248252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4787832$682AC2CC-972E-43C5-A85B-9EB43FC15D62","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":"Q4787832$5FF5CB2E-31D3-4F4D-BFEE-8AC5D67B81EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4882f1f2bf6f8403de3060c90e78720810d9978","datavalue":{"value":{"entity-type":"item","numeric-id":5178012,"id":"Q5178012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4787832$F531C478-4ACC-4364-9C71-A59901B77A0C","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":"Q4787832$8AA746CC-45B7-4D52-A0F8-370A231D4C98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15630772414b9154dbd1895ba4270ea1ced69347","datavalue":{"value":{"entity-type":"item","numeric-id":4500171,"id":"Q4500171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4787832$4E978F3A-162C-49C6-8006-FBF8278FC075","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":"Q4787832$EB8D3BD1-6DC5-4BFF-BFA5-DD861D8626A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d80b1ce6c7c55e134225781cab112803b76b1488","datavalue":{"value":{"entity-type":"item","numeric-id":4358457,"id":"Q4358457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4787832$46A801C3-A08D-4F40-92CE-B15AFFF5534D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d85cd0eaf9a85d20198a9bb73d8da95b270b559f","datavalue":{"value":"10.1051/ITA:2002008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4787832$CD20052A-6452-4ED7-B7DD-56A15984BDAA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61caeec34a8b6d873065de6d1f56e928ba3942b4","datavalue":{"value":{"entity-type":"item","numeric-id":4659889,"id":"Q4659889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff24a7d4b4a0330437436704dc319bcf9a945fff","datavalue":{"value":{"amount":"+0.8085650205612183","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":"Q4787832$197B92CE-94B1-457B-9B48-E38EDA695660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60131a414f9cd6a1aad0e3afebf39cc48dea3bb3","datavalue":{"value":{"entity-type":"item","numeric-id":2943368,"id":"Q2943368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b8195dc7fce21b59ad6c29ce35765c78875c5ff","datavalue":{"value":{"amount":"+0.7560067176818848","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":"Q4787832$29E937CA-3392-49FA-B67C-F7521FB0B2EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdf33fe95eec815535a5adcb084e248791d5e709","datavalue":{"value":{"entity-type":"item","numeric-id":5208509,"id":"Q5208509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b297a99ac5196a68a0db01ffbb3761001505bd8","datavalue":{"value":{"amount":"+0.7301543354988098","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":"Q4787832$5E4B9AFC-CBAB-481F-8105-079AFF23EC4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"684d31309be37548e92107cedb2b2244c0b4f7ff","datavalue":{"value":{"entity-type":"item","numeric-id":4813222,"id":"Q4813222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ded3169a603753fab82dae2a1bd8d73ab3447494","datavalue":{"value":{"amount":"+0.7265618443489075","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":"Q4787832$E03C4B68-1B98-47BF-A816-2E0B7B502B01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa1bf95434b4bcc5b8676f07792916d13aee2c76","datavalue":{"value":{"entity-type":"item","numeric-id":5255104,"id":"Q5255104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f2e420793348d5c07e10b2044016abbf9487dd3","datavalue":{"value":{"amount":"+0.7248032689094543","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":"Q4787832$118BABF7-64C6-4AEB-B97E-A223BCAF5543","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Semantics of value recursion for Monadic Input/Output","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Semantics_of_value_recursion_for_Monadic_Input/Output"}}}}}