{"entities":{"Q4659889":{"pageid":6689470,"ns":120,"title":"Item:Q4659889","lastrevid":48442825,"modified":"2026-01-04T20:04:54Z","type":"item","id":"Q4659889","labels":{"en":{"language":"en","value":"An abstract monadic semantics for value recursion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2148226"}},"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":"Q4659889$E210AE87-41E0-46BA-8DED-81789DC16611","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6adafc3724836bde8ed55a4f964cb74fcf60a7a2","datavalue":{"value":{"text":"An abstract monadic semantics for value recursion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4659889$2589645A-D822-427C-9A5B-56219A9474BB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"644693c577117d5a517a59a0248366bc3965789a","datavalue":{"value":"1089.68029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4659889$22641258-8220-4C31-851F-CBF8EBC20701","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":"Q4659889$3F563746-6EAD-4583-9F43-F2AEAD35E33D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c668deb62e077980cf78aeccb37d7ac08f3f3b5","datavalue":{"value":{"entity-type":"item","numeric-id":968363,"id":"Q968363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4659889$CABC26D8-03BC-44BA-8BCF-ACD6DBB95E3D","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":"Q4659889$A1B9FA0F-73BC-41A5-A79C-2FEFC607648D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11b4b9e71888c8ae87efc4750955ed379903fb79","datavalue":{"value":{"time":"+2005-03-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4659889$CE3E2C28-11D1-40AC-8D11-1EAE8E90D793","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9b71ff9cd8f363d8b91b407cba3b626a2f66c411","datavalue":{"value":"http://www.numdam.org/item?id=ITA_2004__38_4_375_0","type":"string"},"datatype":"url"},"type":"statement","id":"Q4659889$B31D4F2C-DCF5-4254-9982-05E655AD400A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"38db1e4653b802527148e8bc181e131a6d2c42f7","datavalue":{"value":"https://eudml.org/doc/92748","type":"string"},"datatype":"url"},"type":"statement","id":"Q4659889$20E9481E-D8AC-4997-A609-2B552EA51223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"3dd26f5207d9e6882abe39dd9bbb06dd67b6323c","datavalue":{"value":"https://semanticscholar.org/paper/d6525c898e54d6c0073efefe48fa3fc7222f9e29","type":"string"},"datatype":"url"},"type":"statement","id":"Q4659889$FAB820FB-B5BB-411D-ABC8-3B82E88769CE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4659889$4DAEC665-8160-4C6C-84D0-228DF4B0A59A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4659889$B3B28427-7792-4A5B-8853-B215DAB78CE7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"88b62c15e8a1fa706f267ed9fe766c41712255a9","datavalue":{"value":"2148226","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4659889$E69F7BEB-0ED8-47D4-8331-7BE676982625","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3566ceaa607ff2880dbbe400f3e2dbce0394438a","datavalue":{"value":{"entity-type":"item","numeric-id":18773,"id":"Q18773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4659889$ED950741-B4FE-43DA-BC4F-500340FA7886","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":"Q4659889$78196E87-2825-422E-BD47-3E6BB150E8E6","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":"Q4659889$A49A03A9-4CB0-4D98-BAEA-AE6B96D09C2B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c38b227904dce5cbefd9c093e836f1d5d2070f7f","datavalue":{"value":"W2150691311","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4659889$F0AA00BE-2CE7-4E71-946F-17B8628EC54A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7b629969d3588f8777163cabf76451cee8ad78d","datavalue":{"value":{"entity-type":"item","numeric-id":4449178,"id":"Q4449178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4659889$DA0CF314-1180-44AB-AC24-F70B5AD672E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b27f5f2877e1f4c66b70bb733f30b9311d70f4a9","datavalue":{"value":{"entity-type":"item","numeric-id":4331135,"id":"Q4331135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4659889$97D3CB7C-1C3E-40FB-8349-5FF587DF5414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc937e27d5d0efb7afbe95dc3a7e3d054e3183c1","datavalue":{"value":{"entity-type":"item","numeric-id":4358458,"id":"Q4358458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4659889$02814CD5-C9D8-4027-BC83-D3C7268923CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4659889$15224A28-EE92-4735-A7D3-9BFF0C4B3319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"213c5f943ddb8b80845f4e13460f03e5410f3da7","datavalue":{"value":{"entity-type":"item","numeric-id":2763678,"id":"Q2763678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4659889$C07228F1-A841-42E8-81D7-DF02F0FD3A58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d677aab35caca6f2a2227d82b3ed04cd1b42ae0e","datavalue":{"value":{"entity-type":"item","numeric-id":4669643,"id":"Q4669643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4659889$75EA6727-4F86-4C47-AF88-CDC2BF75C766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87c89285146bc6b1010a63b3c32f1013df669f37","datavalue":{"value":{"entity-type":"item","numeric-id":3721820,"id":"Q3721820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4659889$8A537307-B46C-43BC-8DA8-CFB2253977D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27b65f6891253ffab6c51da3cf95e87aa1f1fbff","datavalue":{"value":{"entity-type":"item","numeric-id":2942929,"id":"Q2942929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4659889$180B0BC8-D4BF-46FF-AFE0-674C59548738","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":"Q4659889$E70664E9-155B-4164-B656-00367629F538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d819e3f356dc6061667d4bead4b6eda57bb917cd","datavalue":{"value":{"entity-type":"item","numeric-id":4787832,"id":"Q4787832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4659889$7DCD6C6D-C2C9-469F-AD99-D9F03156805A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7a2d54dba8e7f265e70897e72be8c1f98da3445","datavalue":{"value":{"entity-type":"item","numeric-id":5308023,"id":"Q5308023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4659889$6CDAAE81-0DC2-48EB-AA89-111B4373BD44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42a0ccf25069e5013b89f11ad603d862efc4b347","datavalue":{"value":{"entity-type":"item","numeric-id":4738342,"id":"Q4738342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4659889$B943BC2F-4AED-4537-9D85-C42A99E34BC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81410954c41bec77d5fdbcabd91ccf7e41ceab73","datavalue":{"value":{"entity-type":"item","numeric-id":848739,"id":"Q848739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4659889$1CE4295C-CDD3-43CD-B59A-C10CF2771520","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":"Q4659889$F25A34D1-A5C9-408D-98D9-31504A77D419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87f7bcfffc49742b219cd84a695191ca8beef7cd","datavalue":{"value":{"entity-type":"item","numeric-id":5734774,"id":"Q5734774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4659889$605A04A4-17F0-4B8A-A053-1441CA158C5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbfe4964a46d9b5ae61ca298ddf701e390f98625","datavalue":{"value":{"entity-type":"item","numeric-id":4236864,"id":"Q4236864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4659889$029CB055-A4FC-4E49-AA6C-4CC74A7D0E8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b33c8de240b93bea49306a907de47045da72c1e4","datavalue":{"value":{"entity-type":"item","numeric-id":4417870,"id":"Q4417870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4659889$CA4303B0-2684-41F7-8AEF-3C474C5C8422","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":"Q4659889$78EB0A0F-3646-4AF5-A97E-FCD8DCF3AB1A","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":"Q4659889$320D7BB0-40E7-4B56-A514-C9921ADEAA0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1df9f67440abcef48387cbcc40eef3bd8c2be14","datavalue":{"value":{"entity-type":"item","numeric-id":812087,"id":"Q812087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4659889$FDEA2553-8265-4014-94DF-F0E4F19C763B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882c8be91e9dd6a679904905a7a40337caaa7a1b","datavalue":{"value":{"entity-type":"item","numeric-id":1341754,"id":"Q1341754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4659889$717F38F0-869E-485E-8964-F91BEC8D6404","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eb06d5deb8e327860b2ae41ce2cab702159db450","datavalue":{"value":"10.1051/ITA:2004018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4659889$A62B4CF7-9ED2-4ED8-B50D-7459021215D3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58f5b1be8480d47d0466eca9de55dd9820b1d11f","datavalue":{"value":{"entity-type":"item","numeric-id":4787832,"id":"Q4787832"},"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":"Q4659889$2D0B7939-3C9D-4467-894D-9BFF2D1298B8","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":"8f638c027715cf4878db46e1dea073b31974d576","datavalue":{"value":{"amount":"+0.7764288783073425","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":"Q4659889$7A8C0BCE-AE6B-4C40-81D2-E96B0765258D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31e05dc66ccf63733bafee21f1036adfd24bf54f","datavalue":{"value":{"entity-type":"item","numeric-id":879354,"id":"Q879354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6c2b09d627858d1be1b934fac259b095977b739","datavalue":{"value":{"amount":"+0.7501820921897888","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":"Q4659889$1802ED2D-45B4-4056-8D9D-673654D55377","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":"8a934148a51b5174b2a5a7365eec4e510d802bd1","datavalue":{"value":{"amount":"+0.7382435202598572","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":"Q4659889$B984C223-CBF8-49C0-B082-5353D0A2EA68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bccf917ee0994faa5593abf83b3886c739515591","datavalue":{"value":{"entity-type":"item","numeric-id":4222765,"id":"Q4222765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f35d5c8dca611179d88983603ada774c282921b","datavalue":{"value":{"amount":"+0.7315334677696228","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":"Q4659889$9E6B7BD7-D156-40CC-AE81-5AFCDC2A27BC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4659889","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4659889"}}}}}