{"entities":{"Q7035949":{"pageid":21718578,"ns":120,"title":"Item:Q7035949","lastrevid":77520344,"modified":"2026-05-04T14:16:06Z","type":"item","id":"Q7035949","labels":{"en":{"language":"en","value":"Relative monadicity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7976158"}},"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":"Q7035949$F2443CCB-537D-437D-B82E-4FD49A4E8683","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0b56f98644a64aecd2f50f04ee20cfae0f721d04","datavalue":{"value":{"text":"Relative monadicity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7035949$4E52B2E5-0E74-453D-A5FF-5F66317A4578","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7ce3958e04c5fb628f40fa92cd89aca599281703","datavalue":{"value":"1559.18006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7035949$D6855C94-5F5D-483A-996C-0EDE776F80C9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3d2710663c95de3e607748ea80d8ae27984760a9","datavalue":{"value":"10.1016/J.JALGEBRA.2024.08.040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7035949$60FA7C39-F45B-4B45-B210-8F56E2E38679","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"48ab7c6c95f3e689739b9606767b4c1ebf902340","datavalue":{"value":{"entity-type":"item","numeric-id":5145622,"id":"Q5145622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7035949$E4EC7AFC-DDD4-4B49-99C1-7015B2939DFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e1319ac13ebf7c072597f26b2696124d56a6b22","datavalue":{"value":{"entity-type":"item","numeric-id":2134831,"id":"Q2134831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7035949$4E9B7AA1-46E1-4FF5-AE8B-33D38BD2C8F0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7035949$3B209F7A-1F4F-4282-B67A-20383C8D63E0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b213abd4c76fb70459079a4893a65835a8bf9fcb","datavalue":{"value":{"time":"+2025-01-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7035949$C96585CE-5A6A-4BE4-8F9C-C9B98094E1F3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0d1e774ee63cff42f9bfbb379c789d8ec7b85940","datavalue":{"value":"The concept of \\textit{monadicity} is fundamental in category theory. A functor \\(r:D\\rightarrow E\\) is said to be \\textit{monadic} if it exhibits \\(D\\) as the category of algebras for a monad on \\(E\\). A \\textit{relative monad} is a refinement of the notion of monad that relaxes the requirement that the monad's underlying functor be an endofunctor [\\textit{T. Altenkirch} et al., Lect. Notes Comput. Sci. 6014, 297--311 (2010; Zbl 1284.18010); Log. Methods Comput. Sci. 11, No. 1, Paper No. 3, 40 p. (2015; Zbl 1448.18007)]. A monad relative to a functor \\(j:A\\rightarrow E\\) may be viewed as a generalization of the notion of monad in which the possible arities of operations for algebras are valued in \\(A\\), while the possible carriers for algebras are valued in \\(E\\).\\N\\NThis paper establishes two \\textit{relative monadicity theorems}. The first (Theorem 4.7) is a characterization in the mode of \\textit{J. Beck} [\\url{https://ncatlab.org/nlab/files/Untitled+manuscript.pdf}] and \\textit{R. Pare} [J. Algebra 19, 80--95 (1971; Zbl 0242.18008)], establishing that, for \\(r\\) to be \\(j\\)-monadic, it is necessary and sufficient that \\(r\\) admits a left \\(j\\)-relative adjoint and create certain colimits. The second (Theorem 6.5) is a pasting law for relatively monadic functors, which may be seen as analogues to the pasting law for pullbacks, characterizing the relative monadicity of one functor in terms of the relative monadicity of another.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7035949$67CED4E7-5312-438E-958D-AE3DE492A87E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"50a4d88aaef452ee91d36bc895e7495d5ed6f713","datavalue":{"value":{"entity-type":"item","numeric-id":195143,"id":"Q195143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7035949$6133344A-D268-4109-9604-A30DF9A14F36","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"eccced452abe6eb686c21d4aa14fa6d868b93909","datavalue":{"value":"18D70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7035949$64947D2D-32D5-4F19-911E-AAD0905CDBED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8b207640844a226721b7eb12755008dfc8194c0","datavalue":{"value":"18D65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7035949$694A1ACB-9C32-4FA1-9DA1-19C3B535B74E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"138bfade4254c939b16bf73099f468d5be54b557","datavalue":{"value":"18C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7035949$63811F1E-19FA-4592-8335-0CFE87269C52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d94cdbde928d12db2a06305c6f1346171594ef02","datavalue":{"value":"18C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7035949$A36EB5D1-0300-4B76-81BD-07E02E95CFF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5005f05cf648e43cad8e44abd96ef50fda59adae","datavalue":{"value":"18A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7035949$93BC7302-0681-4BA2-A27F-350033777BAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7035949$5AFB2DFA-445C-4077-9195-E9E332F86580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5cefd0e10bad22754a568358b5238ae65a89a75b","datavalue":{"value":"18D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7035949$CCE98DC1-5655-4CC3-A1A7-7A2D433962A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"15b254b0244ba14eae8134dd4e521a82fc9f57e2","datavalue":{"value":"18N10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7035949$36F2AB3F-DAE8-4303-8C4B-CC85F3ADA624","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5ce366f5a8d8d9e4307dded955864e0e710e8f31","datavalue":{"value":"7976158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7035949$956E5AF3-C04B-4DD5-A60D-BA05E70170BF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19e209dcf2948992d0c930643b85ca7caaf5f1fd","datavalue":{"value":"relative monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q7035949$388A60D3-8577-476D-9A86-AC251171E4DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"714a6a9879472c54ecb05c1d7f867db9cb835046","datavalue":{"value":"relative adjunction","type":"string"},"datatype":"string"},"type":"statement","id":"Q7035949$1C0C9E13-3731-437F-BDD1-18741795011C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd3d4397525f668f2d73d33d522c603e57494e4d","datavalue":{"value":"monadicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q7035949$D573C6E8-9E6E-43D6-AE38-D505530C5373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed17bc0a6fab01d802f167c1a8f6f2e24d3fa6cd","datavalue":{"value":"virtual equipment","type":"string"},"datatype":"string"},"type":"statement","id":"Q7035949$4521CCE1-78A4-47EB-BB09-CC604AF46386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2bc5e8f67bb2277ca5669f2087f52fb460c53b3","datavalue":{"value":"formal category theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q7035949$93C1BBAA-BA29-4ECB-936A-46BC58522996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4562f0fd995d557f4751e6f3c5888fc0f4f4d672","datavalue":{"value":"enriched category theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q7035949$BFE4E921-4088-44CF-AE77-E8A382F904A7","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":"Q7035949$6F265C92-6B27-48FC-B169-5F943CC3960C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"807b82362e683c4f0af7c15a5f6b427da763893d","datavalue":{"value":{"entity-type":"item","numeric-id":3557858,"id":"Q3557858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7035949$3CD13E63-A98B-493C-BC74-AA04798B9919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cb3093a2facd758e8e5efacce4a1e6e068d684b","datavalue":{"value":{"entity-type":"item","numeric-id":5177334,"id":"Q5177334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7035949$DAA1BEF3-231F-4483-B0E0-9B2B9B283960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6638cfe64cc1ba260ebe9d5be1c7c21c8e5d1277","datavalue":{"value":{"entity-type":"item","numeric-id":6496517,"id":"Q6496517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7035949$90F848D8-0C10-4746-AD85-A4F5DAE7F88F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d94b192bcb1f1438fac6d7d940c39373c38eae5","datavalue":{"value":{"entity-type":"item","numeric-id":4527392,"id":"Q4527392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7035949$A1CDDADE-4D97-4E06-9A4C-4316308B7928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e76a724628de363a419b9dbbc8476b4347450b0","datavalue":{"value":{"entity-type":"item","numeric-id":4138878,"id":"Q4138878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7035949$1EBB23A7-60E5-4CEB-B68C-64C774A20636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"717ee7ad9617e8fc6b7a3bae8a5f26048dd419aa","datavalue":{"value":{"entity-type":"item","numeric-id":5762080,"id":"Q5762080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7035949$B14D0790-3887-4B68-93FC-7E2F73A9FE09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc839f8df528603d59c85f0c1d9bc733b10f5117","datavalue":{"value":{"entity-type":"item","numeric-id":4095031,"id":"Q4095031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7035949$0B119EB1-E366-4281-9CD9-B7EB3AC0FD7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65eeabb99db53adaf7c57c5e6c3606fed1fecd86","datavalue":{"value":{"entity-type":"item","numeric-id":4314472,"id":"Q4314472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7035949$D94387BC-1C65-4E4E-AB01-EF66C8C927DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a434c75c6e7c199281ad9115845df3343c94fda","datavalue":{"value":{"entity-type":"item","numeric-id":3137142,"id":"Q3137142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7035949$1C60360A-72FD-477F-B0BF-73EDE114DA24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b487854cdd1406ed020b4098f002bfd43cd3453","datavalue":{"value":{"entity-type":"item","numeric-id":2530035,"id":"Q2530035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7035949$75D82B4A-04F5-4C98-A4EA-F0CEE9E3F070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a1e99f41142e6d56c13ef3a05fd3f9bb055e348","datavalue":{"value":{"entity-type":"item","numeric-id":3682648,"id":"Q3682648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7035949$5A76F46A-B5EF-4D98-903C-2851CAF80287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bacc4bdf3a47a1007e4050f3b70edc903b082e6b","datavalue":{"value":{"entity-type":"item","numeric-id":5200289,"id":"Q5200289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7035949$54200777-A459-4D78-AD0A-A392FEF2C3ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7467bacd0a62911706fc990dbf03bc8a60de50d8","datavalue":{"value":{"entity-type":"item","numeric-id":4061113,"id":"Q4061113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7035949$A78F5D6C-161C-41B8-A120-8897F7A31EC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f7a1283049c366ca1d55deabe4d31f8c2fbed56","datavalue":{"value":{"entity-type":"item","numeric-id":4104121,"id":"Q4104121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7035949$5B6FD758-7F92-4758-A237-F70DCBD03C72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4547b0f455f0d8810661093bc3a4c0ea066b8b0","datavalue":{"value":{"entity-type":"item","numeric-id":2549736,"id":"Q2549736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7035949$FE5C5542-0223-42F7-8021-6DCC3E4AA32A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b07d70cb9ac74bc276eb4a65ba956d27861e436c","datavalue":{"value":{"entity-type":"item","numeric-id":2534697,"id":"Q2534697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7035949$059E917C-4DC2-4C19-AC4A-E173DD2C3DD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a310bc0bc6e6f2c815195ca7690c38a4720a477","datavalue":{"value":{"entity-type":"item","numeric-id":1295729,"id":"Q1295729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7035949$8F2B1C6C-BAA8-4B21-9CEA-82C653017177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a465bf05c38f48530081fd7fd295d548e2171eab","datavalue":{"value":{"entity-type":"item","numeric-id":5288474,"id":"Q5288474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7035949$B7FB0DFB-2B17-4C9D-BCF7-7B6AFA0159DF","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":"Q7035949$3BFD7A37-B203-4C06-A407-50368506BA2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b620cb3f843d6247596ccdeef0b13771fac8cb7","datavalue":{"value":{"entity-type":"item","numeric-id":5730919,"id":"Q5730919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7035949$2025A1F6-D156-4BFF-ACEF-5E159EA19A61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71d2a204871a5e6f914db305e4a5d7ab3aac60f5","datavalue":{"value":{"entity-type":"item","numeric-id":5960413,"id":"Q5960413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7035949$3F0EDB79-3079-4722-9C19-32D372DEF219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3546db2dd1311660345aaef791d16704b5295391","datavalue":{"value":{"entity-type":"item","numeric-id":5570958,"id":"Q5570958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7035949$E928BAD8-4969-43BA-9A1C-99AB231A87ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06acd9c490b088861f5f60604b7c65892453860e","datavalue":{"value":{"entity-type":"item","numeric-id":5872361,"id":"Q5872361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7035949$6FBB7E88-DCE1-4A17-B63C-1FE974814AFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a9a1466f0c8e28c410c21cc8ed21430d176add4","datavalue":{"value":{"entity-type":"item","numeric-id":6077388,"id":"Q6077388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7035949$2C20EBAC-CCE5-4551-9DD9-DA8C3E8EDA1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cb0dffb4f53d966bd71a12fcad1413ceb580454","datavalue":{"value":{"entity-type":"item","numeric-id":4635933,"id":"Q4635933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7035949$C085787B-83CB-4276-95BE-55C1C9ED3D5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84f9419ddd61bee20cf24d42b077e7048ec21ccd","datavalue":{"value":{"entity-type":"item","numeric-id":5676375,"id":"Q5676375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7035949$4DC939AE-8460-4B00-95A9-75CBF6B3BD25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21da43fa1d32818a14febc996add4b382aedd830","datavalue":{"value":{"entity-type":"item","numeric-id":2554021,"id":"Q2554021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7035949$2C66932D-C757-4943-9A7A-DA0680086D9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c167d86da991deb3b84bf3df5e92f5d0e8b01113","datavalue":{"value":{"entity-type":"item","numeric-id":5666704,"id":"Q5666704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7035949$B999E069-A33A-40C8-A897-CB9DC94194D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa6646e618ba9f00a0671d851bbf4ba14b6419af","datavalue":{"value":{"entity-type":"item","numeric-id":2919780,"id":"Q2919780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7035949$B9F9CBB9-793E-45CD-A416-F97F8C098C97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ede90199834ac93adbde20330457962be9e2ca5d","datavalue":{"value":{"entity-type":"item","numeric-id":2553668,"id":"Q2553668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7035949$265A4650-A60F-42D1-A9FA-A6AFC16B2E4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f39bef572b39d7525aec93dd4aa7a10c63d36f04","datavalue":{"value":{"entity-type":"item","numeric-id":2535015,"id":"Q2535015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7035949$4BD5B03B-F474-476A-9609-C325C2030415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25faadece26dd9a318b7f194ad18b2d4973ce037","datavalue":{"value":{"entity-type":"item","numeric-id":5597559,"id":"Q5597559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7035949$BC910D67-B8BA-4B75-B516-A7DD6FEDC707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae1c7b6df9d0ac656056f5858db253db53d7a66f","datavalue":{"value":{"entity-type":"item","numeric-id":3708172,"id":"Q3708172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7035949$380AC642-4E60-4BD3-BF47-261AFEEF968C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relative monadicity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Relative_monadicity"}}}}}