{"entities":{"Q3638258":{"pageid":5668164,"ns":120,"title":"Item:Q3638258","lastrevid":80868920,"modified":"2026-05-06T17:11:08Z","type":"item","id":"Q3638258","labels":{"en":{"language":"en","value":"Coalgebraic Reasoning in Coq: Bisimulation and the \u03bb-Coiteration Scheme"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5574322"}},"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":"Q3638258$B50129C0-C64C-496F-B356-CD811A5ED2ED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5fc2e0ef466ca62d96814f33ca65689749b2619e","datavalue":{"value":{"text":"Coalgebraic Reasoning in Coq: Bisimulation and the \u03bb-Coiteration Scheme","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3638258$D898E8C6-8818-4294-833F-447CAD443B5A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c8c429f06487b20fc75073d2e11e3b81bbfc2223","datavalue":{"value":"1246.68199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638258$A8F70B0F-2828-40A3-ADFF-D0ED8514B2E6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c821a512e3426dcff13d0a5eaabeac829d16fda0","datavalue":{"value":"10.1007/978-3-642-02444-3_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638258$15B8D3CE-F25E-4CA4-B0EC-5105B682D9C1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"df57046d705d1922cbc051ab710548843dac55f6","datavalue":{"value":{"entity-type":"item","numeric-id":817860,"id":"Q817860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638258$28A217C8-0606-4621-8191-9F6125B18F40","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638258$8EEE7D20-427E-4890-B793-B7838E65BE0D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"53f2e3fc7575081ebb3b175707a32845a6955dc2","datavalue":{"value":{"time":"+2009-07-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3638258$6DA8A72C-7540-4B16-8AF5-34BDF1347CED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638258$FCD06F3C-6233-455C-AF6E-15EAACB2C938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638258$A098A28E-F2CF-4635-A716-54A881205ECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638258$D2C8E66F-1F9C-44FD-80D6-54118FD6B9C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638258$AE5FC838-850F-4592-A32D-76DE34D3D213","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"558a600372cfe03bc5c6d1888f7faf62da7826e4","datavalue":{"value":"5574322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638258$C8D00AA2-E997-443B-8901-1B8BF54DA9C7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fafcf953018573f92a433319a1c11197d7661331","datavalue":{"value":"coinduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3638258$099F24BB-ACC5-405D-B694-18C84ECFA303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3638258$F2BD328C-01B3-42C0-852A-2F2331D91DD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3638258$3FD7A76C-DB3E-40C3-AC1E-ED93DEE41F9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa88eeefda2663ffe31ef72bf67fc4a581e99203","datavalue":{"value":"coiteration","type":"string"},"datatype":"string"},"type":"statement","id":"Q3638258$5EE7D94F-5D41-43DA-88CD-711019BF4C5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q3638258$A34990EE-84B3-4315-9C3F-9352A0B71B30","rank":"normal"}],"P1463":[{"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":"Q3638258$90F94677-C41F-4760-BCF6-182DC3D725B2","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":"Q3638258$4AC7034C-760A-4E80-B1D6-919D19964557","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"62f3d53fa1a49633e39fa3165d0abc2e9b1ffaa9","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02444-3_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q3638258$C0D28235-3278-42CE-8C90-930B3959E73E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1ffe034bba13b123743eaba19b0e73418af28b58","datavalue":{"value":"W1549054207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638258$F38C27A3-9AC4-4642-9D0D-44F8EBE4B9A5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a315f8ad5008dcde11f07cf3ff6480c48c7abaf","datavalue":{"value":{"entity-type":"item","numeric-id":5900207,"id":"Q5900207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638258$8242B42A-09EC-420E-B2C1-5091E39A939C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e029305c30f8a602f10ab69f9f48cce2f6fb08e","datavalue":{"value":{"entity-type":"item","numeric-id":4917033,"id":"Q4917033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638258$23E16D4E-5ED7-458D-A8B3-C7CBA06F6A4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84f5f00376ce40e7c5e95eb21ebf38fad1c6f5bd","datavalue":{"value":{"entity-type":"item","numeric-id":2873661,"id":"Q2873661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638258$966C9672-E780-4579-B72B-14C0F9C5A820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"142a42655803b94237848507ab4a61f241eb69a3","datavalue":{"value":{"entity-type":"item","numeric-id":3638255,"id":"Q3638255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638258$1227F4AE-9C90-4E1B-B5D9-9C3129E11620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab45dc3d9eb842b0ef3b6cf1b32caf74cc8382c6","datavalue":{"value":{"entity-type":"item","numeric-id":2843722,"id":"Q2843722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638258$66347752-DA3E-48D7-93A5-5E7A8423F12B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8465229f1314ca485971299fba6aa8e5b3b8a447","datavalue":{"value":{"entity-type":"item","numeric-id":4435467,"id":"Q4435467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638258$474DC33D-20E6-4191-ADC0-F7300AF6DA5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d8b466f18c85e6594f51bf6d97a170f5f732eb6","datavalue":{"value":{"entity-type":"item","numeric-id":5718566,"id":"Q5718566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638258$4C11C83A-3839-4D01-A1BF-85B04D364D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58137c2009742a39b30e5cb42aa06402d77c473a","datavalue":{"value":{"entity-type":"item","numeric-id":3638923,"id":"Q3638923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638258$2EAA664B-61C8-4BBA-B1CD-A5E40007C289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f1b5e1f70b17ee4c0be84992c65b9575d7e4d38","datavalue":{"value":{"entity-type":"item","numeric-id":1607101,"id":"Q1607101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638258$8A09D024-C1AB-4141-8DAD-F94766E05F09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89bef463cb658cddbd9f9784826ecb28ab8be5ea","datavalue":{"value":{"entity-type":"item","numeric-id":2503336,"id":"Q2503336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638258$18883869-B9D5-4B09-9263-9F6AB533C710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"490a848ecb585a243b679842eb931fc04f6f3ed8","datavalue":{"value":{"entity-type":"item","numeric-id":3523148,"id":"Q3523148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638258$BF219207-58B4-42D1-B556-0D619147064C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638258$6B764C20-C251-4DA7-A756-A52761C8D2BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e95a27f25eaea1a52ec5d63d6f8282ce8c085888","datavalue":{"value":{"entity-type":"item","numeric-id":4657752,"id":"Q4657752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638258$887DD36A-2CA9-4DF5-8E86-D1E28DCDBC9B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65bc7eff5eb7f75b97c04ad8dbaef2ddb809e716","datavalue":{"value":{"entity-type":"item","numeric-id":2927660,"id":"Q2927660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d71bd2d998c3a7d279374a6b0ebacaf052a981f","datavalue":{"value":{"amount":"+0.9244784","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3638258$4CA44FB9-5655-4F5E-B59A-5F8CEE06116B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb3b61c8e64f8d558217a846ba401523ccda8990","datavalue":{"value":{"entity-type":"item","numeric-id":2841308,"id":"Q2841308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1115a7ae8137e07a281b9a275f9f0331364f807f","datavalue":{"value":{"amount":"+0.91524196","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3638258$7673B067-DFC9-41DD-9FD7-2510D8F4A861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c050a6f973d0161395fbeffd77322ed8533ebc2","datavalue":{"value":{"entity-type":"item","numeric-id":2863897,"id":"Q2863897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3ef0b3cbc69e03a714108c0a928a8320627528f","datavalue":{"value":{"amount":"+0.9139887","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3638258$6451318D-5672-4D00-ACA3-781AA9331D99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b158564105e72aa2e5e8cb1be85c43dd08cb1e4","datavalue":{"value":{"entity-type":"item","numeric-id":3003316,"id":"Q3003316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6719d02dfa1581823515c7d759e956b83adf961","datavalue":{"value":{"amount":"+0.9124446","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3638258$83576260-DC48-4D68-9F0E-01E137F4F241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa03e28f01ed7263fd28122908318a232230605f","datavalue":{"value":{"entity-type":"item","numeric-id":3178292,"id":"Q3178292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11862ee545bd915ec3aaaafe41023d7a12204980","datavalue":{"value":{"amount":"+0.91118085","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3638258$07D3C130-2D00-4B56-97E7-416634297705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"058d0a25272db99d2dda9d0b9e29bc68206441dd","datavalue":{"value":{"entity-type":"item","numeric-id":5327356,"id":"Q5327356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf64d0bcf3c64ef59424f8d810f0c69c34a6dbcf","datavalue":{"value":{"amount":"+0.91093665","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3638258$94EDC2A3-494C-4292-94C9-FAC80122F4D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e4f7445ebc7a6db1c52d379c45b7da863ef4caf","datavalue":{"value":{"entity-type":"item","numeric-id":2747943,"id":"Q2747943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20cdcafefadb42134e9227f539065df99647bcda","datavalue":{"value":{"amount":"+0.9101937","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3638258$72F4041D-C667-4EFC-8218-40FE9E640D18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a090d0858bb9e3172e45e71006dcee7d46a3a0b","datavalue":{"value":{"entity-type":"item","numeric-id":2848953,"id":"Q2848953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef5595e596a763a589a2c371269272fd480dd0b3","datavalue":{"value":{"amount":"+0.909715","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3638258$10049A9C-CA95-47D2-8378-ED382EEAD688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"625786e30d00d7b1be490b7e0c46d81afd899fd3","datavalue":{"value":{"entity-type":"item","numeric-id":777873,"id":"Q777873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f8c4efcaed333ecd8d414eb65518de892c5a8f1","datavalue":{"value":{"amount":"+0.90743756","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3638258$626C912E-B6BD-40B2-8B36-1FB66B779EAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd86b8984ddcfaab8f583b5118c37df604332ae0","datavalue":{"value":{"entity-type":"item","numeric-id":5361143,"id":"Q5361143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"812b9c40b3058dd675e538385908ca6f142f007f","datavalue":{"value":{"amount":"+0.90516484","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3638258$0D05C282-A933-4283-862D-E365A8CC2FCC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Coalgebraic Reasoning in Coq: Bisimulation and the \u03bb-Coiteration Scheme","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Coalgebraic_Reasoning_in_Coq:_Bisimulation_and_the_%CE%BB-Coiteration_Scheme"}}}}}