{"entities":{"Q1798785":{"pageid":1809527,"ns":120,"title":"Item:Q1798785","lastrevid":72983022,"modified":"2026-04-14T09:11:12Z","type":"item","id":"Q1798785","labels":{"en":{"language":"en","value":"Predicate liftings and functor presentations in coalgebraic expression languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6962932"}},"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":"Q1798785$5145E042-4D9C-4791-BCD2-85B160EBFE2E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"29e8e7e01cbf1e9cda1f4451084bbdc7bba80e2a","datavalue":{"value":{"text":"Predicate liftings and functor presentations in coalgebraic expression languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1798785$426222E0-E1F1-42A9-8E5B-12329D726D03","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f7cc3b1095f6493e901406ec0b1186effebe6a34","datavalue":{"value":"10.1007/978-3-030-00389-0_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798785$3986FBFD-533B-4D77-8FD2-93D1387F6440","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4039534078f65f5685c088b104b7b25bf5d64f7f","datavalue":{"value":{"entity-type":"item","numeric-id":1798784,"id":"Q1798784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798785$19194F42-E8DC-461D-903E-4B63AC4A2D40","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":"Q1798785$71582457-481B-4C74-94EB-ECC74070141A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1eeed33b2287d1ef7af5a3fd00bdb188f793ecc6","datavalue":{"value":{"entity-type":"item","numeric-id":234493,"id":"Q234493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798785$D3C1CE8E-497F-4556-9E22-5FF0EF8A88C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"efbc9ea8e7764c41b8694e3ba2836a25f47044c4","datavalue":{"value":{"entity-type":"item","numeric-id":328656,"id":"Q328656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798785$D9EFCD41-215C-4331-A578-EB4D36CB2DD8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d6bcb28ae86aeca9fbed36b824032693bb3a4a24","datavalue":{"value":{"time":"+2018-10-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1798785$50E7A31B-E5C7-411C-B285-6FA202B1FCAE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b416815957d464c828631906cd0fd262add87d51","datavalue":{"value":"https://arxiv.org/abs/1805.07211","type":"string"},"datatype":"url"},"type":"statement","id":"Q1798785$017237CB-F8E5-4919-9E0C-30F97CDA2E91","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798785$E6E09FEA-6C39-4143-88FA-11CAEA427B39","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4467adc961e3d7b71f464a0862af48d727ba975c","datavalue":{"value":"6962932","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798785$83256A65-D72D-40CF-B9F4-D05816063A4E","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":"Q1798785$1B420AA0-C41E-4DED-AD9F-4D1BACCC9F2D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c6eb119979976fa2010be3b4ef40ef6ec2047b3e","datavalue":{"value":"W2962889307","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798785$B28345EB-5817-4E59-B113-0D69C52DAF23","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b051b8ebcaea223cbf9c88b09ce39b707e765529","datavalue":{"value":{"entity-type":"item","numeric-id":4302821,"id":"Q4302821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798785$DA811A30-EB47-4A33-B483-A47C6EE21E97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f19151d005fd311e34f00ed4e8e1c914d916818","datavalue":{"value":{"entity-type":"item","numeric-id":5309950,"id":"Q5309950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798785$46851ADC-8539-4496-8649-6F318EEE39F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2c78df710fb68edf4f6f76a1c51c42296a1a7e4","datavalue":{"value":{"entity-type":"item","numeric-id":3996444,"id":"Q3996444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798785$F0E6A797-B3F7-43F4-9F71-C09D2762BA87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96954404dfbbc62a33a9750ac0ac66cacd28ac9b","datavalue":{"value":{"entity-type":"item","numeric-id":5602969,"id":"Q5602969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798785$91E05030-5F5F-4798-80ED-2E3A69A1C815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be0c19fa5bbd98e1c9915eefadfb586ac1b37fcc","datavalue":{"value":{"entity-type":"item","numeric-id":799361,"id":"Q799361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798785$ECB624D5-70E2-4545-87C7-40BFF6D8C704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26b89896d12727ad637f84067fae27b2c42f93ee","datavalue":{"value":{"entity-type":"item","numeric-id":2760241,"id":"Q2760241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798785$17ED70EE-2C36-4AED-86C8-176199B0F9E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7382bd15ee0772f2a01d44c3ab123938e80ac15b","datavalue":{"value":{"entity-type":"item","numeric-id":3224669,"id":"Q3224669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798785$25C5C5C4-E1C7-40D2-A22E-62441710CEB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33e95504f227312aad4e52a94d806720c77b27e3","datavalue":{"value":{"entity-type":"item","numeric-id":3190167,"id":"Q3190167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798785$ADA1BAA8-C5FF-4704-8ABF-B01A6ECB30E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2803ca579abe915c27350846bb0ef301e46e6070","datavalue":{"value":{"entity-type":"item","numeric-id":2848953,"id":"Q2848953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798785$C0B52D3A-6366-42D2-9F98-26C1D3E3C657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b810e64b00c3caeec10825ef5441e793463b551a","datavalue":{"value":{"entity-type":"item","numeric-id":4636297,"id":"Q4636297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798785$D70C1ECB-1467-4A0A-8B29-76C3EDBF8B17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c106f7cc54dee822f9d675291a8678b1806d2f8","datavalue":{"value":{"entity-type":"item","numeric-id":3719814,"id":"Q3719814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798785$38EAAEAD-4362-4BE4-8322-D8B2C7F66863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c3fe4fe60e46216ce5fae043f36e24fe49d426","datavalue":{"value":{"entity-type":"item","numeric-id":4917038,"id":"Q4917038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798785$896563DB-5643-43DF-B159-39F19BD1BF3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798785$4FD653C0-9143-48AE-83C9-7F8241394E52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6519fc3a3112748d4f0be8bfad43c0bd8f964264","datavalue":{"value":{"entity-type":"item","numeric-id":2805164,"id":"Q2805164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798785$25B99E2F-1A1B-4C4B-BA59-78E0AB4D22A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b8abd94ed4f77e98ce4f26b835f3856deb19c3c","datavalue":{"value":{"entity-type":"item","numeric-id":2873669,"id":"Q2873669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798785$3BDAB06C-6890-4382-99A3-9612E6197B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31f99c3767f220921bd5141aad82c56e84e6dd18","datavalue":{"value":{"entity-type":"item","numeric-id":2341702,"id":"Q2341702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798785$DD8AB6FE-D738-417B-8DF8-B3E653FC54B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fff2d5e1e036d049fe6be615c4598075f5e41bf8","datavalue":{"value":{"entity-type":"item","numeric-id":5275355,"id":"Q5275355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798785$A9E65ED0-597E-4E21-85C0-670DDFF5F6A0","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":"Q1798785$A8DADD76-2A3F-4372-9DEF-15A51A3293F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6154624416d56c5ff407c98b19ed95429167895","datavalue":{"value":{"entity-type":"item","numeric-id":1295427,"id":"Q1295427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798785$6F248B29-5CC8-4672-B3E2-C384892B2EDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56086f6d2a7681712908b00a7a68c6b468d9e769","datavalue":{"value":{"entity-type":"item","numeric-id":3326827,"id":"Q3326827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798785$86CCDF20-3C02-4C2F-925A-2B589490EC90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3a83a0d0759bd552791c47669aaf3c7e2c42801","datavalue":{"value":{"entity-type":"item","numeric-id":1884901,"id":"Q1884901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798785$E553ECF7-A9BB-4BF4-8401-A592293E4A14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"564179a3065c43e795b643ec9273069a6cc72505","datavalue":{"value":{"entity-type":"item","numeric-id":558417,"id":"Q558417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798785$1CD3A241-A79C-4729-AD7E-F38CE67DE35F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2857e2ccf7c4a647101d2799fa5b5bcb5648fc35","datavalue":{"value":{"entity-type":"item","numeric-id":3787981,"id":"Q3787981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798785$983AFDD1-40A7-4E3A-906E-53F689F5EAA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd2a146bae799e67d19c2792d562d311cc75bcfa","datavalue":{"value":{"entity-type":"item","numeric-id":2474056,"id":"Q2474056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798785$0C559AAC-3046-4047-BD76-02341E166C97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02d016235ebb01d31250876b3d17d640c533c391","datavalue":{"value":{"entity-type":"item","numeric-id":532394,"id":"Q532394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798785$8FA9BEA2-73FC-4A28-822D-437CEC765368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b211f7d9b79af80c89593f1677fce650e50849f","datavalue":{"value":{"entity-type":"item","numeric-id":4913772,"id":"Q4913772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798785$C8C68487-9CED-4447-B2F2-508D5B4A74E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b62cef7cfbdde29813a82f7eed9dc0834eb4aab7","datavalue":{"value":{"entity-type":"item","numeric-id":2786140,"id":"Q2786140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798785$A2F697B0-25E5-4E37-AF88-F090963A3DF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5735069a83c3299190a155d1f226c5bb8283daf","datavalue":{"value":{"entity-type":"item","numeric-id":1322469,"id":"Q1322469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798785$B75E6277-0F0C-4AA8-9DFF-3D76FDD1CA9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a27bfb755a2ef73a5f819b79d137a663d877acd","datavalue":{"value":{"entity-type":"item","numeric-id":5508002,"id":"Q5508002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798785$14008A90-BAB4-4E01-A81A-2B148B9909BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cb223025dd20ac9b8e18c998e53102198d6a226","datavalue":{"value":{"entity-type":"item","numeric-id":3900996,"id":"Q3900996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798785$C9793B4E-A3AD-4BC1-B00F-3CE10287E4EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c7fcbf5caaa06d9b2136bcb161b6786ad2aedc9","datavalue":{"value":{"entity-type":"item","numeric-id":2495648,"id":"Q2495648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798785$4BAC40B5-61B3-4878-98DB-108304314A28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afdbfcc9c0b366443d6f539cb6b2c792bcf5ed64","datavalue":{"value":{"entity-type":"item","numeric-id":594988,"id":"Q594988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798785$838110D7-0335-4F7A-A71D-D34F52D9424B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea510080ed72da3949ed4dbcc0b26697f915954a","datavalue":{"value":{"entity-type":"item","numeric-id":2474056,"id":"Q2474056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70a4ac73edb4a66e6a0f0dd07ae0d56287482329","datavalue":{"value":{"amount":"+0.792832612991333","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":"Q1798785$E1DD7A33-B4FF-47FB-8BFA-88FD3A7B2567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2b8f212f368d8bcf08ef7f4e91c32b1756cdf2f","datavalue":{"value":{"entity-type":"item","numeric-id":532394,"id":"Q532394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6e07af9ed90d7388cae6385c64170636111e2a7","datavalue":{"value":{"amount":"+0.7897039651870728","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":"Q1798785$D22AF405-5447-444A-ACBE-E2CFDA03EA96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b005c1d2707be3c331779e90a9d83029dfa0713","datavalue":{"value":{"entity-type":"item","numeric-id":5705903,"id":"Q5705903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ffd7d5b2a5f49d9c314451e866f557d49dc696d","datavalue":{"value":{"amount":"+0.7889247536659241","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":"Q1798785$F682B0C7-FD92-4069-AEC9-3DB59BA65D72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09f456768a330b3f43a8015f2fca35c640a5aa33","datavalue":{"value":{"entity-type":"item","numeric-id":2848944,"id":"Q2848944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afa9890ee0957ffa9406e28562caedd7893f4944","datavalue":{"value":{"amount":"+0.7799302339553833","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":"Q1798785$DDAEC691-2B7F-4D27-9595-42FC0FDA6696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6127898f2fa7d0ec27ef422f25e5e2426e973e62","datavalue":{"value":{"entity-type":"item","numeric-id":2873669,"id":"Q2873669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e7d6f28534bb72a9486038d8002cf7a0429be97","datavalue":{"value":{"amount":"+0.7715088725090027","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":"Q1798785$9484248F-8321-4233-9111-27B75F9C112A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Predicate liftings and functor presentations in coalgebraic expression languages","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Predicate_liftings_and_functor_presentations_in_coalgebraic_expression_languages"}}}}}