{"entities":{"Q941469":{"pageid":943317,"ns":120,"title":"Item:Q941469","lastrevid":65576424,"modified":"2026-04-12T03:33:13Z","type":"item","id":"Q941469","labels":{"en":{"language":"en","value":"Towards proving type safety of .NET CIL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5318689"}},"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":"Q941469$7B9646A5-51CE-4C2A-944A-2A9077A044A6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6f7739dbe2bbec795865dda7ff420f75a976ab3d","datavalue":{"value":{"text":"Towards proving type safety of .NET CIL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q941469$51F31727-F2AC-440D-B840-CFCC9A6C46EB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a2691ee8a2e7bc0fe1320ac9109ff432c4069f48","datavalue":{"value":"1154.68359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q941469$E9064BA6-94B8-48D0-818B-BCE17707CDA4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffd3e1924cfe9e8147bbc674299347f90152e4fb","datavalue":{"value":{"entity-type":"item","numeric-id":555779,"id":"Q555779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q941469$E908CB45-87A2-4089-BB1F-1CC99B014CD2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q941469$6BCEBAB8-15AF-4B4A-A41E-D3671DA95C93","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"69a3b8af869e2bcb147113fe194666e3284a9607","datavalue":{"value":{"time":"+2008-09-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q941469$EABE65E0-9A10-4F46-B0B9-74048F9F10D4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q941469$544F2B84-1190-48C8-A8D3-4739B31128C5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8284411a786cffdaf2c09ac648a6eaae9c1b2bc3","datavalue":{"value":"5318689","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q941469$E09BAB15-4D19-4DEC-8DCC-C2ED626FA234","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"efce79918eb6695c12a657d79586fd5eccf3b28f","datavalue":{"value":"type safety","type":"string"},"datatype":"string"},"type":"statement","id":"Q941469$BCC771D0-725D-43BF-9284-22A28588A195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2142f7b8ed09bf741df0b2311d5ef509818c0660","datavalue":{"value":"bytecode verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q941469$DE9C7FDD-A1B0-4E2B-A9C6-B8090773DC46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ceac8d199c7263ed81221335e8581bb04aa30fab","datavalue":{"value":"CLR","type":"string"},"datatype":"string"},"type":"statement","id":"Q941469$A743B8AF-6135-4FC1-A0AD-6B341A7110A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6194edc16e0b62f14d907e64eab2ac5d2bac1083","datavalue":{"value":"CIL","type":"string"},"datatype":"string"},"type":"statement","id":"Q941469$6B935EA7-E9AB-4A0B-A27B-8D688294133B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"359cc99fe2e734d750c9477058ba26c6a8c28ba4","datavalue":{"value":".NET","type":"string"},"datatype":"string"},"type":"statement","id":"Q941469$BDEAF5C1-A6C6-4CB4-B1D4-921FCEEF3F3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q941469$9588CD8E-A8E4-4F35-8815-8A61CB6524CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a89de1d235b98399de6f9817955f395a495bd8c","datavalue":{"value":"virtual machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q941469$268C9F0A-291B-45B3-9D6B-863F1AD8847D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84c612e97d0bbc5f0fc0c1fc6c648d85c6d9bbe2","datavalue":{"value":"security","type":"string"},"datatype":"string"},"type":"statement","id":"Q941469$C09D4E89-0FBE-44D0-B980-E44E9B19F6E4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q941469$CED536C0-C0A7-47AE-81E0-8E1F34F4F0AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"043e6d9dff677b8976d5d5a2aa95c67a47305905","datavalue":{"value":{"entity-type":"item","numeric-id":14470,"id":"Q14470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q941469$BE64E894-9D9D-46EE-A921-2F420C1F53CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ecc86304e6e0168c486b1953bbd2cdad4880fb4c","datavalue":{"value":{"entity-type":"item","numeric-id":23309,"id":"Q23309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q941469$65DC7B68-1C60-45C0-8791-E6681021A8A2","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":"Q941469$7F5842FB-4A32-46D0-9C3B-200DE8CE5746","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"23360fd23525b0b1e05971f0cd8e4e55677df98b","datavalue":{"value":"https://doi.org/10.1016/j.scico.2008.05.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q941469$38C4E231-C184-46EA-9035-B8EB63BD75A1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"480526f70bc51d32f1d876ac1b3f731476bde893","datavalue":{"value":"W2072260485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q941469$35EC9292-CD29-444B-87A0-84687D112E5C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c84cf6db0a894dc4cce539e210fb12845be30af6","datavalue":{"value":{"entity-type":"item","numeric-id":941469,"id":"Q941469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q941469$14FBCF3D-5D0B-4907-B45E-C5733290C3E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d3d2063b68d08868ff5ef6ed69c94995c471298","datavalue":{"value":{"entity-type":"item","numeric-id":5899024,"id":"Q5899024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q941469$56D4A8EA-EF0F-496D-AFDB-8EC15B3C6788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3bf9613ae9804ab4d6c1a4bf2f77f2d5228a33e","datavalue":{"value":{"entity-type":"item","numeric-id":4873985,"id":"Q4873985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q941469$27CB2A8D-4F79-4DEF-BC78-2889F4B835EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d18cf84bd49d4a3b35fa5f91415e3b2e495c135e","datavalue":{"value":{"entity-type":"item","numeric-id":4429922,"id":"Q4429922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q941469$91B43F90-2430-4287-BB55-E64BDD3D7AAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b1dac8fd047b3643ba819394435dc1a58f672df","datavalue":{"value":{"entity-type":"item","numeric-id":555781,"id":"Q555781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q941469$3A767222-1CAB-4AE9-8A1B-1D351C69FBBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"610230e955565447d5ef164294006c0aa424513e","datavalue":{"value":{"entity-type":"item","numeric-id":5901596,"id":"Q5901596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q941469$DBE64A1E-BAE7-464E-81A7-47B2F0E7A441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20b223b0f0c5129eccebe04d5ce0a2aaa88c12dc","datavalue":{"value":{"entity-type":"item","numeric-id":2571209,"id":"Q2571209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q941469$B1B68278-BE42-4796-A8B8-FAFE16C56140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"143fba548f94915a52e9321607c02e704bd2c4bd","datavalue":{"value":{"entity-type":"item","numeric-id":4223458,"id":"Q4223458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q941469$075B336F-64F2-45D5-A899-6C782E3817A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be12ce5e2bc071090d5fa02e44be2e0b40c1b851","datavalue":{"value":{"entity-type":"item","numeric-id":5445117,"id":"Q5445117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q941469$6D287157-6198-4A12-9B36-9F5BFEACA4AE","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":"Q941469$5112444E-B640-44D3-B72E-F1E5C924AEAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"436d4ddccf9258c9f31fa193f202f774ffec18b8","datavalue":{"value":{"entity-type":"item","numeric-id":1250704,"id":"Q1250704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q941469$8B399C75-F065-4A90-A063-D99CB44EE48D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b61b47c85558b5faaed5c516671e61165169563b","datavalue":{"value":{"entity-type":"item","numeric-id":2742791,"id":"Q2742791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q941469$D00DA280-4EAE-43BC-B5B9-2984E9E95AA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54f6643bda5cfcc556391ad805ed12c9c53a35e7","datavalue":{"value":{"entity-type":"item","numeric-id":5311299,"id":"Q5311299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q941469$2CC1B552-29B9-4FF3-9FEE-05084463E434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"819659da126c075c90133a709f8e37d582777724","datavalue":{"value":{"entity-type":"item","numeric-id":4283242,"id":"Q4283242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q941469$2E0A29D5-237B-4B4D-85FB-37310911FCEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"affc1e02e00382ced00f2a91b1ffffed4e7f7df2","datavalue":{"value":{"entity-type":"item","numeric-id":4873990,"id":"Q4873990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q941469$FA281559-01AF-4225-B989-6A4C04BB2997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f4e9ea8255984f7fcc04c49e3669536604578c0","datavalue":{"value":{"entity-type":"item","numeric-id":4520504,"id":"Q4520504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q941469$25238E2B-FB52-4859-B03D-46C3F501C5A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80536a6c4d7f535a1dcfc23142b1431bdf463243","datavalue":{"value":{"entity-type":"item","numeric-id":1899138,"id":"Q1899138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q941469$4CE749D2-5E79-4A3D-845A-D924333BF68D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"57ed93c089d4bbd812f5fe07cd83a2b1ecc7811b","datavalue":{"value":"10.1016/J.SCICO.2008.05.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q941469$3BB76E80-2387-444B-8B29-78BF8C199478","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f841b580d1fc10f309a9ad2a67b679c9946e0e4","datavalue":{"value":{"entity-type":"item","numeric-id":5899024,"id":"Q5899024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93821f395e48227c019b2dc89a83125bde9355a1","datavalue":{"value":{"amount":"+0.88103163","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":"Q941469$1BDAEC14-5A48-465F-B7D3-C51320FD19B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c71dc4387f0e6dbaaee35da913d9c410c753f46","datavalue":{"value":{"entity-type":"item","numeric-id":2938049,"id":"Q2938049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03da419d1d4afe13fe7176ac4d563b29431bcb61","datavalue":{"value":{"amount":"+0.85712177","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":"Q941469$D3383636-87C4-4704-90AB-989B769FF6A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"468791b41200636befe51d461d4f3a0ef9471b26","datavalue":{"value":{"entity-type":"item","numeric-id":1749247,"id":"Q1749247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68d50a4f100981426543da6085e48fed7eeaf529","datavalue":{"value":{"amount":"+0.8437385","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":"Q941469$4F38056C-7582-459B-8244-B1766F685A8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e624eff166aef0fa88875321d9d439e22120898","datavalue":{"value":{"entity-type":"item","numeric-id":2949206,"id":"Q2949206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"175b6f8b9f2d2a114f2da756f3b34de71bc673cb","datavalue":{"value":{"amount":"+0.8433957","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":"Q941469$34DB6D3B-1CD1-40A0-B96A-FB98385B48E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d833dc28f2f6489266d2e05abd0cd9d955a0ed97","datavalue":{"value":{"entity-type":"item","numeric-id":1199876,"id":"Q1199876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17ff948fe122ac38ee4bba067eac71c5d719ce95","datavalue":{"value":{"amount":"+0.8417348","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":"Q941469$E4E32BDF-EACB-465A-8553-D1942B1C5425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e0f50eace1efd383693d04befd42deb01edf9c2","datavalue":{"value":{"entity-type":"item","numeric-id":2763666,"id":"Q2763666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4871b6581827622025434a45ebf0da549d040689","datavalue":{"value":{"amount":"+0.84132016","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":"Q941469$348F9D94-0FA9-44C6-8819-B61A5B6FBDCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbf2e3c6d1b927b908b15c7440f5918641032651","datavalue":{"value":{"entity-type":"item","numeric-id":835770,"id":"Q835770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ef457649b31e8baf8b9d7f427d14fea3f55e3e7","datavalue":{"value":{"amount":"+0.8383466","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":"Q941469$C196AB48-ADBF-460E-85F9-1035D287AA7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b553c37ced3bf1bc6f4e83b3bc5244ee0a2938e8","datavalue":{"value":{"entity-type":"item","numeric-id":2882991,"id":"Q2882991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77d3c2a2b02f02afe3ec4f689ca04f15c6025bfa","datavalue":{"value":{"amount":"+0.83279026","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":"Q941469$3B1A211A-0636-479D-B385-93CD81343F52","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Towards proving type safety of .NET CIL","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Towards_proving_type_safety_of_.NET_CIL"}}}}}