{"entities":{"Q1749247":{"pageid":1759989,"ns":120,"title":"Item:Q1749247","lastrevid":53083082,"modified":"2026-01-24T04:44:45Z","type":"item","id":"Q1749247","labels":{"en":{"language":"en","value":"Towards proving type safety of \\(\\mathrm{C}^{\\#}\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6869018"}},"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":"Q1749247$B1A6AA3A-D899-4C23-A706-0B6EF3EEC614","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"81b6f7bc0e5dce0d15163428ac81789f2f7b271e","datavalue":{"value":{"text":"Towards proving type safety of \\(\\mathrm{C}^{\\#}\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1749247$1476AC9C-4AEA-42B5-91FA-B1421FF3BBFE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7755818f687423b0fce9f52454d45b07035b6349","datavalue":{"value":"1387.68049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749247$441555B7-63EF-44C9-A65A-F997F66532EB","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":"Q1749247$6BE732A3-1DE5-480E-84F3-424FAA6B3D5D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4d2f38e43c691e4079017f3fcd6faa7b21dad657","datavalue":{"value":{"entity-type":"item","numeric-id":456462,"id":"Q456462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749247$A5667F27-A3DC-4615-9955-5D8BDE8E1202","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e956331d0e5540795d70cdf1447eb2fc47cd3be5","datavalue":{"value":{"time":"+2018-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1749247$8B21DE20-A9A9-424B-B61D-C417D57E6D3C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749247$7E176077-8BC0-49AE-9C29-B02EFD75C231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749247$35936DDE-5D96-4686-BA7D-E163A0182B81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749247$E84D54B9-38D5-421F-9D55-DD4E75E43D8D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f02d88ff184ad89f5012533d1716ed1fe0c9b508","datavalue":{"value":"6869018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749247$46C7D463-740D-47B0-9271-A569081CE776","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a308688cdf3a9b5602144442732bd6371864fff","datavalue":{"value":"\\(\\mathrm{C}^{\\#}\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749247$C313AD54-304B-4BB9-BEE3-2E5DAC944DD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"489560b9b00c44572ad1e0eebe89cce928d6d1f3","datavalue":{"value":"programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749247$55A1F2A8-2D82-4A4C-9AF7-DC319519B6CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"efce79918eb6695c12a657d79586fd5eccf3b28f","datavalue":{"value":"type safety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749247$BD442964-FC22-46FF-B059-4E3BDC2997B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749247$E6082F9A-2532-4041-B858-4B0891796DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bacd34e911e115e3cfe335809779aa742a58e725","datavalue":{"value":"compilers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749247$2338D5C0-04F2-4B9F-9EE7-2DC016264A2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84c612e97d0bbc5f0fc0c1fc6c648d85c6d9bbe2","datavalue":{"value":"security","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749247$9A427207-49F8-48FA-B8E1-C90310B88FF1","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":"Q1749247$7B12CF82-FAFC-4CBF-BBED-05FFD15C5AE8","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":"Q1749247$B9400882-3B63-4457-B534-812BE6B0B761","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":"Q1749247$A42D8E3F-94DF-43A4-B9F1-D7367B05E1E8","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":"Q1749247$55C9A5AD-4981-4E5B-8286-C28A605EEA62","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ca95a350e07da5c92bb1e650664d1e07ee06ffea","datavalue":{"value":"https://doi.org/10.1016/j.cl.2009.03.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q1749247$3237064E-0EEB-4D75-94B7-E397346C0C10","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"82c4cf57c174fdfd885e7004d5f5c178ef1e6f2b","datavalue":{"value":"W2018307912","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749247$63FD1F5E-97D9-49CB-9D01-E9227AA333D3","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":"Q1749247$3FB97823-4C48-4B50-9829-5B28DBCEDFFE","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":"Q1749247$3F50448C-C18C-43CB-978B-D37D053B5FDB","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":"Q1749247$60276D7D-B32C-4A92-84AE-430FE9336E26","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":"Q1749247$B178CD38-DE8E-47F7-A92B-5E1D54B8DA33","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":"Q1749247$4DA6CED1-37E9-4865-A330-27E0D97C0A57","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":"Q1749247$7F176D4A-5223-4AC3-8E19-799C1A17D0EE","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":"Q1749247$7857485B-B94E-433B-97BF-5B4AEBBD9805","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":"Q1749247$957B6509-83AC-4D7A-A930-C5A5EBF2BF0C","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":"Q1749247$44D50CAA-F619-4F9A-AFBD-2A6D69BAF032","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":"Q1749247$1149E9A3-1E5B-410C-B822-6C5DB6C15029","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":"Q1749247$04CCA2C8-D76D-47E4-8C7D-D6D8D132EFC1","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":"Q1749247$0B0DB851-01A1-43FD-83C4-E776A62FD65A","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":"Q1749247$51DCF8C5-92F5-4389-AA87-BF31E6EC2C1C","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":"Q1749247$BA56FE5F-F34B-4832-9A30-A2D42A615BD0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f9aba91f448f991d7181b845665134f28e112f74","datavalue":{"value":"10.1016/J.CL.2009.03.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749247$FC1890BB-2111-4E19-8A43-14986352136F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3369eef75096c4ac031f1944d4721f2db18553d3","datavalue":{"value":{"entity-type":"item","numeric-id":941469,"id":"Q941469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff880d025fe3b100ce9a8dcdf7d0235f8856b276","datavalue":{"value":{"amount":"+0.8044689297676086","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":"Q1749247$C4E7490A-ED02-47DB-BED4-FF2C8911B50E","rank":"normal"},{"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":"e7796008feae370d9d669b5d20807230829f017e","datavalue":{"value":{"amount":"+0.751764714717865","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":"Q1749247$23C9B6B5-3A73-4A7A-AFC2-04E4782A2338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93325bd0e7d7faf15a1a103e34f7574ba8e94cb2","datavalue":{"value":{"entity-type":"item","numeric-id":1818320,"id":"Q1818320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdf64b361fba0a3c9628af2682a032a3a11ddc94","datavalue":{"value":{"amount":"+0.7024969458580017","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":"Q1749247$DDB9EA33-ED97-4230-99D4-E3E132D08AF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a3835a5f00f50f652230f438c7d02493540e491","datavalue":{"value":{"entity-type":"item","numeric-id":2571209,"id":"Q2571209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d48280954c7111807e769d4b6726044e9dfd6250","datavalue":{"value":{"amount":"+0.6914965510368347","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":"Q1749247$D45FB2C7-94B6-47A6-B6CE-48C10D689FEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8310992bd51615fed072d3e10db13a403f49bb1d","datavalue":{"value":{"entity-type":"item","numeric-id":5178887,"id":"Q5178887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f20982d6005e53a8b276d18e088115eadb8c0c41","datavalue":{"value":{"amount":"+0.6903362274169922","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":"Q1749247$F90FC595-1E75-4956-BB79-5C8C814EBE2F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1749247","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1749247"}}}}}