{"entities":{"Q639639":{"pageid":641487,"ns":120,"title":"Item:Q639639","lastrevid":63211731,"modified":"2026-04-11T11:21:28Z","type":"item","id":"Q639639","labels":{"en":{"language":"en","value":"On second-order iterative monads"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5949166"}},"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":"Q639639$4E684599-72E9-46DA-9FFF-0A82473FF62F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"db656e63a96e624bbf669367fd6f4dad88476b8d","datavalue":{"value":{"text":"On second-order iterative monads","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q639639$C09DA605-0BBF-4EFD-A948-743FAE3ADA5E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b7ce9818d0ab699838d6972dae6bc2326a18e7ef","datavalue":{"value":"1243.68206","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q639639$5D205BCB-63F3-42C7-8CED-56F994F53ACA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f7716f1ff6bd259f549a07d8b4e740294ad2d7f","datavalue":{"value":{"entity-type":"item","numeric-id":171464,"id":"Q171464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639639$DBFF7E72-2CCD-4599-8AD2-AB6B96E683FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"545b80613dc1ee6a751f6b195b3ce274e84dcf7f","datavalue":{"value":{"entity-type":"item","numeric-id":265815,"id":"Q265815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639639$B94AFFD0-4ABB-4FA2-9B61-0AFA9D37ED10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c28684bd1f4bbc00add773aebdab5a83cf01fa02","datavalue":{"value":{"entity-type":"item","numeric-id":234458,"id":"Q234458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639639$C59927BC-3A46-4B78-B1B9-1447E634620A","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":"Q639639$B56EA1C7-CA43-4160-A7AE-037A6F55FDB2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e0f911d6f8277fb245d8e09b637e9a88b18bd10","datavalue":{"value":{"time":"+2011-09-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":"Q639639$F5C25EF8-5E4E-4EA5-8C08-3C33BA26AE8C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b78f0a789002ed9af2c3d6612000aadc074ee265","datavalue":{"value":"The object of this work is a categorical generalization of results by \\textit{B. Courcelle} on solutions of recursive program schemes [Theor. Comput. Sci. 25, 95--169 (1983; Zbl 0521.68013)]. The setting of the generalization is to replace algebraic signatures with finitary endofunctors on locally finitely presentable categories, and then study the property of such functors being second-order iterative monads, i.e., admitting unique solutions of all guarded recursive program schemes, the latter referring to a natural categorical abstraction of the classical concept. Specifically, the authors construct, given a finitary endofunctor \\(H\\) on a locally presentable category, two second-order iterative monads over \\(H\\), the second order rational monad \\(S^H\\) and the context-free monad \\(C^H\\), which arises as the image of \\(S^H\\) in the free completely iterative monad \\(T^H\\) over \\(H\\) [\\textit{P.\\ Aczel} and the authors, Theor. Comput. Sci. 300, No.1--3, 1--45 (2003; Zbl 1028.68077)]. The monad \\(S^H\\) is then shown to be the initial second-order iterative monad over \\(H\\); moreover, both \\(S^H\\) and \\(C^H\\) are shown to be ideal in the sense of \\textit{C. C. Elgot} [Logic Colloq. '73, Proc., Bristol 1973, 175--230 (1975; Zbl 0327.02040)]. In the classical case, i.e., when \\(H\\) is a polynomial endofunctor on \\(\\mathsf{Set}\\), \\(S^H\\) coincides with Courcelle's monad of algebraic trees, where a tree is called algebraic if it can be defined by a guarded recursive program scheme. Several open problems are stated, in particular whether \\(C^H\\) is iterative and closed under second-order substitution, and whether \\(S^H=C^H\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q639639$7C1CC3D8-B915-454C-8007-6D2B28526148","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a79417a94bb26b1097b5b65a2b9b2c854101397b","datavalue":{"value":{"entity-type":"item","numeric-id":234493,"id":"Q234493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639639$C5998D20-7F97-4311-8EB4-9E67B32FDFDD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q639639$E1348F3E-0B62-47F7-881C-361A0C550871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bacc42d4ab28169bcab125a394e2c486e425337a","datavalue":{"value":"03D75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q639639$801178C5-7F47-45BD-AE56-81E1EE9D9F4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q639639$889EA736-4522-4A66-A336-48507898ABAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d35289bedc80b1085d64d820313e4cb71e428c91","datavalue":{"value":"18C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q639639$7C07B9F4-77D8-4877-81E9-1864732D02F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"138bfade4254c939b16bf73099f468d5be54b557","datavalue":{"value":"18C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q639639$554A84DB-1A0B-49D9-A69E-A492DAC1DDA2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"19dd9981f4c6e07fb6ba51202df7046b55008b10","datavalue":{"value":"5949166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q639639$CF7DDF44-E796-42C7-AB14-61C7DDB2DF2B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61ac1a625386764928765aacac1ff8849457130b","datavalue":{"value":"guarded recursive program schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q639639$8AE59F47-C96D-4EF3-A6EA-F309098E11F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9938e818404e931c464c0bba3eaf70c950d4bd9e","datavalue":{"value":"algebraic trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q639639$3E7960BF-1A90-4579-8CD4-8E3B039F1869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"071398ca0dd04dce8f63435cb0877ccc4dd0bcb5","datavalue":{"value":"rational trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q639639$5C5E2D2A-D1AC-4B9A-9EB6-67FC6E7E321B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57116a9d43e116622f643f2953109a8fe53290ac","datavalue":{"value":"ideal monads","type":"string"},"datatype":"string"},"type":"statement","id":"Q639639$46529F39-6025-4154-B340-9BAE67A1B885","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":"Q639639$FCFB341B-4C95-4DAB-AE58-1F9AC961DD1D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"03b0325f4428a9de9b525e29adce0a1c62ed5bb2","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2011.04.027","type":"string"},"datatype":"url"},"type":"statement","id":"Q639639$936B5388-7FEF-450A-A9D5-9F5486F0E6CB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1476f9b54d14bc11cf2a903d261d6d3d9d77c024","datavalue":{"value":"W1997917280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q639639$BE36CF2D-5CF6-4EC2-BAAF-E589816B4A6E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a00b5c752d6ed451b661676594eac73529debd1","datavalue":{"value":{"entity-type":"item","numeric-id":1399957,"id":"Q1399957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639639$C56110B7-65B9-4DD7-B506-752460A54F41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"687fa7c161f16f4d931c09885246df2018a4c57f","datavalue":{"value":{"entity-type":"item","numeric-id":4917030,"id":"Q4917030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639639$9D8D3BFA-0605-495E-A87F-4C6A38F0E2D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bc708db8417b264ae5134e14d7f4436923047c5","datavalue":{"value":{"entity-type":"item","numeric-id":4044767,"id":"Q4044767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639639$369A1053-C6BB-41A2-BA46-6841B7CE344D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4df99ff633e9700862fe1851a2c91cb54da95e5","datavalue":{"value":{"entity-type":"item","numeric-id":3419788,"id":"Q3419788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639639$3A64D586-3785-4E3B-9566-6934B43B203A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0453b64163b1d6856eb1e72a2e559e5e4d56fba2","datavalue":{"value":{"entity-type":"item","numeric-id":2919447,"id":"Q2919447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639639$177614D8-76C5-4B86-9EC6-BDE90C68BA5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45e671bdb88de36c1a11266658e4029dce5aa259","datavalue":{"value":{"entity-type":"item","numeric-id":3564343,"id":"Q3564343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639639$39EC7534-E955-4A96-9725-4437F2022F14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"061925600c63e2838612ec7bc65005b544d20f6a","datavalue":{"value":{"entity-type":"item","numeric-id":1417765,"id":"Q1417765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639639$CA5EE383-F61A-486A-9D73-D5C3E32203C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e83f11a2d7c83369a107eb21508bcc0a612a20e","datavalue":{"value":{"entity-type":"item","numeric-id":4293501,"id":"Q4293501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639639$CA37FD16-C160-4F55-AB24-CC16629B5867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"395e8bde5035730a3f9e7ab7cb0e5d7ed63423c1","datavalue":{"value":{"entity-type":"item","numeric-id":2538652,"id":"Q2538652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639639$AB9110FE-FF42-4D97-973F-28DC248AA0FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb7b8847a36d076106e01f43c31a170940dd0b60","datavalue":{"value":{"entity-type":"item","numeric-id":1055184,"id":"Q1055184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639639$0CE4D51F-DC25-4A14-9124-138A9B203E49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"912eef190988de0cc5af613dc27f0c7249868025","datavalue":{"value":{"entity-type":"item","numeric-id":5736455,"id":"Q5736455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639639$3214C890-58E6-4139-B148-D6C6C320CD64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b47eda8706272aab1d3b8f9dffef8b9da1b3e0bd","datavalue":{"value":{"entity-type":"item","numeric-id":1158965,"id":"Q1158965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639639$0E4CA78C-D7E6-4EC3-B523-ACF0CED00907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21503db5c84a37480c9310838b9a8ddaed6616bf","datavalue":{"value":{"entity-type":"item","numeric-id":4460687,"id":"Q4460687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639639$486E7633-0F56-4C7F-AC8B-06D53E695AD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb34232e83bfa4b532576e3c3aec708e767f1660","datavalue":{"value":{"entity-type":"item","numeric-id":5462662,"id":"Q5462662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639639$29F3B3B6-7868-423E-89A0-3F4BA587EAB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a6141cf19abf2d254a738c9dd5476cf76d15a39","datavalue":{"value":{"entity-type":"item","numeric-id":4917035,"id":"Q4917035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639639$88A2EFCE-8794-43A2-9951-B39444832DCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0aad604605d1a29b226be438b9060cd0726e1243","datavalue":{"value":{"entity-type":"item","numeric-id":4408809,"id":"Q4408809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639639$737F4ABB-36F3-461E-A5C8-366FEB5CA1FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59b6454dd2e6cb4f73858a28f62927c19908d867","datavalue":{"value":{"entity-type":"item","numeric-id":4659887,"id":"Q4659887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639639$E9B3C6DD-12D8-4176-9EBB-7A04A01C1BD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fedb8152d416af671d1c0c35ead4948aa4fef20d","datavalue":{"value":{"entity-type":"item","numeric-id":1169813,"id":"Q1169813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639639$3A496F46-07D5-4A15-AC78-D53EDA83B3C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad77df366de75a5e0c2b70915c0daf8e3d56ee39","datavalue":{"value":{"entity-type":"item","numeric-id":1158947,"id":"Q1158947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639639$F6DD2106-C844-405A-8C63-E8A70BE52D58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a51f74f0e30828ed9187d891296cf514749c437","datavalue":{"value":{"entity-type":"item","numeric-id":1300653,"id":"Q1300653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639639$FB5B308F-E8B6-480C-8FBB-9EAD5C473AA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dc1b1c6e90fd57884a0b795c855676b976827dc","datavalue":{"value":{"entity-type":"item","numeric-id":2525178,"id":"Q2525178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639639$20A9AA99-FD93-4325-A3D6-B87FFE06F4AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f5a008bc4231140c46b0f7a64f453a9b457e2c2","datavalue":{"value":{"entity-type":"item","numeric-id":1767976,"id":"Q1767976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639639$C1D8A791-3B85-4E50-89C7-97FAB849C39C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9db7f49fe90b8b9830a5f2c8fedea8d79ff0759e","datavalue":{"value":{"entity-type":"item","numeric-id":860876,"id":"Q860876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639639$CC696B16-02DC-4046-94A0-C75696873973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2d9ed653c868f9a05c70014c89c457f1b224148","datavalue":{"value":{"entity-type":"item","numeric-id":5941163,"id":"Q5941163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q639639$71046CEF-436A-43E0-9AE8-00D2C1ACD055","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7c88b3846404e84516a40332c9ec154b25ecbbb9","datavalue":{"value":"10.1016/J.TCS.2011.04.027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q639639$37F0F354-0DFF-4D64-853E-319E6B641DA6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bd35d2fc49e0c4d25cfc095a557db4ad4025ad7","datavalue":{"value":{"entity-type":"item","numeric-id":2919447,"id":"Q2919447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"728fdc5bc4a70a11d6f4bace52d161f91efe2b52","datavalue":{"value":{"amount":"+0.846134603023529","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":"Q639639$810B07E8-D0B3-4EF5-87C6-536F91EE62A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5d39d4d30fbd0432bb3ac248ed255a63974c313","datavalue":{"value":{"entity-type":"item","numeric-id":2842827,"id":"Q2842827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af1db3106c8fa25e1889e17de3845a8700db52a6","datavalue":{"value":{"amount":"+0.8134013414382935","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":"Q639639$DD9F6245-EDED-4C70-A44D-99534086EFC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18b983d8d1da11e96e0f955a47066e0628edde22","datavalue":{"value":{"entity-type":"item","numeric-id":2842813,"id":"Q2842813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dea2370067eee677f0a4bc911ea0186df51991b2","datavalue":{"value":{"amount":"+0.8101779222488403","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":"Q639639$94065AE5-71FF-4AC1-8E75-B9CE4D2C8404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7466e25e95fcf16a8df740942edd03442a82738","datavalue":{"value":{"entity-type":"item","numeric-id":618163,"id":"Q618163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13cd206ffd775e07e6dbbfa50ec376468ad72307","datavalue":{"value":{"amount":"+0.8058334589004517","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":"Q639639$2EE7EA33-4109-4269-8269-A0052C7A6BB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53a7c8e2e9a88cc37253fbd0c8479bee8158d0fb","datavalue":{"value":{"entity-type":"item","numeric-id":3419788,"id":"Q3419788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c892c9c44c9c0949f183b0b68fed11a5ded30cf","datavalue":{"value":{"amount":"+0.8032631874084473","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":"Q639639$75824E13-2D0C-47DE-A0E7-D07AC49D4F08","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On second-order iterative monads","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_second-order_iterative_monads"}}}}}