{"entities":{"Q2866340":{"pageid":2877060,"ns":120,"title":"Item:Q2866340","lastrevid":79682990,"modified":"2026-05-06T14:28:44Z","type":"item","id":"Q2866340","labels":{"en":{"language":"en","value":"Language-based program verification via expressive types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6238198"}},"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":"Q2866340$6CCCD9EB-4D9B-4A22-99ED-CFCBAAF933C5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a8c4ae127506a03f8ce1851232fd3792128227e7","datavalue":{"value":"1277.68060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866340$BF08671F-DFC7-427F-A80C-B30B2E6A158D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"076d15404ba892d1a4e6d8a1fb0f94521495e82f","datavalue":{"value":{"entity-type":"item","numeric-id":1623114,"id":"Q1623114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866340$4943DC5E-244A-41F6-A504-15B5C12D5388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9e51092d8ce3d361ce322bd610c6d3c3dd7b4db","datavalue":{"value":{"entity-type":"item","numeric-id":2866339,"id":"Q2866339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866340$B571F4B4-E97F-4094-9D18-2FDE52BADEB1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866340$0846C076-FF03-4FFD-9819-AEEF8A2981EA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"53717fa6c8d29b46d6a34473fd09757844b25aa8","datavalue":{"value":{"time":"+2013-12-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2866340$330DB2A7-8B8B-442F-A164-0E460B9947D2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866340$0D7B3FCC-7C6E-4FE1-90C4-EE0D5318162C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866340$2911986B-A998-4E6F-B472-514882487566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866340$29950A97-D82E-41DE-89E9-E8C87A33AC0E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ff8d1345158d3508544a13b90bb528a69e82ca9d","datavalue":{"value":"6238198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866340$55CAAE15-DCC0-4B3F-8E60-F8F07D5103CD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07672cd9efb7a614e96dc9a58bd5b5685cbf3a1d","datavalue":{"value":"type inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866340$C49F9379-E3E3-4D4B-9A1B-1EA4B4DED368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b2cb227075fe3889be750e1cfe1c598abf58bff","datavalue":{"value":"type error reporting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866340$7B06A164-E944-4565-AA41-FE815ABEBD90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"456c392e18259466b42f8ebaf4ad2fec4539287b","datavalue":{"value":"verifying sortedness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866340$B0A30F50-A5E8-44BE-9DDC-26788258FCD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d934ac7639c40520dfdb17b294b29b222059fd5c","datavalue":{"value":"resource usage verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866340$64102D3E-A033-4315-8C58-EEDFB264A064","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"040fe209bf9959da562393c0e37eb31592733af3","datavalue":{"value":{"entity-type":"item","numeric-id":18957,"id":"Q18957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866340$8033C7BE-D893-43B1-BD9F-331155A9F980","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":"Q2866340$D713629D-96A2-45B4-8CDA-7EF706D81948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866340$D2210364-78BD-4074-A89C-8002ECA3AA3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3566ceaa607ff2880dbbe400f3e2dbce0394438a","datavalue":{"value":{"entity-type":"item","numeric-id":18773,"id":"Q18773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866340$2B5B37BA-0548-4BE6-A9EB-64199319543F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e41927344b9397ba2eb05288d661d38c0f0d55a6","datavalue":{"value":{"entity-type":"item","numeric-id":21665,"id":"Q21665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866340$A78471D1-9AF1-4365-9AC0-663DA0B89BEF","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":"Q2866340$F9FE56D7-9657-494C-8F63-3499BCE7F0DE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3dc3012b502f6524ec75515e590e34fba5e0069c","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2006.10.041","type":"string"},"datatype":"url"},"type":"statement","id":"Q2866340$CADF0E3E-DCEA-4F20-8094-3C4D2744DC19","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0584dbf08806100fca2faba697e055ee78950bf9","datavalue":{"value":"W2018617042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866340$CCF9F804-9751-4E1D-8508-B2FA408F0CD9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b327cf916e5c8f52b90b371017428a40a2b3f26d","datavalue":{"value":{"entity-type":"item","numeric-id":5348900,"id":"Q5348900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866340$34F0661F-6A7D-4D51-BA18-BB1B3C5BA1E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8964cd030151e3bca87a2540f145ecc0de181bf7","datavalue":{"value":{"entity-type":"item","numeric-id":5178842,"id":"Q5178842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866340$AABC56CC-3055-49C6-BA3D-9399F21F6469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c14b168b7c2384a28a93bacf812c9b0b793392d1","datavalue":{"value":{"entity-type":"item","numeric-id":2936787,"id":"Q2936787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866340$22C31F93-2059-4D24-959B-B606288A0ECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c905609ba1a69ac6cba3a72bf833c26796dee0df","datavalue":{"value":{"entity-type":"item","numeric-id":2936769,"id":"Q2936769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866340$6770492E-8A40-4368-A936-84CB3C8E6923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da243cbfc0d1b21b693c2d3e7acdb1031eb76ca8","datavalue":{"value":{"entity-type":"item","numeric-id":3639651,"id":"Q3639651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866340$396E2BCB-222D-4E31-B691-D99DAB073F3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfb3504a1e04bfb244f7d9b2a0bf855789ff659f","datavalue":{"value":{"entity-type":"item","numeric-id":2729056,"id":"Q2729056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866340$ABD58F8A-89D8-4C09-ABFD-57227F5E7E72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4e6a98bd83391589729e4715c5fa9b7b36de0b4","datavalue":{"value":{"entity-type":"item","numeric-id":5464059,"id":"Q5464059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866340$03A3B480-E54F-41AB-8E9C-B8BE073FA215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"808150066f762c8e0b4dce09ac91fc57174dac90","datavalue":{"value":{"entity-type":"item","numeric-id":5902362,"id":"Q5902362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866340$8C28EFA5-9462-4B42-9D81-B124EA7011DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f08d6a93b5519fe40946b3c81233b0a486a55307","datavalue":{"value":{"entity-type":"item","numeric-id":4414308,"id":"Q4414308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866340$43031527-69ED-4B6D-AFDB-F0A2B7ED439D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9fbdcfeca765d18f7d3b2cc70ef3d3dbbb4e8aa","datavalue":{"value":{"entity-type":"item","numeric-id":3434624,"id":"Q3434624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866340$62574A78-AA98-4078-9E50-13DD542DD805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63b239cbfe927df454df723ea9ccaf675cb6694d","datavalue":{"value":{"entity-type":"item","numeric-id":2763666,"id":"Q2763666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866340$93072268-09E2-450F-92F7-B0622106955A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3b67fbd98ccbbe8eedf5970aa5e3ff573fcc6cf","datavalue":{"value":{"entity-type":"item","numeric-id":5178857,"id":"Q5178857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866340$2DA2FD5E-AFB3-4A1A-8A8A-EF16831D842B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cb97a01d1b2fb36defd5091f2c371db7c8e89d6","datavalue":{"value":{"entity-type":"item","numeric-id":2936790,"id":"Q2936790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866340$331BED47-14B5-4555-A5D8-6F7DB3106C1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0b8d74eb30783ead52df96f665a06c49d9668e6","datavalue":{"value":{"entity-type":"item","numeric-id":2942928,"id":"Q2942928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866340$72BEDAC6-4CD5-42D2-A716-77E641731FDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3672c8b02758806da440a6d77105fdfedf9117e1","datavalue":{"value":{"entity-type":"item","numeric-id":5308083,"id":"Q5308083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866340$7EBA621F-3A47-4925-884F-78E290318E56","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b45a3a35f92aded07daa8a885f273cafc5bb4e6b","datavalue":{"value":"10.1016/J.ENTCS.2006.10.041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866340$83DB34E4-B68D-41AC-92B6-BB705EAB3A3E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b54e411a1fa403497ad92093317d1d515a51d832","datavalue":{"value":{"entity-type":"item","numeric-id":5309417,"id":"Q5309417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd28fb40caf17f4793bbdea116030e403f5d438f","datavalue":{"value":{"amount":"+0.9192704","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":"Q2866340$B58C8EAB-7316-4659-942D-E39EDBCD6C52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb234b5551cae0af9257fe3eff72cf077bed7f0a","datavalue":{"value":{"entity-type":"item","numeric-id":4461768,"id":"Q4461768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eab85c7a54bc995962b0d3850f755dc5f92f1f79","datavalue":{"value":{"amount":"+0.9101424","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":"Q2866340$809C60DE-DACE-4B62-B857-D82926E59AAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfcf2f7e6ea0d096df2029e3a1171030d146db32","datavalue":{"value":{"entity-type":"item","numeric-id":4849649,"id":"Q4849649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ce6e605f26be548737a645bbbd2342a9a6ed351","datavalue":{"value":{"amount":"+0.90972304","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":"Q2866340$CEB6FFF8-A162-4641-BF62-7DF957E5E532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5890cd5b3533d32ac4aa9985fc5cfd5fe2e217be","datavalue":{"value":{"entity-type":"item","numeric-id":5244815,"id":"Q5244815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0393acbead1132b42f50621dd1eacfb14d63f10","datavalue":{"value":{"amount":"+0.90961605","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":"Q2866340$5531AF56-561C-49B6-A1CF-5C692E93CBDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b2c52ab8d67f27eb61e5c1ff857d56837dcbe85","datavalue":{"value":{"entity-type":"item","numeric-id":861687,"id":"Q861687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47f0637c150aff993e86806f3148537d486e5123","datavalue":{"value":{"amount":"+0.90946895","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":"Q2866340$29F0F1CF-0D7B-45E8-8EB6-D25162E8C306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f34b64a349c4606601cddb539d3c1e869aecca7","datavalue":{"value":{"entity-type":"item","numeric-id":5261537,"id":"Q5261537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e5c4c0d5c8691aa602c281888b0d0378aac2c1f","datavalue":{"value":{"amount":"+0.90392005","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":"Q2866340$E1E8E9C3-5C7D-44A4-947E-33209C0D41F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39325d0e1c9e9f212d366c917feb047ff194c278","datavalue":{"value":{"entity-type":"item","numeric-id":4015951,"id":"Q4015951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2d9afde3451aa97f18afe97a5cff4af71367596","datavalue":{"value":{"amount":"+0.90104383","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":"Q2866340$8DB9649A-E4B7-4F87-AC7E-D5BE37EFD05D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fd0887d9303d6a5b7f60dd0479ea33753b3bb35","datavalue":{"value":{"entity-type":"item","numeric-id":5408400,"id":"Q5408400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5eedbe959908e01e220c1f083a46b4d951ffd42","datavalue":{"value":{"amount":"+0.8965001","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":"Q2866340$18C5CD86-4883-4C37-9B74-02334000D00B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0505afe188a59d59576112a93e221c2894cea0a5","datavalue":{"value":{"text":"Language-based program verification via expressive types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2866340$C04B436A-0D65-4E95-94A9-EDF4AFCD2BAD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Language-based program verification via expressive types","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Language-based_program_verification_via_expressive_types"}}}}}