{"entities":{"Q7232179":{"pageid":24494624,"ns":120,"title":"Item:Q7232179","lastrevid":84476162,"modified":"2026-05-18T15:33:44Z","type":"item","id":"Q7232179","labels":{"en":{"language":"en","value":"Extending equational monadic reasoning with monad transformers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8189423"}},"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":"Q7232179$368BCCC1-E2E9-4C5A-97FB-FBF1BE71411F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1f44c4c687e05db62d15ab237d5f7e84313ed5de","datavalue":{"value":{"text":"Extending equational monadic reasoning with monad transformers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7232179$D9245EF6-E5ED-4D91-9E80-1511B10B6223","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0aee4dea50ca43fba60b40c4114de89fe0aa6225","datavalue":{"value":"10.4230/LIPICS.TYPES.2020.2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7232179$3F38F8B4-0F62-45FC-A945-729C79C2090E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"58c3f1040f095d35860e29a1e4ebbce287a0aa55","datavalue":{"value":{"entity-type":"item","numeric-id":436403,"id":"Q436403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232179$1B0ED8FF-ECA7-420A-B983-4D2734C2632A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1278b7772ff04d9a7882941c345e2fa92d6375ea","datavalue":{"value":{"entity-type":"item","numeric-id":781248,"id":"Q781248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232179$AF1EA0DF-D2B2-40CD-B058-94D1B6183498","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"22b7db1ee47288e2a17e9877aecc2cd5315e6862","datavalue":{"value":{"time":"+2026-04-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":"Q7232179$90B1C426-EE09-478C-853E-F2D9A0EFAB73","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7232179$0FBD481D-B668-4243-8669-CBC79A628190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7232179$88DD7BFC-DA2F-45AE-90F1-858026E9BAB4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"007468792042b2da57e57fb05633de7b8a0b1f4c","datavalue":{"value":"8189423","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7232179$262326F6-A440-4358-B904-21C4643B7D66","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232179$88CCEC5F-E3EA-46FB-A9A6-975448D2BEB7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a236a4a9881a761a93f593b6fc0a0e9903a99925","datavalue":{"value":"monads","type":"string"},"datatype":"string"},"type":"statement","id":"Q7232179$4CC1A50D-9E55-45CD-91A5-E2F786274CD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bdcb55012e33eb7692d98d8f91054bea9adc798","datavalue":{"value":"monad transformers","type":"string"},"datatype":"string"},"type":"statement","id":"Q7232179$3BC00C8F-CC95-48DF-8A59-F4219E19A62F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q7232179$8499001D-BF93-4B68-9DC0-7D632B362D99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5795787683dc16a0e892761f65c085daecc3346","datavalue":{"value":"impredicativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q7232179$1F8B2C26-FB18-482D-9B75-13D507194E2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fe810434f585fa0203aea78467c3725c30107f8","datavalue":{"value":"parametricity","type":"string"},"datatype":"string"},"type":"statement","id":"Q7232179$86BE6BAB-A841-4C6C-9F04-C4A93D855AFE","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":"Q7232179$A0E96DC6-B08D-47B7-949C-6DD7B706CB8E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"075996545ea8f1bbdc793e8e2c6621e7ae547967","datavalue":{"value":{"entity-type":"item","numeric-id":2176680,"id":"Q2176680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232179$D78EA8D5-5095-45FC-A5E7-CD1A149CBFF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f975605fa1957fb39a45906128baa7014ef10af","datavalue":{"value":{"entity-type":"item","numeric-id":5111175,"id":"Q5111175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232179$B74BEB8B-2C60-4A08-B452-6D6D6050FFF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e739d4e358cfe0bff089251671b51e298177305f","datavalue":{"value":{"entity-type":"item","numeric-id":5408445,"id":"Q5408445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232179$CA2159A2-4726-44CC-88C7-B9C41995079B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfa3fee9904ef2d514238b07722c21a5047ba696","datavalue":{"value":{"entity-type":"item","numeric-id":2986790,"id":"Q2986790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232179$9AA1546D-B58D-4B05-B517-B826B34F3A46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8c6dee845aa2fb3e3b96fd0f5f996675d409056","datavalue":{"value":{"entity-type":"item","numeric-id":3183538,"id":"Q3183538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232179$34CA518C-A811-479E-A704-AE554B48DDB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c20f09fb3e38a6cb71128b7b20c9a8a3171ec58","datavalue":{"value":{"entity-type":"item","numeric-id":3455643,"id":"Q3455643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232179$C1B75559-148E-4D3E-8E67-E9E55A12BB63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0445525fc9a893df8d184d0f1721ac06176cee56","datavalue":{"value":{"entity-type":"item","numeric-id":5176957,"id":"Q5176957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232179$E38CD865-D79A-45F4-9ABB-2D0812A04551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70310057f6e65c7bae9c8a38aad2028890ef7f8e","datavalue":{"value":{"entity-type":"item","numeric-id":3545276,"id":"Q3545276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232179$33498667-3812-471F-AC5F-D372585A2C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"969e70c89af0c23689fd4eefd29af56638af4339","datavalue":{"value":{"entity-type":"item","numeric-id":5168878,"id":"Q5168878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232179$80FB8712-F71A-4D3F-A6A7-58E43C58DF92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe63a32e5a9a24ceffd738711e48d515eed2752a","datavalue":{"value":{"entity-type":"item","numeric-id":3617691,"id":"Q3617691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232179$DC23A7B2-8F2C-4D47-9C24-DA5D9E2471E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd065c1d610e456574e229e678250805d159560c","datavalue":{"value":{"entity-type":"item","numeric-id":615955,"id":"Q615955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232179$4046E6EC-74DC-4167-BB8D-992487CD0949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d846b8bf5f70f8173a63633f62a284d17757aea","datavalue":{"value":{"entity-type":"item","numeric-id":4649560,"id":"Q4649560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232179$830CC28B-C326-45F7-9BD2-A9AF5D2AE170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ad5201318f40b2ac033a107b17bfa5759808384","datavalue":{"value":{"entity-type":"item","numeric-id":2958537,"id":"Q2958537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232179$C09B62DB-A199-46C2-A4F1-4D57C01D9597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f0e4ae9e4061fe50d462a41b4659949218c4e76","datavalue":{"value":{"entity-type":"item","numeric-id":2039941,"id":"Q2039941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232179$6DCB0AD3-A613-4C16-95D7-2777DAEACC17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faf47df6b67e434836504f5f36e5c3c78af2f440","datavalue":{"value":{"entity-type":"item","numeric-id":2176670,"id":"Q2176670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232179$913DF1A9-2851-4621-87CB-D05A32D96307","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Extending equational monadic reasoning with monad transformers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Extending_equational_monadic_reasoning_with_monad_transformers"}}}}}