{"entities":{"Q3297838":{"pageid":3308546,"ns":120,"title":"Item:Q3297838","lastrevid":45899893,"modified":"2025-12-20T04:01:15Z","type":"item","id":"Q3297838","labels":{"en":{"language":"en","value":"A Type Theory for Probabilistic $$\\lambda $$\u2013calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7223191"}},"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":"Q3297838$B28C228C-9CC9-4559-8FBD-229B89E74C91","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b4e6ce8526b65b758d367826cd94cbea07a3f947","datavalue":{"value":{"text":"A Type Theory for Probabilistic $$\\lambda $$\u2013calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3297838$285C2DA5-2146-4C40-A9FF-CF8194AF687D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"646f14a4d4e613bc4fffca6463ec84ed35a8126d","datavalue":{"value":"1440.68043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297838$1BFA9D3B-6F3E-4A60-AFD3-8882703E44C4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9308958fed0d95f262b0984a7a55d88cac6006e5","datavalue":{"value":"10.1007/978-3-030-41103-9_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297838$0E318C3E-6375-4BE3-B0C3-E853271459A4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d12ed68b215b89bb1e6155c11dc2566959288f9","datavalue":{"value":{"entity-type":"item","numeric-id":557885,"id":"Q557885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297838$167EB846-93FC-4703-B05D-FD4B09DCA231","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"27979b6fecde998746a1d86fcb1f0a4920fa93dc","datavalue":{"value":{"entity-type":"item","numeric-id":3297836,"id":"Q3297836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297838$24D86CD7-9A00-4521-990F-F9FB063A2211","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"93d5f4948d316121f295e91de8563e97eff620a8","datavalue":{"value":{"time":"+2020-07-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3297838$BD307B7F-0C85-47A3-8DD0-5353AE970B76","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297838$58CC1EE1-0040-4F00-B026-E590E9416CC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297838$FCC198E0-8839-4E8E-B0AB-3449A2B11125","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dcbae921fd68e23b2be307087c5d4c0c922d54e1","datavalue":{"value":"7223191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297838$DB7CD785-FA07-47EF-A22A-A00CDA753A69","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2cb88ba41611f6523b5607279043c11e94d02e9","datavalue":{"value":"probabilistic reduction system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3297838$556C4634-ABFA-487B-9DDA-307106F1F8DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92b4edef10612b66f6eed634fbf58b8a7ba51304","datavalue":{"value":"type system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3297838$7730298A-4C48-40C3-AC0A-5054C2A6A8EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"659c448cf8980671ec0f47ff719ca99db683a8dc","datavalue":{"value":"probability distribution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3297838$A502B67C-D036-4092-9D40-5A64E94E1FB8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297838$961E608F-E026-4907-9FB4-C2AE8126AC45","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":"Q3297838$D825C014-B53B-4796-825D-DDA30038EE68","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"80f69dd6f53bff82ba8015618562e3149df75190","datavalue":{"value":"https://doi.org/10.1007/978-3-030-41103-9_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q3297838$CE370826-24F1-4E4B-9296-57CAD7CB6EAE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a7dac7b629fddd0978a22eb409ac2f86d06ee500","datavalue":{"value":"W3005912220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297838$9FAD3286-0ECB-4A51-B145-B92D167E951B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8a466b0817c40b5226b5f1eb36718a10287acd0","datavalue":{"value":{"entity-type":"item","numeric-id":1893736,"id":"Q1893736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297838$4EC25709-84F1-4744-9575-A41657197BDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2b382496704c69d4ddd122d1fda39bebf3ce71","datavalue":{"value":{"entity-type":"item","numeric-id":4939699,"id":"Q4939699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297838$A2E4DE2F-7D2E-4EEC-BC48-D3F0079170E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19bc50e2f4d2cceaac2ab96d0b4ab028848b7d4b","datavalue":{"value":{"entity-type":"item","numeric-id":4023900,"id":"Q4023900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297838$F697B853-B222-46BD-BC6E-51D6AFF1967D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297838$843075CF-6166-4946-89CB-0C099699228D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a03c18e1e2833a91aac7d3476d2f38d81622d637","datavalue":{"value":{"entity-type":"item","numeric-id":1891168,"id":"Q1891168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297838$7DF501AB-102D-4318-B600-4ADEC206F1BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e137c878ec0577b699fe6022ebb4b45e205d0000","datavalue":{"value":{"entity-type":"item","numeric-id":2905328,"id":"Q2905328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297838$87449B94-4F7A-4AB0-8203-2EA812F7AA38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65cc087569869137cef606dc04ca1224b51f202c","datavalue":{"value":{"entity-type":"item","numeric-id":3025332,"id":"Q3025332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297838$31D27A3A-01CD-4E12-B64A-18C96940E77D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd67b75bc1f2eda3af2f2988313ad555d7390b7a","datavalue":{"value":{"entity-type":"item","numeric-id":4421876,"id":"Q4421876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297838$D9864077-472C-46A7-8912-34181AA2F681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e5ea1c63a4f40b814e9cf1194786ede09d23d80","datavalue":{"value":{"entity-type":"item","numeric-id":2970754,"id":"Q2970754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297838$75022DFD-BFC0-431D-A1BC-AB5D0F9BB200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cb3fb1f5163c51d21987992526ad7f1b03bc113","datavalue":{"value":{"entity-type":"item","numeric-id":5625124,"id":"Q5625124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297838$B396A4D6-5B43-43AF-BF97-559302B680D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f434d785ed24cbcd005c3f7acdcb5c12ab96aa52","datavalue":{"value":{"entity-type":"item","numeric-id":3936713,"id":"Q3936713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297838$29CEDB87-EEBD-4EBA-9643-F950E8577352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eac6a72e5a3f7d04d286f8a80ba01638547a8c68","datavalue":{"value":{"entity-type":"item","numeric-id":5276144,"id":"Q5276144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297838$6F9B40B1-589B-4971-9A6E-D93697B133BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e32e6c895a421389f04c5499d388fc13d53e99f","datavalue":{"value":{"entity-type":"item","numeric-id":2778806,"id":"Q2778806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297838$2269471A-D1BA-4970-9307-BDEF5C5EF281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e27be5516997b567899ad0b0d96cb56d275522c","datavalue":{"value":{"entity-type":"item","numeric-id":1225449,"id":"Q1225449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297838$D5014179-3103-4504-B725-4B60C2F0C216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26844ae575fb4cdebf73566954301f72a527cecf","datavalue":{"value":{"entity-type":"item","numeric-id":1243117,"id":"Q1243117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297838$3EAA570F-B602-437F-884A-0B9880B696AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"774c7c5e9586e81ad658f8fe2b1e3076c2f1ebbc","datavalue":{"value":{"entity-type":"item","numeric-id":5178903,"id":"Q5178903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297838$F851969B-0895-42EB-B889-52A6BCC3C885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91a707f7565046237d79754215ce6024facdf2b7","datavalue":{"value":{"entity-type":"item","numeric-id":4068054,"id":"Q4068054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297838$5E008FC9-C23C-42F8-85EA-967DBF3F3EEA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ab4fd71ad51ac082fbb6f91bbebab080cc6650c","datavalue":{"value":{"entity-type":"item","numeric-id":1675793,"id":"Q1675793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"036a1e6b7b22ff479872d8076dfeda19a3c4a637","datavalue":{"value":{"amount":"+0.9464467","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":"Q3297838$89A50A6C-0109-438B-983B-179C9793CEC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f58355397779341e612357934702c01a75b0980d","datavalue":{"value":{"entity-type":"item","numeric-id":2942901,"id":"Q2942901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df3bf2e66678bd8905ef99e420b5b92a811a0c5f","datavalue":{"value":{"amount":"+0.9298571","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":"Q3297838$FF3C32CB-9955-47EE-892D-601F7E1580E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70e69e92b51ff7b7d18783a293b192f83ba830d1","datavalue":{"value":{"entity-type":"item","numeric-id":5150948,"id":"Q5150948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18a93d911802098caa6d9aa1ba96874bf96d42f8","datavalue":{"value":{"amount":"+0.9262444","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":"Q3297838$82417EBE-DB3B-49D1-B3F7-79D0FD516157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d02ae4e2f6c1a09d84ea37b2923286c41e7e6fc3","datavalue":{"value":{"entity-type":"item","numeric-id":2905328,"id":"Q2905328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9661177dba07375acc538ae1d1ea6ec57a66f600","datavalue":{"value":{"amount":"+0.91837704","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":"Q3297838$164DA2D2-EA02-4241-B083-26C9420E1702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5208522e39ce66e94232b8d36122718cb513c34","datavalue":{"value":{"entity-type":"item","numeric-id":4580222,"id":"Q4580222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccf7cca3a4416586ac8b566b1f1e973a0c2b66c9","datavalue":{"value":{"amount":"+0.91835976","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":"Q3297838$86B55991-F900-457D-8A93-020DD7024A81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f10f6237e38663f24cacdaa225cb58dca8b11fb6","datavalue":{"value":{"entity-type":"item","numeric-id":2206780,"id":"Q2206780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7efc71359854660c08f22d4661b288351b2a346","datavalue":{"value":{"amount":"+0.9156329","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":"Q3297838$1977EC19-7925-419B-837D-AE6ED79A7BF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28820f2f50f57c30612e9cd6d09d58eb35b9e84d","datavalue":{"value":{"entity-type":"item","numeric-id":2970754,"id":"Q2970754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d05b68d6f649e8c5518c900f1a1b0739067c83c1","datavalue":{"value":{"amount":"+0.9128119","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":"Q3297838$54C40C35-514B-4667-9866-A4757918953A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1f91487e848a46619a5a140482842c9133ef19c","datavalue":{"value":{"entity-type":"item","numeric-id":1709701,"id":"Q1709701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13b656f304abb2bd135b760959be7e5ca242401e","datavalue":{"value":{"amount":"+0.91105646","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":"Q3297838$2A9E8FEA-659B-4F64-9E75-F943237A5976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2604c8ce780c65e1c5aa286f8fa3313448dd13a1","datavalue":{"value":{"entity-type":"item","numeric-id":5938620,"id":"Q5938620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc380b76de5f93f415e7a25e74e3cb42b85fb877","datavalue":{"value":{"amount":"+0.9101237","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":"Q3297838$D286DA79-2376-4F5A-8ED1-AE3C9F2AF47A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b60263cfed2f0011facdda13fb6cb3cf520aaab8","datavalue":{"value":{"entity-type":"item","numeric-id":5079740,"id":"Q5079740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb04018364a15445d0a5b077c983d452e308de84","datavalue":{"value":{"amount":"+0.90912473","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":"Q3297838$7335A42C-335A-4762-8C80-DC6B44BB7C45","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3297838","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3297838"}}}}}