{"entities":{"Q974136":{"pageid":975984,"ns":120,"title":"Item:Q974136","lastrevid":65909967,"modified":"2026-04-12T06:11:53Z","type":"item","id":"Q974136","labels":{"en":{"language":"en","value":"The proof monad"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5712838"}},"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":"Q974136$8A37B57A-365C-4ACA-8C0D-0D1F8B3735A4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3f9c1a60652c04e22b0da39eba6983fddd88cd4a","datavalue":{"value":{"text":"The proof monad","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q974136$208D4E24-335F-4B2C-8C55-5689AC766D84","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"21015fe1e16f6f97d6dfd539d21a94fe5acfcbeb","datavalue":{"value":"1208.68144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q974136$F2B907D8-B165-40AC-B86F-A0FC8A3AF086","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb1ce8737d9425fd00bcb77ee0cdc83ba4590219","datavalue":{"value":{"entity-type":"item","numeric-id":974135,"id":"Q974135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974136$FA1997D6-90D5-4794-A174-4216D143C5D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"964ad06bbce2223d39835995102fd837d5d2b24f","datavalue":{"value":{"entity-type":"item","numeric-id":1791191,"id":"Q1791191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974136$8A788F30-0E5C-4536-BF98-C5DB61D2E06B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974136$1FE44FA8-D869-4858-B1EE-E5F3EAD4CA92","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e2fe2a9116b611a4e0cd03f6e91b5254a2aef5ed","datavalue":{"value":{"time":"+2010-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q974136$40ED06B8-A6CC-4121-BA1B-D3A7F883B340","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q974136$C9FA4880-F187-4617-96D4-C711FB3D6185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"138bfade4254c939b16bf73099f468d5be54b557","datavalue":{"value":"18C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q974136$610A598D-72EF-418B-BFA3-6D42D0A83681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q974136$78E39573-652C-43A3-8026-ADB4BF4373E9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eac381da52fa7a3d38dc4d1bd73a60fa442c93f3","datavalue":{"value":"5712838","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q974136$BD57B118-3E37-46F1-BE04-4F2023B63CE8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77ebd48e99b87620ac98a31f9e4ee73b4002c285","datavalue":{"value":"proof languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q974136$59865E21-97EA-4734-8237-608ED03D1200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59f99206df07da2705c57cb0edb9ace66324462a","datavalue":{"value":"deductive strategies","type":"string"},"datatype":"string"},"type":"statement","id":"Q974136$E17938E9-7BA5-44C2-8CB8-7C25963E5AA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5685485f4c27abda29cd481c0486a1adb54b3a91","datavalue":{"value":"category theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q974136$B933C041-95C1-4F38-8C3C-90F0B0C7EE3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af6cde2608743aba06c8d44d6b83e2b013d715fb","datavalue":{"value":"monadic structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q974136$1FED962B-9DF6-41FE-9857-1EF75A756553","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"25db55153babd7076d594d911b639e78d62b451a","datavalue":{"value":{"entity-type":"item","numeric-id":20369,"id":"Q20369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974136$20416ABA-AA74-40AE-A7ED-18E935ECF898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"05e19126d9e9907924a4600d0a5598afdc2c5f70","datavalue":{"value":{"entity-type":"item","numeric-id":20609,"id":"Q20609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974136$64C615D1-7E14-4143-875C-FF3AF0DB7E9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974136$F38A9120-AA0C-4F1C-94DB-FDC05C9C4C06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974136$86241A94-C828-40A5-9306-276D8DF1B3BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974136$6030413D-4FA3-4474-8763-8A458A682CCF","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":"Q974136$27B26856-055F-44A1-87EF-311370448361","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"80a4e5a637bb23f717c7828e8c360be7e953cf76","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2010.03.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q974136$87490AF8-9F3A-4055-80E6-8ADD33EA496A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"93cf472f88b1d8d9c56b5a548ae349e6e05efae2","datavalue":{"value":"W2074233181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q974136$D42DE7E7-86A4-421B-BD34-ECAA3B1DE15A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"605cd54b5666989f05001b3d36d606561ce4ef39","datavalue":{"value":{"entity-type":"item","numeric-id":4693062,"id":"Q4693062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974136$7815C03C-E29D-4FA2-9E7C-3FE388EAB415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab98c2b4417373f1669b95e2ac3656950d8078a8","datavalue":{"value":{"entity-type":"item","numeric-id":3612433,"id":"Q3612433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974136$1E7EBE81-59D7-41A1-AE2E-DE23C9BDA8FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70c434b6534caa8d7aae026f7b80e8e45e51931c","datavalue":{"value":{"entity-type":"item","numeric-id":809992,"id":"Q809992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974136$FBFF277F-2E61-4127-85AE-DDB4C4D4E4B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fc62a507ff1f1d1b56d44b08e7c6ce546e35644","datavalue":{"value":{"entity-type":"item","numeric-id":2844065,"id":"Q2844065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974136$290E913E-1E39-4352-B010-8B8D5D44C170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0ecba633e7dd0ac407826dd5f559a4e819c3c8a","datavalue":{"value":{"entity-type":"item","numeric-id":2867943,"id":"Q2867943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974136$1CE505AC-7863-4B47-8646-36556D6A3005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"640dbea36607eac12c9234dd8913c144d385805c","datavalue":{"value":{"entity-type":"item","numeric-id":2943375,"id":"Q2943375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974136$33E47681-35D2-4481-9E82-929028DE359E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"526569e2045d88153ecb5cf7f75a680cdcd5a85b","datavalue":{"value":{"entity-type":"item","numeric-id":2767010,"id":"Q2767010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974136$B403985B-96FE-4365-8241-268ED62E4FF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b714ee7bdb70947b555d42ec2db46670455bb12f","datavalue":{"value":{"entity-type":"item","numeric-id":1431339,"id":"Q1431339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974136$CE9FC7CF-7F20-45AE-999D-9EF3CE9C9B44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974136$2DA459ED-75F8-4E2A-8905-ACA2386ABF09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc8abb92210655a5bd4143cbbadd6eadb52d635","datavalue":{"value":{"entity-type":"item","numeric-id":1801222,"id":"Q1801222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974136$B65860E9-8636-40BF-8AA7-48126BFBD405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6acb3eb05828de28f2584c746c0d8ef3e38672","datavalue":{"value":{"entity-type":"item","numeric-id":1279608,"id":"Q1279608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974136$712F72AB-A470-4B8C-B176-B27692663383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"568f23ea3546162f578a30bc6e6da32e0c8fbf75","datavalue":{"value":{"entity-type":"item","numeric-id":3086785,"id":"Q3086785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974136$65C64476-74A8-48B5-A045-AD00713641DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa27b9eeac4f099527b52b73cb8424ad87a4149f","datavalue":{"value":{"entity-type":"item","numeric-id":2864359,"id":"Q2864359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974136$58194D8F-3E62-4BD9-852A-FE8D51A76D25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a001bea59f4f49bf4906b79254c069c38b37e44","datavalue":{"value":{"entity-type":"item","numeric-id":5566549,"id":"Q5566549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974136$5AD30DDE-E43E-4695-9539-C62940D6B1B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974136$AD4D1AF1-0D72-4DF8-853D-52C36A46B553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974136$C7063A89-25ED-4F57-BE84-7705C6F111BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51b66726964d3d433ff18e1b52294538dcbb75fa","datavalue":{"value":{"entity-type":"item","numeric-id":4108488,"id":"Q4108488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974136$D80447F6-DA74-4A8C-BD7A-C4C8060DE30A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14821703ad3559ce115eabb18820913df4a58412","datavalue":{"value":{"entity-type":"item","numeric-id":3202991,"id":"Q3202991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974136$BD706FB5-CF43-4120-BFA8-409D9D66B3E4","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":"Q974136$C1336B62-27C7-4617-B486-BA70A8B0461F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adbf2d5b157e5fb4d1745288b32c2de045384528","datavalue":{"value":{"entity-type":"item","numeric-id":3679177,"id":"Q3679177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974136$C4A2B6BE-5E96-46DA-8C04-3F29FA41C96E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d33e928887af0bb982765db1d362caa615f098d3","datavalue":{"value":{"entity-type":"item","numeric-id":3325725,"id":"Q3325725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974136$A50AB809-4C67-41A8-B5B7-9CDAE725BA7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19f86d9f5cfa728eaec66298b011d7269fca9cac","datavalue":{"value":{"entity-type":"item","numeric-id":3827993,"id":"Q3827993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974136$A458B447-8611-41A2-AD00-745CC6F728A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45e2187512867fe4f712404ca585a26321bb0036","datavalue":{"value":{"entity-type":"item","numeric-id":5286647,"id":"Q5286647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974136$93504690-BF95-4D96-B6C5-B68872421FC8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"77d4320ed19c140e69e8fd6dcb36e3928b5e6cd8","datavalue":{"value":"10.1016/J.JLAP.2010.03.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q974136$8CF8EB48-CED7-4537-B7E6-4C10A4C32AEB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2c7a77fd9131d33a9ed5c2488606264fc304b83","datavalue":{"value":{"entity-type":"item","numeric-id":3698294,"id":"Q3698294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bff1669bde2bf52150302870e1749e41e908025c","datavalue":{"value":{"amount":"+0.753173828125","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":"Q974136$2A4678D2-27A9-4180-AFB5-DCBE6CE19B09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df1aa76bf927b7d483d93039bf60451fdaf7e947","datavalue":{"value":{"entity-type":"item","numeric-id":3202991,"id":"Q3202991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4497b8d6a4ff6be6d2fd1801c20482471db498e5","datavalue":{"value":{"amount":"+0.7455502152442932","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":"Q974136$793678ED-55E8-4864-89C9-8C94FB9B8CE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b374d103ae25750298391ed37f0bec8a184b0c0c","datavalue":{"value":{"entity-type":"item","numeric-id":2847396,"id":"Q2847396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebb2d9c4aa39f771988bec1c5e8aa0b349b82204","datavalue":{"value":{"amount":"+0.7403845191001892","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":"Q974136$7684643E-3B06-4185-8478-67CA096F5914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bedadba667b73522d5f98f175ca40814cf920b3","datavalue":{"value":{"entity-type":"item","numeric-id":1392142,"id":"Q1392142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5b74f48feb21cd3432249f3b4b5e19279acf837","datavalue":{"value":{"amount":"+0.7388324737548828","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":"Q974136$C629450C-9A95-4259-9D3A-EFA62C5F0835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"590389987854c62166aa437651a61e790abebe66","datavalue":{"value":{"entity-type":"item","numeric-id":2864359,"id":"Q2864359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"613bc70b29a98614bedd9740198d7d97580d781e","datavalue":{"value":{"amount":"+0.7318319082260132","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":"Q974136$EE884B1F-93DB-41E2-B2CF-99E6AD03F3BE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The proof monad","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_proof_monad"}}}}}